可用于诊断产生的计算碰集的新方法

• 作者: 欧阳丹彤 赵相福
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 基于模型诊断 冲突集 极小碰集 集合枚举树
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 385-390
• 页数: 6页
• 分类号: TP306
• 字数: 4629字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2006.03.016

摘要

提出一种利用与元素相关联的冲突集个数计算碰集的新方法, 并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程, 逐步生成所有的极小碰集. 由于在SE-tree中添加了终止节点, 因而能够较大提高搜索效率. 实验结果表明, 该算法程序容易编制, 且效率较好, 对于复杂的被诊断对象系统可以满足实时性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳丹彤	吉林大学符号计算与知识工程教育部重点实验室	108	781	15.0	23.0
2	赵相福	吉林大学计算机科学与技术学院	13	95	7.0	9.0