特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

软件可靠性模型技术分析

软件可靠性模型技术对评估和提高软件可靠性具有重要作用。归纳了软件可靠性模型的特点与分类方法,阐述了随机过程类与非随机过程类两大类模型,初步探讨了模型之间的相互关系,分析并提出了软件可靠性模型建立过程与评价标准,为软件可靠性模型技术的进一步研究和应用提供了理论方法与启示。     

舰空导弹靶场鉴定仿真试验

在分析了舰空导弹靶场鉴定仿真的任务后,系统地讨论了仿真试验的主要内容,仿真建模与校验方法,模型验证方法,仿真运行方法以及仿真结果的应用方法等,从而阐述了舰空导弹靶场鉴定仿真试验的基本思路和具体方法。     

基于微裂纹模型的材料可靠性预计

讨论了微裂纹的某些不同于大型裂纹的增长特性,提出了一种微裂纹在某种材料上的多级扩展模型,利用微裂纹的增长数据来预计材料的可靠性。     

坦克数据通讯网中的协议分析

通过对坦克车内局域网1553B协议的分析,并与一般计算机通信标准局域网做对比,指出不能用标准局域网协议和纶构取代1553B协议。参考 ISO开放系统互连的协议模型,对1553B协议进行了分层设计和进一步构想。     

炮兵作战中物质战斗力损耗研究

军队的战斗力包括物质战斗力和非物质战斗力。本文根据现代战争火力战的特点,利用层次分析法和兰彻斯特方程建立了炮兵作战中物质战斗力损耗模型。该文内容是炮兵作战中非物质战斗力损耗及即时综合战斗力研究的重要组成部分。     

维修浮动系统可用度模型及优化

维修浮动系统是更换和修理同时进行的储修系统 ,该系统可有效地提高现有装备的可用度。本文利用马尔可夫过程理论建立了维修浮动系统的可用度模型。进而 ,在考虑费用约束的条件下 ,对该系统进行了优化分析。