|
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
摘要:模型诊断方法是人工智能领域重要的系统故障自动检测方法,被广泛应用于软件故障检测和硬件诊断.近年来由于电路规模和复杂度不断增大,其诊断难度也不断增大.本文通过对电路模型特征的研究，结合LLBRS-tree(Last-Level Based on Reverse Search-tree )诊断算法提出分组式诊断方法CD,首先结合电路特征确定组件的故障相关性并对电路组件进行分组，可缩减电路中需检测的规模；其次，利用分组后电路并结合非诊断征确定理和SAT求解特征定位部分非诊断解，从而避免该部分的一致性检测来加速求解.本文算法可应用于电子电路故障诊断领域，并且实验结果表明该算法与LLBRS-tree算法相比求解效率平均提高了1.5倍,最多提高了3倍.
" T, l4 `7 k4 [. s( |) \
& c4 P N0 s! M2 Z+ R) Q a6 b关键词:基于模型的诊断;问题特征;分组;SAT求解器;集合枚举树
6 [7 o, i! R) T. ?2 K% ]4 _
! Y o' V& A& o3 k/ c 基于模型诊断(Model-Based Diagnosis , MBD)是为克服传统基于规则诊断方法的严重缺陷而兴起的智能推理诊断方法,被一些人工智能专家誉为诊断方法和理论上的革命.MBD方法主要包括基于冲突诊断方法和直接求解诊断方法,主要应用在软件故障检测和硬件诊断等,如溯因推理、智能规划、软件调试,通讯网络、大型软件验证、航天飞机安全性的动态诊断,电子电路故障的静态诊断.本文主要涉及的是关于电子电路的故障诊断问题.
1 m5 e. U& N- z# ^" t* L; l0 P. \( O$ S2 e) a
6 Y$ d( q6 V/ |& J3 e+ D7 e4 d% H- P4 b
/ B/ _. [, D: F: v
% w: k8 j8 |) b$ i
( M1 E* a* L3 N# F
* I& `& S2 {# h& e5 H! I
/ ~) Z7 z: |9 F: Q; N* `3 x# t" v/ k4 [1 I v9 J A1 U
|
|
/1 
发表于 2021-5-19 09:10
收藏
淘帖
支持！
反对！