-
题名基于事件序列的作战过程描述方法
被引量:2
- 1
-
-
作者
袁志民
余滨
段采宇
蔡山
-
机构
国防科技大学信息系统与管理学院
-
出处
《火力与指挥控制》
CSCD
北大核心
2008年第9期33-36,40,共5页
-
基金
"十五"国防预研基金资助项目
-
文摘
基于事件序列的描述方法是作战过程描述的一条重要途径。首先,采用形式化方法分析事件序列的基本概念,在此基础上给出了事件序列清晰直观的图元化表示。然后,研究提出了基于事件序列的作战过程描述方法的基本思想——形式化和图元化相结合描述作战过程,并给出了具体操作步骤。最后,假想一个简单案例,采用提出的方法对其作战过程进行了描述,示例说明了所提出方法的有效性。
-
关键词
事件序列
形式化方法
图元化表示
作战过程描述
-
Keywords
event sequence, formal method, diagrammatic representation, operational process description
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
E211
[军事—军队指挥学]
-