Lecture 3 线性分组码（I）.ppt

Lecture 3 线性分组码(I) 线性分组码定义 定义 [n, k]线性分组码是GF(q)上的n维线性空间中的一个k维子空间。该子空间在加法运算下构成Abelian群，所以线性分组码又称群码。若码字的最小距离为d，则记为[n, k, d]码，码率R=k / n；或记为(n, M, d)码，其中M表示可用码字个数，此时码率表示为R= (logqM) / n 线性分组码 例子 简单重复码[n, 1, n]； 简单奇偶校验码[n, n-1, 2] [7, 3, 4]码 线性分组码性质 性质 [n, k, d]码中d等于非零码字的最小重量，即 GF(2)上[n, k, d]码中，任何两个码字C1，C2之间有如下关系： w(C1 + C2)=w(C1)+w(C2)-2w(C1 · C2) 或 d(C1, C2) ≤ w(C1)+w(C2) 式中， C1 · C2是两个码字的内积 GF(2)上线性分组码任3个码字C1，C2 ，C3之间的汉明距离满足 d(C1, C3) ≤ d(C1, C2) ＋d(C2, C3) 任何[n, k, d]码，码字的重量或全部为偶数，或者奇、偶重量码字数相等 码的生成矩阵 编码问题 给定参数n、k，如何根据k个信息比特来确定对应的n-k个校验比特？ 利用校验矩阵或生成矩阵 利用生成矩阵 由于[n, k, d]线性分组码是一个k维线性空间，因此，必可找到k个线性无关的矢量，能张成该线性空间。设 是k个线性无关的矢量，则对任意的码字C，有 G称为该分组码的生成矩阵 码的生成矩阵 Remarks 生成矩阵G中的每一行都是一个码字 任意k个线性独立的码字都可以作为生成矩阵 给定一个[n, k, d]线性分组码，其生成矩阵可有多个 例子 如表1中的[7, 3, 4]码，可从8个码字中任意挑k = 3个线性无关的码字作为码的生成矩阵 码的校验矩阵 从线性方程组的角度描述线性分组码 码的校验矩阵 码的校验矩阵 例子：表1的[7, 3, 4]码(P5)的4个校验元可由如下线性方程组求得 因此，校验矩阵为 码的校验矩阵 Remarks 校验矩阵的各行之间是线性无关的，即校验矩阵的行秩为n-k 校验矩阵的n-k行为基底，可张成一个n-k维线性子空间 任意一个合法码字C均满足 HCT=0T 交换校验矩阵的各列并不影响其纠错能力 校验矩阵和生成矩阵的关系 校验矩阵H与任意一个码字之积为零，因此有 校验矩阵H中各行张成的子空间的零空间即为生成矩阵G各行张成的子空间。 最小汉明距离 定理: [n, k, d]线性分组码最小汉明距离等于d的充要条件是：H的任意d-1列线性无关 Proof . [hint: 必要性：采用反证法；充分性：将H中某些d列线性相关的列的系数作为码字中对应的非0分量] 推论: [n, k, d]线性分组码的最大可能的最小汉明距离为n-k+1 Proof: 由于校验矩阵H的n-k行是线性无关的，也就是说H的行秩为n-k，从而可推出H的列秩最大是n-k，即H最多有任意n-k列线性无关，由定理得到n-k≥d-1,有d≤n-k+1 对偶码，系统码与缩短码 对偶码 设[n, k, d]线性分组码C的生成矩阵为G，校验矩阵为H，以H作为生成矩阵，G为对应的校验矩阵，可构造另一个[n, n-k, d’]线性分组码C1，我们称C1为C的对偶码 系统码 缩短码 从[n, k, d]线性分组码的所有码字中，把前面i位全为零的码字挑选出来构成一个新的子集，该子集即为[n, k, d]的缩短码。传输时，仅传输后面的n-i位码元，记为[n-i, k-i, d]码，其纠错能力至少与原[n, k, d]码相同 缩短码 例子： 表1的[7, 3, 4]码：0000000，0011101，0100111，0111010，1001110，1010011，1101001，1110100 [6, 2, 4]缩短码为： 000000，011101，100111，111010 原码和缩短码的生成矩阵分别为 去掉G的第一列第一行，就得到缩短码的生成矩阵Gs 缩短码 原码和缩短码的校验矩阵分别为 对系统码而言，去掉G的前i列和前i行就可得到缩短码的生成矩阵Gs。去掉校验矩阵的前i列，可得到缩短码的校验矩阵Hs 汉明码 定义 码长： n=2m-1 信息位长度： k=2m-1-m 码率：