|
|||||
|
|
| 可用于诊断产生的计算碰集的新方法 | |
| 作者姓名： | 赵相福 欧阳丹彤 |
| 作者单位： | 吉林大学,计算机科学与技术学院,长春,130012;吉林大学,符号计算与知识工程教育部重点实验室,长春,130012 |
| 基金项目： | 国家自然科学基金;国家科技攻关项目;新世纪优秀人才资助项目 |
| 摘 要： | 提出一种利用与元素相关联的冲突集个数计算碰集的新方法, 并结合带有终止节点的集合枚举树SE tree形式化地表达计算过程, 逐步生成所有的极小碰集. 由于在SE tree中添加了终止节点, 因而能够较大提高搜索效率. 实验结果表明, 该算法程序容易编制, 且效率较好, 对于复杂的被诊断对象系统可以满足实时性. |
| 关 键 词： | 基于模型诊断 冲突集 极小碰集 集合枚举树 |
| 文章编号： | 1671-5489(2006)03-0385-06 |
| 收稿时间： | 2005-04-07 |
| 修稿时间： | 2005-04-07 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 | |
| 点击此处可从《吉林大学学报(理学版)》下载全文 | |