基于模型诊断的抽象分层过程

• 作者: 孙善武 欧阳丹彤 王楠
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 基于模型的诊断 分层诊断 KRA模型 算子库 自动分层
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 383-394
• 分类号: TP18
• 字数: 10026字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.00383

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳丹彤	吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室	108	781	15.0	23.0
2	王楠	吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室	73	329	11.0	15.0
4	孙善武	吉林财经大学网络实验中心	18	55	5.0	6.0