作战想定的形式化表述方法研究

作战想定是作战仿真中军事与技术沟通的桥梁,需要通过形式化的方式进行有效的表述.从作战需求和仿真系统开发技术出发,通过分析抽象提出了作战想定形式化表述的W5(Who, When, Where, What, hoW)原则,并进而对作战单元的时空运动和使命任务规划方法进行研究,提出了一种基于原子条件和原子行为的任务规划方法,最后介绍了采用这一研究结果开发实现的一个作战仿真系统.     

XML仿真想定的Vega可视化研究

仿真想定开发是军事仿真中的重要环节.如何将作战任务从军事自然语言描述最终转换成视景仿真表述,是军事推演仿真中急需解决的问题.主要讨论使用XML技术和Vega技术相结合完成任务计划想定视景仿真的方法.首先描述了军事想定的概念、意义和建模方法,然后通过实例描述了任务计划想定的建模和形式化描述过程,继而阐述了使用Vega视景仿真表现XML想定的方法,最后确认了该思路的可行性,并总结了若干实践经验.     

军事通信网业务流建模及其仿真方法研究

针对军事通信网战场运用的科学规划与优化问题,提出了一种业务流建模及其仿真实现的方法.该方法在分析军事通信网仿真流程及其业务流模拟步骤的基础上,给出了基于吸引系数法建立指挥所间业务流量矩阵的算法,并对话音、数据和视频业务流及其合成性能分别建模,进一步利用OPNET仿真软件建立了指挥所业务流合并模型.最后给出了某军事通信网作战运用的仿真实例,实现了利用仿真法定量分析和规划军事通信网战场运用的技术途径.     

一种多分辨率仿真模型构建方法

针对人在回路仿真推演中高层级指挥员下达作战任务与仿真系统模型指令之间的分辨率鸿沟，提出了一种基于行为树的多分辨率模型构建方法。通过改进行为树语法，实现了低分辨率作战任务解聚为高分辨率仿真系统指令；通过设计嵌入行为树的决策模型，解决了模型指令执行过程中面临的资源不确定性、执行效果不确定性问题。设计了夺取制空权作战场景，验证该方法的有效性。     

基于本体的无人系统任务规划研究综述

作战知识是提高无人系统的自主作战能力的重要因素。如何系统规范地存储和表示作战知识, 使无人系统能够根据高层任务指令, 自主完成任务规划, 并基于不断更新的战场知识进行重规划和智能决策, 是一个新的研究领域。首先, 通过对任务规划领域概念、规划方法和知识表示方法的梳理, 提出了基于本体的任务规划框架。然后, 总结了本体在机器人、无人系统、军事任务规划等领域的应用情况, 分析了当前研究的特点和不足, 并提出了该领域的重要研究方向。最后, 针对构建无人系统任务规划本体时应遵循的原则和需要关注的关键能力指标进行了论述。     

军事概念模型建模实践分析与研究

军事概念模型是在吸取美军任务空间概念模型概念和技术的基础上,根据我军作战仿真实际特点提出的.它是作战仿真软件开发的阶段性成果,又是作战仿真软件开发过程的可视化显示.首先通过对实际军事概念模型建模实例的分析,给出了在军事概念模型中存在的一些共性问题.在此基础上针对问题提出了军事概念模型建模中应把握的原则和相应的军事概念建模过程,以期提高军事概念的建模质量.     

无人作战飞机任务规划与控制单元仿真系统

首先对无人作战飞机任务规划与控制单元的总体方案进行设计,对仿真系统的各功能模块进行了描述.然后提出了分层递阶的任务规划与控制功能结构及其逻辑框架,并给出基于可扩展标记语言的任务链模型.最后实现了控制单元指挥多编队无人作战飞机协同作战的仿真,并对进一步的研究进行了展望.     

一种支持自主任务规划调度的航天器系统建模方法

在对航天器系统建模方法和任务规划域建模方法全面分析的基础上,提出了一种支持自主任务规划调度的航天器系统建模方法.然后,通过对完成自主交会对接的追踪航天器系统实例建模详细说明了该方法.最后在搭建的验证环境中,对构建的可执行航天器系统模型和基于该模型实现的自主任务规划调度系统进行了多次不同想定的仿真推演.验证结果说明:该方法不仅能够满足航天器自主任务规划调度的需求,而且具有很好的可重用性和可扩展性.     

模型与数据混合驱动的代理模型构建方法研究

以某作战样式下的立体投送行动为研究对象,针对模拟仿真推演计算因子过多、计算资源开销过大、普通解析模型计算精度不足等问题,提出了一种模型与数据混合驱动的代理模型构建方法,支撑作战行动的研究。基于军事理论构建了包含武器装备、作战力量等在内的含待优化系数的立体投送解析模型组,并依托自主研发的“代理模型可视化平台”,实现前述解析模型组的复合和参数设置;通过模拟仿真系统实施推演,采集高可信度仿真数据;以高可信度仿真数据为样本,采用多目标遗传优化算法NSGA-II对解析模型中的待定关键系数进行优化,获得能够兼顾计算精度和计算速度的立体投送代理模型。经对比实验结果表明,构建的立体投送代理模型计算结果与高可信度仿真推演相比,战损最大相对误差不超过6.5%,而计算速度提升了150倍。     

