10.3969/j.issn.1671-5497.2007.02.033
基于模型的诊断中产生所有极小冲突集的新方法
首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree).然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree).最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式.
计算机应用、基于模型的诊断、冲突集、碰集、集合枚举树
37
TP306(计算技术、计算机技术)
国家自然科学基金60496320,60496321;国家高技术研究发展计划863计划2003AAll8020;吉林省科技发展计划20060532
2007-04-09(万方平台首次上网日期,不代表论文的发表时间)
共6页
413-418