Model-based diagnosis(MBD)with multiple observations shows its significance in identifying fault location.The existing approaches for MBD with multiple observations use observations which is inconsistent with the pred...Model-based diagnosis(MBD)with multiple observations shows its significance in identifying fault location.The existing approaches for MBD with multiple observations use observations which is inconsistent with the prediction of the system.In this paper,we proposed a novel diagnosis approach,namely,the Diagnosis with Different Observations(DiagDO),to exploit the diagnosis when given a set of pseudo normal observations and a set of abnormal observations.Three ideas are proposed in this paper.First,for each pseudo normal observation,we propagate the value of system inputs and gain fanin-free edges to shrink the size of possible faulty components.Second,for each abnormal observation,we utilize filtered nodes to seek surely normal components.Finally,we encode all the surely normal components and parts of dominated components into hard clauses and compute diagnosis using the MaxSAT solver and MCS algorithm.Extensive tests on the ISCAS'85 and ITC'99 benchmarks show that our approach performs better than the state-of-the-art algorithms.展开更多
For the Purpose of obtaining the best measurements quickly in 'model based diagnosis', we constructed binary structure models, which contain only the components of candidates. The relative causality between t...For the Purpose of obtaining the best measurements quickly in 'model based diagnosis', we constructed binary structure models, which contain only the components of candidates. The relative causality between the components of the models is the same as the faulty device. Candidates are classified by structure information. The models can be directly applied to either a discrete or an analog device without any additional processing. Then a half split method is set forward, which gives an optimal measurement within O(N 2)′s computations. The algorithm used in this paper can be regarded as the extremal structure characteristics of de Kleer′s expected entropy algorithm.展开更多
基金supported by the National Natural Science Foundation of China(Grant Nos.62076108,61972360,and 61872159).
文摘Model-based diagnosis(MBD)with multiple observations shows its significance in identifying fault location.The existing approaches for MBD with multiple observations use observations which is inconsistent with the prediction of the system.In this paper,we proposed a novel diagnosis approach,namely,the Diagnosis with Different Observations(DiagDO),to exploit the diagnosis when given a set of pseudo normal observations and a set of abnormal observations.Three ideas are proposed in this paper.First,for each pseudo normal observation,we propagate the value of system inputs and gain fanin-free edges to shrink the size of possible faulty components.Second,for each abnormal observation,we utilize filtered nodes to seek surely normal components.Finally,we encode all the surely normal components and parts of dominated components into hard clauses and compute diagnosis using the MaxSAT solver and MCS algorithm.Extensive tests on the ISCAS'85 and ITC'99 benchmarks show that our approach performs better than the state-of-the-art algorithms.
文摘For the Purpose of obtaining the best measurements quickly in 'model based diagnosis', we constructed binary structure models, which contain only the components of candidates. The relative causality between the components of the models is the same as the faulty device. Candidates are classified by structure information. The models can be directly applied to either a discrete or an analog device without any additional processing. Then a half split method is set forward, which gives an optimal measurement within O(N 2)′s computations. The algorithm used in this paper can be regarded as the extremal structure characteristics of de Kleer′s expected entropy algorithm.
