坦克分队战术仿真训练系统的设计与实现

分布交互式作战仿真系统通过网络把不同的模拟单元连接在一起,为受训人员提供虚拟的作战训练环境,系统的运行成本低,能提供比实战演习更多的训练环境和内容.为了满足我军坦克兵部队战术训练的实际需要,设计开发了坦克分队战术仿真训练系统.讨论了该系统的设计与开发,首先介绍系统的总体结构和功能,然后详细讨论系统具体设计和实现.该系统已推广部队使用,应用效果良好.     

分布式系统设计中的互斥问题

介绍了互斥问题的基本概念,并针对分布式系统设计中的互斥问题分析了非基于令牌和基于令牌的两种解决方案.通过对典型算法的分析,有助于对分布式系统形成可操作的数学模型.     

面向验证的启发技术设计

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

一个故障容错系统的设计及实现

本文提出了多路自动切换容错系统的一般概念,并对容错系统的可靠性及平均无故障时间进行了分析、计算,实现了二路自动切换容错系统.     

机构可靠性

本文讨论了机构可靠性问题,指出机构可靠性主要取决于运动副的约束条件的稳定性.其中,包括运动约束条件和几何形状约束条件的稳定性,这就使机构可靠性研究的着眼点更为明确.     

关于舰用机电产品可靠性分布问题探讨

在失效机理分析的基础上,着重从理论上探讨了舰用机电产品在使用中的可靠性分布类型,并给出了简化的计算方法。     

平面图形对象拾取算法研究

介绍了在图形处理中,利用面向对象技术实现的平面图形对象拾取算法。与传统的以大量图像信息的存储为基础的位图存储方式下的图形对象拾取算法相比,本算法不但包括单个图形对象的拾取,而且也探讨了在复杂的图形组合下,如在图形重叠与覆盖的情况下进行多个图形对象拾取所需解决的算法难点。本算法对提高图像信息的存储效率和图形对象拾取的质量,对图像科学与面向对象技术的发展具有实际意义。     

用薄船理论计算方尾军舰兴波阻力的一种修正方法

以薄船理论的马丁法为基础,对船型横剖面面积曲线,加上考虑粘性作用产生的排挤厚度的修正,来计算兴波阻力。结果表明,计算值与试验值吻合较好,尤其是在中高速下,即F_n=0.4～0.7范围内,相对偏差不超过0.5％。在计算某型方尾军舰时,方尾产生的虚长度据试验得到的规律来确定。与其他方程比较,简单方便,且有较高精度。     

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

电子战条件下雷达接收信号模型

文中建立了电子战条件下雷达信号环境数学模型,包括雷达发射信号数学模型,目标回波信号数学模型,电子干扰（有源干扰和无源干扰）信号数学模型,杂波数学模型以及噪声数学模型