化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

生产技术准备过程的时间Petri网模型及其推理方法研究

从Petri选择网模型的概念入手,分析了时间Petri网（TPN）模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用.     

民航机务维修差错及其预警专家系统构建

通过对航空机务维修差错控制研究现状的分析,指出存在的问题,提出了以SHEL模型作为维修差错相关信息收集的工具,REASON模型作为分析这些信息的框架,从"人、机、环境、管理"四个方面进一步对维修差错的诱因进行分类的新思路.在此基础上,将Agent技术和基于规则的不确定性推理的预警方法应用于民航机务维修领域,构建了预警专家系统,阐述了其体系结构和系统功能.     

基于改进D-S证据理论的车辆导航地图匹配

对传统D-S证据理论算法进行了改进,解决了证据的可信度和决策规则问题,使新的组合推理规则能够有效地处理证据中的冲突信息.并结合当前城市道路网日益复杂的实际特点,采用Pignistic概率的决策理论和基于权值D-S证据推理的地图匹配新算法,建立车辆位置信息和方向信息判决规则,有效地利用现有信息扩大各匹配道路之间的信度差异,提高了算法的鲁棒性.通过仿真和试验表明,该算法可以较好地解决城市复杂路网地图匹配问题.     

案例推理在海军战术决策中的应用

采用CBR(Case Based Reasoning)技术,建立战例库,用于战术指挥中的智能辅助决策,并着重探讨了如何结合实际进行战例库的结构设计以及技术实现方法.     

范例推理在公路滑坡治理方案决策中的运用

范例推理是一种推求和处理相似问题的有效方法,在工程实践中有广泛的应用.它是基于分析事物之间的相关性,通过已知问题的处理方案来推求待解决问题的处理措施.将范例推理运用在公路滑坡治理方案决策中,可以提高公路滑坡治理的效率.     

诊断推理中人工神经网络与基于案例推理的结合

对基于人工神经网的诊断方法与基于案例推理的方法（Ｃａｓｅ－Ｂａｓｅｄ Ｒｅａｓｏｎｉｎｇ，ＣＢＲ）的结合进行了研究，提出了两种结合方案，针对ＣＢＲ系统建立案例库索引这一难点，方案一利用人工神经网诊断分类器的诊断结果对案例库进行索引；方案二用人工神经网为待诊断对象对立模型，对正常的状态作出预测，通过预测值与实际测量值的差异对案例库进行索引，在作了最后诊断之前两种方案都利用ＣＢＲ的推理结果对神经网的诊     

基于CBR的边坡滑坡防治措施辅助决策模型研究

为将历史工程案例用于拟建川藏铁路边坡滑坡防治措施的决策中,建立了基于案例推理的边坡滑坡防治措施辅助决策模型。首先用数个特征属性对边坡工程案例进行定量表示,并通过特征向量分析法确定各特征属性的权重;在此基础之上,利用灰色关联分析法完成相似案例的检索,相似案例的滑坡防治措施经适当修正后用来指导目标案例。最后,通过川藏铁路德沙滑坡实例分析,验证该模型的有效性。     

基于最优路径分析的线路初始平面自动生成方法

为使铁路线路初始平面更经济合理并满足设计规范,提出了基于栅格数据最优路径分析及知识推理生成线路初始平面的自动生成方法.通过采用16单元的骑士邻域模式,在桥梁和隧道施工费用中考虑线路坡度的影响,以及在与线路长度相关的施工费用中考虑速度目标值,改进了Dijkstra算法.利用改进的Dijkstra算法在多个指定控制点之间生成最优路径.通过二分渐进和平面曲线自动配置,将矢量化的最优路径转换为满足设计规范的初始平面.在基于GIS的铁路选线系统智能环境中的应用表明,采用本文方法能生成令人满意的初始方案,与常规方法相比,对局部方案可节约90%以上的线路平面设计时间.     

基于案例推理的减摇鳍故障智能诊断系统

对减摇鳍故障进行分析,将基于案例推理技术应用到减摇鳍故障诊断系统中,根据减摇鳍故障本身的特点设计诊断系统结构,建立案例库及检索方法,由实际事例验证了案例推理技术在减摇鳍故障诊断的应用价值,为现场人员的减摇鳍故障快速诊断提供了一条新的途径.