数字电路故障模拟方法复杂性分析

通过分析故障模拟算法的发展及其现状,在理论和对ISCAS实验的基础上,给出各种算法的复杂性分析结果,并比较了各种故障模拟方法的优劣。     

网络节点双机容错系统中的重构算法

提出了一种网络节点双机容错系统中的重构算法,详细叙述了重构时序和内存数据的一致性,并给出了算法流程。     

多故障信息标志的临界路径跟踪

提出了一种故障模拟方法——多故障信息标志的临界路径跟踪。虽然其基本概念类似于临界路径跟踪（CPT）和故障信息跟踪（FIT）,但是这种方法能大大减少扇出源的分析数量,故障在FFR中的传播比CPT中更加有效。本算法已用C语言在386微机上实现,并给出了ISCAS’85的十个组合电路的实验结果。     

德育考核指标体系的建立与评估

提出了建立德育考核指标体系的基本依据和重要原则,明确了在考核过程中应把握的问题,使用计算机软件对德育考核指标体系进行了分析评估.     

我院计算机课程改革的设想

根据军内外计算机课程改革的形势,并结合新制定的“全军计算机课程教学基本要求”,提出了我院计算机课程改革的设想.     

时序电路故障可测性分析

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

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

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

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

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

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

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

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

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