基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

基于Agents/Space的装甲装备战损仿真方法(Ⅱ)

对任何仿真系统,只有在保证一定可信度的基础才具有实用价值。在文(Ⅰ)战损仿真原型系统的基础上,结合经济性和可行性的权衡分析,提出了装甲装备战损仿真系统的修正策略。进行了典型条件下的杀伤力参数试验,利用神经网络技术修正BAD参数经验值和试验值的误差,然后将训练完成的神经网络模块嵌入在P ierc ingA gen t中,实现对BAD模型参数的动态修正。最后,进行了仿真试验,并利用实战数据和全尺寸物理实验数据进行了仿真系统的有效性验证。研究成果为装甲装备战损或具有类似特征系统的仿真提供了一种研究途径。     

云计算中基于公平的安全判定相等协议的身份认证方案

云用户与云之间的双向认证是云计算中用户访问云中资源和数据的重要前提。为解决云计算环境下基于口令的身份认证方式存在的问题,并保证海量用户环境下认证的效率,对一个常数复杂性的判定口令相等的百万富翁协议进行了改进,提出了一个公平的安全双方判定相等协议,可以公平且秘密地比对认证方与被认证方所拥有口令的一致性。在上述协议的基础上,基于具有语义安全的加法同态算法――Bresson算法,实现了一个保护云用户和云服务提供者双方隐私的身份认证方案,最后,证明了该身份认证方案在判定相等方面的正确性,并给出了方案的安全性分析。     

周怡均

这样的我我出生在素有"东海第一胜境"之称的江苏连云港,三尺验证台是我的战场,方寸验讫章是我手中的"枪",我立志做一名忠诚的国门卫士,用火眼金睛让不法分子原形毕露,用微笑服务展示国家形象,用坚定忠诚筑起共和国铜墙铁壁。     

航天科技集团公司与能建集团签署战略合作框架协议

2013年7月4日,在天宫一号与神舟十号载人航天飞行任务圆满成功之际,中国航天科技集团公司与中国能源建设集团有限公司(以下简称"中国能建集团")签署了战略合作框架协议。双方的合作将立足于发挥航天高科技优势与中国能建集团的行业优势,在卫星应用与信息服务、高端装备、房地产开发、金融与投资合作、     

一机集团北方机械公司成为国家级工程实践教育中心

日前,中国兵器工业集团公司一机集团北方机械公司与中北大学举行了国家级工程实践教育中心揭牌,成为首批626家国家级工程实践教育中心建设单位之一。国家级工程实践教育中心成立后,北方机械公司将严格按照合作协议规定,重承诺,守信用,认真履行职责与义务,不断健全工程实践教育中心运行管理机制,     

工业和信息化部与河北签订深化军民融合发展战略合作协议

2013年6月21日,工业和信息化部与河北省政府在石家庄市签订《关于共同推进军民融合发展的战略合作协议》。根据合作协议,工业和信息化部、国家国防科技工业局与河北省政府将在推进在冀军工单位核心能力建设、提升国防科技     

防务

4月21日,美国轨道科学公司宣布已成功完成新型"安塔瑞斯"运载火箭的第一次试验发射,并宣称该次飞行验证了"安塔瑞斯"火箭的总体运行性能,包括进入目标轨道。轨道科学公司主席和首席执行官大卫·汤普森表示,将在两个月之内完成‘安塔瑞斯’火箭和‘天鹅座’飞船的整体ISS货运补给验证任务。(美联社)日本出台新防卫大纲草案防御重点锁定中朝     

美海军无人作战飞机系统验证项目取得新进展

尽管在7月10～15日的4次拦阻着舰试验中只有前2次取得了成功,但美国海军官员仍判定试验总体上是成功的,因为其验证演示X-47B能在航母上正常起降的目标已经达到     

上缴化武真能换来和平？

在美俄就销毁叙利亚化学武器问题达成框架协议后,叙利亚局势似乎峰回路转。然而,要说叙利亚政府上缴化学武器就能换来和平,恐怕就没有那么简单了。销毁叙利亚化学武器,首先要核查清楚叙利亚到底有多少化学武器库存。而核查叙利亚的化武,需要一支庞大的专业队伍。目前国际社会尚没有就如何对叙利亚化学武器进行核查达成一致意见。作为销毁化学武器的第一步,查清叙利亚化学武器的家底,面临着不小的挑战。即使核查能够如期进行,销毁化学武器也不是一项简单的工作。动荡的局势,也让联合国的核查工作危险丛生,8月26日,联合国化武调查小组赴叙利亚展开调查时,就曾遭到狙击手多次蓄意枪击。核查活动—旦全面铺开,叙反对派和极端势力难免还会采取多种干预,为核查工作制造障碍。