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

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

不确定推理在雷达识别中的应用

通过对雷达的识别,既然可以及时识别对我方威胁较大的目标以便采取相应措施,同时雷达识别的结果也可进一步作为目标识别的知识源,用于对目标身份的识别,以满足辅助决策的需要.提出了不确定推理在雷达识别中的详细方法,给出了在选择载频、脉冲重复频率和脉冲宽度三个特征参数构成雷达特征向量情况下的识别结果.该方法具有较高的应用价值.     

快速传递对准的抗野值方法研究

快速传递对准对滤波精度与收敛速度有着严格的要求,而测量野点的存在会严重破坏传递对准的精度。提出了一种新的抗野值滤波方法,在线取测量信号的一个小区间,采用正向对称延拓的方法构成新序列并对其进行小波阈值去噪,检测出野点,用前几个周期的信号构造新的测量值进行Kalman滤波,有效地剔除了野点的影响,滤波系统保持了很好的精度,满足了传递对准的要求。     

故障诊断专家系统外壳设计与实现

设计了一个故障诊断专家系统外壳,给出了外壳的总体框架结构,基于对象式框架的知识表示,融经验诊断和原理诊断为一体的推理机制.介绍了在Windows环境下实现故障诊断专家系统外壳的方法.只要通过知识库管理系统,在Access数据库中建立不同的知识库,就可以创建不同系统的专家系统.开发的故障诊断专家系统已经在实际中应用,取得了良好的效果.     

基于条件事件代数理论的战术防空态势评估

态势评估是战场决策的基础,而如何进行正确的战场决策对防空战斗有着重要的影响.在对态势评估进行分析的基础上,根据条件事件代数理论,提出了一种对战术防空态势评估问题进行推理的方法,并通过示例介绍了对战术防空态势评估问题进行求解的过程.同时该方法也为解决战术防空态势评估问题提供了一种有效依据.     

双模制导系统中导引头跟踪信息置信度判别

判别导引头对目标跟踪信息的可用性是双模制导系统中的关键环节.判别系统中引入置信度指标来描述跟踪信息的可用性.根据导引头探测环境复杂多变的特点,运用具有自主智能性的模糊逻辑推理系统对导引头跟踪信息的置信度进行判别,并针对模糊逻辑推理系统判别耗时问题,提出了把描述跟踪目标信息不确定性的模糊推理规则转化为神经网络的方法,实现了对导引头目标跟踪信息快速性、准确性的判别,满足了双模制导系统的要求.     

基于云模型和D-S证据推理的防空信息战系统效能评估

基于对防空信息战的因素分析,建立了防空信息战系统指标体系,论述了D-S证据推理的数学性质及其证据合成法则,提出了基于云模型的定性评测和证据推理的综合评价方法,通过证据推理的聚合作用,综合多个不同类型专家的意见,结合云理论实现定性与定量之间的相互转换.最后对防空信息战系统进行实例分析,证明该方法的科学性和直观性,从而拓展了武器系统效能分析的思路.     

基于贝叶斯网络的武器装备体系作战效能评估方法

武器装备体系的作战效能呈现非线性、对抗性、动态性等特点,武器装备体系的建设发展对评估模型的应用分析提出更高的要求。由于贝叶斯网络具备对武器装备体系的效能与指标之间的非线性关系的良好映射能力、对动态过程良好的描述能力、良好的推理分析的能力,基于贝叶斯网络的作战效能评估成为了该领域目前的研究热点之一。论述了武器装备体系的作战效能评估以及贝叶斯网络的发展现状,及基于贝叶斯网络的作战效能评估方法的研究现状,指出了基于贝叶斯网络的武器装备体系作战效能评估方法的发展方向。     

军事通信领域上下文本体建模及不确定性推理＊

为支持军事通信业务的智能化,研究了军事通信业务上下文信息的表示和推理,提出了一种表示业务上下文信息的语法结构、语义以及上下文元信息的本体建模方法。并利用贝叶斯网络理论,提出了一种支持不确定性推理的业务上下文认知模型的构建方法,最后通过案例分析验证了模型和结论的合理性。     

多任务时间规划冲突检测方法

摘要：针对多任务的时间规划问题,基于Simple Temporal Networks(STN)时态表示模型和时态推理方法,提出了一种时间冲突检测的智能方法,并对该方法给予了数学证明。实验表明,该方法能够检测出基于STN表示的作战方案的时间冲突,并对任务时间规划提供参考范围,可有效辅助指挥员快速制定作战方案的时间规划。