时序电路故障可测性分析

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。文中提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。     

数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

提高部队战斗力是党委最高政治任务

军区党委在年度工作部署中强调,要突出抓好党委能力建设,把确保部队战之能胜作为党委领导的最高任务。我感到,这是各级党委必须认真回答和解决的一个十分严肃的课题。部队党委平时的能力建设,带根本性、全局性的是领导部队战斗力建设的能力。那么,如何提高预备役部队党委领导战斗力建设的能力呢？我认为应该做到思变革,谋打赢,强素质,求实效。     

便携式米波、分米波雷达天馈线故障快速检测仪研制

调查分析了雷达天馈线检修现状和存在的诸多影响作战训练的弊病, 采用逆向思维的方式, 论证、设计了便携式米波和分米波雷达天馈线故障快速检测仪, 解决了天馈线检修的“老大难”问题, 带来了较好的军事、经济效益。     

民兵专业技术分队编组应形成有机整体

高技术局部战争是综合一体化的战争。因此,民兵专业技术分队的编组,必须形成一个有机整体。当前,经过调整改革后的民兵专业技术分队,可分为配装专业技术分队和对口专业技术分队两大类。其中,民兵配装专业技术分队的建设得到了加强,     

“国防动员改革创新备忘录”(四) 探索城市民兵组织建设的新途径

近年来,随着国有企业的改革和多种所有制经济的迅速发展,原有的城市民兵编组模式不再适应生产组织形式的变化,难以满足高技术局部战争兵员动员的需要。为彻底改变这种状况,天津市针对未来高技术局部战争中滨海大城市海防作战和防空作战任务重,对专业技术兵员动员依赖性强的特点,紧紧围绕市场需要和战场要求,通过合理调整布局,突出编组重点,扩大编组范围,加大科技含量,逐步形成了以人口和产业集中的市区为重心,以国有大中型企业和科技密集型企业     

用创新理念引领征兵工作健康发展

破解征兵工作难题、提高征兵工作质量是当前各级征兵机构面临的要务。必须以习主席关于国防和军队建设系列重要论述为引领,通过体制创新、机制创新、方法创新等,积极作为,破解难题,创造佳绩。     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ,按就近原则,现给出了一种划分Ｐ的算法,使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

靠科技与未来战场接轨——天津警备区加强城市民兵质量建设纪实

提高民兵队伍的科技含量,是高技术条件下局部战争的客观要求,也是城市民兵建设的发展方向。近年来,天津警备区在城市民兵调整改革中,充分发挥城市技术资源雄厚、高科技企业密集、各类专业人才荟萃的优势,坚持以提高城市民兵队伍科技含量为重点,积极调整组织布局、优化内部结构,极大地提高了城市民兵的建设质量,使城市民兵工作的整体水平跃上了一个新的台阶。