介绍对传统链式推理技术的一种改进算法

本文介绍了传统的链式推理技术及其改进后的算法。由于改进后的链式推理技术提高了推理效率，因而在实际应用中具有推广价值。     

基于CBR的民机排故支持技术研究

飞机排故与飞行安全可谓息息相关,并且对飞机用户的经营效益和社会形象也有直接或间接的影响。以当前国产新一代支线客机ARJ21-700飞机适航审定试飞期间的故障为基础,研究了基于案例推理(CBR)方法的飞机排故支持关键技术及其应用,包括排故案例库的表示、检索、重用、修改和学习。并从ARJ21-700飞机排故的实际出发,概略介绍了案例库的构建方法并举例,建立了结合字符型字段匹配技术和KNN方法的案例检索模型,并进行了实例验证。     

基于实例推理的工艺规划

在研究基于实例推理(CBR)基本原理和实例特征属性权重的确定方法的基础上,建立了CBR的工艺规划模型,提出了CBR工艺规划算法.根据这种算法,描述了BITCAPP中CBR技术应用的过程,并分析了基于分层递阶思想的实例组织和匹配模型等关键技术.最后以箱体类零件为例对CBR技术在工艺规划中的应用进行了验证.     

欲穷千里之目--对德国《科学》专栏记者的专访

2005年,她应中国UFO研究者的邀请来到中国,参加在大连召开的世界UFO大会。会上,她发表了自己对UFO问题的见解。在演讲中,她讲述了一些发生在以色列的近距离遭遇案例和目击案例。其中最特别的一个案例是,一个以色列女人仙娜和她的孩子的奇特经历——他们在自己家里看见了一个15厘米高的外星人。会后,尤塔·艾丽应《飞碟探索》的邀请,向广大UFO爱好者讲述了自己的研究历程。     

高血压鉴别诊断专家系统HEDDS的不精确推理算法

本文在分析著名的医学专家系统MYCIN不精确推理算法的基础上,提出了一种易于在微型计算机上实现的简便有效的不精确推理算法,并就其一些性质进行了讨论。     

贝叶斯推理运动轨迹相干累积的动目标检测方法

雷达理论和实践都表明相干累积是机动目标探测行之有效的方法,但其性能会因脉冲回波处理间隔内未知距离和/或多普勒的徒动而降低。为解决这个问题,提出了一种贝叶斯推理运动轨迹相干累积的动目标检测方法。首先,通过对脉冲压缩回波信号的距离频率进行翻转,就可从未翻转与翻转后的回波信号相乘的傅里叶逆变换中,提取出慢时间维描述待探测多目标运动轨迹的时频信号。视该时频信号中各目标运动轨迹为状态变量,获得的时频信号为观测,建立起多目标运动轨迹的状态空间模型。这样,据贝叶斯滤波推理出的目标运动轨迹,构建出快-慢时间维联合的二维匹配滤波器,就能补偿目标高速/机动带来的未知距离和/或多普勒徒动。理论分析和仿真实验均证明：所提算法适用具有复杂且未知运动状态的目标,且呈现出了优于文献报道方法的性能。     

智能诊断的定量推理机制和最优推理环境

描述和分析了一种新的基于智能信息处理的故障检诊方法,可以处理复杂动态系统故障检诊面临的复杂故障组合模式和时间特性。从推理机制的量化和推理环境的优选两方面完善了该理论,使其诊断能力、实时性和适用范围都得到提高。推理机制的量化是通过引入概率信息实现的。考虑到诊断过程中可能出现新的故障。又进一步引入了候选项集合扩张机制描述该现象,并提供了相关的概率计算公式。推理机制定量化使得诊断结果可以精确度量,检诊过程也可精确控制。推理环境优选则是通过引入熵信息实现的,由此提高了诊断效率。     

采用等高线地图的CGF地域表示和推理

采用等高线地图作为分布交互仿真环境中计算机生成兵力的地域表示.介绍等高线电子地图下计算机生成兵力系统地域表示和推理的一种方法.通过对地域显示、通视性检测和地形检测等几个基本问题的分析,表明采用该方法是可行的.具有地域表示范围大、地域推理简单明了的特点,并且地域数据真实、修改方便.这种方法比多边形地域表示法更适用于海上和空中大范围训练作战环境的仿真.     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

基于灰色理论的复杂系统多故障模糊诊断

航天、核电等复杂系统源发故障概率通常难于获取,由此导致基于最大后验概率准则的诊断方法失效。针对上述问题,从测试可靠性先验概率入手,提出了一种基于相关矩阵和灰色系统理论的故障诊断方法,通过对系统建立故障-测试相关矩阵,生成有排序的测试报警概率矩阵,并利用灰色关联度衡量测试结果向量与故障特征向量的接近度,实现了对多发故障的模糊诊断。实验结果表明,该方法在诊断指标权重调整、诊断精细度、重点关注故障检出等方面优势明显,诊断结论正确率满足实用需求。