%0 Journal Article %A 刘梦 %A 欧阳丹彤 %A 刘伯文 %A 张立明 %A 张永刚 %T 结合问题特征的分组式诊断方法 %D 2018 %R 10.3969/j.issn.0372-2112.2018.03.011 %J 电子学报 %P 589-594 %V 46 %N 3 %X 模型诊断方法是人工智能领域重要的系统故障自动检测方法,被广泛应用于软件故障检测和硬件诊断.近年来由于电路规模和复杂度不断增大,其诊断难度也不断增大.本文通过对电路模型特征的研究,结合LLBRS-tree(Last-Level Based on Reverse Search-tree)诊断算法提出分组式诊断方法GD(Grouped Diagnosis):首先结合电路特征确定组件的故障相关性并对电路组件进行分组,可缩减电路中需检测的规模;其次,利用分组后电路并结合非诊断解定理和SAT(SATisfiability)求解特征定位部分非诊断解,从而避免该部分的一致性检测来加速求解.本文算法可应用于电子电路故障诊断领域,并且实验结果表明该算法与LLBRS-tree算法相比求解效率平均提高了1.5倍,最多提高了3倍. %U https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2018.03.011