基于Web和层次实例推理的CAPP的研究

针对网络时代制造业企业对CAPP系统的现实要求,研究了以互联网为基础,以开放、通用、智能为特征的CAPP模型.模型采用数据库、Web服务器和客户端三层结构,实现了CAPP的在线服务.本文提出了一种称为基于层次实例推理的工艺生成方法,该方法将工艺计划分为工艺过程、工序和工步三个层次,并对这三个层次分别进行基于实例的分层推理,使工艺生成规则描述的随意性为基于粒度描述的规范性,降低了工艺规程组合和重用的粒度.由于采用基于层次的实例推理方法,使工艺生成既具派生又具创成的特征,提高了工艺生成的通用性和实用性.     

多学科优化中基于实例推理的气动近似模型

为提高飞机多学科优化效率,对气动近似计算模型进行了改进。在比值修正模型所构造的气动近似模型的基础上,引入了基于实例的推理技术对其加以改进。通过采用与飞机气动特性相关的参数作为实例属性,建立了飞机方案实例,并改进了实例检索公式,最后通过复用与当前方案最相似实例的修正因子改进了优化中的气动近似模型。以常规布局民用飞机概念设计为例,采用改进的气动近似模型进行了多学科优化研究。结果表明,对于具有大量设计变量的飞机方案优化问题,采用改进的气动近似模型能够有效提高计算精度与优化效率。     

基于粗糙集的案例推理在民机结构MSG-3分析中的应用

确定飞机结构偶然损伤检查任务和间隔是制定飞机结构维修大纲的关键问题之一。在国内缺乏相关使用数据的前提下,本文将基于粗糙集的案例推理应用于民用飞机MSG-3(Maintenance steering group)分析过程。本文从民用飞机MSG-3分析的需求出发,分析了基于案例推理的MSG-3分析基本过程,讨论了民用飞机MSG-3分析案例库的构建、案例表达、案例检索、匹配、案例修改、维修任务和间隔的确定等关键技术。同时,本文应用粗糙集理论,对MSG-3分析的特征属性进行权重分配,从而避免了人的主观性对案例检索准确性的不良影响。最后通过对某重要结构项目进行偶然损伤实例分析,效果良好。     

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

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

支持索引词汇动态扩充的实例检索算法

实例检索是基于实例产品设计的关键。文中介绍了一种实例检索策略，支持实例索引词汇的动态扩充，并综合考虑“当前问题”、“用户选择实例”和“实例集中相似度更高的实例”的比较，提出了6条法则动态调整特征权重和特征属性相似度。所开发的“基于知识的机床夹具CAD系统”已在某大型航空企业应用于国家重点型号工程的研制，取得了满意的效果。     

基于神经网络的飞机极限数据专家系统

利用神经网络专家系统的方法时飞机飞行参数的极限允许值进行计算，可以使推理过程变得简洁、清晰，避免了常规方法在软件实现上的诸多缺点。同时，本文采用一种模糊规则方法对神经网络专家系统的推理行为进行描述，使得神经网络专家系统能够回答有关why和how的询问。以最大允许马赫数的计算为例，本文设计了用于该参数推理的神经网络专家系统．并给出了简单算例。     

一个具有双层推理模型的医学专家系统

介绍一个成功的、具有双层推理模型的医学专家系统及其双层模型的构造、因果关系模型深层知识的获取、推理策略以及解释功能的设计技术。双层推理模型是经验推理和致因分析深层推理相结合的联合推理模型，它克服了第一代专家系统经验推理的局限性和脆弱性以及求解策略的单一性，增强了系统求解能力，提高了系统解释功能的深度，它是第二代专家系统设计技术的一次成功的研究和探索。最后给出了具有双层推理模型的医学专家系统运行时的一个诊断实例。     

案例推理技术在气象探测设备故障诊断中的应用

