【摘 要】
：
基于模型的诊断是一项新型的智能推理技术，是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念，通过在系统中传播输出标志，来判断元件集合是否为系统的诊断。使用
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室
论文部分内容阅读
基于模型的诊断是一项新型的智能推理技术，是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念，通过在系统中传播输出标志，来判断元件集合是否为系统的诊断。使用SE—Tree（set enumeration tree）形式化地描述整个计算过程，逐步生成当前系统对应的所有极小诊断。此方法不求解冲突集和碰集，直接求出所有的极小诊断，与Reiter的模型诊断方法有着本质的不同，极大地减小了诊断求解的复杂度。实验结果表明，该算法具有较好的效率，并且适用于复杂的对象的诊断问题。
其他文献
从今年开始全国语文课本都开始使用部编版的教材,部编版教材与之前的教材相比,语文知识的含量大幅度的提高。尤其是对中华传统文化的学习,从古诗词、文言文等方面进行了全面
提出了一种从遥感影像中分割出道路的新方法。通过比较多个方向上纹理和灰度的一致性,可以在每一点处筛选出一致性最优方向,此方向上的Gabor滤波响应以及作为衡量一致性指标的方差值共同构成该方法的特征矢量。鉴于MRF的独特优点,选择其作为分割模型,并结合最大期望(EM)原理实现非监督分割,构建MRF的相应能量项时加入了方向信息以提高分割质量,同时用置信传递法(BP)代替传统的模拟退火法以提高能量最小化过
对于基于Internet的网络化控制系统,由于其网络延时具有随机、长时滞特性,使得控制系统稳定性和动态性能很差。本文基于离散的状态反馈网络化控制系统,提出了一种基于对象模
目的应用经颅多普勒超声（trascranial Doppler，TCD）术中监测研究颈动脉内膜切除术（carotidendarterectomy，CEA）术中的脑血流变化和微栓子出现的规律。方法应用TCD监测18例颈内动脉
<正> 同志们: 中国数量经济学会第二届年会现在开幕了。这次年会的主题是讨论宏观经济模型的理论与方法问题。同时,在这次会上,还要选举第二届理事,成立新的理事会,讨论学会的工作。从1982年春在西安召开第一届年会以来,我国数量经济学出现了蓬勃发展的新局面。
策划人语：又到一年就业季，又说一年就业难。据人力资源和社会保障部统计数据显示，2013年全国高校毕业生人数699万，被人们称为“史上最难就业季”：2014年全国高校毕业生人数727万人
随着经济体制改革的不断深入和科学技术的迅速发展,新技术、新工艺、新产品、新材料和新成果层出不穷,文献出版量激增,内容丰富、新颖,知识更新加快。面对信息社会,技术人员
随着免疫调节机理日益清楚，疫苗和佐剂的设计变得更加科学化，为了理解这些机理，需要清楚三种细胞之间的相互作用，抗原提呈细胞（ＡＰＣ）启动了免疫球蛋白级联反应，这些细胞中最重要的是树害
在力觉临场感系统中机器人操作环境经常是非线性的和未知的。为使本地操作者了解环境特性，需对操作环境进行建模。为此，进一步研究力觉临场感系统中机器人操作环境动力学模型，提
提出了一种基于改进的鲁棒学习方法(improved robust learning algorithm,IRLA)的多最小二乘支持向量机(multipleleast squares support vector machine,Multi-LSSVM)建模方法,用以解决非线性系统建模问题。该方法通过Bootstrap算法复制出训练集样本空间上的多个样本子空间,训练出多个成员最小二乘支持向量机模型,