非单调推理基础上的基于模型诊断 ——动态推理和更新机制及其应用

论文摘要

本文首先介绍了基于模型诊断的基本概念、计算诊断的过程及基于非单调推理基础上的动态诊断机制的主要思想和框架,并且在更广泛的意义上定义了诊断概念,使诊断这一概念适合于更广泛的诊断问题,而不单单是对异常部件的诊断。同时在这个框架基础上给出了具体实现算法,然后将这个动态诊断框架应用于移动通讯网络中的通讯故障诊断问题,从网络本身结构及其包含的设备的特点出发进行详细讨论。最后介绍了将基于模型的这一动态诊断技术与表推演方法相结合,利用相互的优点得到更有效地诊断系统,其中提出了重命名技术来改进原先提出的cuts 方法,这个技术可以更有效地集中初始表的产生过程,这方面还是一个初步的探索,将逻辑方法应用于基于模型诊断技术中将是今后探索的方向。

论文目录

• 第一章 引言
• 1.1 研究目的
• 1.2 研究现状
• 1.3 本文产生背景
• 1.4 本文主要工作
• 第二章 基于模型诊断
• 2.1 基本概念
• 2.1.1 基于一致的诊断
• 2.1.2 核心诊断
• 2.1.3 缩减诊断的数目
• 2.2 诊断的计算
• [16]'>2.3 序列诊断定义^[16]
• 第三章 动态推理和更新机制
• [34]'>3.1 非单调推理简介^[34]
• [34]'>3.1.1 缺省推理^[34]
• [4]'>3.2 DRUM-II 框架^[4]
• 3.2.1 基于模型方法
• 3.2.2 计算极小模型
• [28,29]'>3.2.3 在限定推理基础上确定蕴含关系^[28,29]
• 3.3 限定推理的其它形式
• 3.3.1 固定谓词扩展
• 1）|->…>（p_n）|-^[29]'>3.3.2 区分优先级的限定推理≤（p₁）|->…>（p_n）|-^[29]
• 3.4 修改和过滤算法
• 3.4.1 语言
• 3.4.2 修正不一致的模型
• 3.4.3 修正算法
• 3.4.4 算法的特性
• 3.4.5 一个迭代加深算法
• 3.5 非单调推理应用
• 3.5.1 PMON-限定推理
• [33]'>3.5.2 Baker 提出的框架^[33]
• 第四章 DRUM-II 实现的基于模型警报关联系统
• 4.1 应用领域
• 4.2 基于一致性建模
• 4.2.1 建模综述
• 4.2.2 详细建模（具体的模型）
• 4.2.3 对几个例子的讨论
• 4.3 一种改进的系统描述方法
• 4.3.1 基于一致性模型诊断的局限性
• 4.3.2 改进的系统描述
• 4.3.3 计算诊断
• 第五章 表诊断
• 5.1 概述
• 5.2 超表推演
• 5.3 从 DRUM-II 中得出的经验
• 5.4 形式化
• 5.4.1 cuts 技术
• 5.4.2 对初始模型应用重命名技术
• 5.5 表方法的实现和经验总结
• 5.5.1 实现表方法的基本证明过程
• 5.5.2 诊断任务
• 5.5.3 计算极小n 故障诊断
• 5.6 结论
• 参考文献
• 摘要
• Abstract
• 致谢
• 导师和作者简介