基于UML和Petri网的防空反导系统建模

以某型防空反导系统为对象,依据系统的作战流程从用例图、类图和活动图等方面对其进行了概念建模,并结合Petri网支持评估验证的特点,实现了从UML模型到Petri网模型的映射与转换,并从可达性、合理性、自由选择等多个方面对建模的过程进行了分析与验证,为下一步基于某型防空反导系统的实体仿真及优化研究铺垫了基础。

着色Petri网及其在系统建模与仿真中的应用

在众多的系统建模方法和语言中，用着色Ｐｅｔｒｉ网（ Ｃｏｌｏｒｅｄ Ｐｅｔｒｉ Ｎｅｔ，简写ＣＰＮ）建立的模型是可执行的，更有利于动态仿真，非常适合建模具有同步、并发、资源共享的大系统．文章介绍了ＣＰＮ的基本概念及建模特性，阐明了ＣＰＮ的实用价值及应用发展前景，并对一个罕事系统一一空对空导弹攻击系统进行ＣＰＮ的图形形式的建模分析，并用Ｄｅｓｉｇｎ／ＣＰＮ进行仿真验证．

Petri网在反导作战概念模型验证中的应用

军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键。针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念模型的验证值得深入研究。Petri网是一种应用广泛、功能较强的建模语言,适合复杂系统建模。分析比较了它的特点,探讨了其运用的思路,最后给出了其在反导作战军事概念建模验证中应用的,实例。

军事概念建模形式化描述语言比较分析

军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键。随着分布交互仿真和大规模作战仿真的需要,概念模型的通用性和规范化已开始受到人们重视。针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念建模值得深入研究。IDEF、UM L和Petri网是三种应用广泛、功能较强的建模语言,适合复杂系统建模。分析比较了它们的优缺点,探讨了三种方法综合运用的思路,最后给出了一个军事概念建模的实例。