文献类型：期刊文章

作　　者：程恺[1] 车军辉[2] 张宏军[1] 王亮[1]

机构地区：[1]解放军理工大学工程兵工程学院,江苏南京210007 [2]南京陆军指挥学院,江苏南京210045

出　　处：《指挥控制与仿真》

基　　金：国家自然科学基金(70971137)

年　　份：2012

卷　　号：34

期　　号：1

起止页码：15-19

语　　种：中文

收录情况：ZGKJHX、普通刊

摘　　要：为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。

关 键 词：作战任务 作战行动 形式化 IDEF3 仿真

分 类 号：E911] TP311.5]