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

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

可组构的作战行动建模研究

作战行动建模是作战模拟的核心和基础，实现作战行动建模的可组构有着非常重要的研究价值，它可极大提高作战模拟开发的效益，便于实现对作战行动过程进行更为细致仿真分析。从作战行动建模可组构问题入手，分析了国内外对这一问题的研究现状，提出了基于作战行动类库、工作流技术和SOA架构技术的三层可组构结构的解决方案，这三层分别是动作层、行动过程层、应用层，并对各个层次上实现可组构的设计思路和实现技术进行了简要的阐述。     

基于语义推理的作战计划验证方法

针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。     

基于UML的破障作战行动建模研究

军事概念模型对"破障行为空间"抽象,目的为一体化联合作战仿真提供组件.按照用例,对战场障碍物、破障分队等元素进行了形式化表达,建立了破障作战系统包图;基于UML动态建模机制,构建破障作战行为主体协作模型,构建破障作战行动模型,实现各作战行为主体的用例等;并就破障战斗、遭敌袭击战斗等进行作战活动分析,建立相应的作战活动图.模型实现了对象间的交互作用、关系和消息传递,反映了"破障"作战任务、实体、功能、交互、活动等内在逻辑.     

基于AGENT的防空作战CGF行为建模研究

介绍了防空作战CGF系统的组成结构,对防空作战CGF系统的特征和防空作战CGF实体对象的行为特征进行了分析,提出了基于Agent的实体行为建模方法,以防空作战单元CGF系统为例,构建了搜索指挥Agent的行为模型,对多Agent的行为规划和Agent主体交互问题进行探讨,为防空作战CGF系统建模提供了有效的方法和途径。     

作战仿真实体组件化建模研究

针对作战仿真实体传统建模方法导致的模型分类标准不统一、模型通用性、可重用性差等现象,在对作战仿真实体要素进行分析和归纳的基础上,提出作战仿真实体组件化建模的设计方法、采用"方案-单元-实体-组件"方式的作战仿真实体管理机制以及采用事件驱动、事件订购和分发方式的作战仿真实体交互机制,为构建良构的作战仿真实体模型,规范仿真实体模型开发,避免低水平重复建设提供技术支撑。     

作战指挥机构的建模与仿真研究

分析了信息技术带给作战指挥的机遇与挑战：信息技术为大大提高指挥效能创造了客观前提，但是使这种有利条件变为现实还需要有创新的作战指挥理论来支持。在借鉴企业信息化过程中所走的弯路，以及通过建立工作流的模型辅助领域专家进行企业工作流程重组得到了成功经验的基础上，提出在当前大力进行指挥自动化建设的同时，势必要变革作战指挥机构组织方式、工作流程、信息流程，建模与仿真方法是这一过程中不可缺少的一个环节。说明了两种仿真系统（人在环仿真系统与无人在环仿真系统）的构造思路，并着重分析了无人在环仿真系统建模的关键要素：组织结构、工作流程、信息流程、指挥手段、指挥者行为等，说明了各个要素的建模重点以及建模方法等。     

本体在建模与仿真中的应用

在知识工程中,本体论方法主要用于知识的重用和共享,为解决建模与仿真领域中的领域信息描述、系统重用与互操作、仿真可组合等问题提供了思路.首先分析了信息科学领域中的本体定义,然后研究了基于本体的模型开发,包括本体在一般模型开发过程中的作用,离散事件建模本体和本体驱动仿真方法,接着探讨了本体在可组合性仿真中的作用,最后作为总结,指出了本体在建模与仿真领域的方展方向.     

基于复杂网络的作战模拟组织建模研究

针对作战模拟对模型逼真度的要求,建立真实反映战场行为的组织模型是非常重要的。从复杂网络的观点出发,并结合效用和多Agent理论,分析和描述了真实作战组织的网络特性,综合考虑了实体完成类似任务经历、完成任务的能力素质和当前的心理/生理状态三者对效用的影响权重,提出了适用于作战模拟的动态网络组织形成算法。算法的仿真结果表明,该算法很好地反映了作战模拟中的组织行为特点,且在复杂度方面优于同类算法。     

