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

欧阳丹彤; 刘伯文; 刘梦; 张立明; 张永刚

doi:10.3969/j.issn.0372-2112.2018.07.005

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-16

- 结合电路结构基于分块的诊断方法
- A Block-Based Diagnostic Method Combining with the Circuit Structure
- 电子学报 2018年46卷第7期页码：1571-1577
- 作者机构：
  
  1. 吉林大学计算机科学与技术学院,吉林,长春,130012
  2. 吉林大学符号计算与知识工程教育部重点实验室,吉林,长春,130012
  3. 吉林大学计算机科学与技术学院,吉林,长春,130012
  4. 吉林大学符号计算与知识工程教育部重点实验室,吉林,长春,130012
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.61672261，No.61502199，No.61402196，No.61373052）;浙江省自然科学基金 (No.LY16F020004）
- DOI：10.3969/j.issn.0372-2112.2018.07.005
  中图分类号： TP306
- 网络出版：2018-07-25，
  
  纸质出版：2018
- 稿件说明：
移动端阅览
欧阳丹彤, 刘伯文, 刘梦, 等. 结合电路结构基于分块的诊断方法[J]. 电子学报, 2018,46(7):1571-1577.

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.
欧阳丹彤, 刘伯文, 刘梦, 等. 结合电路结构基于分块的诊断方法[J]. 电子学报, 2018,46(7):1571-1577. DOI： 10.3969/j.issn.0372-2112.2018.07.005.

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

浏览量

204

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

CIMHS：基于优化增量策略求解极小碰集的方法

IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

结合问题特征利用SE-Tree反向深度求解冲突集的方法