边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

健全完善"四个机制"保障军民融合科学发展

贯彻习主席军民融合深度发展战略思想,保障军民融合科学高效推进,必须健全完善协调机制,明确权责分工;健全完善准入机制,清除融合壁垒;健全完善交流机制,加强沟通合作;健全完善竞争机制,发挥军地优势.     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

强化军地应急指挥机制建设

在军地联合处置突发事件行动中存在着建设重复,救援资源分散;协调困难,方案建设不对接;条块分割,指挥关系不顺畅以及反应迟缓,救援效率不高的情况。为适应军队新的编制体制调整,破解矛盾,文章研究了军队应基于军民融合战略着力强化一体化的军地应急指挥联动机制,强化常态化的军地应急指挥协调机制,强化规范化的军地应急指挥制度和科学化的军地应急指挥程序建设,以提高军队应急管理能力。     

防空武器系统仿真中的三维图形实时成像技术

图形图像技术在仿真中的应用除使之高度可视化外,更重要的是引入了“三维描述”的概念,扩大了“定量”     

无德万事休

《资治通鉴演义》第一回便是：“乱纲纪三家分晋,错建嗣智瑶丧国。”介绍的是春秋末期晋国有赵、魏、韩、智四大家族,智姓家族首领智宣子准备指定他的儿子智瑶为继承人,就跟他的族人智果商量。智果说：“智瑶不如庶子智宵。”智宣子说：“智宵才智上不如智瑶。”智果说：“智瑶有五项超人的优点,只有一项缺点。他一表人材,精于骑射,通晓各种技艺,强毅果敢,智巧过人,但他贪婪不仁。如果立智瑶为继承人,我们的智氏家族一定会大难临头。”智宣子不以为然。智宣子去世以后,智瑶继位,由于他贪婪不仁,梦想吞并韩、魏、赵三家,最终却…     

走出评功评奖的误区

评功评奖是对先进单位或个人的肯定和褒奖,目的是树立榜样,激发官兵的荣誉感和进取心,是调动官兵积极性的重要手段。但是,实际工作中若把握不好,容易进入一些误区。误区之一　按需分配。某市在接收转业干部考核时规定,凡在部队立一次三等功者加５分,但最多只加三次。某部两位即将转业进入该市的干部,由于只立过两次功,便得到了本单位领导和同志们的关照,临转业前又如愿立了一次三等功。某省规定,退伍义务兵连续三年被评为优秀士兵的,退伍后享受县“三八红旗手”待遇。于是某单位其它省籍的个别战士主动“发扬风格”,将优秀士兵…     

重视高素质军事人才的储备

我军要在培养和造就大批高素质军事人才的同时 ,还要着力搞好高素质军事人才储备工作 ,要树立与时俱进的人才储备观 ,突出人才储备的重点 ,要拓展人才储备的途径 ,建立和完善人才储备的机制     

前苏联科技创新机制存大弊端的经济学分析

科技创新是人类财富之源,是经济发展的巨大动力。文章介绍了前苏联科技创新机制,并对其弊端进行了分析;运用市场经济理论中的内在需求动力理论从宏观、中观、微观三个层次,论述了市场在科技创新机制中的作用;提出我国应建立符合国情、在国家宏观调控指导下,以具有社会主义市场经济特征的现代化企业为主体的市场化科技创新机制。     

适应企业转制特点 改进城市民兵编组

随着国有大中型企业改革、改组、改造步伐的加快,企业所有制结构多元化的生成、发展和完善,对以国有大中型企业为主体建立民兵组织的传统做法产生了强大冲击,严重地影响了民兵组织的稳定和建设质量。主要表现在以下几个方面:一是部分国有大中型企业经营困难,民兵组织逐渐萎缩;二是生产经营组织和规模变化频繁,民兵组织不够稳定;三是多种所有制经济体制的建立,有“兵”无“组”的矛盾日趋突出;四是民兵编组结构不尽合