结合电路结构基于分块的诊断方法

• 作者: 刘伯文 刘梦 张永刚 张立明 欧阳丹彤
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 基于模型诊断 SAT问题 枚举树 抽象
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 1571-1577
• 页数: 7页
• 分类号: TP306
• 字数: 6682字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2018.07.005

摘要

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