求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

中国指挥与控制学会火力与指挥控制专业委员会2015年学术年会征文通知

<正>各有关单位:中国指挥与控制学会火力与指挥控制专业委员会2015年学术年会将于下半年择期召开(具体时间地点另行通知),会议由光电控制重点实验室主办,火力与指挥控制专委会、海上指挥与控制专委会、613所、207所、716所联合承办。会议主题为:"协同作战条件下的火力与指挥控制"。届时将举行学术交流并邀请国内指挥与控制界著名专家、学者到会作专题报告。现将会议征文有关事项通知如下:     

面向作战仿真的指控系统建模技术研究

重点研究指控系统的建模技术,建立了群指挥所、方面作战指挥所和平台指挥所三级指控系统的模型,并确立了三者之间的层次和控制的逻辑关系。从作战方案和战术响应两方面对指控系统进行"静态的"和"动态的"建模,实现了作战双方基于感知态势的闭环仿真。这些模型在海军某作战仿真系统中得到了应用,仿真实验表明该指控系统模型满足作战仿真系统的作战需求,能够提高作战仿真的真实性和合理性。     

在强军兴军实践中打造过得硬党委班子

习主席指出,强军目标能不能有效贯彻落实,关键在于各级党委要发挥核心领导作用。作为旅团党委,必须着力打造过得硬党委班子,助推生成核心领导力,确保强军目标落地见效。一、强化军魂意识,着力打造绝对忠诚、听党指挥的党委班子这是一个理论与实践相统一的问题。当前,意识形态领域斗争日益加剧、“四反”斗争形势日益严峻、腐朽思想文化侵蚀日益突出。对此,要确保绝对忠诚不掺一点杂质、听党指挥没有一点杂音,需要从“五     

从《菊与刀》看日本民族的矛盾性格

<正>如果说菊花象征的是某种可以抵抗外界的精神力量,刀代表的则是顽冥不化地崇尚由这种精神带来的道德优势和力量。从书中可以看出作者着重强调了日本这种矛盾性格来自三个方面的原因:日本人的"等级观念"、日本人的"情义观念"和"羞耻观",以及日本社会是如何训练、培养和继承这些民族特性,并在社会生活和国际斗争中加以运用的。     

某型加速度计装配技术问题研究及对策

<正>通过对某型加速度计装配过程各环节分析研究,找出了影响加速度计失准角超差的因素,有针对性地提出解决措施,并经批量生产验证,切实提高了加速度计生产合格率,取得了较大的军事和经济效益。引言某型加速度计是某型导弹飞行控制舱配套使用的核心惯性测量组件,安装在导弹相互垂直的空间三维方向上,通过敏感相应方向的加速度,输出与输入加速度成比例的电信号,为控制系统提供准确加速度数据,与陀螺共同为导弹提供飞行     

论新课改下初中英语听力课堂中的问题与对策

初中英语教材在新课改的指导下,一直在做内容和结构上的调整,2013年出版的英语教材突出听力部分内容,听力部分占了每个单元的1/2.这是新课改以来在教材结构上做出的重大调整.而且每个单元的阅读和写作,都是由与听力相关的内容贯穿始终.这也突出了新课改所倡导的培养学生口语交际能力的教学理念.因此,听力教学在整个英语教学中显得尤为重要.但实际的英语听力课堂中存在许多的问题,这些问题直接影响着整个英语教学的质量,严重影响着新课改是否能达到预期的目标.本文就英语听力课堂中存在的问题,展开论述及提出解决问题的对策.     

基于体系推演的作战概念建模与验证方法

针对未来新兴作战概念建模和验证需求,分析国内外作战概念建模和验证现状,采用体系工程建模分析与验证方法,构建基于DoDAF2.0框架和推演仿真的作战概念建模和验证方法,提出要害破击型和优势压倒型的作战概念制胜机理分析方法,并以美国海军一体化协同防空作战概念为例,进行作战概念建模和效能验证分析,初步验证了方法可行性。     

基层军官当众讲话焦虑障碍的心理成因与应对

当众自信讲话和主持会议是基层军官工作的重要组成部分,但在实际工作中,部分基层军官“茶壶煮饺子,有货倒不出”。如排长小刘性格内向,不擅与人交流,尤其是开会发言等当众讲话场合,表现得特别焦虑,说话颤抖,口干舌燥,手心出汗,心脏狂跳,甚至大脑一片空白、说不出话来。现在想到工作就苦恼,因为每周开会都要说话,一说话他就颤抖,不敢当众布置任务,不敢管士兵,感觉再这样下去在部队要待不下去了。自己不知道怎么调节,表现越来越严重,内心焦虑痛苦。     

加强军士队伍科技认知力培养的调查与思考

习主席强调指出,要牢固树立科技是核心战斗力的思想,“加强现代科技特别是军事高技术知识学习,增强科技认知力、创新力、运用力,以科技素养提升促进能力素质升级”。加强军士队伍科技认知力培养,是全面加强新时代军队人才工作的重要内容,对于引领和支撑军士成长成才、打造高素质专业化新型军士队伍具有重要意义。近年来,我们对2000多名军士进行了调查,研究界定了军士队伍科技认知力内涵,构建了“六力三维”模型,提出了加强军士队伍科技认知力培养的对策建议。