基于贝叶斯网络的态势认识

态势认识的本质是通过因果推理进行态势理解和诊断推理以实现态势预测,不确定性知识表示和推理是态势认识过程中需要解决的两个重要问题。基于贝叶斯网络易于进行不确定性推理的优点,综合应用贝叶斯网络因果推理和诊断推理,提出了态势认识的贝叶斯网络模型,应用贝叶斯网络信息传播算法,给出了态势认识系统实现的方法,并通过实例计算论证了该方法的可行性和实用性。     

不确定性推理方法研究

对3种最常用的不确定性推理方法进行了分析和评述:概率推理、D-S证据推理和模糊推理。分别针对不同类型的不确定性。概率推理针对的是"事件发生与否不确定"这样的不确定性。D-S证据推理针对的是"分不清"或"不知道"这样的不确定性。模糊推理则是针对概念内涵或外延不清晰这样的不确定性。概率推理的理论体系是严密的,但其推理结果有赖可信的先验概率和条件概率。D-S证据推理是不可信的,但在一定条件下可以转化为概率推理问题来处理。模糊推理是一种很有发展潜力的推理方法,主要问题是推理规则需要具体设计,且设计好坏决定推理结果。     

空中目标战术意图层次推理框架及实现

以提高对空态势感知能力为目的,着眼于构建以专家系统为特征的目标意图推理决策支持系统,首先根据目标意图的含义从意图、行动和状态三个层次进行了层次表示,并简要分析了实现意图推理的六种途径.根据空中目标的作战使用等领域知识将其意图从属性类型、战术类型、威胁类型和任务类型四个层次进行了分解.基于意图推理输入信息的分布性特征以及意图的层次分解建立了基于判定树的意图层次推理框架以及数据驱动的推理控制机制.该框架为建立空中目标战术意图的推理实现方法提供了重要的依据.     

定性过程推理的物资保障能力定性模型的建立

面对物资保障仿真领域中解决复杂、不确定问题存在困难,提出运用定性仿真的新思路研究,由定性过程理论和定性推理相结合提出定性过程推理的概念,分析了影响物资保障能力的因素,应用定性过程推理的方法抽象出物资保障能力定性模型,用符号定向图形象地表示该模型.并假设初始条件进行了推理论证,对推理结果的准确性和改进方式进行了分析,对下一步工作做了展望.     

变结构离散动态贝叶斯网络的快速推理算法

变结构离散动态贝叶斯网络是对传统离散动态贝叶斯网络的推广,具有更广泛的建模应用价值,但是其推理算法还有待进一步完善.针对变结构离散动态贝叶斯网络的推理算法难以理解、编程计算难、推理速度慢的问题,给出了实现变结构离散动态贝叶斯推理算法的数据结构,并推导了进行并行计算的推理算法和编程步骤,并通过实例进行了算理验证.给出的方法对变结构离散动态贝叶斯网络的编程应用具有参考价值,同时可以加快变结构离散动态贝叶斯网络的推理计算速度.     

专家系统任务分析和推理结构选择

本文探讨了专家系统的任务特征和推理结构之间的关系,提出了选择推理结构的一般原则,并列举了几种典型的推理结构的算法。     

知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

基于粗糙集理论的定性推理结果的约束

从分析定性推理结果存在的问题出发,提出定性约束的必要性.总结了几种现有的定性约束,提出一种新的定性约束-粗糙定性约束,利用粗糙集属性约简算法对定性推理结果进行约简.简要介绍了粗糙定性推理软件的总体设计思路流程和功能模块划分.以物资供应保障过程定性推理结果为例,对所得推理结果进行粗糙定性约束,得到重要推理结果,为物资供应保障决策提供参考意见.     

某火控系统故障隔离中的信息采集与诊断推理

复杂装备火控系统的故障具有关联性和耦合性,故障隔离需要信息采集为诊断推理提供数据支持,并在诊断推理过程中对信息采集进行控制。基于火控系统工作原理分析了故障隔离的信息需求和信号类型,给出信息采集系统的具体形式;采用分层故障网络和框架结构进行诊断知识表示,并通过信息采集来获取测试信息,以保证诊断推理过程的有效进行;设计了故障诊断的推理控制策略,并对于实际应用的诊断推理过程进行了描述。     

基于事例推理的装备软件成本估算研究

采用基于事例推理的估算方法可以很好地解决传统经验函数估算软件成本时的局限性。讨论了装备软件成本估算和基于事例推理研究的特点,从总体上描述了基于事例推理装备软件成本估算系统结构和实现流程,阐述了主要的研究内容,包括影响软件成本因素、系统的事例表示方法以及相似度的基本算法及事例的改写,并通过实例验证了事例推理在装备软件成本估算实践中的具体应用。     

