| 在基于模型诊断中计算最小碰集算法 |
| |
| 引用本文： | 林笠.在基于模型诊断中计算最小碰集算法[J].计算机应用研究,2002,19(9):36-39. |
| |
| 作者姓名： | 林笠 |
| |
| 作者单位： | 暨南大学,信息科学技术学院,广东,广州,510632；中山大学,信息科学技术学院,广东,广州,510275 |
| |
| 基金项目： | 国家自然科学基金资助项目 (6 95 730 11)，国家教育部博士点基金资助项目，广东省自然科学基金项目 (0 1116 2 ) |
| |
| 摘 要： | 介绍了基于模型诊断中的计算碰集的算法 ,并分析比较了各算法的效率和计算结果。其中的逻辑型数组算法、递归算法、BHS 树算法、布尔代数算法、GA算法均是笔者近年来研究的结果。
|
| 关 键 词： | 基于模型诊断 碰集 BHS树 布尔代数算法 GA算法 |
| 文章编号： | 1001-3695(2002)09-0036-04 |
| 修稿时间： | 2002年2月23日 |
The Algorithms of Computing Minimal Hitting Sets in Model-based Diagnosis |
| |
| LIN Li.The Algorithms of Computing Minimal Hitting Sets in Model-based Diagnosis[J].Application Research of Computers,2002,19(9):36-39. |
| |
| Authors: | LIN Li |
| |
| Affiliation: | LIN Li 1,2 |
| |
| Abstract: | In this paper, we introduced, analyzed and compared some algorithms of computing minimal hitting sets. The Logic array algorithm, Recursive algorithm, BHS tree algorithm, Boolean algebra algorithm, Genetic Algorithm are published in recent years. |
| |
| Keywords: | Model based Diagnosis Minimal Hitting Set BHS Tree Boolean Algebra Algorithm Genetic Algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
