作战事件跟踪描述建模及验证方法研究 |
| |
引用本文: | 刘刚,罗爱民,皇甫先鹏.作战事件跟踪描述建模及验证方法研究[J].计算机科学,2012,39(5):291-294. |
| |
作者姓名: | 刘刚 罗爱民 皇甫先鹏 |
| |
作者单位: | 国防科学技术大学信息系统工程重点实验室 长沙410073 |
| |
摘 要: | 为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法。在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例。最后,结合防空作战过程给出该方法的一个应用案例。
|
关 键 词: | 对象Petri网 作战事件跟踪描述 验证评估 |
本文献已被 CNKI 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|