定理证明在故障自动诊断领域的应用

来源 :山东工业大学学报 | 被引量 : 0次 | 上传用户:hongmenglina
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍一个用PROLOG技术构造的定理证明系统。它以逻辑电路板仪器的描述、实验数据及假设为基础,实现对逻辑电路板(仪器)的故障自动诊断,证明某一元器件是否正常。
其他文献
介绍新型钢铁材料和特殊金属材料的研究与应用,分析某些金属材料发展中的关键问题。并通过机理研究和生产应用情况说明,新型金属材料的性能优异,是一类具有生命力和发展潜力
<正> 随着深化经济体制改革工作的发展,有远见的企业领导人,已经自觉地将企业信息管理现代化工作提到了议事日程上来,但是,在承包、租赁等经营责任制逐步推广以后,明智的经理
<正> 1 F.Riesz定理从哲学的角度看,间断和连续既相互区别又相互联系。而F.Riesz定理正反映了这一事实。给定在有界线性泛函空间M[0,1]上的每一线性泛函f(x),可借助Stieltjes
本电机是在谐波励磁的三相发电机的基础上设计研制的。本文从理论上阐述了:谐波励磁能使发电机具有两种不同的外特性;谐波绕组不同(对称或不对称)布置可满足两种外特性要求;
以网络的节点电压及某些多端元件支路电流为变量,对含有二端及多端元件的网络,直接利用拓扑理论对多瑞元件提出了“回转系数矩阵”、“互感系数矩阵”和“变比系数矩阵”三个
<正> 在工农业生产、国防建设、环境保护、科学研究以及实验室工作中,经常遇到液体粘滞系数(粘度)的测量问题。粘滞系数的测量方法较多,落球法是简便易行、精确度较高且常被
<正> 在机械设计中,轮齿的有限元计算模型通常简化为如图1所示的单个或三个轮齿处理。例如,对于直齿圆柱齿轮按平面应力或平面应变问题处理,对斜齿圆柱齿轮、人字齿轮和圆锥
介绍一种感应励磁无刷三相凸极同步发电机的基本原理,着重分析其转子电流的理论解,并讨论漏磁对转子电流的影响。还给出一台3kW样机的转子电流实测波形,实测结果与理论解相符
氧化锌压敏电阻器漏电流宏观上与电压、温度有关,实质在于电阻体的微观结构。显微观察和X射线衍射分析表明,晶粒大小分布均匀,富铋相广布且其主要组成为γ-Bi_2O_3和α-Bi_2O
<正> 模拟乘(除)器是实现两个模拟量相乘(除)的电子器件,目前不仅应用于模拟运算方面,而且已扩展到无线电通讯、电视广播、测量仪表、控制系统等领域。在模拟除法器中,用得比