首页> 中文期刊> 《山东大学学报：工学版》 >定理证明在故障自动诊断领域的应用

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍一个用PROLOG技术构造的定理证明系统。它以逻辑电路板仪器的描述、实验数据及假设为基础,实现对逻辑电路板(仪器)的故障自动诊断,证明某一元器件是否正常。

著录项

来源
《山东大学学报：工学版》 |1990年第1期|68-74|共7页
作者
刘晓华;
展开▼
作者单位

山东工业大学计算中心;

展开▼
原文格式 PDF
正文语种 chi
中图分类监视、报警、故障诊断系统;
关键词
故障诊断系统; 定理证明; 逻辑电路;

相似文献

中文文献
外文文献
专利

1. 故障自动诊断技术在油气田往复压缩机上的应用 [J] . 陈本学 ,李忠良 ,徐建平 . 石油石化物资采购 . 2021,第003期
2. 在线监测系统与故障自动诊断技术在港口设备管理中的应用 [J] . 李利慧 ,郭妍妍 . 港口科技 . 2021,第010期
3. 配电线路故障自动诊断和隔离装置的研究与应用 [J] . 贾克音 ,孙晓丽 ,郑世洋 . 电力系统装备 . 2019,第016期
4. 变电站通信故障自动诊断与快速恢复研究与应用 [J] . 高震 . 低碳世界 . 2017,第036期
5. 试论城轨交通车辆走行部故障自动诊断技术的应用 [J] . 李永菲 . 山东工业技术 . 2017,第021期
6. 输电线路雷击故障自动诊断系统的研发与应用 [C] . TAO Han-tao ,陶汉涛 ,FENG Wan-xing . 中国电机工程学会高电压专业委员会2015年学术年会 . 2015
7. 新型集抄系统中电表故障自动诊断和变更识别算法的研究与应用 [A] . 梁文献 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号