水面舰艇反鱼雷鱼雷作战使用方法研究

国外海军在研究发展反鱼雷鱼雷（ATT）,但对于其作战使用方法问题,却很少公开报道。针对ATT作战使用时的两种作战模式,建立鱼雷与ATT之间的对抗模型,分析了ATT的射击提前角与鱼雷来袭舷角、鱼雷报警距离、鱼雷速度、ATT速度之间的关系,为ATT的作战使用提供理论参考,并给出了几条结论。     

Petri网辅助分布式软件设计

系统本身的复杂性使得软件的规模越来越大,结构也越来越复杂。网络硬件技术的发展为网络软件提供了更为广阔的空间,不仅使网络软件的需求量急剧增加,而且在软件体系结构设计上又增添了分布、并发等新内容。辅助进行软件分布的优化设计是当前面临的新问题。     

海上编队作战方案形式化描述研究

作战方案的形式化描述是实现海上编队指挥自动化的关键，是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析，概括了作战方案形式化描述的主要研究内容、方案形式化的主要方法、存在问题以及发展方向，对后续的研究工作具有一定参考意义。     

浅析军用软件可靠性

在说明军用软件可靠性的重要意义的基础上，分析了影响军用软件可靠性的主要因素，并提出了提高军用软件可靠性的途径，其中重点说明了如何将软件可靠性工程运用于军用软件的开发和测试过程。