空防对抗中战场态势综合评估的一种新方法

以防空作战实际需要为出发点,从作战指挥的角度对战场态势评估问题进行了深入研究。首先给出了战场态势的一种全新定义,提出了空袭态势和防空态势的概念,将影响态势的因素分为两类,一类为静态因素,一类为动态因素。详细给出了影响空袭态势和防空态势的静态因素、动态因素指标体系,并提出了确定因子表征值的一种新方法,它将因子表征值与因子属性值相区分,定义表征值是属性值对模糊概念的隶属度。在此基础上建立了基于模糊概念层次分解的战场态势综合评估模型。该成果已被用于指挥自动化系统中,为指挥员掌握战场全局以及战役进程提供很好的支持。     

基于耗散结构理论的极大熵目标分群算法

为快速准确实施战场目标分群,从信息交互角度,结合耗散结构理论将战场态势认为是能够出现"有序" 状态的动态开放系统.据此,建立用于战场目标分群的OG-Brusselator 模型,并且改进了MEC 算法,在航路勾径基础上提出航路股径概念统一目标彼此间距离和运动方向两要素的量纲,将其和目标与分群中心隶属度分别作为影响目标群属关系明晰度的可量化正、负熵指标, 提出以OG-Brusselator 模型控制算法迭代的目标分群算法DS-MEOC.最后针对空中目标进行分群实验分析,结果表明DS-MEOC 算法有效可行,相比MEC算法,能够提供更合理的目标分群方案.     

支持产品创新设计的流形Petri网数据模型

提出一种支持产品创新设计的流形对象Petri网数据模型MOPN（Manifold Object PetriNet），其利用面向对象技术来刻画产品的静态结构，实现了产品数据的封装、抽象与层次化建模，特别是扩展了对象的属性类型，将对象的属性值扩展到流形上，因而可刻画对象属性值非均匀变化的情况。模型利用高级Petri网刻画产品的动态工作过程，不仅可支持产品工作过程的创新，而且还可通过模型的形式化来验证产品创新概念的逻辑正确性和完整性。     

联合作战仿真态势数据模型研究

态势数据是实现联合作战仿真态势显示的基础.基于对态势数据时空特征的分析,认为态势数据本质上是一种时空数据,态势数据模型是对态势数据的属性和时空特征及其存储组织方法的研究.在详细讨论态势数据实体类型和时空关系的基础上,提出了一种面向仿真对象的态势数据时空模型,并详细阐述了构建该模型的基本思想和实现方法,这种模型适合于态势数据交换和显示.     

基于地理信息系统的虚拟战场态势显示

以分布交互仿真中的虚拟战场态势显示为需求背景，基于地理信息系统(GIS)的理论和相应的软件工具，在虚拟战场态势显示中引入GIS技术，实现了基于GIS的虚拟战场态势二维与三维、静态与动态的显示，以及战场数据的添加与查询，计算机生成兵力的初始化及实时驱动、飞机地形高程匹配飞行的三维仿真。开发了一个具有统一集成环境、二维与三维态势显示相对应等特点的原型系统。 并介绍了其组成、功能和特点。     

基于模糊逻辑和D-S证据理论的一种态势估计方法

战场态势分析是指挥决策的基础 ,如何进行合理的态势估计是C4ISR数据融合系统中的一个重要环节。分析了态势估计问题的本质特征和推理模式 ,提出了一种基于模糊逻辑和D -S证据理论的综合推理方法 ,并构造了一个对战场态势进行分析、推理和预测的求解模型。该模型能够通过融合推理得到态势假设和事件之间的潜在关系 ,为决策提供依据。     

模拟表示、混合推理与战场态势评估

在战场态势评估领域，战场环境的知识表示和相关的推理方法是一个急需解决的难题。推广的模拟表示及混合推理框架采用了多层模拟结构来表示战场环境及相关的军事知识，对图模型进行了扩展，在其语句子系统融入了包括一阶谓词逻辑、非单调逻辑、模糊逻辑、Demster-Shafer证据方法及其相应的证明理论，使其具备了表示多种不确定性知识与现象的能力，以及利用这些知识对不确定现象进行推理的能力。关于战场态势评估的应用实例简要地说明了所述方法的应用步骤及其作用。     

基于CADM的C4ISR体系结构一致性验证方法

近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于特定的体系结构设计工具,不具有通用性.本文提出的基于核心体系结构数据模型（CADM）的体系结构验证方法可以避免这个问题,CADM是C4ISR系统体系结构数据的逻辑模型,本文首先解释了CADM的概念、然后对体系结构数据一致性验证的内容和详细步骤进行阐述,最后通过案例进行说明.     

基于IFTBN的不确定性时间推理方法

针对模糊贝叶斯网络模型对复杂不确定性时间信息描述和推理方面的局限性,给出了直觉模糊贝叶斯网络的定义,并将直觉模糊时序逻辑理论与贝叶斯网络推理相融合,构建了直觉模糊时间贝叶斯网络(intuitionistic fuzzy time Bayesian network, IFTBN)模型,提出了基于IFTBN的不确定性时间推理算法,较好地解决了态势估计中不确定性时间推理精度不高的问题,提高了军事态势评估系统形成正确战场感知的作战效能。最后通过典型实例验证了该时间推理方法的有效性和优越性。     

基于IDEAS的联合论证元模型

为统一描述联合论证模式中体系结构数据,基于《国际国防企业体系结构规范》(international defense enterprise architecture specification, IDEAS)提出了联合论证元模型(joint demonstration meta-model, JDM2)。首先,介绍了业务对象参考本体(business object reference ontology, BORO)、IDEAS和国防部元模型(department of defense meta-model,DM2),从设计机理方面剖析了DM2不适用于描述联合论证内容的根本原因以及DM2概念数据模型(conceptual data model,CDM)、逻辑数据模型(logical data model, LDM)和物理交换规范(physical exchange schema, PES)3层结构的优点;然后,借鉴本体理论和DM2设计思想基于联合论证空间提出了JDM2中的概念数据模型;在概念数据模型基础上基于IDEAS规范构建了JDM2中的逻辑数据模型。最后通过实例说明了JDM2的可行性。