容错计算机译文集PDF电子书下载

目录 1

容错技术概况 1

容错计算概论 1

数字系统故障诊断概况 7

苏联在容错数字机设计方面的进展 19

容 错 样 机 27

STAR计算机——容错计算机设计的理论和实践的研究 27

MECRA——一种可自动重新配置的计算机 43

布尔差分法诊断技术 55

产生组合逻辑电路完全测试集的一种有效算法 55

用布尔差分进行组合电路的故障诊断 67

异步时序机中故障检测的布尔差分原理 77

论组合电路最小测试集的设计 85

单边逻辑电路的最小测试集的推导 91

图论法诊断技术 101

使用封锁门方法的计算机诊断 101

组合逻辑中故障定位的一种测试形成方法 111

组合网络故障诊断中的结构因子 125

D算法诊断技术 141

为检测和区分逻辑电路中的故障而推算测试的几种程序算法 141

逻辑电路中的故障检测算法 169

产生时序电路故障检测测试的随机和算法技术 179

其它诊断技术 189

布尔函数的系统测试 189

大型组合网络的诊断 195

组合网络中多重故障检测的因果分析 205

组合数字电路的故障测试和诊断 215

证明程序的正确性 227

容错编码技术 235

算术误差编码 235

用“n中取k”编码实现故障保险的时序机 249

可靠性模型与分析 259

组合逻辑网络中的故障等效性 259

容错计算机可靠性模型的建造 271

超可靠容错数字系统的可靠性模型与分析 281

并行系统的分析 291

评价冗余线路的一种方法 299

组合网络中故障的可定位性 307

容错计算机设计 317

动态相互作用恢复的逻辑设计 317

一种简单的自测试译码器检验电路 327

多故障可诊断网络的设计 331

容许三个故障的计算机系统 337

航天器的容错信息处理概念 345

通用机容错特征举例 359

IBM360/165计算机的可靠性、利用率和维修性特征 359

附录Ⅰ 数学符号用法 371

附录ⅡAPL语言符号 373

附录Ⅲ英汉名词对照 376