目录 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