论文题目: 分布构件系统故障诊断技术研究
论文类型: 博士论文
论文专业: 计算机科学与技术
作者: 黄杰
导师: 邹鹏
关键词: 分布计算,基于模型的诊断,构件模型,极小诊断,贝叶斯方法
文献来源: 国防科学技术大学
发表年度: 2005
论文摘要: 上个世纪末到这个世纪初，蓬勃发展的分布构件技术为分布应用提供了基础设施的无缝集成、代码的二进制复用和应用的快速开发能力。构件化分布应用开发复杂度降低的同时，它的调试和诊断依然困难。快速诊断和定位分布构件系统故障，对减少系统的平均恢复时间、增强分布构件系统的高可靠性和高可用性具有重要的意义。 论文主要研究构件化应用服务器平台的诊断支持问题。分布构件系统的故障诊断不仅和硬件系统的故障诊断存在共性问题，而且分布构件系统的故障诊断有着其特殊性，这些特殊性对现有的诊断方法提出了更高的要求。它主要表现在分布构件系统是一个软件系统，具有比硬件系统更复杂的逻辑结构；分布构件系统是一个时序系统，有着比硬件系统更强的时序特性；另外，分布构件系统的故障类型较多，需要为不同种类的故障建立相应的诊断模型。文章首先分析了现有的分布构件故障诊断系统和常用的故障诊断方法，对诊断的形式化模型进行了概念上的分类和比较。针对分布构件系统的复杂性，对基于模型的诊断算法进行了研究和改进，提出了求解极小超定子系统算法、冲突识别算法和求解极小诊断等一系列算法，提高了诊断的效率。研究了分布构件语义故障诊断中的时序问题，建立了具有时序特性的诊断模型，为构件内存访问故障提出了基于贝叶斯理论的BMMD方法，给出了特征选取的标准。最后在StarCCM平台上研究了组装件语义诊断和构件内存访问失效故障诊断的实现机制，增强了StarCCM平台的易用性。 主要研究内容包括： 1．分析了分布构件故障诊断面临的挑战，将分布构件系统故障诊断的研究定位在为分布构件应用提供诊断支持上。在分析了现有故障诊断方法和分布构件诊断系统之后，按照诊断时使用的系统信息和观察结果将现有的诊断方法分类为三种概念模型，它们分别是偏离正常行为的诊断(DNB)、匹配异常的诊断(MAB)和异常分类的诊断(AC)，同时对这三种概念模型使用的知识类型、形式化方法和推理方法进行了比较。基于三种不同的概念模型，分别分析了基于一致性的诊断、反绎诊断和假设演绎诊断形式化模型，并在此基础上，确定分布构件故障诊断研究的具体目标。 2．为提高诊断方法的效率，提出了求解极小超定子系统的算法SAMODS，该算法充分利用诊断时可能遇到的冗余信息，“静态”计算极小超定子系统，简化了实际诊断时的计算量。在SAMODS算法基础上，进一步提出了冲突识别算法MODSBCI。本文还提出了由极小冲突求解极小诊断的算法GSA，GSA将极小诊断的求解问题映射到0／1整数规划问题，建立了模拟退火和遗传算法相结合的快速求解算法。基于分而治之的思想，提出了用于缩小问题求解规模的分解算法OONA，该算法能够很好地将复杂问题分解为多个规模较小的子问题。 3．语义故障和内存访问失效故障是分布构件环境下最常见的故障类型，它们一直是分布构件故障诊断的重点和难点。文章针对分布构件系统语义诊断中的时序问题研究了时间本体的各个要素，提出了适合分布构件系统故障诊断的时序框架MLTF，在MLTF的基础上，根据QA-network的概念，提出了分布构件系统语义故障诊断的模型。针对分布构
论文目录:
摘要
ABSTRACT
第一章 绪论
1.1 选题背景
1.1.1 分布构件技术
1.1.2 CORBA构件模型(CCM)
1.1.3 分布构件故障诊断问题的提出
1.2 本文工作
1.3 论文结构
第二章 相关研究工作
2.1 相关诊断理论
2.1.1 故障诊断技术分类
2.1.2 故障诊断方法
2.1.3 各种诊断理论的比较
2.2 相关分布构件诊断系统
2.2.1 PinPoint
2.2.2 麻省理工大学开发的自动异常处理系统
2.2.3 PerformaSure系统
2.3 诊断理论的适用性分析
2.3.1 软硬件故障的差异
2.3.2 故障诊断研究的定位
2.3.3 适用于CCM的故障诊断方法
2.4 本章小结
第三章 故障诊断的形式化方法研究
3.1 诊断概念模型的分类
3.1.1 DNB类型的诊断
3.1.2 MAB类型的诊断
3.1.3 AC类型的诊断
3.1.4 三种概念模型的比较
3.2 基于一致性的诊断模型
3.2.1 基本模型描述
3.2.2 问题求解
3.3 基于反绎的诊断模型
3.3.1 反绎推理模型
3.3.2 基于反绎的诊断
3.4 假设演绎诊断模型
3.5 本章小结
第四章 分布构件故障诊断算法的研究
4.1 基本求解过程
4.1.1 冲突识别过程
4.1.2 诊断解空间
4.2 冲突识别算法MODSBCI
4.2.1 故障诊断中的超定系统
4.2.2 极小超定子系统的搜索算法SAMODS
4.2.3 冲突识别搜索算法MODSBCI
4.2.4 对比测试
4.3 求解极小诊断的遗传算法GAMD
4.3.1 GAMD算法
4.3.2 算法测试
4.4 求解极小诊断的遗传模拟退火算法GSA
4.4.1 模拟遗传退火思想
4.4.2 求解极小诊断的遗传模拟退火算法
4.4.3 算法分析与测试
4.5 观察点选择算法OONA
4.5.1 观察点的选择问题
4.5.2 观察点的选择算法OONA
4.5.3 算法有效性测试
4.6 本章小结
第五章 分布构件系统故障诊断方法的研究
5.1 分布构件系统语义故障诊断模型
5.1.1 分布构件语义诊断的基本思想
5.1.2 时间本体
5.1.3 诊断时序框架 MLTF
5.1.4 基于 QA网络的过程表达
5.1.5 分布构件语义诊断模型
5.2 构件内存访问失效故障诊断
5.2.1 内存访问故障诊断模型
5.2.2 内存访问故障诊断方法BMMD
5.2.3 BMMD中故障现场特征的选取
5.3 本章小结
第六章 StarCCM系统故障诊断的设计与实现
6.1 CORBA构件模型体系结构
6.1.1 抽象构件模型
6.1.2 容器编程模型
6.1.3 组装件模型
6.1.4 CCM分布构件模型的特点
6.2 StarCCM组装件的语义诊断
6.2.1 语义为中心的诊断模型编辑方法
6.2.2 分布构件系统行为定义语言CSBDL
6.2.3 StarCCM的诊断支持系统
6.3 以调用栈信息为导向的构件内存访问故障诊断
6.3.1 StarCCM内存故障现场特征的选取
6.3.2 调用栈信息获取的关键技术
6.4 本章小结
第七章 结束语与展望
7.1 结束语
7.2 展望
致谢
攻读博士期间发表的论文
攻读博士期间参与的科研工作
参考文献
发布时间: 2006-09-22
相关论文
- [1].故障诊断与容错控制方法研究[D]. 王德军.吉林大学2004
- [2].面向复杂系统生命周期的故障诊断技术研究[D]. 张晓阳.南京理工大学2005
- [3].面向构件的复杂软件系统中动态配置技术的研究[D]. 窦蕾.国防科学技术大学2005
- [4].故障诊断中信息熵特征提取及融合方法研究[D]. 谢平.燕山大学2006
- [5].基于混合智能的故障诊断与维修决策模型研究与实践[D]. 王长琼.武汉交通科技大学1999
- [6].基于支持向量机的故障智能诊断理论与方法研究[D]. 何学文.中南大学2004
- [7].开放式故障诊断构架及动态测试分析方法研究[D]. 邓学欣.天津大学2004
- [8].复杂过程工业系统故障诊断与预测方法的研究[D]. 池红卫.天津大学2004