非单调语义网络中继承的信任理论

描述了一种新的具有例外的多继承语义网络推理方法--继承的信任理论,这是一种很具有吸引力的可废止继承方法.它应用于非循环语义网络的继承的分析,能够产生适合于继承直觉的非多义性结论.文中还讨论了Etherington的基于缺省逻辑的继承理论,提出了继承信任理论和继承信任缺省逻辑.给出了继承信任逻辑的性质,并且证明了构造继承信任缺省逻辑理论的唯一扩张是递推过程.信任理论的扩张能够快速求解.这种快速推理算法可以应用于专家系统推理.     

一种双变量自校正模糊 PI 控制在发动机控制中的应用

 提出了一种双变量自校正模糊PI控制算法,构造出一种航空发动机双变量自校正模糊PI控制器和控制系统,研究了控制器和控制系统的特性,为发动机控制探索了一种新方法。     

基于混合维云模型定性推理的调距桨螺距控制

云模型是采用期望值Ex，熵En和超熵He来描述定性概念的一种数学方法，它将定性概念所具有的模糊性、随机性有机地结合在一起，是实现定量与定性相互转换的一种新途径。文中阐述了定性概念的一维和二维云模型数学描述，提出了基于混合维云模型的混合推理方法、复杂控制规则的简化方法，设计了一种新型的智能控制器——云控制器，并将其应用于调距桨螺距控制过程中。仿真结果表明，该控制器简易、直观、控制性能良好、鲁棒性强，较常规模糊控制具有更好的控制品质。     

基于知识工程的固体火箭发动机装药设计技术研究

为了实现对以往设计经验及知识的继承和重用,在固体火箭发动机装药设计中引入了基于知识工程的设计思想。首先建立了装药设计的SBF表示模型,从产品设计的角度说明了装药设计实质;然后完成了药形选择的神经规则表示;同时,实现了基于案例推理的药形几何参量确定,具体内容包括建立尺寸无关药形几何参量的案例表示模型,给出基于案例推理的药形几何参数确定算法。最后,结合实际应用对上述工作进行了具体实践;并针对实际型号进行了装药设计。通过对设计结果的正确性验证,证明该技术可行、有效。     

基于知识的飞机制造协调路线交互设计技术

飞机制造协调路线是一种重要的工艺文件,是联系互换协调方案制订和容差分配的纽带。飞机制造协调路线的数字化设计对于开展计算机辅助容差设计,以及实施飞机数字化工艺具有重要意义。首先,对飞机制造协调路线的设计知识进行分类,建立其知识表示模型,并运用知识推理技术实现知识的应用。其次,建立了制造协调单元的图符库,运用图符智能捕捉技术辅助制造协调路线的交互式创建。最后,建立了飞机制造协调路线信息模型,进而实现了面向容差分配的规范化尺寸协调工艺文件自动生成,为计算机辅助容差设计提供技术支持。     

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

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

一种模糊推理模型在医学专家系统中的应用

本文介绍一种模糊推理模型DFRM(The Double Weight Number Fuzzy Reasoning Model),它已应用到儿童消化道疾病专家系统中,获得了满意的结果。并对该模型作了评价。     

模糊逻辑系统建模函数的数学描述

基于所建立的模糊规则定义式,由一组“如果一则”规则构造出模糊逻辑系统,按真值化处理与推理规则推导出最优系统数学表达式,在线性定常状态下,分别建立起连续与间断时间系统的数学模型,归纳出模糊控制的等效解法。最后,对一非线性实例绘制出双模控制框图,应用了模糊数学算法。     

非单调推理的研究与发展

分析了非单调推理产生的原因以及非单调推理与传统逻辑间的关系，讨论了其典型的两种研究方法及存在的问题，最后指出了非单调推理的发展前景。     

空间推进系统的故障推理研究

空间推进系统必须可靠地完成轨道保持、轨道修正、姿态控制的重要任务 ,要求当其某一功能模块出现故障时、能及时发现并有效隔离。文中介绍了利用有向图方法分析此推进系统故障传播机理的方法 ,并建立相应的故障推理模型。离线检测和理论分析表明 ,此方法逻辑性强 ,简单高效 ,具有空间实时应用的可能性