文摘
英文文摘
致谢
1 引言
1.1 论文研究背景与意义
1.2 国内外研究现状
1.2.1 国外计算机联锁系统的研究现状
1.2.2 国内计算机联锁系统的研究现状
1.3 论文主要内容和结构安排
1.4 本章小结
2 微机联锁系统结构与评价指标
2.1 微机联锁系统典型工作结构
2.1.1 双机热备结构微机联锁系统
2.1.2 三模冗余结构微机联锁系统
2.1.3 二乘二取二结构微机联锁系统
2.2 微机联锁系统分析前提条件
2.3 影响系统性能的几个重要参数
2.4 微机联锁系统相关性能评价指标
2.5 本章小结
3 动态故障树理论
3.1 故障树基本理论
3.2 动态逻辑门的引入与转化
3.3 动态故障树的转化
3.3.1 基于BDD的故障树分析
3.3.2 马尔科夫模型
3.3.3 动态故障树模块化分解方法
3.4 本章小结
4 微机联锁系统的建模与求解
4.1 二乘二取二微机联锁系统的动态故障树建模求解
4.1.1 动态故障树建模
4.1.2 动态故障树求解过程
4.2 双机热备微机联锁系统的马尔科夫链建模与求解
4.3 三模冗余微机联锁系统的马尔科夫模型建模与求解
4.4 系统Matlab仿真分析
4.4.1 三种系统性能比较
4.4.2 故障检测覆盖率对系统性能影响分析
4.5 本章小结
5 二乘二取二结构的推广应用—远程集中控制系统的分析
5.1 远程集中控制系统结构与分析条件
5.2 建立故障树模型
5.3 故障树模型的求解与分析
5.4 本章小结
6 结论
参考文献
作者简历
学位论文数据集