基于Petri网的某型导弹单发任务完成概率仿真

摘要：

任务成功概率是任务成功性的概率度量,指在规定的任务剖面内,产品能完成规定任务的概率.使用基于Petri网原理的ExSpect仿真软件,对单发导弹的任务流程进行了模拟,首先构建基本任务的仿真模型,在此基础上针对导弹整体任务流程构建了仿真模型,并计算其任务完成概率,最后通过应用实例验证模型的可行性.

关键词：Petri网、任务完成概率、ExSpect、(Executable Specification tool)、仿真模型

所属期刊栏目：7

分类号：E252(国防建设与战备)

在线出版日期：2007-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2458-2461