【摘 要】
：
基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支.提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断.使
【机 构】
：
吉林大学计算机科学与技术学院 长春130012;吉林大学符号计算与知识工程教育部重点实验室 长春130012
论文部分内容阅读
基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支.提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断.使用SE-Tree( set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断.此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度.实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题.
其他文献
2004年6月22日-7月12日,建设部小城镇规划建设培训团赴澳大利亚进行培训和实地考察系统学习了澳大利亚联邦城市规划政策与目标、战略性计划概论、城市规划政策、社区在规划中
作为一家具有百年历史的跨国公司,米其林始终站在技术革新的前沿,向卡车和客车的拥有者、使用者和制造商提供富有创造性和可靠性以及具有竞争力的产品。初春的3月,米其林便向
介绍基层畜牧兽医动物防疫工作的重点，分析指出防疫工作存在的不足，并提出相应的对策，希望能够为基层畜牧兽医动物防疫工作提供借鉴与参考。
多笑少怒 笑一笑，十年少。笑是延长寿命减少衰老的良药。怒则伤身，容易造成大脑神经紊乱，思绪混乱，情绪不佳，打乱人体平衡。怒能引发毒素在体内积累，使人减寿。 多果少糖 食糖过多，会使患糖尿病的几率增高。多食水果则能减少患脑中风的危险，而且还能防癌抗癌。 多茶少烟 茶对人体的益处很多，可生津止渴，消除疲劳，清肝明目，还能防癌，抗衰老，延年益寿等。而吸烟能使多种组织和器官产生生理和生物
在北京,王府井步行街上那尊人力车夫的红铜塑像,也许正在向人们述说着中国城市的历史;而在柳荫街,等待着中外游客前来参加胡同观光游的那一排排支起五彩车蓬的三轮车,又在世
近几年,“互联网+”的概念受到狂热追捧:先是贴近普通人生活需求的消费互联网成为投资热门,各种类型的O2O企业层出不穷;待市场冷静一段时间之后,资本又将目光转向了真正能够
传统的农耕文明正在消失。农村已不是往昔的农村,乡野的环境、屋舍、器物,都换了旧日模样。普遍存在时,司空见惯,不足为奇;一旦消失了,蓦然回首,弥足珍贵。真应该为传统的农
当2005年的初雪飘落下来时,在新起点嘉园的办公室里,我见到了这位年轻的老总.rn我说:“孙总,谈谈您的个人创业经历吧!”孙继春淡淡地说道:“我的创业经历其实可以用一句话来