作战系统仿真中的雷达建模与仿真研究

以舰艇防空作战中雷达单元的仿真为背景，按照搜索雷达和精跟踪雷达的功能及工作流程，将作战系统中的雷达仿真分成目标探测、捕获、非精确跟踪及精确跟踪等步骤，对各个步骤中需完成的工作进行了较为完整的介绍，并给出了相关流程图。     

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

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

导弹力量作战行动规划综述

导弹力量作战行动规划在导弹力量作战指挥决策中具有重要作用。针对导弹力量作战行动规划中的实际问题,分析了导弹力量作战行动规划的特点,对其主要内容进行了描述,提出了导弹力量作战行动规划的基本方法和相关规划模型,构建了导弹力量作战行动效能评估指标体系,给出了相应的效能评估方法。研究结果可为导弹力量作战指挥决策提供支持,对提高常规导弹力量作战效能和整体作战能力具有参考价值,并为后续的具体研究提供一定的理论基础。     

导弹力量作战行动规划综述

导弹力量作战行动规划在导弹力量作战指挥决策中具有重要作用。针对导弹力量作战行动规划中的实际问题,分析了导弹力量作战行动规划的特点,对其主要内容进行了描述,提出了导弹力量作战行动规划的基本方法和相关规划模型,构建了导弹力量作战行动效能评估指标体系,给出了相应的效能评估方法。研究结果可为导弹力量作战指挥决策提供支持,对提高常规导弹力量作战效能和整体作战能力具有参考价值,并为后续的具体研究提供一定的理论基础。     

组织过程策略优化的案例分析与求解

组织过程策略优化是依据组织的使命和资源能力约束建立组织的最佳行动过程。以联合战役为背景对基于效果的组织过程策略优化方法进行了案例分析，并对最佳策略搜索的不同方法进行了比较，通过案例的求解结果分析了基于效果的过程策略优化方法的可行性。     

基于多主体影响图及博弈论的军事决策建模

具有循环依赖性的决策行为在包括军事决策问题在内的许多领域普遍存在。在博弈论框架下,利用多主体影响图(multi agent influence diagram, MAID)及其结构诱导的关联图,对具有循环依赖性的军事决策问题进行分析和建模,能够准确地描述具有对抗性的军事决策态势,精确地识别决策问题中的循环依赖关系,深刻地揭示军事决策问题的潜在结构信息。实例分析表明,基于多主体影响图及关联图的框架不仅为军事决策提供了新的分析和建模途径,而且同现有方法相比具有多方面的优势。     

军事需求的多层次多视图描述框架

为解决对军事需求理解和描述不统一的问题,从一般意义上探讨了军事需求的概念和特点,并借鉴体系结构框架理论建立了军事需求的多层次多视图结构框架。给出了军事需求总体框架的形式化描述,依次建立了描述军事需求之使命的任务视图、能力视图、系统视图和技术视图的产品体系,最后对军事需求多层次多视图描述中涉及的关键问题进行了分析。建立的描述框架可为军事需求理论研究和实践提供有益的参考。     

特殊条件下铁路输送计划编制模型和算法

突发事件发生后, 在长期恢复重建过程中, 会产生一些特殊需求的铁路运输任务. 针对其运量大、时限紧, 动态性强、车辆利用率要求高的特点, 可采用动态服务网络理论编制其输送计划, 其目标是提高货物列车的利用率及运输需求的满足程度. 在构建重空车流时空网络图的基础上, 建立了基于固定路径的输送计划编制模型. 根据模型的特点, 提出一种松弛算法, 借助LINGO软件, 采用按周期分阶段逐步取整的方法求解模型. 算例分析中将该算法的计算结果与直接采用LINGO软件的计算结果相比较, 证明该算法效果良好. 特别对于规模较大的问题, 该算法也可以进行有效的求解.