模糊Petri网在故障诊断知识表示和推理中的应用

针对传统的模糊产生式规则知识表示复杂、推理效率低、单一阈值设定不能满足复杂故障诊断需求的问题,给出了模糊产生式规则转换为模糊Petri网的一般方法和故障诊断模型,以及基于双阈值设定的两级故障诊断推理算法,并将其应用于某型柴油机遥控系统故障诊断之中。通过设置双阈值提高了故障诊断的推理速度和推理效率,同时又能对系统的准故障状态进行检测,及时发现潜在故障,排除故障隐患。     

态势估计中编队作战空间关系表示及其推理

空间关系表示及其推理是态势估计的基本问题。提出了海军编队作战空间的概念,分析了几种典型的空间形式并探讨了相应的描述方法,基于对B.Clarke空间理论的分析,针对两支编队海上作战的态势演变,提出了海军编队作战的区域拓扑关系、及其符号表示和推理的符号集合,并采用合理化的形式推导了空间区域的相加、相交、补集和全集等谓词推理运算,它将适用于构建海军编队态势估计的空间推理基础框架。     

神经规则与案例融合的专家系统知识表示和推理

为了对专家系统中的知识进行表示,并使得推理变得更加准确高效,介绍了一种结合符号规则、神经网络和案例的方法。该方法是把一种混合规则,即神经规则和案例结合在一起。它与传统的基于符号规则推理不同的是,即使有一些未知的输入,也可以执行基于神经规则的推理。实验证明,与传统的专家系统比较,混合推理可以提高故障诊断的效率和精确度。     

近似推理研究进展及其在CAPP专家系统中的应用

本文介绍了近似推理研究的新进展,包括概率推理,模糊推理,非单调推理,定性推理及作者提出了灰色推理;讨论了近似推理在计算机辅助工艺规划（ＣｏｍｐｕｔｅｒＡｉｄｅｄＰｒｏｃｅｓｓＰｌａｎｎｉｎｇ,ＣＡＰＰ）专家系统中的应用;展望了今后的发展趋势。     

通用电子系统故障诊断专家系统的研究

本文采用了一种符合人类维修专家故障诊断思路的方法,即层次模块化故障诊断法,来建造通用电子系统故障诊断专家系统。在系统建造中采用了框架和产生式复合知识表达形式表示系统诊断知识,采用了正反向混合推理、不精确推理及层次模块化诊断推理机制,并予具体实现。     

混合推理的海上作战任务与资源匹配分析

为提高海上作战筹划和指挥能力,以训练数据为基础,基于CPN建模和K2算法,形成了案例推理和贝叶斯推理相结合的混合推理策略,并提出了基于混合推理的海上作战任务与作战资源匹配分析方法和实施步骤,最后给出应用实例。提出的方法操作简单,通用性强,为海上作战中资源使用分析提供了一种新的思路和方法。     

回溯推理的正确形式及其意义

现行的回溯推理理论与人们的推理实践是矛盾的,是违背人的认知实际的。本文给出的推理形式消解了这一矛盾,揭示了回溯推理结论或然性的真正根源,指出了获取正确结论的理论要求,对人们的回溯推理实践具有重要的指导意义。     

基于模型的系统级故障诊断与预测推理技术

针对装备状态监控和故障预测推理的需求,提出不同的诊断推理模型。首先,提出了基于二值相关性模型的快速推理算法,采用Vx Works平台对方法进行了验证评估。然后,针对应用过程中存在的时延、故障耦合等现象,提出了动态诊断模型。在此基础上,提出了考虑故障预测的诊断和预测一体化诊断推理模型,对推理运算方法进行了阐述,开发了仿真验证软件。以某卫星电源系统为例进行了验证,结果显示模型具有故障诊断和预测能力,能实现故障诊断和预测的一体化推理。     

D-S证据理论在潜艇威胁判断中的应用

简要介绍了潜艇威胁判断原理和D-S证据推理基本思想。针对潜艇水下收集目标信息的特点,引入了D-S证据推理系统分析了潜艇威胁判断中的两个关键性环节。判断目标发现本艇与否、判断目标可能采取的攻防决策问题,在把不确定推理应用于潜艇威胁判断研究上作了初步尝试。     

加权模糊Petri网的推理算法研究

将加权模糊Petri网与矩阵运算相结合,提出了一种推理算法,实现知识的推理运用。该算法利用了加权模糊Petri网的并行处理能力,将复杂的推理过程采用矩阵运算实现,充分考虑了多种约束条件,具有简单、高效、易于实现等优点,适合大型复杂加权模糊Petri网的推理计算。最后以实例对算法进行了验证。