摘要
基于事件序列的描述方法是作战过程描述的一条重要途径。首先,采用形式化方法分析事件序列的基本概念,在此基础上给出了事件序列清晰直观的图元化表示。然后,研究提出了基于事件序列的作战过程描述方法的基本思想——形式化和图元化相结合描述作战过程,并给出了具体操作步骤。最后,假想一个简单案例,采用提出的方法对其作战过程进行了描述,示例说明了所提出方法的有效性。
It is an important description method of operational process based on event sequence. The basic concept of event sequence is analyzed using formal method and clear and direct diagrammatic representation of event sequence is given. Basic idea on the operational process description method based on event sequence, which is combined with formal and diagrammatic representation, is proposed and the steps are given. And a simple example is given and its operational process is described using the proposed method. The method is proved to be effective through the example.
出处
《火力与指挥控制》
CSCD
北大核心
2008年第9期33-36,40,共5页
Fire Control & Command Control
基金
"十五"国防预研基金资助项目
关键词
事件序列
形式化方法
图元化表示
作战过程描述
event sequence, formal method, diagrammatic representation, operational process description
