
包邮容错计算系统

温馨提示:5折以下图书主要为出版社尾货,大部分为全新(有塑封/无塑封),个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>
- ISBN:9787307076600
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:396
- 出版时间:2010-06-01
- 条形码:9787307076600 ; 978-7-307-07660-0
内容简介
当前,数字计算系统已经渗透到社会的各个领域,容错计算理念以及与容错计算相关的理论和应用问题也将迅速深入到人类赖以生存的各个领域和环境中去。同时,人们期待着所应用的,或者将应用的各种数字计算系统都是“诚信”的愿望必将实现。因此,对容错计算系统的设计理论和实践环节的深入研究和开拓必将成为当今数字系统研究和开发的热点。
本书共10章,可以分成两大部分:**部分对容错计算以及可信系统各类属性的定义和基本知识作详细的介绍和分析(从第1章至第4章),其中包括对软件和硬件系统的故障,错误和失效的定义和性质的形式化描述,并对软件和硬件系统中的故障和错误作了分析和比较;第二部分则是在对故障、错误和失效等主要属性作深入研究的基础上,阐述了提高系统可信性和可靠性以及容错计算的基本理论、主要技术和实施方法,并且介绍了其他相关的知识(从第5章至第10章)。其中按照软件和硬件系统的开发生命周期各个阶段应采取的各种策略和措施进行详细的分析讨论,包括阐明了避错技术和防错技术、软件和硬件系统测试技术、可测性设计技术(包括冗余与编码技术)、容错系统的设计以及故障安全技术等在数字系统中的实施策略和实际应用。
本书是专为计算机科学与技术专业和信息工程专业高年级本科生和研究生以及从事容错计算理论和应用的有关专业人士撰写的,是一本集数字计算软件和硬件系统于一体的容错计算理论研究和应用与实践并重的教材,书中吸收并介绍了大量国内外关于容错计算理论和技术方面的信息。本书与当前其他教材相比较,从具体内容上来看具有一定的先进性和前瞻性,对学习和了解数字系统的可靠性和容错计算系统的设计具有重要的意义。
目录
1.1 故障的定义及性质
1.1.1 故障的定义
1.1.2 故障的产生
1.1.3 故障的基本性质
1.2 故障模型
1.2.1 硬件故障模型
1.2.2 软件故障模型
1.3 故障模型的建立
1.3.1 建立故障模型的重要性和标准
1.3.2 故障模型的局限性
1.4 错误的定义
1.4.1 错误的定义
1.4.2 错误的分类及其传递性
1.5 失效的定义
1.6 数字系统的可信性
1.7 容错计算的定义及其重要功能
1.8 本章小结
1.9 思考题
第2章 数字系统的可靠性
2.1 数字系统可信性的定义
2.2 数字系统的可靠性
2.2.1 基本的可靠性函数和失效函数
2.2.2 可靠性的重要参数及定义
2.3 组合系统的可靠性
2.3.1 串行组合系统的可靠性评估
2.3.2 并行组合系统的可靠性
2.3.3 串并行/并串行系统的可靠性
2.3.4 非串行/非并行系统的可靠性
2.4 数字系统的可测性
2.5 数字系统的可维护性
2.5.1 维护的定义
2.5.2 可维护性的定义
2.6 数字系统的可用性
2.7 数字系统的安全性
2.8 数字系统的信息安全
2.9 数字系统可信性综合分析
2.10 本章小结
2.11 思考题
第3章 冗余技术和编码原理
3.1 功能性冗余技术的基本原理
3.1.1 静态功能性冗余
3.1.2 动态功能性冗余技术
3.2 结构性冗余技术
3.2.1 数字系统的结构性冗余技术
3.2.2 主动冗余技术
3.2.3 被动冗余技术
3.2.4 混合冗余
3.2.5 时间冗余技术
3.3 纠错编码原理
3.3.1 纠错编码的基本原理
3.3.2 线性分组编码原理
3.3.3 纠一/检二海明编码
3.4 萧码——实用的纠一脸二编码
3.5 循环码基本原理
3.5.1 循环码基础和码多项式
3.5.2 循环码多项式的性质
3.5.3 循环码的系统码格式
3.5.4 使用(n-k)级线性移位寄存器编码
3.5.5 使用七级线性移位寄存器编码
3.6 本章小结
3.7 思考题
第4章 自校验逻辑设计
4.1 完全自校验电路的基本概念
4.2 分离码电路及相关定义
4.2.1 强/弱分离码电路
4.2.2 自校验电路中的术语及基本定义
4.3 无双向错误的组合逻辑设计
4.4 检测由输入端故障产生的双向错误
4.5 双向错误排除技术
4.5.1 输入编码
4.5.2 输出编码
4.6 自对偶奇偶校验
4.7 模3(mod 3)留数码自校验电路
4.8 本章小结
4.9 思考题
第5章 故障避免和防止技术
5.1 需求分析和规格说明阶段的故障避免措施
5.1.1 确信技术
5.1.2 验证技术
5.2 设计阶段的故障避免措施
5.2.1 故障预防——设计过程中的确信技术
5.2.2 故障检测——设计过程中的验证技术
5.3 设计阶段应用的功能测试
5.4 故障防止措施
5.4.1 应用故障防止应注意的事项
5.4.2 应用于硬件系统的故障防止措施
5.4.3 应用于软件系统的故障防止措施
5.5 本章小结
5.6 思考题
第6章 软件可靠性模型和软件测试
6.1 软件可靠性的研究意义
6.2 软件开发的生命周期
6.2.1 项目的初始阶段
6.2.2 样本设计及定型阶段
6.2.3 编程阶段
6.2.4 测试阶段
6.2.5 变异测试
6.3 软件可靠性及其测度
6.4 软件测试对软件可靠性模型的影响
6.4.1 软件错误与检错曲线
6.4.2 软件错误与检错模型
6.5 软件可靠性模型
6.5.1 常数检错率的软件可靠性模型
6.5.2 线性递减型检错率的软件可靠性模型
6.5.3 指数递减型检错率的软件可靠性模型
6.6 软件可靠性模型中的常数估算
6.6.1 参数估算方法(1)——常数型检错率
6.6.2 参数估算方法(2)——线性递减型检错率
6.6.3 参数估算方法(3)——指数递减型检错率
6.7 本章小结
6.8 思考题
第7章 数字电路故障诊断
7.1 数字电路故障诊断的基本概念
7.1.1 故障等价
7.1.2 故障控制
7.2 数字电路的故障测试
7.2.1 逻辑测试的基本类型
7.2.2 逻辑测试的基本参数
7.2.3 逻辑测试的层次分类
7.2.4 逻辑测试的具体实施
7.3 组合电路的测试生成
7.3.1 逻辑电路的可控性和可观察性
7.3.2 单固定故障测试生成
7.4 特征分析测试法
7.4.1 计“1”测试法
7.4.2 跳变计数测试法
7.4.3 征兆测试法
7.5 时序电路测试生成
7.5.1 时序电路测试的基本概念
7.5.2 状态表验证和i/o校验序列
7.5.3 利用鉴别序列生成校验序列
7.5.4 无鉴别序列时序电路的校验序列
7.6 桥接故障测试生成
7.6.1 桥接故障模型
7.6.2 非反馈型桥接故障的测试生成方法
7.6.3 反馈型桥接故障的测试生成
7.7 本章小结
7.8 思考题
第8章 可测试性设计技术
8.1 可测试性设计思想的重要性
8.2 可测试性设计的基本原理
8.2.1 测试质量和可测试性属性
8.2.2 可测试性设计的意义
8.3 特定测试法
8.3.1 设置附加测试点
8.3.2 便于初始化设置
8.3.3 将大规模组合电路分解为松散型连接的小规模模块
8.3.4 提高时序电路的可控性
8.3.5 软件可测试性设计中的测试点技术和异常检测技术
8.4 专用可测试性电路及可测试性软件设计方法
8.4.1 reed-muller电路扩展技术
8.4.2 控制逻辑插入技术
8.4.3 专用可测试性设计在软件中的应用
8.5 组合电路内建测试(bit)设计方法
8.5.1 pla电路的结构及基本故障模型
8.5.2 pla电路的可测试性设计——pla的奇偶校验bit技术
8.6 时序电路内建测试(bit)设计方法
8.6.1 扫描通路设计思想
8.6.2 隔离(切换)部件的设计
8.6.3 电平触发扫描设计(lssd)
8.6.4 应用扫描设计技术的成本和对系统开发的影响
8.7 边界扫描内建测试(bit)技术
8.7.1 边界扫描问题的提出
8.7.2 边界扫描设计的基本原理
8.8 内建自测试(bist)方法
8.8.1 内建自测试的基本概念
8.8.2 线性反馈移位寄存器与特征多项式
8.8.3 一个可测试性设计的实例——伪穷举奇偶校验法及奇偶校验可测试性设计
8.9 本章小结
8.10 思考题
第9章 容错计算技术和容错系统
9.1 软件系统的结构性冗余技术
9.1.1 n-版本(模)冗余技术的基本概念
9.1.2 软件系统n-版本冗余的实现方法
9.1.3 指令复抽.技术
9.2 卷回和向后恢复技术
9.2.1 向后恢复技术
9.2.2 向后恢复技术中的高速缓存
9.2.3 向后恢复技术中恢复点的确定
9.2.4 向后恢复技术中运行环境的恢复
9.3 向前恢复技术
9.3.1 恢复模块式
9.3.2 终结模式技术
9.4 n模冗余系统的可靠性评估
9.4.1 系统裁决
9.4.2 模块分级裁决
9.4.3 裁决器的可靠性问题
9.4.4 可修复的nmr系统
9.5 容错系统的性能和成本关系的评估
9.6 各种容错技术的比较
9.6.1 容错设计技术的相似性
9.6.2 容错设计的差异性
9.7 容错计算技术与系统可靠性的关系
9.8 本章小结
9.9 思考题
第10章 安全保障技术
10.1 安全保障的基本概念
10.1.1 固有安全设计确保系统的安全性
10.1.2 冗余结构及故障安全技术提高系统的安全性
10.1.3 基于冗余结构技术的安全保障系统例子
10.2 安全保障系统与完全自校验技术
10.2.1 双轨校验器实现自校验功能
10.2.2 基于n取m码完全自校验及校验器的设计和构造
10.2.3 基于n取1码完全自校验及校验器的设计和构造
10.3 基于伯格码的完全自校验及校验器
10.4 基于低耗留数码完全自校验及校验器的设计
10.5 完全自校验pla电路的设计
10.5.1 强故障安全pla电路的设计
10.5.2 完全自校验pla电路的设计
10.6 *终安全保障组合电路的设计
10.7 自校验时序电路的设计
10.7.1 时序电路中的冗余故障
10.7.2 自校验时序电路的设计
10.8 安全保障时序机的设计
10.9 安全保障系统与完全自校验技术的关系
10.10 本章小结
10.11 思考题
参考文献
节选
《容错计算系统》内容简介:当前,数字计算系统已经渗透到社会的各个领域,容错计算理念以及与容错计算相关的理论和应用问题也将迅速深入到人类赖以生存的各个领域和环境中去。同时,人们期待着所应用的,或者将应用的各种数字计算系统都是"诚信"的愿望必将实现。因此,对容错计算系统的设计理论和实践环节的深入研究和开拓必将成为当今数字系统研究和开发的热点。《容错计算系统》共10章,可以分成两大部分:**部分对容错计算以及可信系统各类属性的定义和基本知识作详细的介绍和分析(从第1章至第4章),其中包括对软件和硬件系统的故障,错误和失效的定义和性质的形式化描述,并对软件和硬件系统中的故障和错误作了分析和比较;第二部分则是在对故障、错误和失效等主要属性作深入研究的基础上,阐述了提高系统可信性和可靠性以及容错计算的基本理论、主要技术和实施方法,并且介绍了其他相关的知识(从第5章至第10章)。其中按照软件和硬件系统的开发生命周期各个阶段应采取的各种策略和措施进行详细的分析讨论,包括阐明了避错技术和防错技术、软件和硬件系统测试技术、可测性设计技术(包括冗余与编码技术)、容错系统的设计以及故障安全技术等在数字系统中的实施策略和实际应用。《容错计算系统》是专为计算机科学与技术专业和信息工程专业高年级本科生和研究生以及从事容错计算理论和应用的有关专业人士撰写的,是一本集数字计算软件和硬件系统于一体的容错计算理论研究和应用与实践并重的教材,书中吸收并介绍了大量国内外关于容错计算理论和技术方面的信息。《容错计算系统》与当前其他教材相比较,从具体内容上来看具有一定的先进性和前瞻性,对学习和了解数字系统的可靠性和容错计算系统的设计具有重要的意义。
相关资料
插图:对可信性的测度评估主要可以分为两个方面,即可信性的数量测度和质量测度。从数量测度观点来评价一个数字系统的可信性,可以对系统可信性的多个属性进行全面的评估,这些评估的基础就是系统在各个属性上所提供服务的可“依赖程度”。由于这些属性的不确定因素,这些依赖程度都是以概率的形式来衡量和农示的。从宏观上来看,一个系统在整个生命周期中可能在一个阶段需要接受评估:**阶段为需求分析和规格说明阶段,第二阶段为设计阶段,第三阶段则是系统的运行阶段。**阶段的评估是在系统建立之前,即在对其作规格说明阶段中进行的。主要是根据它的规格说明来分析和预测该系统在将来作为产品的可信性。即根据用户对可信性的要求和设计者对系统成本和需求分析来预测系统的可信性,并且确保系统在运行时的可信性应该在可接受的范围之内。第二阶段的评估是在设计阶段进行。在设计阶段应注意要运用必要的技术、可靠的元器件或模块以保证系统在运行时达到应有的可信性。如在硬件系统中应该尽量避免使用不可靠的元器件,因为它们会带来许多隐患,导致系统不稳定。同样在软件系统中应尽可能避免过多使用转向语句等结构,因为这些语句结构的使用可能使程序运行和程序调试变得十分复杂,难以控制,因而使程序容易发生错误。第三阶段的评估是在系统运行阶段进行的。这个阶段的评估主要是通过大量试验性的运行来得到应有的实验结果,以确定该系统的可信性是否在原有的设计范围内,是否达到了应有的标准。如对同一个程序,应使用不同的数据输入,并需要运行上百次乃至几千次,直到得到一个明确的统计值为止。**阶段的评估和第二阶段的部分评估工作称为预测性评估,而第三阶段和第二阶段剩余部分的评估工作则称为运行性评估。不管哪一种评估都存在一定的难度,因为它们都无法提供一个确定的数值,通常只是一个概率统计值。因此,在一般情况下对可信性的数量评估只是一个概率值,很多情况必须视具体的系统而定。从质量测度来评价一个数字系统的可信性,主要是根据在系统中检测到的致命性故障和错误的情况对系统可信性引起的后果的严重情况来测定。事实上,这种测度只是对系统可信性可能受到损害的严重程度做出的评估,而并不是对故障或错误造成的严重后果的直接测量。这种的评估可以有两种不同的方法:顺推法和逆推法。顺推法是从已经检测到的致命性故障和错误推导出系统可能出现的失效及其后果的严重性,典型方法是故障树法。逆推法则是从可能出现的失效及其严重后果推算出可能引起系统失效的致命性的故障和错误,常用的逆推法是失效模式分析法。本章将分别对数字系统可信性的几个重要属性分别作系统的定量分析及讨论,主要将讨论数字系统可靠性测度的分析和评估,因为可靠性测度是衡量和保证系统能够提供可信服务*重要的因素。对其他属性,如可测性、可用性、安全性、保密性等测度的分析将仅作简单的介绍,以飨读者。
-
硅谷之火-人与计算机的未来
¥15.5¥39.8 -
人工智能的底层逻辑
¥55.3¥79.0 -
造神:人工智能神话的起源和破除 (精装)
¥32.7¥88.0 -
软件定义网络(SDN)技术与应用
¥25.7¥39.8 -
数学之美
¥41.0¥69.0 -
谁说菜鸟不会数据分析(入门篇)(第4版)
¥43.8¥69.0 -
自己动手写PYTHON虚拟机
¥35.0¥79.0 -
Photoshop平面设计实用教程
¥14.5¥39.8 -
计算机网络技术
¥13.9¥33.0 -
Excel函数.公式与图表
¥16.4¥48.0 -
.NET安全攻防指南(下册)
¥89.0¥129.0 -
.NET安全攻防指南(上册)
¥89.0¥129.0 -
大模型实战:微调、优化与私有化部署
¥65.3¥99.0 -
多模态数据融合与挖掘技术
¥34.7¥45.0 -
仓颉编程快速上手
¥62.9¥89.8 -
剪映AI
¥62.6¥88.0 -
FINAL CUT短视频剪辑零基础一本通
¥28.9¥39.8 -
数据挖掘技术与应用
¥46.0¥75.0 -
人工智能安全
¥66.4¥109.0 -
AI赋能写作:AI大模型高效写作一本通
¥36.8¥49.0