《容错计算机译文集》求取 ⇩

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