Applied Research Of Circuit Fault Diagnosis System Base On SAT Satisfying The Algorithm

摘要：

　　In order to make the circuit fault diagnosis system more intelligent,efficient.IsDS decision algorithm is presented b ased on the process of model-based diagnosis.Model-based circ uit fault diagnosis system is designed and realized with SAT so lvers by means of applying IsDS decision algorithm and combi ning CSSE-tree method.Firstly the normal behavior,system mo del and obtained observations are described in conjunctive nor mal form.,then all related clauses of Pending diagnostic system put into SAT solvers.The decision circuit failure problem is co nverted to satisfiability problem.Reducing solving steps,IsDS a lgorithm,which avoids the solving process that solves minimal conflict set first,then solves hitting sets,and finally gets minim al diagnosis,can determine fault source in a rapid manner and improve the efficiency of diagnosis system.

关键词： Model-based Diagnosis SAT Solvers Circuit Fault Diagnosis System

作者: CAI Li-sha ZENG Wei-peng

作者单位: Hainan Software Profession Institute Qionghai Hainan,China

会议类型: 国际会议

会议名称: 2017 IEEE 2nd Advanced Information Technology,Electronic and Automation Control Conference(IAEAC 2017)(2017 IEEE 第2届先进信息技术、电子与自动化控制国际会议)

会议地点: 重庆

会议语种:英文

页码: 2144-2148

在线出版日期: 2017-03-25（万方平台首次上网日期，不代表论文的发表时间）