学位论文 > 优秀研究生学位论文题录展示

针对离散事件系统的基于模型故障诊断改进方法的研究

作　者: 王晓宇
导　师: 欧阳丹彤
学　校: 吉林大学
专　业: 计算机软件与理论
关键词: 模型故障诊断离散事件系统基于冲突的诊断状态编码
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 103次
引　用: 2次
阅　读: 论文下载

内容摘要

离散事件系统的模型故障诊断方法在大型工业系统、航天系统的系统监控和故障处理方面有着广泛的应用,扩展的诊断方法可以应用于软件编译和故障处理等方面。离散事件系统诊断的特点是在系统运行的过程中可以根据实时的信息对系统进行监测,并且可以在系统局部故障扩展到全局故障之前进行隔离和恢复,是一种动态的诊断方法。本文对离散事件系统诊断方法进行研究和改进,分析各类系统运行的模式及其诊断过程中的难点,对代表性系统的一般性问题进行总结。基于这些分析和总结,根据诊断过程的一般性问题,总结出一种诊断同步的方法。并分别就两种代表类型的系统:全局系统和分布式系统提出了有针对性的解决方案。这些方法针对相应系统的重点问题进行解决,通过对自动机模型的模拟进行实验,从时间上加快了诊断得出速度,在诊断可以处理的模型规模上有所扩展。

全文目录

提要  4-7
第1章绪论  7-13
  1.1 离散事件系统  7-8
  1.2 模型故障诊断问题  8-10
    1.2.1 静态诊断方法  9
    1.2.2 离散事件系统诊断方法  9-10
    1.2.3 混杂系统诊断方法  10
    1.2.4 连续系统诊断方法  10
  1.3 离散事件系统诊断经典方法  10-12
  1.4 本文主要工作  12-13
第2章相关定义  13-18
  2.1 系统模型  13-16
  2.2 不确定性信息  16-18
第3章基于冲突的诊断  18-28
  3.1 在自动机中添加概率信息  18-21
    3.1.1 模型故障诊断中的概率信息  18-19
    3.1.2 添加概率信息到自动机  19-21
  3.2 观测序列  21-22
  3.3 基于冲突诊断方法  22-23
    3.3.1 冲突  22
    3.3.2 利用冲突进行诊断  22-23
  3.4 特殊情况处理  23-25
  3.5 性质证明  25-26
  3.6 实验结果  26-28
第4章分布式自动机的诊断方法  28-35
  4.1 分布式自动机的特点  28-29
    4.1.1 分布式自动机  28
    4.1.2 分布式自动机模型  28-29
  4.2 编码方法  29-30
  4.3 诊断  30-31
  4.4 实验结果及分析  31-32
  4.5 通过同构判定降低并行规模  32-34
  4.6 相关方法比较  34-35
第5章同步  35-42
  5.1 同步操作简介  35-37
    5.1.1 部件同步  35-36
    5.1.2 自同步  36-37
  5.2 同步方法  37-42
    5.2.1 部件同步方法  37-38
    5.2.2 自同步方法  38-42
第6章总结与展望  42-43
  6.1 总结  42
  6.2 工作展望  42-43
读研期间发表论文  43-44
参考文献  44-48
致谢  48-49
摘要  49-51
Abstract  51-53

针对离散事件系统的基于模型故障诊断改进方法的研究

内容摘要

全文目录

相似论文