基于PETRI网的防空指控系统的建模及分析

• 作者: 王建斌 王泓博
• 来源期刊: 现代防御技术
• 学科: 工学
• 关键词: 防空导弹武器指控系统 PETRI网 建模 并发 异步
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 指挥控制与通信
• 页码范围: 42-45,72
• 页数: 5页
• 分类号: TJ761.1+3|TP15
• 字数: 2273字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-086X.2005.04.010

摘要

防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务.PETRI网是一种描述和分析异步并发现象的一种有效的模型工具.以PETRI网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换.从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王建斌	中国航天科工集团公司二院二部	8	52	4.0	7.0
2	王泓博	中国航天科工集团公司二院二部	1	3	1.0	1.0