磁盘的容错问题是大规模存储系统设计中不能回避的一个重要的问题。容错编码理论为提高存储系统数据的可靠性提供了有效的手段。针对存储系统的一些特点,一类性能良好的二进制阵列码兼顾了系统的容错能力、编码计算复杂度和更新复杂度,被公认是存储系统容错较好的解决方案。然而此类编码并不如通信编码理论那样具有坚实的理论基础和丰富的成果。目前,存储系统中使用比较广泛的是一些双容错的阵列码。这些编码存在着一些限制,例如：都需要将码长限制为素数才能达到其最优性能；向多容错的扩展也都比较困难。论文的重要工作体现在以下三个方面：首先,本文在对目前常用的双容错的阵列码进行总结的基础上,使用组合数学工具,给出了一种系统的阵列码定义及表示方法；进而分析了码的标准化表示及阵列码的一些基本特性,为进一步的深入研究打下坚实的理论基础。其次,为了根据特定的优化目标,构造出实用的编码,文本对下列两种编码结构进行了讨论：1、校验可分阵列码。为了说明这种结构的本质规律,论文研究了置换向量代数的相关特性,并利用此工具指出了校验可分阵列码的容错性能与校验支撑置换的圈分解的关系。根据这一结论,论文利用已知的组合构造方法一哈密尔顿拉丁方构造了LS (Latin Square)阵列编码。本文证明了双容错LS码是对已有的几种双容错水平编码的统一及扩展。进而,论文使用置换向量代数构造了多容错的LS码,为校验可分阵列建立了理论的框架。此外,论文还对固定编码周期下码长限制的问题进行了研究,利用LS码的层叠构造给出了一种解决方案。2、循环阵列码。借鉴线性编码理论的思想,论文研究了循环阵列码的基本理论,并给出了一种循环阵列码的基本构造。在此基础上,研究了最长最低密度阵列码的构造,给出了此种编码码长的上界。利用组合结构’’NRB" (Near Resolvable Balanced Incomplete Block Designs),本文给出了一种3容错最长最低密度阵列码的构造,并给出了编码清晰的代数描述,为进一步的深入研究打下基础。最后,文章从存储系统的整体可靠性角度,以FULL-2码为例,利用阵列修复模型研究了非MDS (Maximum Distance Separable)码的实际容错能力,为系统编码方案的选择提供了数据依据。本文的工作尝试使阵列编码这一领域的一些现有零散结论系统化,并为它们建立统一的理论基础。