基于电子报文分发系统的网络通信程序设计

介绍了通信框架的构建,以及在通信框架的基础上,设计基于电子报文分发系统的多渠道通信应用程序,该程序具有良好的报文收发及通信管理功能。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

面向车辆监控的电子地图控制

根据车辆监控的实际要求,系统以MAPINFO电子地图系统为平台,详细介绍电子地图的图层控制、图表计算、信息查询和轨迹校正的设计与控制方法.     

基于反馈机制的武器装备体系作战能力聚合方法

武器装备体系作战能力聚合对武器装备体系的发展、建设和运用具有重要意义。针对武器装备体系的整体涌现性和作战能力要素的非线性特性,对能力指标间的反馈机制进行研究,提出了一种基于反馈机制的武器装备体系作战能力聚合方法,并通过对某侦察情报装备体系的作战能力聚合算例分析,验证了方法的有效性。     

软件可靠性数学仿真测试平台设计与研制

针对火控软件的特点和要求,研制出面向软件可靠性验证的数学仿真测试平台,并根据典型的火控程序,有效地完成了分析与测试工作.测试系统界面友好,测试结果达到设计要求.     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

基于功能块的分离测试生成

通过扩展电路分离描述模型,提出了一种含三态门结构和时钟线故障的层次测试生成策略,试图探求一种有效的、实用的时序电路测试生成方法。     

基于自由边控制流图的路径覆盖分析实现方法

针对路径覆盖测试,给出了一般循环结构的一种简化处理方案及把按此方案得到的控制流图转化为自由边控制流图方法,并探讨了基于自由边控制流图进行路径覆盖分析的实现方法和优点。