基于BNB-HSSE计算全体碰集的方法

被引:25
作者
陈晓梅 [1 ,2 ]
孟晓风 [1 ]
乔仁晓 [1 ]
机构
[1] 北京航空航天大学仪器科学与光电工程学院
[2] 华北电力大学电气与电子工程学院
关键词
基于模型的诊断; 最小碰集; 分支定界算法; 集合枚举;
D O I
10.19650/j.cnki.cjsi.2010.01.011
中图分类号
TP277 [监视、报警、故障诊断系统];
学科分类号
140102 [集成电路设计与设计自动化];
摘要
在基于模型的故障诊断与测试中,计算全体最小碰集是其关键的步骤.本文将分支定界法BNB与集合枚举法HSSE相结合,提出了一种基于BNB-HSSE计算全体最小碰集的算法.该算法利用分支定界法将问题不断分解成子问题,从而降低待求问题的规模.然后针对BNB过程中的子问题,应用HSSE来进行一层集合枚举,从而简化了枚举过程.最后采用仿真进行验证,可得本文方法在集合簇规模较大时显示了较强的计算效率优势,且能够计算全体最小碰集.
引用
收藏
页码:61 / 67
页数:7
相关论文
共 6 条
[1]
基于模型的诊断中产生所有极小冲突集的新方法 [J].
赵相福 ;
欧阳丹彤 .
吉林大学学报(工学版), 2007, (02) :413-418
[2]
A method of combining SE-tree to compute all minimal hitting sets.[J]..Progress in Natural Science.2006, 02
[3]
基于模型诊断中计算碰集的方法 [J].
欧阳丹彤 ;
欧阳继红 ;
程晓春 ;
刘杰 .
仪器仪表学报, 2004, (S2) :605-608
[4]
用布尔代数方法计算最小碰集 [J].
姜云飞 ;
林笠 .
计算机学报, 2003, (08) :919-924
[5]
用对分HS-树计算最小碰集 [J].
姜云飞 ;
林笠 .
软件学报, 2002, (12) :2267-2274