位置：成果数据库 > 期刊 > 期刊详情页
对基于模型的诊断过程的形式化
  • ISSN号：1003-6059
  • 期刊名称：《模式识别与人工智能》
  • 时间：0
  • 分类：TP277[自动化与计算机技术—控制科学与工程;自动化与计算机技术—检测技术与自动化装置]
  • 作者机构：吉林大学计算机科学与技术学院，长春130012
  • 相关基金：国家自然科学基金(No.69903005,60073039)
作者： 欧阳丹彤, 孙吉贵
关键词： 形式化, 模型诊断, 溯因符号, 本原蕴涵/蕴涵式
中文摘要：

本文对基于模型诊断的过程进行了形式化，论证了它与本原蕴涵／蕴涵式的直接关系，从而将该理论结果与实现联系起来。进一步指出该结果具有一般性，不仅能够计算已知部件的部分故障行为方式时的基于模型的诊断，还能够计算已知每个部件的各种故障行为方式下的基于模型的诊断。以往对基于一致性的中心诊断过程、中心溯因诊断过程的形式化仅仅是文中所给出的形式化的特殊情形。

同期刊论文项目
基于模型的诊断推理
期刊论文 23 会议论文 3
约束推理与约束程序
期刊论文 7
同项目期刊论文
Theorem Proving Based on Extension Rule
Knowledge Compilation Using Extension Rule
一种求解粮食调运优化问题的两阶段方法
基于决策树分类方法的粮食轮换决策支持系统
基于约束的调度研究和实现
基于广义产品结构树的配置参数管理
Kernel Model-based Diagnosis
不确定因果理论诊断的测试
对基于模型诊断过程的形式化
基于模型诊断的元件替换与替换测试
用辩论刻画含约束的诊断空间
基于模型的网络故障诊断方法
不确定因果理论的基于模型诊断
抽象和求精过程中用算子标识约束信息
基于模型诊断的研究与新进展
广义因果理论上基于模型诊断过程的形式化
拓展溯因逻辑程序设计的辩论理论基础
基于模型的实质诊断
基于模型诊断方法的系统替换修复与重新配置
抽象算子逻辑及其自然演绎系统
合成状态图中非预期状态转换路径的确认
用聚类分析方法挖掘Aspect
一种自动化软件设计改进方法
基于模型的动态分层诊断技术
基于模型诊断中计算碰集的方法
面向Java语言的设计模式抽取方法的研究
期刊信息
  • 《模式识别与人工智能》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会 中国自动化学会
  • 主办单位:国家智能计算机研究开发中心 中国科学院合肥智能机械研究所
  • 主编：郑南宁
  • 地址：安徽省合肥市蜀山湖路350号中国科学院合肥智能机械研究所
  • 邮编：230031
  • 邮箱：bjb@iim.cas.cn
  • 电话：0551-5591176
  • 国际标准刊号：ISSN：1003-6059
  • 国内统一刊号：ISSN：34-1089/TP
  • 邮发代号:26-69
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:10169