电子学报 ›› 2018, Vol. 46 ›› Issue (7): 1571-1577.DOI: 10.3969/j.issn.0372-2112.2018.07.005

• 学术论文 • 上一篇    下一篇

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

欧阳丹彤1,2, 刘伯文1,2, 刘梦1,2, 张立明1,2, 张永刚1,2   

  1. 1. 吉林大学计算机科学与技术学院, 吉林长春 130012;
    2. 吉林大学符号计算与知识工程教育部重点实验室, 吉林长春 130012
  • 收稿日期:2016-12-29 修回日期:2017-09-07 出版日期:2018-07-25
    • 通讯作者:
    • 张永刚
    • 作者简介:
    • 欧阳丹彤,女.1968年生于吉林长春,吉林大学教授,博士生导师,主要研究方向为基于模型的诊断、自动推理和模型检测.E-mail:ouyangdantong@163.com;刘伯文,男.1993年生于吉林延边,吉林大学硕士研究生,研究方向为基于模型诊断.E-mail:1591365445@qq.com;刘梦,女.1993年生于河南洛阳,吉林大学硕士研究生,研究方向为基于模型诊断、SAT问题.E-mail:2238356051@qq.com;张立明,男.1980年生于吉林长春,吉林大学博士,主要研究方向为基于模型诊断.E-mail:limingzhang@jlu.edu.cn
    • 基金资助:
    • 国家自然科学基金 (No.61672261,No.61502199,No.61402196,No.61373052); 浙江省自然科学基金 (No.LY16F020004)

A Block-Based Diagnostic Method Combining with the Circuit Structure

OUYANG Dan-tong1,2, LIU Bo-wen1,2, LIU Meng1,2, ZHANG Li-ming1,2, ZHANG Yong-gang1,2   

  1. 1. College of Computer Science and Technology, Jilin University, Changchun, Jilin 130012, China;
    2. Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering(Jilin University), Changchun, Jilin 130012, China
  • Received:2016-12-29 Revised:2017-09-07 Online:2018-07-25 Published:2018-07-25
    • Corresponding author:
    • ZHANG Yong-gang
    • Supported by:
    • National Natural Science Foundation of China (No.61672261, No.61502199, No.61402196, No.61373052); National Natural Science Foundation of Zhejiang Province,  China (No.LY16F020004)

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

关键词: 基于模型诊断, SAT问题, 枚举树, 抽象

Abstract: Model-based diagnosis problem has been attracting much attention in the field of artificial intelligence.It is an important technique for solving model-based diagnosis problem by converting diagnosis problem to SAT.Based on the research of LLBRS-Tree,this paper proposes an ACDIAG method.Firstly,the circuit blocking method is used to block the circuit via circuit structure so as to downscale circuit.Then,minimal block diagnoses are acquired on the abstract circuit after blocking via LLBRS-Tree.Secondly,diagnosis extending method is given to extend minimal block diagnoses to obtain other diagnoses directly via circuit structure.It avoids the drawback that extending diagnoses need to restore the abstract circuit.

Key words: model-based diagnosis, SAT problem, enumeration tree, abstract

中图分类号: