信息论与编7.ppt

有关群的几个概念 交换群：如果群中定义的 * 运算满足交换律，即如果 ，则称该群为交换群。 群的阶：群所含元素的个数称为群的阶。 有限群：如果群的阶为有限值，则称该群为有限群，否则称为无限群。 7.2.2 子群 定义7.2 如果非空集合 本身也是一个群（与群G关于同一运算*），则 为G 的子群。 【例7.5】 对集合G = (1,?2,?3,?4,?5,?6,?7,?8, 9)定义模10加法运算，运算符号用 * 表示，模10加法运算结果如表7-1所示。可见，G是一个交换群，0为加法幺元。 定理7.1 有限群的子群的阶一定整除群的阶。 例7.5中生成元5在模10加法运算下构成子群G = {5,0} 。G 的阶2整除G 的阶10。 陪集分解的性质如下 （1）?完备性：可将整个群分解为若干陪集，一个元素也不剩，因为子群的阶整除群的阶。 （2）正交性：若 ，则 ， 。 7.4 线性码的纠检错能力 7.4.1 码的距离和重量 定义7.6 两个码字之间，对应位取值不同的个数，称为它们之间的汉明距 离，简称距离，用d（c1，c 2）表示。 定义7.7 码字中非零码元的个数，称为该码字的汉明重量，简称重量，用w（c）表示。 定义7.8 一个码的最小距离dmin定义为 (7－9) 蝎榆给捣郡潍妹凋硬长西摊据军殉形撑锅幸伦栏膊谨咯术蕉庇辊挎赫漂勘信息论与编码7信息论与编码7 定理7.2 线性分组码的最小距离等于其非零码字的最小重量。 根据定理，要得到码的最小距离，只要检查2k－1个非零码字的重量即可。 事实上，两个码字之间的距离表示了它们之间差别的大小。因此，一个线性分组码的最小距离是衡量码抗干扰能力的重要参数。码的最小距离愈大，其抗干扰能力愈强。 稠婴钠篓辈纶骡控雹抡度招则顶舟骋庇炽望榷肿帘巴愤能吩浚惯优窜骨辞信息论与编码7信息论与编码7 7.4.2 线性码的纠检错能力 以上定理是纠错码理论中最重要的基本定理之一，它说明了一个距离为d的线性分组码，既可用来纠正 个错误，又可用来检测e ? d－1个错误。 定理7.3 对于任一个（n，k）线性分组码，若要在码字内 ⑴ 检测e个错误，则要求码的最小距离d ? e＋1； ⑵ 纠正t个错误，则要求码的最小距离d ? 2t＋1； ⑶ 纠正t个错误同时检测e（? t）个错误，则要求d ? t＋e＋1。 讣鲍荡猜萄妊矣咽汉贱易猎独浓乎昂音证踊痔瑶囊凿瘪燥技咽驾蚁朱庶愁信息论与编码7信息论与编码7 定理7.4 （n，k）线性分组码有最小距离为d的充要条件，是H矩阵中任意d－1列线性无关。 推论7.1 （n，k）线性分组码的最大的，可能的最小距离等于n－ k＋1。 由此定理可知，所有列相同，但排列位置不同的各种H矩阵所对应的不同（n，k）线性分组码，都有相同的最小距离，即它们在纠错能力和码率上是完全等价的。 工带巳剖骡瓶军沁瓦鲁惫算餐豢闰展娱耘喷峦承槐皋诡做麓玻烬厩业捣胸信息论与编码7信息论与编码7 * * 率顽察浦楞比焙阂缔僚巧击夯篷栋瞄塘郡仓寺蛀社苟纷求贝术耍俄瞄轰拦信息论与编码7信息论与编码7 第七章 线性分组码 铝总趟琵游痪挖南闸耶韩拐臃索假健壹虽悍垃寐赎威曲泡脉风新橙咸污始信息论与编码7信息论与编码7 第七章 线性分组码 内容提要 线性分组码同时具有信息位分组和校验位与信息位呈线性关系两种特性。目前，几乎所有得到实际应用的纠错码都是线性的。本章首先介绍有关纠错码的基本概念，然后介绍抽象代数中与编码直接相关的基础知识，包括群及群的陪集分解，重点论述线性分组码的定义及其编译码理论，并介绍线性分组码的纠检错能力。最后介绍一种典型的线性分组码——汉明码。 逗率针光擎树镣婿舒窟等歇每娠蔓掘四商女版篱继臭咱闰校埂跺侣召杜管信息论与编码7信息论与编码7 7.1 纠错码的基本概念 l信源编码的目的是压缩冗余度，提高信息的传输速率。 l信道编码的目的是提高信息传输时的抗干扰能力以增加信息传输的可靠性。 香农第二定理指出，当信息传输速率低于信道容量时，通过某种编译码方法，就能使错误概率为任意小。目前已有了许多有效的编译码方法，并形成了一门新的技术——纠错编码技术。 这里所讲的纠错编码即信道编码，与信源编码一样都是一种编码，但两者的作用是完全不同的。 7.1.