论文部分内容阅读
基于模型的诊断问题在人工智能领域内一直备受关注,将诊断问题转换成SAT（Satisfiable）问题成为解决基于模型诊断问题的一个重要方法.基于目前高效诊断方法 LLBRS-Tree（Last-Level Based on Reverse Search-Tree）的研究,本文提出电路分块诊断方法 ACDIAG（Abstract Circuit Diagnosis）方法,对电路进行分块来缩减电路规模,利用LLBRS-Tree方法对分块后抽象电路求得极小块诊断解;提出诊断解拓展方法,结合分块后电路结构特征对每