节点文献
基于模型诊断中用逻辑数组计算最小碰集
Computing minimal hitting sets with logic array in model-based diagnosis
【摘要】 在基于模型诊断中 ,冲突集的最小碰集就是诊断目标 .提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法 .
【Abstract】 In model-based diagnosis, the minimal hitting sets of conflict sets are the diagnosing target. A new algorithm for computing minimal hitting sets via 2-dimensional logic array in proposed.
【关键词】 基于模型诊断；
最小冲突集；
最小碰集；
数组；
【Key words】 model-based diagnosis； minimal conflict set； minimal hitting set； logic array；
【Key words】 model-based diagnosis； minimal conflict set； minimal hitting set； logic array；
【基金】 广东省自然科学基金资助项目 (0 1116 2 )
- 【文献出处】 暨南大学学报(自然科学与医学版) ,Journal of Jinan University(Natural Science & Medicine Edition) , 编辑部邮箱 ,2002年01期
- 【分类号】TP18
- 【被引频次】35
- 【下载频次】128