-
题名递归建立HS-树计算最小碰集
被引量:9
- 1
-
-
作者
林笠
-
机构
暨南大学
-
出处
《微电子学与计算机》
CSCD
北大核心
2002年第2期7-10,共4页
-
基金
广东省自然科学基金项目(011162)
-
文摘
在基于模型的诊断中,广泛地使用冲突集来计算最小碰集的算法诊断。现有的HS-树,HST-树,BHS-树等算法普遍存在实现的困难。文章提出用递归算法建立平衡的二叉HS-树(Recursivehittingset-树,简记为RHS-树)计算最小碰集的方法,在空间复杂性与时间复杂性上能够满足大多数诊断系统中的要求。
-
关键词
模型诊断
最小冲突集
最小碰集
rhs-树
HS-树
算法
人工智能
-
Keywords
Model-based diagnosis, Minimal conflict set, Minimal hitting set, rhs-tree, HS-tree
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-