论文部分内容阅读
作战方案的形式化描述是实现海上编队指挥自动化的关键，是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析，概括了作战方案形式化描述的主要研究内容、方案形式化的主要方法、存在问题以及发展方向，对后续的研究工作具有一定参考意义。
海上编队作战方案形式化描述研究
【摘 要】
：
作战方案的形式化描述是实现海上编队指挥自动化的关键，是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析，概括了作战方案形式化描述的主要研究内容、方
【机 构】
：
海军大连舰艇学院
【出 处】
：
舰船电子工程
【发表日期】
：
2009年6期
【基金项目】
：
海军大连舰艇学院科研发展基金项目（编号：2008026）资助.
其他文献
在文献[20]中,系统阐述如何构建面向网络中心战的战场空间本体。构建战场空间本体采用的是以描述逻辑SHON(D)为形式化基础的本体语言OWLLDL,主要用于表达对象和类的层次结构,