信息论与编码纠错第7章.pptVIP

2．线性分组码的矩阵描述：设是（n，k）线性分组码中k个线性无关的非零码字，则（n，k）线性分组码2k个码字中的任一码字可表示为用矩阵表示：：长为k的序列，构成2k个不同的消息。生成矩阵【例】（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）与非系统码相比，系统码编码过程及所需设备可以简化。校验矩阵【例】（6，3）线性分组码在码字中c0、c1、c2是信息位，c3、c4、c5是冗余位（校验位）线性分组码的校验矩阵由校验位方程得：用矩阵表示即（H为n－k行n列的矩阵）【例】（1）（n，1）重复码，k＝1（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有[IkP]的形式，则H有[PTIn-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)≥2