位置：成果数据库 > 期刊 > 期刊详情页
基于模型诊断中计算碰集的方法
  • ISSN号：0254-3087
  • 期刊名称：《仪器仪表学报》
  • 时间：0
  • 分类：TH7-55[机械工程—仪器科学与技术;机械工程—精密仪器及机械]
  • 作者机构：吉林大学计算机科学与技术学院,长春,130012, 吉林大学符号计算与知识工程教育部重点实验室,长春,130012 吉林大学计算机科学与技术学院,长春,130012, 吉林大学符号计算与知识工程教育部重点实验室,长春,130012 Department of Computer Science, University of Reading, RG6 6AY, Reading, England 吉林大学计算机科学与技术学院,长春,130012, 吉林大学符号计算与知识工程教育部重点实验室,长春,130012
  • 相关基金：国家自然科学基金(69903005)、国家高技术研究发展计划(2003AA118020)经费资助项目.
作者： 欧阳丹彤, 欧阳继红, 程晓春, 刘杰
关键词： 基于模型的诊断, 碰集, 本原蕴涵/蕴涵式
中文摘要：

基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术.人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系.这里论证了极小碰集与本原蕴涵/蕴涵式的关系.提出了碰集计算方法-NEWHS-tree,指出:该算法需要搜索的结点数比Greiner的HS-DAG算法需要搜索的结点数大大减少,而且能够处理多故障诊断问题,而Slagle等学者提出的算法不能处理多故障诊断问题.

同期刊论文项目
基于模型的诊断推理
期刊论文 23 会议论文 3
同项目期刊论文
Kernel Model-based Diagnosis
不确定因果理论诊断的测试
对基于模型诊断过程的形式化
基于模型诊断的元件替换与替换测试
用辩论刻画含约束的诊断空间
基于模型的网络故障诊断方法
不确定因果理论的基于模型诊断
抽象和求精过程中用算子标识约束信息
基于模型诊断的研究与新进展
广义因果理论上基于模型诊断过程的形式化
拓展溯因逻辑程序设计的辩论理论基础
基于模型的实质诊断
基于模型诊断方法的系统替换修复与重新配置
抽象算子逻辑及其自然演绎系统
对基于模型的诊断过程的形式化
合成状态图中非预期状态转换路径的确认
用聚类分析方法挖掘Aspect
一种自动化软件设计改进方法
基于模型的动态分层诊断技术
面向Java语言的设计模式抽取方法的研究
期刊信息
  • 《仪器仪表学报》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会
  • 主办单位:中国仪器仪表学会
  • 主编：张钟华
  • 地址：北京东城区北河沿大街79号
  • 邮编：100009
  • 邮箱：yqyb@vip.163.com
  • 电话：010-84050563
  • 国际标准刊号：ISSN：0254-3087
  • 国内统一刊号：ISSN：11-2179/TH
  • 邮发代号:2-369
  • 获奖情况:
  • 1983年评为机械部科技进步三等奖,1997年评为中国科协优秀科技期刊三等奖
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,英国英国皇家化学学会文摘,中国北大核心期刊（2000版）
  • 被引量:42481