简介:针对虚拟化项目开发环境访问控制管理复杂化问题,提出了基于规则引擎的项目开发环境访问控制架构,介绍了该架构的总体设计。同时分析了系统访问控制流程,并设计了访问控制逻辑与流程相分离的松耦合架构,为虚拟化建设和管理项目开发环境提供参考。
简介:ICT产业正逐步成为整个社会经济的创新源泉,尤其是随着互联网、移动互联网产业的快速崛起,ICT将引领大量传统行业进行深刻变革,打破既有的市场规则,重塑产业格局,激发传统业态的发展活力,ICT在推动社会经济可持续发展、改善人类生活水平等方面也将发挥越来越重要的作用。可以说,ICT已经全面渗透至各行各业,甚至人类生活的方方面面。今年世界电信日主题定位于“电信与信息通信技术:创新的驱动力”,重点强调了ICT在整个国民经济当中的驱动作用。从国内市场来看,ICT产业的拉动作用非常显著,小米等科技企业的涌现充分验证了ICT产业对国民经济的驱动作用,尤其在整体国民经济下行的背景下,ICT与各类业态的融合发展,
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。