推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

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

更新时间:2019-12-24 17:52:21 大小:806K 上传用户:守着阳光1985查看TA发布的资源 标签:电路结构 下载积分:1分 评价赚积分 (如何评价?) 收藏 评论(0) 举报

资料介绍

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


部分文件列表

文件名 大小
结合电路结构基于分块的诊断方法.pdf 806K

部分页面预览

(完整内容请下载后查看)
7
Vol. 46 No. 7  
Jul. 2018  
2018  
7
ACTA ELECTRONICA SINICA  
结合基于诊断方法  
12  
12  
12  
12  
12  
, , , ,  
欧阳丹彤 刘伯文 刘 梦 张立明 张永刚  
( 1.  
大学计科学与技春  
130012;  
2.  
大学工程室 吉春  
130012)  
:
基于模型诊断问题在人能领域受关诊断问题成  
SAT( Satisfiable)  
问题为  
基于模型诊断问题一个重要方法 基于目诊断方法  
LLBRS-Tree( Last-Level Based on Reverse Search-Tree)  
的研究 本文提诊断方法  
ACDIAG( Abstract Circuit Diagnosis)  
, ,  
方法 进行缩减模 利用  
LLBRS-Tree  
; ,  
方法对分诊断诊断方法 结合分小  
诊断进行得到诊断避免路还得到问题  
:
; SAT  
; ;  
问题 象  
关键词  
中图分类号  
URL: http: / /www. ejournal. org. cn  
基于模型诊断  
:
TP306  
:
A
:
文章编号  
0372-2112 ( 2018) 07-1571-07  
文献标识码  
DOI: 10. 3969 /j. issn. 0372-2112. 2018. 07. 005  
电子学报  
A Block-Based Diagnostic Method Combining with the Circuit Structure  
12  
12  
12  
12  
12  
OUYANG Dan-tong LIU Bo-wen LIU Meng ZHANG Li-ming ZHANG Yong-gang  
( 1. College of Computer Science and TechnologyJilin UniversityChangchunJilin 130012China;  
2. Ministry Education Key Laboratory of Symbolic Computation and Knowledge EngineeringJilin UniversityChangchunJilin 130012China)  
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 re-  
search of LLBRS-Treethis paper proposes an ACDIAG method. Firstlythe circuit blocking method is used to block the cir-  
cuit via circuit structure so as to downscale circuit. Thenminimal block diagnoses are acquired on the abstract circuit after  
blocking via LLBRS-Tree. Secondlydiagnosis 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  
6]  
方法问题模上升  
的方法  
1
引言  
级增率较高的方法包  
7]  
( Model-Based DiagnosisMBD)  
基于模型诊断  
云飞代数方法  
基于并行的  
8]  
是人能领域一个重要问题 智  
法  
结合集方  
1]  
9]  
10]  
MBD ,  
接求度较学  
的发展  
于  
de Kleer ,  
的冲了一  
基于连布式方法  
2]  
Reiter  
结合  
NP  
以及求是  
问题  
3]  
个高诊断方法  
首先的所小  
MBD  
随着对  
问题更的研究与计的发展  
MBD  
, ,  
集 然证明  
避免步求接求解  
11]  
的所诊断内  
SAT  
进行研究  
诊断问题为  
问题是  
问题第  
也是人能领域的  
SAT  
12]  
对求集与集的进行  
MBD  
. SAT  
接求解  
一个证明的  
一个重要来 在  
SAT  
问题重要方法一  
4]  
13]  
研究 期学使证明的方法 与归  
NP  
问题  
5]  
.  
方法 是效率较学  
竞赛励  
SAT  
出了结合与电辑关用  
解  
SAT  
的发引人的  
器  
: 2016-12-29;  
: 2017-09-07; :  
责任编辑 孙瑶  
收稿日期  
修回日期  
:
基金项目 国家自然科学基金  
( No. 61672261No. 61502199No. 61402196No. 61373052) ;  
( No. LY16F020004)  
自然科学基金  
1572  
2018  
1415]  
MBD  
Tree) ,  
中的个结中的假设并将其  
可以较快地处例  
SAT  
问题进行能够克服诊断问题杂  
都置常  
为  
16]  
得到广泛注  
( 2)  
1
的  
开始研究合结基  
CNF  
用  
SAT CNF  
路  
进行测  
SAT . Smith  
诊断的方法进行优化 初  
, , .  
满足 该结点是一个诊断诊断解保存 检  
者  
SAT  
问题 结合中自变  
SE-Tree  
中 所 有 结 得 到 诊  
诊断问题成  
完  
SAT  
.  
空间 诊断随  
信息压缩  
解  
17]  
Siddiqi  
出结合方  
2. 3 LLBRS-Tree  
方法  
基于剪枝  
MBD,  
的电进行诊断 得到诊断解后  
解  
LLBRS-Tree  
方法  
一个路还提  
, ,  
诊断而且诊断的  
18]  
SAT  
CSSE-Tree  
出了基于并利用  
的  
点也进行剪枝 剪枝与无剪  
19]  
. Amit Metodi  
Section  
诊断问题  
出  
结  
遍历的相关定义  
20]  
Cone  
度对基于  
SAT  
诊断  
3
向搜索 对一树  
义  
进行了优化 缩减诊断问题间  
数已情况称从向  
对问题结对  
CSSE-  
索  
Tree  
方法进行出了有空间与无空间剪枝方  
SAT  
用  
诊  
20]  
( LLBRS-Tree  
) ,  
方法 结合了诊断问题  
LLBRS-Tree  
候  
对比较长进行解 使的  
SAT  
方法结合法  
征 又用了  
SAT  
特点 是一种求率  
CNF  
: ,  
较高的方法 文提出了个优化策略 向  
间  
少  
底层点到点  
LLBRS-tree  
1
法 所示  
; ,  
进行度优结合诊断结  
1
LLBRS-tree  
 
