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