学术探索
学术期刊
学术作者
新闻热点
数据分析
智能评审
基于BNB-HSSE计算全体碰集的方法
被引:25
作者
:
论文数:
引用数:
h-index:
机构:
陈晓梅
[
1
,
2
]
论文数:
引用数:
h-index:
机构:
孟晓风
[
1
]
论文数:
引用数:
h-index:
机构:
乔仁晓
[
1
]
机构
:
[1]
北京航空航天大学仪器科学与光电工程学院
[2]
华北电力大学电气与电子工程学院
来源
:
仪器仪表学报
|
2010年
/ 31卷
/ 01期
关键词
:
基于模型的诊断;
最小碰集;
分支定界算法;
集合枚举;
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].
论文数:
引用数:
h-index:
机构:
赵相福
;
论文数:
引用数:
h-index:
机构:
欧阳丹彤
.
吉林大学学报(工学版),
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].
论文数:
引用数:
h-index:
机构:
欧阳丹彤
;
论文数:
引用数:
h-index:
机构:
欧阳继红
;
论文数:
引用数:
h-index:
机构:
程晓春
;
论文数:
引用数:
h-index:
机构:
刘杰
.
仪器仪表学报,
2004,
(S2)
:605
-608
[4]
用布尔代数方法计算最小碰集
[J].
论文数:
引用数:
h-index:
机构:
姜云飞
;
论文数:
引用数:
h-index:
机构:
林笠
.
计算机学报,
2003,
(08)
:919
-924
[5]
用对分HS-树计算最小碰集
[J].
论文数:
引用数:
h-index:
机构:
姜云飞
;
林笠
论文数:
0
引用数:
0
h-index:
0
机构:
中山大学软件研究所,中山大学软件研究所 广东 广州 ,广东 广州
林笠
.
软件学报,
2002,
(12)
:2267
-2274
[6]
基于模型诊断中用逻辑数组计算最小碰集
[J].
论文数:
引用数:
h-index:
机构:
林笠
.
暨南大学学报(自然科学与医学版),
2002,
(01)
:24
-27
←
1
→
共 6 条
[1]
基于模型的诊断中产生所有极小冲突集的新方法
[J].
论文数:
引用数:
h-index:
机构:
赵相福
;
论文数:
引用数:
h-index:
机构:
欧阳丹彤
.
吉林大学学报(工学版),
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].
论文数:
引用数:
h-index:
机构:
欧阳丹彤
;
论文数:
引用数:
h-index:
机构:
欧阳继红
;
论文数:
引用数:
h-index:
机构:
程晓春
;
论文数:
引用数:
h-index:
机构:
刘杰
.
仪器仪表学报,
2004,
(S2)
:605
-608
[4]
用布尔代数方法计算最小碰集
[J].
论文数:
引用数:
h-index:
机构:
姜云飞
;
论文数:
引用数:
h-index:
机构:
林笠
.
计算机学报,
2003,
(08)
:919
-924
[5]
用对分HS-树计算最小碰集
[J].
论文数:
引用数:
h-index:
机构:
姜云飞
;
林笠
论文数:
0
引用数:
0
h-index:
0
机构:
中山大学软件研究所,中山大学软件研究所 广东 广州 ,广东 广州
林笠
.
软件学报,
2002,
(12)
:2267
-2274
[6]
基于模型诊断中用逻辑数组计算最小碰集
[J].
论文数:
引用数:
h-index:
机构:
林笠
.
暨南大学学报(自然科学与医学版),
2002,
(01)
:24
-27
←
1
→