A Block-Based Diagnostic Method Combining with the Circuit Structure

OUYANG Dan-tong; LIU Bo-wen; LIU Meng; ZHANG Li-ming; ZHANG Yong-gang

doi:10.3969/j.issn.0372-2112.2018.07.005

您当前的位置：

首页 >

文章列表页 >

A Block-Based Diagnostic Method Combining with the Circuit Structure

更新时间：2025-07-16

- A Block-Based Diagnostic Method Combining with the Circuit Structure
- Acta Electronica Sinica Vol. 46, Issue 7, Pages: 1571-1577(2018)
- 作者机构：
  
  1. 吉林大学计算机科学与技术学院,吉林,长春,130012
  2. 吉林大学符号计算与知识工程教育部重点实验室,吉林,长春,130012
  3. 吉林大学计算机科学与技术学院,吉林,长春,130012
  4. 吉林大学符号计算与知识工程教育部重点实验室,吉林,长春,130012
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.0372-2112.2018.07.005
  CLC： TP306
- Published Online：25 July 2018，
  
  Published：2018
- 稿件说明：
移动端阅览
OUYANG Dan-tong, LIU Bo-wen, LIU Meng, et al. A Block-Based Diagnostic Method Combining with the Circuit Structure[J]. Acta Electronica Sinica, 2018, 46(7): 1571-1577.
DOI：

OUYANG Dan-tong, LIU Bo-wen, LIU Meng, et al. A Block-Based Diagnostic Method Combining with the Circuit Structure[J]. Acta Electronica Sinica, 2018, 46(7): 1571-1577. 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方法对分块后抽象电路求得极小块诊断解；提出诊断解拓展方法，结合分块后电路结构特征对每个极小块诊断解进行直接扩展得到极小诊断解，避免对抽象电路还原后才能得到所有解的问题.

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.

关键词

Keywords

references

Views

204

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

CIMHS: A Method of Computing all Minimal Hitting Sets for Minimal Conflict Sets Based on an Optimized Incremental Strategy

IBWIICC:Incrementally Computing Minimal Hitting-Sets Combing Local Independence Cover Checking

A Method of Computing Minimal Conflict Sets Combining the Structure Property with the Anti-depth SE-Tree

Related Author

HUANG Sen

ZHAO Xiang-fu

WEI Xia

ZHAO Xiang-fu

HUANG Sen

TONG Xiang-rong

OUYANG Dan-tong

ZHANG Li-ming

Related Institution

School of Computer and Control Engineering， Yantai University

Department of Computer， Zhejiang Normal University

School of Computer and Control Engineering, Yantai University

Department of Computer, Zhejiang Normal University

College of Software, Jilin University

⁰