基于规则推理的海战仿真实体决策方法

研究在海军战术仿真中应用基于规则推理的方法实现作战实体的自主决策行为,该方法用决策规则描述作战实体决策时所依据的军事决策知识,通过对决策规则的推理实现决策作战实体的决策推理过程.分别介绍了作战实体的决策模型、决策规则的知识表示方法以及决策模型的决策推理方法.基于规则推理的海战仿真实体决策方法推理机制接近人类的思维方式,结构逻辑容易为军事人员所掌握,易于理解和维护,便于实现.     

作战信息需求模型

研究了作战信息需求的概念、需求分析流程及描述方法,提出了作战信息需求的概念模型、逻辑模型和过程模型。概念模型界定了作战信息需求的相关概念及层次关系;逻辑模型描述了作战信息需求的内容;过程模型分析了作战信息需求的演化过程。     

军事信息系统需求模型一致性检验方法

在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。     

装备需求论证资源化相关问题研究

在对装备需求论证资源需求分析的基础上,针对其基础性、超前性、秘密性、多样性及复杂性的特征,运用分面组配法将其分为知识资源、数据资源、模型资源、方法资源、任务资源等,并以作战任务、作战能力、装备性能数据为例对其进行了规范化描述。同时,提出了构建装备需求论证资源库的具体思路,包括资源获取、资源信息规范化描述、资源库功能需求分析、资源库的维护和应用等。     

基于效果驱动和探索性分析的作战能力需求生成方法

针对基于威胁和基于能力的作战能力需求研究存在的不足,在描述作战能力需求要素的基础上,提出了基于效果驱动和探索性分析的作战能力需求生成方法:通过作战目标及效果、作战行动及效果双重驱动,依次探索生成逻辑作战任务、作战能力、物理作战任务、任务条件和任务标准,将多元不确定威胁转化生成作战能力需求。此方法能有效综合作战指挥人员和军事需求人员的观点,其分析结果在实际应用中具有良好的适应性和健壮性。     

军事信息系统作战活动描述方法研究*

针对军事信息系统需求分析需要，探讨了作战活动过程描述、作战节点连接描述、节点状态转换描述和作战活动时序描述的内容和方法。基于该理论和方法，可以准确描述信息化条件下军事人员对军事信息系统的应用需求，实现军事人员与技术人员的有效沟通，为军事信息系统军事需求分析与应用设计的基础。     

军事信息系统作战活动描述方法研究

针对军事信息系统需求分析需要，探讨了作战活动过程描述、作战节点连接描述、节点状态转换描述和作战活动时序描述的内容和方法。基于该理论和方法，可以准确描述信息化条件下军事人员对军事信息系统的应用需求，实现军事人员与技术人员的有效沟通，为军事信息系统军事需求分析与应用设计的基础。     

面向新质作战装备的试验指挥控制体系结构开发

军事技术和武器装备的创新发展,使以新质作战武器装备为代表的新型作战力量脱颖而出.试验指挥控制体系结构的核心要素与描述模型,明确了体系结构开发的新质作战装备更加强调体系作战与联合试验场景,介绍了面向新质作战装备的模型顺序,并以激光武器为例说明了体系结构的构建过程.     

海军特种作战兵力行动知识推理研究*

通过对兵力行动知识原理和兵力行动知识工程建模方法的分析,根据知识推理的特点,给出了适合的兵力行动知识表示和推理方法的选择,并着重运用三值逻辑神经网络这种兼备符号语义表示和网络传播结构的模型,解决了兵力行动推理中偏好性和主观性的规则逻辑的表示及相应的推理问题.最后,基于兵力行动推理的研究,以海军特种作战兵力行动为例,得出了兵力行动知识推理模型实现的描述.     

态势估计中语义障碍的解决方法

态势估计是数据融合体系中的一个重要层次,针对态势估计过程中的语义挑战,引入描述逻辑的概念作为语义推理的逻辑基础.通过描述逻辑良好的语义定义以及提供可判定的推理服务,来给符号分配意义并限制符号可能的解释,消除其中的语义障碍.介绍了描述逻辑的概念、体系和推理, 通过实例说明了这种应用的可能性,并给出功能模型.