作战事件跟踪描述建模及验证方法研究

• 作者: 刘刚 皇甫先鹏 罗爱民
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 对象Petri网 作战事件跟踪描述 验证评估
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 体系结构
• 页码范围: 291-294
• 分类号: TP392
• 字数: 2386字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.05.069

摘要

为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法.定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法.在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例.最后,结合防空作战过程给出该方法的一个应用案例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗爱民	国防科学技术大学信息系统工程重点实验室	12	48	5.0	6.0
2	刘刚	国防科学技术大学信息系统工程重点实验室	8	47	4.0	6.0
3	皇甫先鹏	国防科学技术大学信息系统工程重点实验室	2	5	2.0	2.0