-
题名基于动态极大度的极小碰集求解方法
被引量:17
- 1
-
-
作者
张立明
欧阳丹彤
曾海林
-
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第2期209-215,共7页
-
基金
国家自然科学基金项目(60973089
60873148
+10 种基金
60773097
61003101)
吉林省科技发展计划基金项目(20101501
20100185
20090108
20080107)
浙江省自然科学基金项目(Y1100191)
欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)
吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05)
吉林大学"985工程"研究生创新基金项目(20080242
20101026)
-
文摘
在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好.
-
关键词
基于模型的诊断
极小碰集
SE-Tree
动态极大度
向量交集
-
Keywords
model-based diagnosis
minimal hitting set
SE-Tree
dynamic maximum degree
intersection of vectors
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名动态极大度求解极小碰集方法的改进
- 2
-
-
作者
王肖
-
机构
杭州科技职业技术学院
-
出处
《电子技术与软件工程》
2018年第9期248-250,共3页
-
基金
项目基金:浙江省教育厅科研项目
项目名称:<智能消防车故障诊断系统设计与实现>
项目编号:Y201737598
-
文摘
基于模型的故障诊断作为一项新型智能诊断技术,克服了传统故障诊断方法依赖专家经验等缺陷,求解极小碰集是模型故障诊断中的重要步骤,本文提出改进的基于动态极大度求解极小碰集方法,对度为0的元素进行终止扩展标记,通过实例验证其改进可减少极小碰集中真超集的产生,从而减少冗余节点,提高求解效率。
-
关键词
人工智能
基于模型诊断
极小碰集
动态极大度
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-