海上编队作战方案形式化描述研究
孙庆声
缪旭东
陈行军
1.海军大连舰艇学院,大连,1160182.海军大连舰艇学院,大连,1160183.海军大连舰艇学院,大连,116018
摘要：作战方案的形式化描述是实现海上编队指挥自动化的关键,是提高编队协同作战能力的前提.通过对方案形式化描述问题研究现状的分析,概括了作战方案形式化描述的主要研究内容、方案形式化的主要方法、存在问题以及发展方向,对后续的研究工作具有一定参考意义.
关键词：海上编队作战方案形式化描述
分类号：TP15(自动化基础理论)
资助基金：海军大连舰艇学院科研发展项目(2008026)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 1-3,32 )
英文信息