基于Petri网的导弹安全自毁系统实时安全分析

安全自毁系统对于防止导弹发射出现重大事故具有重要作用，为此，通过对导弹安全自毁系统工作过程的分析，建立了该系统的Petri网模型。并依据此模型采用解析和仿真两种方法，根据导弹发射阶段获得的测试信息，对导弹安全自毁系统进行了实时安全分析。利用文巾所提方法可以获取发射指挥员关心的系统层次的导弹发射安全信息，为发射决策提供依据，减少对发射指挥员经验的过分依赖。

Real-Time Safety Analysis for the Missile Self-Destruction System Based on Petri-Net

Because the Self-Destruction System is of great importance to avoiding accident during the missile launching phase, in this paper, the Petri-Net Model of the Missile's Self-Destruction System was built based on the analysis of its operation process. According to the testing information acquired during the missile-launching phase, the real-time safety analysis for the missile's Self-Destruction System was performed, using both simulation and analytic methods. Adopting the method proposed in this paper, we ca...