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 based on the process of model-based diagnosis. Model-based circuit fault diagnosis system is designed and realized with SAT solvers by means of applying IsDS decision algorithm and combining 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 converted to satisfiability problem. Reducing solving steps, IsDS algorithm, 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.