基于XML的作战计划形式化描述

在信息化条件下,战场情况瞬息万变,作战行动要以作战计划为依据。因此,客观上需要为作战计划设计语义明确、规范易懂、简洁实用、统一的形式化表示方法,保障指挥员和参谋人员准确表述和理解作战计划,为作战计划拟制、冲突检测和执行监控、作战仿真等软件提供基础支撑。通过分析作战计划的信息构成,对作战计划的各个组成部分进行了形式化描述,提出了基于XML的作战计划形式化表示方法,给出了基于XML Schema的作战计划形式化表示结构图。

兵力组织适应性设计方法

为建立信息化条件下的高效作战体系,从组织实体和组织结构两方面形式化描述了兵力组织的基本概念,在此基础上提出了一种系统的兵力组织适应性设计方法。该方法的思路是将兵力组织适应性设计这一复杂问题分解为行动计划设计、行动计划调整、指控结构设计和指控结构调整4个相对简单的子问题,通过解决这些子问题来实现兵力组织的构建与动态演化。详细分析了不同子问题对应子方法之间的耦合关系并界定了各子方法的输入输出信息,然后综合考虑任务完成时间和任务完成质量给出了组织行动计划的设计及调整方法,通过衡量负载水平与负载均衡程度给出了组织指控结构的设计及调整方法,最后指出了所提方法的下一步发展。

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

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