作战计划拟制中行动方案的形式化建模

作战计划拟制是一个复杂、多标准的决策过程,带有高度的不确定性,如何辅助作战计划拟制的进行是军方面对的一个重要的问题。将作战计划拟制过程视为一个系统,对其中的关键性要素之间的关系进行分析,并讨论在状态空间中行动方案的开发与分析,最后提出一种形式化建模的方法,采用有限自动机和形式化语言来解决行动方案的逻辑特征以及定量特征问题。

支持计划拟制的兵棋系统军事需求分析

现代战争中,快速、及时地拟制切实可行的作战计划是军事行动成败与否的关键。针对国外军事人员广泛利用计算机兵棋系统辅助行动方案开发与分析,而我军在计算机兵棋领域仍处于空白的现状,从计划拟制过程出发对兵棋系统的军事需求进行分析研究,为我军兵棋系统的设计开发提供参考依据。

军队院校招生计划拟制方法研究

军队院校招生计划确定了各院校、各专业、各生源地的招生数量,对军队人才建设的总体发展水平有重要的影响。为实现精确化拟制军校招生计划,提出了运用求解线性规划模型拟制招生计划的方法。在综合分析考虑约束计划拟制各种因素的基础上,建立了院校-专业招生计划模型和分生源地招生计划模型,分别描述了确定各院校各专业招生数量和各生源地招生数量应满足的目标与约束条件,然后给出模型的求解方法,求解模型的结果就形成了招生计划方案。最后以拟制2013年青年学生招生计划为背景,进行了应用案例研究。该方法为实现科学制定招生计划、军事人才计划精确管理探索了技术途径。

基于RGPS的计划拟制按需组织框架

传统的计划拟制软件面向具体的业务过程进行构建,缺乏统一的流程化组织,软件功能复杂且难以维护。论文提出了基于RGPS的计划拟制框架,该框架采用基于Web的面向服务架构,能够提升功能模块的可复用性,提高软件功能的组织运用效率。通过封装计划拟制过程的单元服务,该框架以用户为中心关联聚合单元服务并生成计划拟制流程,依靠感知情境因素来向用户提供按需服务。论文从理论上分析内部服务组织算法的复杂度,与其他经典算法相比,该框架在服务数量不断增长的情况下,能够保持良好的算法稳定性,能够适应复杂服务集合的组织应用场景。

Outer Synchronization of Complex Networks by Impulse

This paper investigates outer synchronization of complex networks,especially,outer complete synchronizationand outer anti-synchronization between the driving network and the response network.Employing the impulsivecontrol method which is uncontinuous,simple,efficient,low-cost and easy to implement in practical applications,weobtain some sufficient conditions of outer complete synchronization and outer anti-synchronization between two complexnetworks.Numerical simulations demonstrate the effectiveness of the proposed impulsive control scheme.