海上编队作战方案形式化描述研究

作战方案的形式化描述是实现海上编队指挥自动化的关键，是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析，概括了作战方案形式化描述的主要研究内容、方案形式化的主要方法、存在问题以及发展方向，对后续的研究工作具有一定参考意义。