-
题名基于模型诊断的抽象分层过程
被引量：4
- 1
-
-
作者
王楠
欧阳丹彤
孙善武
-
机构
吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
吉林财经大学信息学院
吉林财经大学网络实验中心
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第2期383-394,共12页
-
基金
国家自然科学基金(60973089
60873148
+9 种基金
60773097
61003101)
吉林省科技发展计划项目基金(20100173
20101501
20100185
20090108
20080107)
浙江省自然科学基金(Y1100191)
欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)
吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05)资助
-
文摘
分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulationand Abstraction)模型从构造化的角度定义了表示抽象的一般框架,文中在KRA模型框架下建立系统模型,给出了抽象算子在系统的基本框架Rg上进行的非独立的运算过程,使得不会在抽象过程中生成重复的部件类型,不仅降低了存储空间,还增加了在进一步的抽象运算中算子重用的概率,提高了整个抽象运算的效率.同时描述了基于模型诊断中的抽象分层过程,提出了动态和静态构造算子库两种方法,并对其优缺点进行分析,给出了一个应用抽象算子集合自动生成待诊断系统分层表示的一般算法.
-
关键词
基于模型的诊断
分层诊断
KRA模型
算子库
自动分层
-
Keywords
model-based diagnosis
Hierarchical diagnosis
the KRA model
operators database
automatic hierarchy
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
