基于PETRI网的防空指控系统的建模及分析

防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务。PETR I网是一种描述和分析异步并发现象的一种有效的模型工具。以PETR I网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换。从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的。     

具有镀铬层的铁磁材料和零件的裂纹检测

阐述了具有镀铬层铁磁性零件的裂纹漏磁检测机理,探讨了基于循环搜索逼近的裂纹定量检测的基本方法。实测结果证明漏磁法检测具有镀铬层工件的缺陷是可靠的。     

深海安全问题的认识思考

贯彻落实总体国家安全观,既需关注传统领域安全,又需关注新兴领域安全.深海作为新兴战略领域,研究深海安全意义重大.从安全研究的视角出发,初步思考了深海开发建设过程中需要关注的几个安全问题,可为深海安全深化研究提供支撑,希望引发更多的人去关注深海安全,促进深海开发与深海安全和谐发展.     

多传感器优化布站及管理算法研究

在多传感器优化布站和传感器管理算法研究中 ,提出了传感器覆盖系数和火力通道覆盖系数两个新概念 ,并据此给出了传感器优化布站原则 ,然后针对防空导弹武器系统所面临的各种复杂环境 ,对各种传感器管理算法进行了探讨。     

航天软件可靠性浅议

从软件可靠性出发,结合航天软件研制和使用特点,对航天软件的故障模式、机理和提高可靠性措施进行了分析。