华电信息论探析.ppt

【例】（7，3）线性分组码，k 3，2k 8（消息） 则： 如： 3．生成矩阵的性质 （1）如果G是一个生成矩阵，那么与G行等价的任一矩阵也是生成矩阵。 初等行变换：任意两行交换； 将任一行加到另一行； 将任一行同乘一个数。 【例】（6，3）线性分组码 对G作初等行变换： （2）每个线性分组码都有唯一的梯形生成矩阵 （3）一个矢量空间的基底不止一个，G不唯一. （4）等价的各个G编出的码相同，但各消息对应的码字不同。 （5）生成矩阵G中的每一个行矢量，不仅仅是张成k维线性空间的 基底矢量，本身也是一个码字。 （6）各个G编出的码相同，因此码集合的最小汉明距离dmin 不变， 因此码的检纠错能力不变，因此可以寻找最容易实现的编码 方案。 4．系统码：信息位以不变的形式在码组中出现的码称为系统码（出现的位置一般在前面或后面）。 如：前例（7，3）线性分组码 一般性结论： （1）每一个线性分组码都有一个与之等价的系统码存在； （2）（n，k）线性分组码系统码的生成矩阵是一个k×k的单位阵[ Ik ]和一个k× n-k 矩阵[Pk×n-k]组合而成的。 （3）与非系统码相比，系统码编码过程及所需设备可以简化。 三．线性分组码的校验矩阵 1．校验矩阵 【例】（6，3）线性分组码 在码字中c0、c1、c2是信息位，c3、c4、c5是冗余位（校验位） 由校验位方程得： 用矩阵表示 即 （H为n－k行n列的矩阵） 【例】（1）（n，1）重复码，k＝1 （2）（n，n-1）奇偶校验码 结论：一般的（n，k）线性分组码C总可以从该码的编码规则中选出（n-k）个独立校验位方程，如将它们写成齐次线性方程的形式，则它们可以用矩阵表示为： 简记为： （H n－k ×n为线性分组码的校验矩阵）。 说明：（1）矩阵H的n-k个行矢量是线性独立的，它们的不同组合张成了 Vn（F2）上的一个n-k维的子空间。 （2） H的行空间与G的行空间是相互正交的（对偶的）。 2．对偶码 生成矩阵G的k行矢量组成Vn F2 的k维子空间（码字空间C）； 校验矩阵H的n-k个行矢量组成Vn F2 的n-k维的子空间 C的对偶子空间C⊥ 。 对偶码定义：C⊥是Vn（F2）的一个子空间，它的维数为n-k，因此可以把C⊥看作是一个二元（n，n-k）线性分组码，并把它称为C的对偶码。 结论：设C是（n，k）线性分组码，其生成矩阵为G，那么码C的对偶码C⊥的生成矩阵H就是码C的校验矩阵。 3．线性分组码的译码问题 由于生成矩阵和校验矩阵的行空间是对偶的，因此我们可以利用这种对偶特性来判断接收到的任一矢量是否为码矢量，这在原则上提供了一种解决线性分组码的译码问题的途径。 的充要条件是： 即： 4．生成矩阵G与校验矩阵H的梯形矩阵的关系 （1）每个线性分组码的生成矩阵存在唯一的k×n的梯形矩阵； （2）每个线性分组码的校验矩阵存在唯一的 n-k ×n的梯形矩阵； （3）如G有[ Ik P ]的形式，则H有[ PT In-k ]的形式（条件：在F2中）。 【例】 §7.5 线性分组码的检、纠错能力 一．码字重量 1．定义 设 ，令 为码字 中不为零码元的个数，即 称 为码字 的汉明重量，简称重量。 2．最小重量：码C中非零码字重量的最小值 3．任一码字的重量都可以看作是该码字与0码字之间的汉明距离 4．定理：任一线性分组码的最小距离等于它的最小重量。 证明： 由于C是线性码，故 ，即线性分组码中任意两个码矢量间的距离等于另一个码矢的重量，即 故 二．线性分组码的检、纠错能力与H矩阵的关系 定理：设C是线性分组码，H是它的校验矩阵，那么码C的最小重量就等于H中线性相关的最小列数。因此，如果H中的2t个和小于2t个列的任一子集都线性无关，而H中有2t+1个列线性相关，那么码C就是纠正t个错误的纠错码，或能检出2t个错误的检错码。 【例】（7，4）线性分组码 线性相关的最小列数为3 故：wmin C 3 推论：如果H的任意小于等于t个列的线性组合都不相同，那么wmin C ≥ 2t+1，即C是能纠正重数小于等于t的纠错码。 §7.6 群及其性质 一．群的概念 定义：设G是非空集合，在G中规定一种运算“ * ”， ，即运算*在G中是封闭的。 同时要求： （2） ，对一切的 ，使 a * e a，e为恒元； （1） ，有 结合律； （3） ，有a * a-1 e，存在逆元a -1。 ， 若以上条件均满足，称G对于“*”运算是一个群。 交换群（阿贝尔群）：a * b b * a 满足交换律 加法群：运算“*”为加法运算。e：零元素 乘法群：运算“*”为乘法运算。e：单位元