| 卫星军事应用系统支援常规导弹作战Petri网建模 |
| |
| 引用本文： | 郭伟民,赵新国,李强.卫星军事应用系统支援常规导弹作战Petri网建模[J].系统工程与电子技术,2009,31(2):407-410. |
| |
| 作者姓名： | 郭伟民 赵新国 李强 |
| |
| 作者单位： | 装备指挥技术学院试验指挥系, 北京, 101416 |
| |
| 摘 要： | 针对卫星军事应用系统支援常规导弹作战的复杂性,构建了作战过程的Petri网模型.该模型利用Petri网能够描述同步、并发和冲突等特性,剖析支援作战过程,提炼过程中的事件和条件,确定转移发生的前条件和后条件.最后,通过对模型的分析,可以看到支援作战流程能够顺利进行,以及Petri网中不存在死锁.此结果证明了模型的正确性.
|
| 关 键 词： | 卫星军事应用系统 常规导弹 Petri网 建模 |
| 收稿时间： | 2007-09-13 |
| 修稿时间： | 2008-01-16 |
Modeling of conventional missile operation supported by satellite military systems with Petri net |
| |
| GUO Wei-min,ZHAO Xin-guo,LI Qiang.Modeling of conventional missile operation supported by satellite military systems with Petri net[J].System Engineering and Electronics,2009,31(2):407-410. |
| |
| Authors: | GUO Wei-min ZHAO Xin-guo LI Qiang |
| |
| Institution: | Dept. of Test Commanding, Academy of Equipment Command & Technology, Beijing 101416, China |
| |
| Abstract: | In view of the complexity of conventional missile operations supported by satellite military systems,the Petri net model of the supported operation is made.Based on the characteristics of Petri net such as synchronization,subsequence and conflicts,the supported operation is analyzed,the events and conditions in the course of operations are summarized,the ante-conditions and post-conditions for each transition are determined.Finally,the model is proven to be correct by what the supported operation is all right,and there doesn't exist the halted phenomenon in the Petri net. |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
| 点击此处可从《系统工程与电子技术》下载免费的PDF全文 |
|
