基于多路归并的演绎故障模拟方法

提出了一个基于多路归并技术的演绎故障模拟方法,该方法对于集合运算∪,∩,-的计算复杂性是拟线性的,从而保证本文所提出的故障模拟方法的计算复杂性是拟线性的。     

嵌入CPU PCB结构测试方法研究

论述了嵌入CPU印制电路板（PCB）故障测试与故障诊断的一般方法。研究表明:只要满足一定的测试性设计要求,嵌入CPU PCB采用结构化测试方法是可行的。     

太极古拳又添新劲旅

闻名中外的陈家沟太极拳,又增添一支新的劲旅——温县陈家沟民兵分队。陈家沟是太极拳的发源地。改革开放以来,先后有20个国家和地区的万余名友好人士,前来投师学艺和参观游览。陈家沟民兵发挥太极武术的优势,为维护社会治安、威慑犯罪分子做出贡献。河     

容错局域网通信功能的设计与实现

本文提出了一种在网络工作站实时通信中实现容错的理论,详细叙述了设计方法,并对其可靠性、实时性、并行性等问题进行了分析.     

容错局域网的理论及设计

本文提出了“容错局域网”的设计思想,并详述了其设计方法.该系统的设计成功,解决了网络实时通信过程中的有关技术问题.     

2000年全国测试学术会议在我院召开

２０００年全国测试学术会议（ＣＴＣ２０００）于１０月１６日～１８日在我院召开。全国人大常委陈俊亮院士和沈绪榜院士、魏道政研究员等我国测试领域著名学者出席了开幕式;香港中文大学教授吕容聪博士等４位测试领域国际知名学者应邀为大会作了４场精彩的学术报告,受到与会代表的普遍欢迎。 参加了本次学术会议的正式代表有１５０多位,分别来自中科院计算所、清华大学、上海大学、湖南大学、北京大学、同济大学、华为公司等单位。代表们分为测试理论及方法、ＩＣ及ＰＣＢ测试、自动测试系统技术、软件测试等４个兴趣组,听取了７０余…     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.     

探索城市民兵组织建设的新途径

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

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

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

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

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