论与编码-第六章2.pptVIP

信息论与编码-线性分组码 汉明码是一类码的总称。汉明码的纠错能力t=1。对于二进制汉明码，码长n和信息位k满足 其中，m=n-k是正整数。汉明码是完备码。 汉明码校验矩阵H具有特殊的性质。一个（n，k）码的校验矩阵有n-k行和n列，二进制时n-k个校验码元能够组成的列矢量总数为（全零矢量除外） ，对于二进制汉明码，恰好等于校验矩阵的列数 。 * 信息论与编码-线性分组码 例题：构造一个m=3的二元汉明码。 所谓构造一个码，就是求出其生成矩阵G。 m=3时，n=7，n-k=4,即（7，4）汉明码，所以汉明码的校验矩阵H为 即各列均不相等，一个错误时，伴随式与列对应，从而可知错误的位置。 * 信息论与编码-线性分组码 经列置换化成系统形式为 所以生成矩阵G为 * 信息论与编码-线性分组码 二进制汉明码的概念也可以扩展到多进制，即GF（q）域上的汉明码。在q进制中，一个码元上的差错位置就可以有（q-1）种，n个码元上的差错位置有n（q-1）种。而（n-k）个校验位可以表达 个不同的意思，由汉明码定义，它应该恰好等于所有的单个差错图案加上1（无差错），即 =n(q-1)+1。令n-k=m，则q进制汉明码的n，k应服从 * 信息论与编码-线性分组码 高莱（Golay）码是二进制（23，12）线性码，其最小距离 纠错能力t=3。由于满足 因此它也是完备码。 * 信息论与编码-线性分组码 需要指出的是，完备码是标准阵列最规则因而译码最简单的码，但并不一定是纠错能力最强的码。要想使其纠错能力最强，还要保证达到极大最小码距码MDC 的要求。 * 码重分布及意义 汉明码 （7，4）汉明码 信息论与编码-线性分组码 * 本课小结： 线性分组码的基本概念 生成矩阵和校验矩阵 译码与伴随式 标准阵列译码表 习题：6-3，6-6 信息论与编码-线性分组码 * 信息论与编码-线性分组码 因此 H叫做码字空间C的校验矩阵，可以利用 是否等于零矢量，来判断一个 是不是码字。 例题：对一个（7，4）码，其生成矩阵为 * 信息论与编码-线性分组码 （1）对于信息组(1 0 1 1 )，对应码字是什么？ （2）设计一个（7，4）分组编码器原理图。 （3）若接收到一个7位码r=（1 0 0 1 1 0 1），判断它是否是码字。 解：（1）由生成矩阵可知，得到的一定是系统码。由 得 * 信息论与编码-线性分组码 将信息位的值代入，得： ，因此，编得的码字为 。注意加法是模2加。 （2）由编码后冗余位与信息位的关系，可得编码器的原理图如图所示： 输入 输出 * 信息论与编码-线性分组码 （3）要检验一个码序列R是否是码字，可以使用校验矩阵H，如果 ，则一定是码字，否则一定不是码字。 因此， 就产生三个方程，只有第一个为零，另两个不为零，所以R不是码字。 系统码的前k位为信息位，后n-k位为校验位。 * 信息论与编码-线性分组码 校验矩阵H除了可以用来检验码字外，还与码的最小距离（也就和码的检错纠错能力）有关。 因为 其中， 是H矩阵的列向量。 * 信息论与编码-线性分组码 因此， 也就是说，n个矢量 一定是线性相关的。 如果分组码的最小距离为 ，则根据线性码的特点，码集里面一定有一个码字其重量最小为 ，即有 个非零元素。将其代入校验矩阵的方程，左边就有 个 项，而右边为零。也就是说， 个 是线性相关的。 而 * 信息论与编码-线性分组码 个 一定是线性无关的（反证法：如果 个 列矢量是线性相关的，则可以把其对应的系数当成码字，而该码字的重量为 ，这与码字的最小重量为 相矛盾）。 由于H是 的矩阵，其秩最大为n-k，也就是说，最多有n-k个列矢量线性无关。所以 * 信息论与编码-线性分组码 在编码的时候，我们希望 越大越好。 二进制（n，k）线性码的最小码距的上界是n-k+1。称这样的码为极大最小距离码（MDC:Maximized minimum Distance Code）。 * 信息论与编码-线性分组码 本节讨论如何用伴随式译码 伴随式 设发送的码字为 通过有扰信道