气象设备的不断增加给机务员对设备的日常维护及故障处理带来了极大的压力,由于工作性质及个人精力的原因,机务员无法参与到所有故障维修中,因此有必要建立本地设备故障案例库,并将其合理地运用在气象设备故障诊断当中。案例推理技术适用于没有精确模型,但拥有丰富经验的领域。本文根据案例推理技术的工作流程,讨论了东北空管局气象中心设备故障案例库的建立、案例的检索、匹配、调整及维护等环节,提出了基于字符串匹配与BP神经网络相结合的案例检索与匹配方法,设计了气象设备故障诊断系统并给出了应用实例。     

基于5W1H的教育信息查询技术研究

针对教育信息基于互联网络的快速增长以及检索日趋复杂等问题,构建了基于领域本体的四层查询体系结构,采用5W1H分析法归纳了领域本体中的概念和关系,建立了基于5W1H的领域本体概念模型,重点研究了基于Jena的领域本体持久化技术和领域本体规则推理技术,设计了基于SPARQL查询规则和基于Jena推理规则的领域信息查询算法。以教师信息为例,采用Jena开发平台和MySQL数据库,实现了教师信息领域本体查询系统的精确查询、模糊查询和语义查询等功能。     

飞机复杂系统故障诊断的灰色粗集推理方法

传统的复杂系统故障诊断规则不易获取且方法单一,不能满足系统维护要求.文中全面考虑复杂系统诊断的数据来源,用灰色关联理论降低系统复杂性并通过粗糙集约简数据的思想实现灰色粗集推理.基于灰色粗集推理方法实现了故障诊断规则的获取,并通过实例验证方法的可行性,结果明显优于神经网络算法,可有效提高诊断效率.     

基于不完备模糊规则库的信息融合故障诊断方法

在基于模糊推理的故障诊断专家系统中,规则库的不完备常常会引起系统的某些输入产生的输出不确定。针对此问题,将模糊推理与证据理论相结合提出了一种新的融合诊断方法。首先根据证据的随机集表示及随机集扩展准则将模糊输入映射到输出,并聚合生成故障命题的基本概率赋值(BPA),以度量由规则库不完备和输入模糊性引起的输出不确定。然后利用Dempster组合规则将多个不完备规则库提供的BPA融合,用融合结果判决故障,并以电机转子故障诊断为例,验证了所提方法可以有效地提高故障确诊率。     

基于案例推理和等价空间的定性/定量混合故障诊断方法

针对难以获得航天器控制系统的精确模型,采用基于知识的定性故障诊断方法也难以奏效的问题,采取定性/定量混合故障诊断的思路,将基于案例推理和等价空间故障诊断方法有机结合,建立定性/定量混合故障诊断模型,推出一种定性/定量混合故障诊断方法。以航天器姿态控制系统为对象进行故障诊断。验证结果表明,推出的定性/定量混合故障诊断方法能够发挥二者的优势,比任何单独一种方法的诊断效果都好。     

多约束条件下机械臂关节轨迹模糊控制算法

将单一约束条件下冗余机械臂关节角速度向量算法与模糊推理方法有效结合,实现多个约束条件下冗余机械臂关节角速度向量轨迹的控制。根据末端执行器的方向、灵活性、机械臂与障碍物的距离等约束条件的重要性,将多个约束条件排定先后次序。综合所有传感器的信息,由模糊推理确定某一时刻需要优化的约束条件,以及对每个约束条件的执行程度,使得在完成主要任务的前提下,所有约束条件都得到最大限度满足。仿真结果证明了所提出算法的有效性。     

A FORMAL REPRESENTATION FOR FEATURE-BASED DESIGN

从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。文中给出了特征分类、特征操作、特征模型验证和特征映射策略及其形式化描述方式，建立了兼顾并行工程和顺序工程设计方式的基于特征设计过程形式化描述模型，提出了基于特征的设计算法，为解决基于特征设计系统开发和运行缺乏统一方法学这一课题作了有益的尝试。     

基于事例的夹具设计关键技术研究

以夹具为研究对象，分析了夹具的相似性．指出夹具相似可描述为表达功能的夹具设计信息相似和实现功能的夹具结构特征相似两个方面。根据基于事例的推理方法，研究了夹具设计中的事例库组织、检索方法、检索算法和事例的修改等关键技术。实践表明，基于事例的求解方式对夹具设计CAD系统是一种有效的推理方法。