会议专题

基于MSDL和C-BML的想定形式化描述

  作战想定的形式化描述是将概念模型转化为计算机可以识别的数据形式,统一的形式化标准对提高想定的可重用性以及作战领域的互操作性具有重要意义。首先,简单介绍了军事想定定义语言MSDL和联合作战管理语言C-BML,然后提出了一种基于MSDL和C-BML的想定形式化描述方法,为我军形成规范的作战想定描述提供一定的参考价值,最后采用这种描述方法开发实现了一个想定生成系统。

作战仿真 想定定义语言 联合作战管理 仿真系统

杨山亮 黄健 尹航 赵鑫业

国防科技大学机电工程与自动化学院,长沙 410073

国内会议

第十三届全国petri网理论与应用学术年会

北京

中文

1724-1728

2011-08-20(万方平台首次上网日期,不代表论文的发表时间)