低故障率下细胞自动机的容错性

细胞自动机是容错计算中常用的模型。容错计算的本质困难体现在存在故障时仅仅记住一个比特的特例中，这正是本文所处理的情形。在细胞自动机中纠正错误概念上最简单的机制是通过对其邻居（包括细胞自身，若需打破平局）进行多数投票来确定细胞的下一个状态。我们关注在故障率足够低时，哪些规则二维镶嵌可以使用该机制容忍故障。我们既考虑了传统的瞬态故障模型（故障在时间和空间上独立发生），也考虑了最近引入的组合故障模型，后者还包括制造故障（在空间上独立发生，但影响细胞的所有时间）。我们完全分类了规则二维镶嵌，判断它们是否能容忍组合的瞬态和制造故障、仅能容忍瞬态故障而不能容忍制造故障，或者甚至无法容忍瞬态故障。