第6讲_信道编码：汉明码纠检、循环码.ppt

* * * * * * * * * * * * * * * * * * * * 信道编码 例：设（7, 4）线性码的生成矩阵G为： 当信息位为0001时，试求其后的监督位。 例：试求上例的监督矩阵H 解：根据生成矩阵和监督矩阵的关系： G = [Ik·Q]，H=[P·Ir] 可得监督矩阵H为： 对偶码 定义：对于线性分组码： 1）将( n, k ) 码的监督矩阵H作为( n, n – k )码的生成矩阵G’； 2）将( n, k ) 码的生成矩阵G作为( n, n – k )码的监督矩阵H’ 这样的( n, k ) 码与( n, n – k )码互为对偶码 编码过程 观察(7, 4)码的监督关系式： 可设计出相应的编码电路： 译码纠、检过程 错误矩阵/错误图样E：设发送码组为c，接收码组为y，则 对于二元有限域，上式中的减法等价于加法，即： 对于二元有限域的加法的具有确定两个码组中不同比特位的特性，例如： 假设长度为n的码组A和B分别为： 假设这两个码组的第k位不同，其他位相同，根据加法规则： 因此接收端可以利用这种特性进行纠错，即若能确定错误图样就可以进行纠错： 除了第k位为1，其他均为0。若有1位以上的不同，同样可以根据相加之后的1的位置确定不同的比特位，此特性还说明A与B之和的码组的码重等于A与B的码距 接收端纠错后的码组 接收端利用监督矩阵计算校正子S，即 可见校正子S只与E有关，即错误图样与校正子之间有确定的关系 而校正子S可以用接收码组y与监督矩阵HT相乘获得，则错误图样也就得到确认，即： 上式即为一个线性方程组，但它的解不唯一，即求得的错误图样不唯一。假设其中一个解为e0，即e0 HT = S，则对于码组集合中的任一许用码组c，下式一定成立： 因此这个线性方程组一共有2k个解，即2k个错误图样 因此利用等式 及2k个错误图样可以纠正出2k个码组，即： 稍作变换，每个等式进行移项： 再由两个码组之和的码重等于两个码组的码距，可得： 最佳译码应选择那些离y最近的 ，再由上式可知： 1）所有错误图样中选择码重最小图样； 2）该图样所对应的 作为纠正后的码组 例如，某( 7, 3 )线性分组码的监督矩阵为： 1）若收到的码组y = ( 1001001 )，则利用式S = yHT计算出校正子，其结果为S = ( 0111 )； 2）再利用式eHT = S计算出所有可能的错误图样，因为k = 3，则共有8个图样分别为：( 1001001 ) ( 1010100 ) ( 1101110 ) ( 1110011 ) ( 0000111 ) ( 0011010 ) ( 0100000 ) ( 0111101 ) 3）其中图样( 0100000 )的码重最小，则纠正后的码组为： e + y = ( 0100000 ) + ( 1001001 ) = ( 1101001 ) 在实际中译码： 1）一般事先确定好每种校正子S所对应的所有错误图样； 2）选择码重最小的错误图样作为可纠正的错误图样； 3）然后将校正子与最小码重的错误图样制成表格； 4）译码时，利用校正子查表，然后用等式c = e + y进行纠正 译码电路包括三个部分： 1）计算校正子； 2）查找确定纠正图样； 3）纠正接收码组中的错误 某（7，4）码的监督矩阵以及校正子错误图样表： 查表方法如下： 观察错误图样表发现校正子与错误图样一一对应 利用二元有限域的乘法规则，对于等式： S2 · S1 · S0 = 1 当且仅当S2、S1、S0全为1时成立，因此： 1）对每一校正子设计一个这样的乘式，保证其乘积为1； 2）对于右表共设计7个乘式，对应于7种可能出现的错误图样； 3）当三位校正子确定后，代入到7个乘式中计算，那个乘式为1，就表明是哪一个图样 由其监督矩阵可知，其监督位与信息位之间的偶监督关系： 进行纠错，即实现等式： 7个逻辑与门所进行的运算分别为： 线性分组码的封闭性特征的证明： 码组集合中任意两许用码组之和仍为一许用码组 证明：设A1和 A2为码中任意两许用码组，则有 A1·HT = 0 A2·HT = 0 A1·HT + A2·HT = ( A1 + A2 ) ·HT = 0 即（ A1 + A2）必是该码中一许用码组 由封闭性以及二元有限域的加法特性可知，两个码组之间的距离必是另一码组的重量，码的最小距离等于非零码的最小重量。此即证明了为线性分组码的另一特征 是线性分组码中最主要、最有用的一种码 与一般线性分组码相