【摘 要】
：
提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室,吉林大学第一医院
【基金项目】
：
国家自然科学基金项目(60773097,60873148);新世纪优秀人才支持计划项目(20060532);“973”国家高技术研究发展规划项目(2003AA118020);吉林省科技发展计划项目(20080107)
论文部分内容阅读
提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的思想提出了极小诊断组成原理和极小诊断元件个数原理,可直接求出所有的极小诊断,避免了非极小诊断的产生,提高了诊断效率,并且不会丢失正确的解。该算法程序容易编制,且效率较好,可以满足复杂被诊断对象的实时性要求。
其他文献
在过去的十几年中，南海古海洋学研究取得了一系列的研究成果，研究工作主要集中在南海北部，南海南部则研究较少；研究内容中生物地球化学特别是分子有机地球化学比较欠缺，开展这方面
根据成土母质、土壤类型、人为耕作等因素在云南主要产烟区采集土壤样品，并同步采集烟叶样品和烟叶主产区主要使用的复合肥、钾肥、磷肥等肥料。样品消解后用LS-6500液体闪烁
目的：本课题旨在了解不同危险程度高血压病(essential hypertension，EH)患者血浆中儿茶酚胺(Catecholamines，CAs)(肾上腺素、去甲肾上腺素)含量的变化，并对比雷米普利和尼群地平
金属柱撑黏土（PILC）能够在保证Fenton法对有机污染物的去除功效的同时，较好地克服Fenton法催化剂易流失、适用pH范围小等缺点。介绍了金属柱撑黏土制备的新进展，总结了柱撑黏土单
铝铁合金质量轻、耐热、耐磨，具有广泛的应用前景。当以普通铸造方法生产时，由于形成粗大的针片状Al3Fe相，合金的力学性能尤其是塑性较低，不能满足实际工程需要。本文研究了成形
植物自交不亲和性是植物花粉—雌蕊相互识别,防止其近亲繁殖的重要机制,是植物发育生物学的研究热点之一。蔷薇科果树如梨、苹果、李子等表现出自交不亲和性,该反应由S位点（S-
“氧化物冶金”技术提出之后,受到了冶金和材料学术界的重点关注和广泛研究。它是通过利用钢中弥散、细小的氧化物夹杂促进形成晶内铁素体来细化组织,从而提高钢的韧性。国内
课题针对新型、高效、绿色的螺纹旋风铣削技术,以大型螺纹旋风铣床为对象,紧扣大型螺纹工件旋铣加工多点变支撑、断续成型切削等特点,通过建立大型螺纹旋风铣削在线检测系统,
放电加工作为一种非接触式加工方法，具有成本低、无宏观加工力等优点，在微细加工领域占有重要的地位。它可以通过控制单次放电的能量来获得极小的加工去除单位，具备微纳米尺度加
多视点云对齐是实现基于多传感器的闭环测量系统以及提高逆向工程中重建曲面模型质量的关键技术之一。现有的多视点云对齐方法往往由于被测零件的复杂表面外形以及测量噪声的