首页> 中文期刊> 《电气电子教学学报》 >MiniSAT求解器在电路故障诊断中的应用

MiniSAT求解器在电路故障诊断中的应用

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

MiniSAT求解器运用到电路故障诊断系统时,能够将判断一个电路是否存在故障问题转换为可满足性问题.本文将全加器的行为模型及观测分别使用合取范式(CNF)形式文件描述,调用MiniSAT求解器判定可满足性.该方法自动化程度高,能处理大规模的运算电路,具有较强的查找错误能力.

著录项

来源
《电气电子教学学报》 |2013年第6期|60-62|共3页
作者
曾维鹏; 蔡莉莎; 吴恒玉; 林尔敏;
展开▼
作者单位

海南软件职业技术学院软件工工程系,海南琼海571400;

海南软件职业技术学院电子工程系,海南琼海571400;

海南软件职业技术学院电子工程系,海南琼海571400;

海南软件职业技术学院电子工程系,海南琼海571400;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP3015;
关键词
MiniSAT求解器; 电路故障诊断; 可满足性;

相似文献

中文文献
外文文献
专利

1. 专家故障诊断系统在97型25Hz相敏轨道电路故障诊断中的应用 [J] . 马飞 ,高梓棋 ,古凯歌 . 铁道通信信号 . 2020,第002期
2. FCM-HMM-SVM混合故障诊断模型及其在电力电子电路故障诊断中的应用 [J] . 鄢仁武 ,蔡金锭 . 电力科学与技术学报 . 2010,第002期
3. 电路分块与D算法在电路板故障诊断中的应用 [J] . 邢秀琴 ,高春强 ,姚竹亭 . 火力与指挥控制 . 2013,第009期
4. 机器学习方法及其在电路故障诊断中的应用 [J] . 李杰 . 工业技术创新 . 2020,第002期
5. 红外热像仪在电路板故障诊断中的应用 [J] . 宋中建 ,周章勇 ,唐荣 . 安徽科技 . 2020,第007期
6. 电路分析仿真软件在模拟电路故障诊断中的应用 [C] . . 第21届电路与系统学术年会 . 2008
7. 子空间学习算法在模拟电路故障诊断中的应用 [A] . 袁志杰 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号