容错局域网的理论及设计

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

太极古拳又添新劲旅

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

基于状态变换的同步时序电路测试生成

详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。     

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

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

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

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

变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.     

基于虚拟力驱动的传感器网络节点定位

为了解决传感器网络节点三边测量定位的全局优化问题,提出了一种基于虚拟力驱动的节点最优相对定位方法。该方法建立了满足节点位置最优最小二乘估计需要的虚拟势能场模型,给出了一种基于虚拟势能场梯度的虚拟力定义新方法,证明了利用该虚拟力驱动节点定位的收敛性,提供了保证节点定位结果全局最优的方法。仿真分析表明,基于虚拟力驱动的节点相对定位方法能够解决节点相对位置的最优估计问题。     

软件的测试性分析与设计

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

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

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

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

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