文献类型：期刊文章

作　　者：王楠[1,2] 欧阳丹彤[1] 孙善武[3]

机构地区：[1]吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室,长春130012 [2]吉林财经大学信息学院,长春130117 [3]吉林财经大学网络实验中心,长春130117

出　　处：《计算机学报》

基　　金：国家自然科学基金(60973089;60873148;60773097;61003101);吉林省科技发展计划项目基金(20100173;20101501;20100185;20090108;20080107);浙江省自然科学基金(Y1100191);欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12);吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05)资助

年　　份：2011

卷　　号：34

期　　号：2

起止页码：383-394

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20111413898182)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulationand Abstraction)模型从构造化的角度定义了表示抽象的一般框架,文中在KRA模型框架下建立系统模型,给出了抽象算子在系统的基本框架Rg上进行的非独立的运算过程,使得不会在抽象过程中生成重复的部件类型,不仅降低了存储空间,还增加了在进一步的抽象运算中算子重用的概率,提高了整个抽象运算的效率.同时描述了基于模型诊断中的抽象分层过程,提出了动态和静态构造算子库两种方法,并对其优缺点进行分析,给出了一个应用抽象算子集合自动生成待诊断系统分层表示的一般算法.

关 键 词：基于模型的诊断  分层诊断 KRA模型  算子库  自动分层  

分 类 号：TP18]