为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究.在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义.抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系.依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程.通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题.%In order to make all kinds of information systems consistently understand the operational task and its execution, in-depth study on formal description method of operational task is carried out. Based on analyzing the concept of operational task and its compositions, formal definition is put forward by using eight-tuple array. Explain three kinds of abstract relations which are instantiation relation between overall task and specific task, vertical hierarchy relation between task and action and horizontal logic relation among actions. According to the characteristics of operational task, a set of formal description process is proposed. Use IDEF3 model to show the execution of task. Discuss the realization of simulation model by integrating units of behavior and simulation data and mapping junction to simulation rule.
展开▼