法  
( ) ,  
子集 进行剪枝  
LLBRS-Tree  
方法研究基借鉴  
本文对  
现有方法 结合出一种新块  
LLBRS-Tree  
step 1.  
step 2.  
step 3.  
step 4.  
step 4a.  
树  
, ,  
转  
step 6.  
策略 进行用  
方法先  
诊断出了一种小  
诊断方  
SAT  
性  
用  
满足  
诊断候  
的所有超集 然诊断合  
,  
结合与电得  
step 4b.  
step 5.  
, ,  
使用有剪枝策略 转  
step 3.  
诊断避免了对路还得到所  
, , ,  
满足 使剪枝策略 一个  
诊断问题  
访转  
step 3.  
step 6.  
诊断合  
2
基于向搜索有解剪枝方法  
2. 1 MBD  
问题  
3
诊断方法  
3]  
1
DS = ( SD,  
诊断组  
义  
COMPSOBS) ,  
中  
: SD  
COMPS  
LLBRS-Tree  
表示述  
表示系  
了  
方法诊断基  
法基出了分  
LLBRS-Tree  
在  
LLBRS-Tree  
OBS  
表示测集  
集  
3]  
ACDIAG,  
在  
2
COMPS,  
诊断法  
方法基础  
义  
设 元 集 的 一 个 子 集 Δ   
SD  
缩减方法诊断方法 下面  
AB( c)  
c ,  
为 真 表 示 果  
:
OBS  
ACDIAG  
、  
方法的基本相关定义 定证  
{ AB( c) | c COMPS -  
Δ 关于  
}
{
( SDCOMPSOBS)  
AB( c) | c  
}
Δ 满 足  
的基于诊断  
出  
明和分析  
3. 1  
Δ ∪  
'  
Δ 诊断 Δ Δ 基于  
方法  
诊断  
2. 2  
分  
.  
而实现缩减方法相  
SAT  
合枚举树调用  
诊断方法  
SAT  
想  
使用  
:
诊断的基本  
4
义  
本元件 个数等  
骤  
21]  
2,  
此元基本件  
( 1)  
( Set-Enumeration-TreeSE-  
测集树  

全部评论(0)

暂无评论