目 录
第一章 基础知识
1.1概率基础
1.1.1事件
1.1.2事件的频率与概率
1.1.3排列与组合
1.1.4非独立事件与条件概率
1.2布尔代数的基本定律
1.3随机变量及其数字特征
1.3.1随机变量
1.3.2随机变量分布及密度函数
1.3.3随机变量的数学期望及方差
第二章 基本概念
2.1可靠性、可测性研究的必要性
2.1.1研究的背景
2.1.2研究的意义
2.1.3研究的内容及方法
2.2可靠性函数
2.2.1可靠度函数
2.2.2失效密度函数
2.2.3失效率函数
2.2.4平均寿命
2.3有效性函数
2.3.1维修性函数
2.3.2修复率函数
2.3.3瞬态和稳态有效度
2.3.4小结
2.4可靠性常用的分布
2.4.1二项分布
2.4.2几何分布
2.4.3泊松分布
2.4.4负指数分布及其性质
2.4.5正态分布
2.4.6伽玛分布（Γ分布）
2.4.7对数正态分布
2.4.8威布尔分布
2.4.9小结
2.5数字电路的故障
2.5.1失效与故障
2.5.2故障模型
2.5.3暂时故障
2.6测试的基本概念
2.6.1激励与响应
2.6.2测试集
2.6.3故障检测与诊断
2.6.4故障覆盖
第三章 系统的可靠性分析
3.1不可修系统
3.1.1串、并联系统
3.1.2复合系统
3.1.3表决系统
3.1.4旁待系统
3.2网络分解法
3.2.1二项式展开法
3.2.2状态枚举法
3.2.3网络分解法
3.2.4最小路集、割集法
3.3故障树分析法
3.3.1基本概念
3.3.2故障树的建立
3.3.3故障树的最小割集
3.3.4故障树的计算
3.4模糊分析法
3.4.1模糊可靠性模型
3.4.2串、并联系统模糊可靠度
3.5马尔柯夫模型法
3.5.1可修串联系统
3.5.2可修并联系统
3.5.3可修表决系统
3.5.4可修备用系统
3.6半马尔柯夫模型法
3.6.1更新过程
3.6.2补充状态法
3.7非拉普拉斯变换法
3.7.1引言
3.7.2数学模型
3.7.3实例分析
第四章 系统的可靠性设计
4.1轻装设计
4.2冗余设计
4.3优化组合设计
4.3.1双工系统的优化组合设计
4.3.2混合冗余系统的优化组合设计
4.3.3表决冗余系统的优化组合设计
4.4含约束的优化设计
4.4.1重要度方法
4.4.2动态规划法
4.4.3搜索法
4.5含人的因素的可靠性设计
4.5.1人为差错
4.5.2人的可靠性
4.5.3有人参与系统的可靠性设计
第五章 测试码的产生
5.1故障模拟法
5.1.1并行故障模拟
5.1.2演绎故障模拟
5.1.3同时故障模拟
5.1.4临界路径跟踪
5.2一维通路敏化法
5.2.1故障激活
5.2.2正向驱动
5.2.3反向跟踪
5.3布尔差分法
5.3.1布尔差分法的定义
5.3.2布尔差分的性质
5.3.3实例分析
5.4D算法
5.4.1基本定义
5.4.2算法描述
5.4.3实例分析
5.5PODEM算法
5.5.1基本原理
5.5.2算法流程
5.5.3实例分析
5.6FAN算法
5.6.1基本原理
5.6.2算法流程
5.6.3应用实例
5.710值算法
5.7.1基本思想
5.7.2算法步骤
5.7.3实例分析
5.8时序电路的测试序列生成
5.8.1时序电路的模型
5.8.2时序电路展开测试法
5.8.3时序电路功能测试法
5.9概率测试
5.9.1输入概率优化
5.9.2数据压缩方法
第六章 可测性分析
6.1引言
6.1.1基本定义
6.1.2可测性分析的应用
6.1.3可测性分析算法分类
6.2CAMELOT算法
6.2.1可控制性值的确定
6.2.2可观察性值的确定
6.2.3可测性值的确定
6.2.4应用实例
6.3TMEAS算法
6.3.1可控制性值计算的特点
6.3.2可观察性值计算的特点
6.3.3算法的局限性
6.4 TEST/80算法
6.4.1可控制性值的计算
6.4.2可观察性值的计算
6.4.3算法步骤
6.4.4算法的局限性
6.5SCOAP算法
6.5.1可控制性值的估计
6.5.2可观察性值的估计
6.5.3算法描述
6.5.4实例分析
6.6PREDICT算法
6.6.1超级门的概念
6.6.2控制率的计算
6.6.3观察率的计算
6.6.4测试率的计算
6.6.5实验结果
6.7STAFAN算法
6.7.1基本理论
6.7.2控制率的统计估计
6.7.3观察率的计算
6.7.4无偏差故障测试率的估计
6.7.5STAFAN算法的复杂性
6.7.6实验结果
6.8AVEVAL算法
6.8.1引言
6.8.2控制率误差的消除
6.8.3扇出点观察率的计算
6.8.4故障测试率的估计
6.8.5实例分析
第七章 可测性设计
7.1引言
7.1.1可测性设计的意义
7.1.2可测性设计目标
7.1.3可测性设计思想
7.1.4可测性设计历史
7.2可测性设计规则
7.2.1利于测试矢量产生的设计规则
7.2.2利于测试矢量施加的设计规则
7.3组合电路的可测性设计
7.3.1组合功能设计法
7.3.2Syndrome设计法
7.3.3修改电路设计法
7.4时序电路的可测性设计
7.4.1区分序列的判定
7.4.2可测性设计
7.5扫描设计
7.5.1扫描通路法
7.5.2扫描置位法
7.5.3随机存取扫描法
7.5.4电平敏感扫描法
7.6内测试设计
7.6.1内测试一般结构
7.6.2内测试扫描设计
7.6.3自测试设计
7.7PLA的可测性设计
7.7.1引言
7.7.2故障模型
7.7.3PLA可测性设计
7.8自测试序列的压缩
7.8.1引言
7.8.2难测故障分布
7.8.3测试长度的估计
7.8.4压缩算法
第八章 系统的可维性设计
8.1单元瞬态有效度分配
8.1.1Markov模型的神经网络
8.1.2神经网络实现
8.1.3模拟结果
8.2稳态有效度分配
8.2.1串联系统
8.2.2并联系统
8.2.3表决系统
习题
参考文献
· · · · · · (收起)