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

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

作战行动序列核心本体建模及其推理方法

为了解决作战计划数据、信息、知识的一致性理解与互操作等问题,使其表示、生成和检验在一致的语义下进行,提出了作战计划本体的构建方法,详细阐述了通用本体、性能度量本体、效能度量本体、行动本体、行动序列本体和偏好本体等6类核心本体的建模过程,规范了作战计划领域共享概念的形式化描述。基于核心本体建立了自动分类、行动-状态组合以及行动序列优选等3项推理规则,并结合反叛乱行动计划分析了该推理规则能够有效提升计划生成效率,为面向决策的智能化作战行动过程动态生成与检验奠定了基础。     

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

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

基于对象Petri网的作战行动方案开发方法

结合作战指挥决策领域中作战行动方案开发问题的复杂性和不确定性,描述了作战行动方案的开发问题,提出了使用对象Petri网对作战规划问题的建模和仿真的方法。该方法综合考虑了任务、条件、效果、资源、不确定性对方案生成过程产生的影响,所得的模型也便于重用。最后,案例说明了所提方法的可行性和适应性,并分析了所建模型的复杂度。     

军事欺骗计划的一种策划方法

介绍了一种制定军事欺骗计划的方法。首先,由军事欺骗手段的使用特点,分析了军事欺骗行动中产生的备择冲突、资源冲突和效果冲突等问题。其后,给出一种由作战目标导向的制定军事欺骗计划的模型,采用"力量优先矩阵"和"协调矩阵"等方法解决了上述冲突问题,并对军事欺骗手段进行优化配置。最后,用一个实例演示了应用该模型制定军事欺骗计划的过程,并验证了其可行性。     

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

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

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

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

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

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

基于Agent的作战单元行为规划方法研究

在海军多兵种协同攻击蓝方海上舰艇编队的作战想定背景下,为拟制红方参战兵力联合作战协同行动规划计划,采用智能体理论和多智能体技术,将担负作战任务的作战突击兵力定义为作战单元智能体,建立了作战单元智能体的BDI原型结构模型。基于分布计划的分布规划方法,定义了作战单元智能体的协同作战行为规划范围,建立了其协同行为规划问题求解操作方法类模型和行为规划模型,描述了作战单元智能体拟制协同作战行动计划方案的整个规划过程。通过规划形成决策功能,完成了协同行为规划初步计划方案,通过行动计划管理功能完成领域行为规划库的管理。     

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

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

基于HLA的仿真系统模型研究

在基于HLA的仿真系统开发中,设计和建立HLA仿真系统的各种模型是促进仿真互操作和仿真组件重用的关键过程,模型问题是整个HLA联邦开发的核心问题。在提炼了HLA仿真系统建模过程的基础上,提出了改进的基于HLA的仿真系统开发模型体系,并总结了概念模型、对象模型和仿真模型的开发方法和过程,为各模型的快速、规范化开发打下了基础,并能够缩短基于HLA的仿真系统的开发周期,提高建模与仿真的效率。     

反导半实物雷达与数学仿真模型的实时集成

基于VxWorks和高层体系结构(HLA),采用射频注入式仿真方法,对反导防御系统对目标进行探测、跟踪、识别、拦截和数据通信的全过程进行实时仿真集成。实验中干扰机为实装设备,雷达为半实物设备,其它均采用数学仿真模型。按照实时性约束采用三层体系结构:非实时层、弱实时层和强实时层。给出了系统的设计框架,重点分析了各关键数学模型的工作原理。实验结果表明,采用该体系结构能够有效地将实物设备、半实物设备和数学仿真模型集成起来,具有低成本、高效率、实时性和可靠性的特点。     

HLA中的对象模型浅析

在基于HLA的仿真系统设计和开发中,开发对象模型是促进仿真互操作和仿真组件重用的关键过程。在给出HLA对象模型概念的基础上,分析提炼了基于HLA的仿真系统的建模过程,总结了FOM、SOM的模型开发方法,最后介绍了HLA对象模型的OMT标准化描述结构框架。     

人工鱼高级行为规划和运动模型研究

以生物学理论为依据,从人工智能和人工生命相结合的角度提出了人工鱼的高级行为规划和运动模型.高级行为规划即设计多种行为序列以实现当前意图,使人工鱼能够根据不同的环境条件选择相应的行为策略.运动模型在高级行为规划指导下,将行为序列分解为具体动作来执行,作用于环境.人工鱼的运动由饥饿度、危险度等内部状态驱动,并受体力的影响.仿真实验表明该模型能够更合理、有效地模拟真实鱼类的生命特征和智能行为.     

植物冠层光照的建模与虚拟现实仿真研究

植物虚拟现实仿真是将植物看作一个器官集合,从功能和几何结构上描述植物体（群落）,并利用计算机相关技术进行三维可视化的研究工作。绝大多数的植物生长过程主要由光照驱动,所以植物虚拟现实仿真研究工作中对器官吸收光照的测量十分重要。首先根据光照与植物冠层的作用关系,给出了适用于PAR或uV下植物生长过程模拟中器官截取太阳光线和天空光线的辐亮度公式;通过光线投射和投影方法分析了主光源对植被冠层照射的作用原理;结合MonteCarlo光线追踪方法和辐射度方法总结了植物冠层的光线多重散射描述方法;最后利用虚拟现实建模语言对植物冠层光照及环境进行三维可视化模拟和输出。图6,表3,参25。     

可执行体系结构建模与分析

针对体系组分和需求动态演化等挑战, 提出利用可执行体系结构建模与分析辅助体系顶层设计, 尽早获取体系建设的关键信息. 首先, 提出了描述体系结构数据要素语义关系的语义概念模型, 在此基础上围绕核心实体及其关系进行体系结构描述构建了体系结构的静态模型; 其次, 以一种双向可追溯的方式将静态模型转化为可执行模型; 再次, 利用体系结构静态模型和可执行模型展开了体系结构分析, 包括静态分析、动态分析和试验分析; 最后, 以要地区域防空体系为例说明了方法可行性.     

玉米光合生产与产量形成模拟模型

玉米光合生产动态及产量形成模拟是玉米生长发育模拟的核心内容,也是研制基于模型的玉米精准栽培智能专家系统的基础。为此,根据"物质-能量转化-能量平衡"理论及作物生理生态学和农业气象学的基本原理,以田间试验数据和搜集相关区试资料为基础,借助计算机模拟技术和数学物理方法等手段,首先建立了玉米群体光合生产动态模拟模型,模型考虑了群体叶面积动态、光合作用、呼吸作用、同化物向各器官的分配及干物质积累等主要生理过程。然后以此为基础,研制了玉米产量形成模型。利用江苏省大面积栽培品种掖单13和苏玉9号的田间试验数据和区试资料对产量模型进行验证,结果表明,模型具有较好的模拟精度。表2,参21。     

基于描述逻辑的C4ISR系统体系结构一致性验证方法

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。