| 基于UML/Petri网的作战指挥可视化建模与验证 |
| |
| 引用本文： | 桂启山,赵新国,李 义,顾晓霞.基于UML/Petri网的作战指挥可视化建模与验证[J].指挥控制与仿真,2009,31(5):98-102. |
| |
| 作者姓名： | 桂启山 赵新国 李 义 顾晓霞 |
| |
| 作者单位： | 63680部队技术部,江苏,江阴,214431 |
| |
| 摘 要： | 主要对一种典型作战--"导弹拦截卫星"的指挥活动建立其可视化的军事概念模型.建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分内容,通过模型构建来描述"导弹攻击卫星"指挥活动内容以及活动流程等;而通过模型检验来验证模型自身的正确性,以及对指挥活动分析的正确性.
|
| 关 键 词： | 作战指挥 可视化建模 工作流 Petri网 |
| 收稿时间： | 4/8/2009 12:00:00 AM |
Modeling and Verification of Operational Command
Based on UML/Petri net |
| |
| GUI Qi-Shan,ZHAO Xin-guo,LI Yi,GU Xiao-xia.Modeling and Verification of Operational Command
Based on UML/Petri net[J].Command Control & Simulation,2009,31(5):98-102. |
| |
| Authors: | GUI Qi-Shan ZHAO Xin-guo LI Yi GU Xiao-xia |
| |
| Abstract: | |
| |
| Keywords: | UML |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《指挥控制与仿真》浏览原始摘要信息 |
| 点击此处可从《指挥控制与仿真》下载免费的PDF全文 |
|
