| 基于PETRI网的防空指控系统的建模及分析 |
| |
| 引用本文： | 王泓博,王建斌. 基于PETRI网的防空指控系统的建模及分析[J]. 现代防御技术, 2005, 33(4): 42-45 |
| |
| 作者姓名： | 王泓博 王建斌 |
| |
| 作者单位： | 中国航天科工集团公司,二院二部,北京,100854 |
| |
| 摘 要： | 防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务。PETR I网是一种描述和分析异步并发现象的一种有效的模型工具。以PETR I网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换。从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的。
|
| 关 键 词： | 防空导弹武器指控系统 PETRI网 建模 并发 异步 |
| 文章编号： | 1009-086X(2005)04-0042-04 |
| 修稿时间： | 2004-08-05 |
Modeling and analysis of command and control system based on Petri net in antiaircraft missile |
| |
| WANG Hong-Bo,WANG Jian-bin. Modeling and analysis of command and control system based on Petri net in antiaircraft missile[J]. Modern Defence Technology, 2005, 33(4): 42-45 |
| |
| Authors: | WANG Hong-Bo WANG Jian-bin |
| |
| Abstract: | |
| |
| Keywords: | Antiaircraft missile command and control system Petri net Modeling Parallel Asynchronous |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
