学科分类
/ 25
500 个结果
  • 简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在时钟的问题。传统的检查方法只能检查设计中是否做了时钟的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行时钟检查,并可用Formal引擎证明设计中时钟同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。

  • 标签: 亚稳态 跨时钟域检查 静态验证技术Formal 断言
  • 简介:摘要随着FPGA功能越来越复杂,其内部设计经常包含多个异步时钟,将FPGA分割为多个时钟。不同时钟之间进行的数据和信号通信引入了时钟问题。本文主要阐述了时钟设计常见问题、时钟信号同步方案,在此基础上从验证工程师的角度出发,介绍了如何进行时钟验证的方法和步骤,为更好的进行时钟分析提供了一种思路。

  • 标签: 现场可编程逻辑器件 跨时钟域 亚稳态 同步设计
  • 简介:企业:izp(亿赞普)研究方向:利用作为全球21家电信运营商合作伙伴而积累的数据优势,为国内企业向国外提供精准推广服务,从厂家直达消费者。核心模式:F2C(FactorytoConsumer)

  • 标签: 生意 国内企业 电信运营商 合作伙伴 推广服务 消费者
  • 简介:摘要城市边界往往是权力的真空区域,在政治层面上是处于非常敏感的部分。特别最近几年产业结构的转型升级,相邻城市通过协调机制促使各种资源合理应用,提升城市整体水平。本文主要关于冲突与协调问题从城乡规划角度提出解决协调的措施。

  • 标签: 城乡规划 跨域规划 措施
  • 简介:2013年9月30日,在遂宁市船山区桂花镇渡槽村,一场党员群众格外关注的选举大会正在进行。“我虽然是外乡镇的大学生村官,但一样可以参加渡槽村的支部书记竞选。打破镇村界限,‘定向推荐’这个创新好,给了我们为群众服务的机会。”刚刚发表完竞选演说的曾超高兴地说。

  • 标签: 船山 群众服务 竞选演说 大学生村官 支部书记 遂宁市
  • 简介:摘 要:随着网络行业的迅速发展,用户们每日都必须面临海量的信息,因此怎样在数量繁多的各种信息中甄选出有价值的信息内容就成为了网络服务行业的一项关键工作。为克服信息过载问题,人们提供了多个方法,而其中技术最为成熟、目前使用情况最为普遍的,便是个性化推送系统。推荐系统通过分析用户历史信息,总结出用户的兴趣特征,进而预测用户对未看到过的东西的偏好。个性化推荐体系历经了二十余年的发展,在学术上已涌现出了大量的成果,而本文则通过对有关文献的深入研究,旨在对推荐算法的理论发展及其应用做一个总结,希望能够帮助大家更好的理解推荐算法。

  • 标签: 跨域推荐算法 个性化推荐算法 发展 综述
  • 简介:

  • 标签:
  • 简介:摘要:数据网安全交换技术的选择和实施应根据实际需求、风险评估和合规性要求进行开发应用。这些技术和方法的目标是确保数据在不同网络之间传输和共享时保持安全性、完整性和可用性。文章分析了数据网交换安全的威胁性,提出了数据交换安全方案及具体实施策略。

  • 标签: 数据 跨域跨网交换 安全策略
  • 简介:摘要:通信浮标是一种接收与传递信号的重要设施,水动力特性是其设计中的关键问题之一。本文采用三维势流理论,对资料浮标横摇响应进行数值模拟并对比试验结果,验证了数值方法的有效性。在此基础上,对通信浮标水动力性能进行规则波和不规则波数值模拟,获得了六自由度幅值响应算子、一阶波浪力等参数。计算结果表明通信浮标在典型海况下6自由度响应较小,运动姿态稳定,满足设计要求。本文的研究方法也为通信浮标后续的优化设计提供参考。

  • 标签: 跨域通信浮标 水动力特性 6自由度响应 一阶波浪力
  • 简介:针对基于IRBAC2000模型的访问过程中所面临的动态性和细粒度问题,提出了基于使用控制(UCON)访问控制方法。在访问过程中,采用推拉模式实现请求和资源属性的同步,将请求主体的属性变化及时、主动地在资源反应,实现了授权规则的快速匹配,解决了访问过程中的动态性;同时边界策略执行点上条件和义务的执行起到边界防御和控制细粒度性的作用。

  • 标签: 使用控制 跨域访问 动态性 细粒度
  • 简介:据《福建日报》9月22日报道,9月21日福建省高院召开新闻发布会,正式宣布在全国首推设区市立案制度。从当天起,在福建全省范围内打破行政区划的限制,对属省内异地各中级和基层人民法院管辖的第一审民商事、行政和申请执行(含非诉执行)案件,当事人可就近选择具备立案服务条件的中级、基层法院或人民法庭办理立案事务。福建省高院相关负责人表示,推行立案制度,让老百姓就近立案,有利于降低老百姓的讼累和负担,节省行政成本,提升司法公信力与群众满意度。

  • 标签: 立案制度 福建省 《福建日报》 行政区划 人民法庭 新闻发布会
  • 简介:摘要作为企业核心资产,云资源安全的重要性日益突显,在云计算大环境下,身份认证技术是具有代表性的安全技术,在企业不断采用协同的条件下,其变成了云安全的主要问题。本文分析了云计算身份认证技术,为增强云资源等企业核心资产安全防护提供支撑。

  • 标签: 云计算 跨域身份认证技术 研究
  • 简介:针对古代汉语中“名词活用作动词”与“名词活用作状语”的提法,结合古代汉语的语言实际,进行了名词活用的论证,推出了名词活用的提法,填补了学习研究古代汉语的一项认识空白。

  • 标签: 名词活用作动词 名词活用作状语 名词的跨域活用
  • 简介:毛泽东一生解决了无数问题。本文在讨论了问题的概念、特征和解决要素的基础上,从三个层面探讨毛泽东独特的问题解决思想。其一是跨学科知识结构的建构;其二是运用不同层次的科学方法对问题的有效解决:其三是在解决的实践中不断提升问题解决能力。

  • 标签: 毛泽东 跨域问题 问题解决
  • 简介:近年来,我国公共事务不断凸显出来,其产生有内在和外在的原因,内在成因主要是公共事务本身的特性,如公共性、外部性和区域性;外在成因有市场化、区域化和行政体制改革的影响等。而传统行政管理下的治理制度对公共事务的治理出现大面积失灵,为了实现公共事务的有效治理,良好奏效的制度显得极为重要。公共事务治理制度应形势的需求,在多种动力机制的推动下,沿着"传统行政管理下的治理制度——区域公共管理下的治理制度——治理下的治理制度"的路径不断地演进,其演进可分为自然演进和选择性演进两种类型。

  • 标签: 跨域公共事务治理 跨域治理 制度演进
  • 简介:中国人能在猫眼里看到时辰。有一天,一个传教士在南京城外闲步着,发现自己忘记带表,于是他问一个小孩子那时是什么时候。

  • 标签: 时钟 中国人 传教士
  • 简介:今天早晨笑笑离开家去上学时,家里的时钟是7时55分.笑笑以最快的速度跑到学校.到学校时,她见校门口的时钟是8时10分.因数学作业忘在了家里,于是她立刻又以同样的速度跑回家,到家时,家里的时钟是8时15分.

  • 标签: 时钟 数学作业 学校 速度 校门
  • 简介:摘 要:深入推进基地化训练,常态化规范化组织实兵对抗演习,是提高陆军合成部队作战能力的主流形式。从近年来组织陆军合成部队基地化训练来看,提高部队能打仗、打胜仗的能力仍需做到:着眼信息化作战需求,探索创新作战理念;综合网络系统集成,优化作战指挥控制;灵活运用保障手段,提高综合保障能力。

  • 标签: 陆军合成部队 跨域 作战能力