一种新的军事概念建模方法

军事概念模型建模是作战复杂系统建模与仿真的重要环节。该文提出了一种包含面向过程任务空间概念建模与面向对象仿真空间建模两个阶段的军事概念模型建模方法。该方法方便军事人员与仿真人员从不同视角对作战系统进行抽象描述。最后,该文通过一个空基反导作战案例,对这一方法进行了验证。     

基于仿真优化的集装箱港口大门作业调度研究

提出基于仿真优化的集装箱港口大门通道作业的调度优化方法.首先,建立了大门作业的离散事件仿真模型和调度优化数学模型;其次,设计了启发式Tabu搜索算法和仿真模型相结合的仿真优化方法;然后,结合仿真自动化方法和在线数据库实现了仿真优化系统;最后,用实例验证并分析了本方法的有效性及效率问题.结果表明了本方法对在线、实时作业调度优化问题的适用性.     

基于HLA的协同仿真运行研究

对应基于HLA的多领域建模，提出基于HLA的协同仿真运行。对HLA的标准MOM交互类进行扩充，增加有关仿真运行暂停、继续，仿真撤销，仿真结束的交互类；定义用于仿真运行启动的CORBA接口；对仿真运行管理器增加判断参与仿真联邦执行的所有成员是否正常加入的功能，并管理三个仿真联邦同步点，以保证协同仿真运行。     

基于HLA编队协同作战仿真研究

简要介绍了基于HIA的协同仿真平台（COSIM）的两种开发机制：COSIM开发机制和非COSIM开发机制。基于该平台构建了编队协同作战仿真系统，介绍了系统的体系结构及各节点的功能，完成了各个联邦成员的对象类和交互类设计，研究了非COSIM机制下的系统开发过程．开发过程表明：该机制在较大程度上封装了HLA／RTI的开发细节，能降低系统的开发难度，使开发过程变得简单。通过仿真实验验证了所构建仿真系统的可行性和正确性。所构建的仿真系统为编队协同作战能力（CEC）系统应用到水下防御领域的概念论证提供了依据，且为相关理论的研究提供了试验平台。     

基于Simulink的XCP仿真研究

针对NS-2仿真消耗大量运算时间,占用大量存储空间的缺点,利用Simulink构建XCP 的连续模型,并在此基础上构建多个XCP连接竞争一条瓶颈链路的仿真场景.对比实验表明,该模型能够真实再现XCP的收敛特性,并且运算时间在秒级,存储空间在KB级.     

基于脆性的复杂系统研究

针对开放的复杂系统进行研究,首次提出并论证了脆性是复杂系统的一个基本特性．以子系统之间的脆性联系为出发点,建立了研究复杂系统脆性的理论基础．根据脆性的定义、特点,定义了复杂系统的脆性基元、子系统间的脆性联系函数、脆性联系熵和脆性正交的概念,同时将非合作博弈的理论和方法引入到复杂系统的脆性的研究中．并以道路交通系统为例,进行了脆性分析。     

连续对策上的计策理论

引进连续对策上的计策的概念，分别研究一个局中人中另一个局中人的概率和识破这个局中人的计策的概率，给出局中人的判断的准确性的一种度量。     

基于STAGE的单舰防空反导仿真实现

单舰防空反导是现代海战中舰艇作战使用研究的重点和难点,也是舰艇战斗力形成的关键。在对舰艇防空反导仿真进行深入研究的基础上,提出了运用STAGE构建单舰防空反导仿真系统的基本框架,并详细描述了系统仿真模型的构建以及运用STAGE的实现方法。     

基于HLA的多领域建模研究

针对目前缺乏一种具有标准性、开放性、可扩充性，支持分布式仿真，基于商用仿真软件的多领域建模方法，提出基于HLA的多领域建模。首先提出将一个模型的输出变量映射到另一个模型输入变量的原则和实现方法，然后提出HLA应用层程序框架，以支持将各领域仿真软件开发的模型方便、准确地实现成为联邦成员，同时给出了商用仿真软件参与多领域建模所必须提供的与HLA应用层程序框架接口的五个方法。     

基于Windows平台的仿真支撑系统的研究

对可运行于Windows平台的仿真支持系统进行了研究,并加以了具体地实现,针对微机系统的特点,采用了客户／服务器方式,对大型网络实时数据库进行了精心设计,实现了利用微机群构成大型仿真系统,对模型的编写、编译、连接、调试、运行和结果分析等全过程提供支持。并将指导员台,就地操作,工程师站等功能有机地进行了集成。同时,作为一个开放的系统,还提供了应用程序编程接口,为用户的进一步开发提供了方便。在多个仿真系统的实际使用表明,本研究成果为基于Windows平台的仿真系统的开发、运行和研究提供了良好的基础。     

基于Agent的协同关系模型研究

在分析协同环境中Agent之间协同关系特征的基础上，本文提出并定义了一种基于Agent的协同关系模型(ACRM)，该模型引入了时间和空间的机制，用于描述现实世界的协同环境中Agent动态协同过程。通过应用实例说明该模型解决了动态协同过程中协同关系变化等问题。