软件密集型装备软硬件故障理论及分析

图书标准信息

• 作者 慕晓冬、易昭湘、赵鹏、张力 著
• 出版社 西安电子科技大学出版社
• 出版时间 2015-06
• 版次 1
• ISBN 9787560637464
• 定价 18.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 112页
• 字数 1280千字
• 正文语种 简体中文

【内容简介】

　　《软件密集型装备软硬件故障理论及分析》系统地介绍了软件密集型装备故障诊断的基本概念和理论，全面阐述了软件密集型装备的故障分析、故障检测技术。全书共分为三个部分，第一部分从软件密集型装备维修和保障技术、故障诊断技术现状、软硬件故障分析方法等方面介绍了软件密集型装备故障分析的基本概念；第二部分从故障机理分析、故障划分等方面介绍了软件密集型装备的故障分析方法；第三部分从故障检测、故障双向分析等方面介绍了软件密集型装备软硬件故障的检测方法。
　　《软件密集型装备软硬件故障理论及分析》可作为高等院校可靠性工程、故障诊断专业的研究生教材，也可作为从事故障可靠性、维修和保障等领域研究的专家、工程技术人员和管理人员参考资料。

【目录】

第1章软件密集型装备
1.1软件密集型装备的基本概念
1.1.1定义及内涵
1.1.2分类与特点
1.2软件密集型装备的发展概况
1.3软件密集型装备的维修和保障技术
1.3.1软件密集型装备的保障系统
1.3.2软件密集型装备的保障技术

第2章故障诊断方法
2.1故障基本概念
2.1.1故障及分类
2.1.2软件故障
2.1.3软硬件故障
2.2故障诊断技术及现状
2.2.1基于模型的故障诊断方法
2.2.2基于监测的故障诊断方法
2.2.3基于知识的故障诊断方法

第3章软件密集型装备的故障分析
3.1软件密集型装备的故障及其特点
3.2软件密集型装备的故障分析现状
3.2.1国外研究现状
3.2.2国内研究现状
3.3软件密集型装备的故障分析框架

第4章基于Petri网的软件密集型装备故障机理分析技术
4.1故障建模问题分析
4.2Petri网基本理论
4.2.1Petri网基本概念
4.2.2Petri网基本性质
4.3基于Petri网的软件故障模型
4.3.1SHFPN形式化定义
4.3.2SHFPN运行规则
4.3.3SHFPN性质分析
4.4软硬件故障模式
4.4.1软硬件故障模式定义
4.4.2软硬件故障模式识别
4.5软硬件故障机理分析
4.5.1软硬件故障机理
4.5.2故障机理分析算法
4.6实例分析
4.6.1实例介绍
4.6.2结果与分析

第5章基于形式化方法的软件密集型装备故障划分技术
5.1故障划分问题
5.1.1故障划分意义
5.1.2故障划分方法
5.2软硬件故障形式化的划分
5.2.1典型设备软硬件故障划分准则
5.2.2基于形式化方法的划分方法
5.2.3软硬件故障划分方法流程
5.30TS验证
5.4故障划分实例

第6章基于BDA的软件密集型装备故障双向分析技术
6.1故障分析问题
6.1.1故障分析存在的问题
6.1.2BDA技术及特点
6.2BDA分析基本流程
6.2.1前向分析
6.2.2后向分析
6.2.3双向分析
6.3软硬件故障BDA分析方法
6.3.1软硬件故障前向分析
6.3.2软硬件故障后向分析
6.3.3软硬件故障双向分析
6.4故障分析实例
6.4.1R1的前向分析
6.4.2R1的后向分析
6.4.3实例结果分析

第7章基于阴性选择算法的软件密集型装备故障检测技术
7.1软件密集型装备的故障检测
7.1.1故障检测问题与分析
7.1.2相关概念与定义
7.1.3故障检测框架
7.2阴性选择算法
7.2.1基本原理
7.2.2应用和改进
7.3矩阵式阴性选择算法
7.3.1自我集和检测集
7.3.2距离和匹配规则
7.3.3检测器生成算法
7.3.4矩阵式阴性选择算法
7.4故障检测实例
7.4.1算法分析实例
7.4.2故障检测实验
7.4.3故障检测结论
参考文献