通信系统中差错控制编码技术.pptVIP

* 第8章差错控制编码 2) 由代数理论可知，H矩阵的各行应该是线性无关的，否则将得不到 r个线性无关的监督关系式，从而也得不到 r个独立的监督位。若一矩阵能写成典型阵形式[P Ir]，则其各行一定是线性无关的。因为容易验证[Ir]的各行是线性无关的，故[P Ir]的各行也是线性无关的。 G矩阵： 上面汉明码例子中的监督位公式为 也可以改写成矩阵形式： * 第8章差错控制编码 或者写成 式中，Q为一个k ? r阶矩阵，它为P的转置，即 Q = PT 上式表示，在信息位给定后，用信息位的行矩阵乘矩阵Q就产生出监督位。 * 第8章差错控制编码 我们将Q的左边加上1个k ? k阶单位方阵，就构成1个矩阵G G称为生成矩阵，因为由它可以产生整个码组，即有 或者 因此，如果找到了码的生成矩阵G，则编码的方法就完全确定了。具有[IkQ]形式的生成矩阵称为典型生成矩阵。由典型生成矩阵得出的码组A中，信息位的位置不变，监督位附加于其后。这种形式的码称为系统码。 * G矩阵的性质： 1) G矩阵的各行是线性无关的。因为由上式可以看出，任一码组A都是G的各行的线性组合。G共有k行，若它们线性无关，则可以组合出2k种不同的码组A，它恰是有k位信息位的全部码组。若G的各行有线性相关的，则不可能由G生成2k种不同的码组了。 2) 实际上，G的各行本身就是一个码组。因此，如果已有k个线性无关的码组，则可以用其作为生成矩阵G，并由它生成其余码组。 * 第8章差错控制编码 8.3.2 错码矩阵E和校正子S 一般说来，A为一个n列的行矩阵。此矩阵的n个元素就是码组中的n个码元，所以发送的码组就是A。此码组在传输中可能由于干扰引入差错，故接收码组一般说来与A不一定相同。 若设接收码组为一n列的行矩阵B，即 则发送码组和接收码组之差为 B – A = E (模2) 它就是传输中产生的错码行矩阵 式中 * 第8章差错控制编码 因此，若ei = 0，表示该接收码元无错；若ei = 1，则表示该接收码元有错。 B – A = E 可以改写成 B = A + E 例如，若发送码组A = [1000111]，错码矩阵E = [0000100]，则接收码组B = [1000011]。 错码矩阵有时也称为错误图样。 * 第8章差错控制编码 校正子S 当接收码组有错时，E ? 0，将B当作A代入公式(A ? H T = 0)后，该式不一定成立。在错码较多，已超过这种编码的检错能力时，B变为另一许用码组，则该式仍能成立。这样的错码是不可检测的。在未超过检错能力时，上式不成立，即其右端不等于0。假设这时该式的右端为S，即 B ? H T = S 将B = A + E代入上式，可得 S = (A + E) H T = A ? H T + E ? H T 由于A ? HT = 0，所以 S = E ? H T 式中S称为校正子。它能用来指示错码的位置。 S和错码E之间有确定的线性变换关系。若S和E之间一一对应，则S将能代表错码的位置。 * 8.3.3 线性分组码的性质及汉明码 封闭性：是指一种线性码中的任意两个码组之和仍为这种码中的一个码组。 这就是说，若A1和A2是一种线性码中的两个许用码组，则(A1+A2)仍为其中的一个码组。这一性质的证明很简单。若A1和A2是两个码组，则有 A1 ? HT = 0, A2 ? HT = 0 将上两式相加，得出 A1 ? HT + A2 ? HT = (A1 + A2) HT = 0 所以(A1 + A2)也是一个码组。 由于线性码具有封闭性，所以两个码组(A1和A2)之间的距离（即对应位不同的数目）必定是另一个码组(A1 + A2)的重量（即“1”的数目）。因此，码的最小距离就是码的最小重量（除全“0”码组外）。 * 汉明码 ～能够纠正1位错码且编码效率较高的一种线性分组码 汉明码的构造原理。 在偶数监督码中，由于使用了一位监督位a0，它和信息位an-1 … a1一起构成一个代数式： 在接收端解码时，实际上就是在计算 若S = 0，就认为无错码；若S = 1，就认为有错码。现将上式称为监督关系式，S称为校正子。由于校正子S只有两种取值，故它只能代表有错和无错这两种信息，而不能指出错码的位置。 * 第8章差错控制编码 若监督位增加一位，即变成两位，则能增加一个类似的监督关系式。由于两个校正子的可能值有4中组合： 00，01，10，11，故能表示4种不同的信息。若用其中1种组合表示无错，则其余3种组合就有可能用来指示一个错码的3种不同位置。同理，r个监督关系式能指示1位错