作战计划拟制中行动方案的形式化建模

被引：11

作者：

杨俊强 ^{[1
,2
]}

杜佳 ^{[2
]}

机构：

[1] 解放军理工大学指挥自动化学院

[2] 西安通信学院

来源：

系统仿真学报 | 2009年 / 21卷 / 23期

关键词：

军事行动; 作战计划拟制; 行动方案; 形式化建模;

D O I：

10.16182/j.cnki.joss.2009.23.039

中图分类号：

TP391.9 [计算机仿真];

学科分类号：

080203 ;

摘要：

作战计划拟制是一个复杂、多标准的决策过程,带有高度的不确定性,如何辅助作战计划拟制的进行是军方面对的一个重要的问题。将作战计划拟制过程视为一个系统,对其中的关键性要素之间的关系进行分析,并讨论在状态空间中行动方案的开发与分析,最后提出一种形式化建模的方法,采用有限自动机和形式化语言来解决行动方案的逻辑特征以及定量特征问题。

引用

页码：7386 / 7389

页数：4