论文部分内容阅读
作战方案的形式化是实现作战指挥自动化的基础之一,也是实现作战方案仿真评估的前提。本文通过分析作战方案的组成要素,分别运用EATI方法和XML方法对作战方案进行结构化与形式化描述。构建了作战方案类,在对作战决心进行形式化描述的基础上,逐步细化,完成对作战方案的形式化描述,对于推动和促进作战指挥自动化的发展具有一定的参考价值。