| Petri网在反导作战概念模型验证中的应用 |
| |
| 引用本文： | 王超,黄树彩.Petri网在反导作战概念模型验证中的应用[J].现代防御技术,2009,37(1). |
| |
| 作者姓名： | 王超 黄树彩 |
| |
| 作者单位： | 空军工程大学,导弹学院,陕西,三原,713800 |
| |
| 摘 要： | 军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键.针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念模型的验证值得深入研究.Petri网是一种应用广泛、功能较强的建模语言,适合复杂系统建模.分析比较了它的特点,探讨了其运用的思路,最后给出了其在反导作战军事概念建模验证中应用的实例.
|
| 关 键 词： | 模型验证 Petri网 反导作战军事概念模型 |
Application of Petri Nets in the Antimissile Military Conceptual Model Verification |
| |
| WANG Chao,HUANG Shu-cai.Application of Petri Nets in the Antimissile Military Conceptual Model Verification[J].Modern Defence Technology,2009,37(1). |
| |
| Authors: | WANG Chao HUANG Shu-cai |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
