信息论基础理论与应用第三版(傅祖芸)-第9章-讲义.PPTVIP

一致监督（校验）方程 由确定信息元得到监督元规则的一组方程。由于所有码字都按同一规则确定，又称为一致监督（校验）方程。 线性分组码 若一致监督方程是线性的，监督元和信息元之间是线性运算关系，所以由监督方程所确定的分组码是线性分组码。 信息组 对应码字 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 前例 3、 一致监督（校验）矩阵 为了运算方便，可将监督方程写成矩阵形式。 前例： 推广：一般情况，对 (n,k) 线性分组码，每个码字中的 r(r=n－k) 个监督元与信息元之间的关系可由如下r * n 阶线性方程组确定： 则： 令： 若用hi (i=n-1,n-2,…,1,0) 表示H矩阵中的列矢量，则H可写为： H矩阵的每一行元素是线性方程组中一个方程的系数，由它来唯一确定每一个校验元。因此，H中每一行必须是线性无关的，且必定有：r =n－k 行。 4、 生成矩阵 根据（n,k）线性分组码的一致监督方程出发，将信息组信息位与生成的码字之间的生成关系用矩阵来表示，就可得到生成矩阵。 例 前例中， 生成矩阵G1 其各行为码字，互不相关。 其他码字为此三个码字的线性组合方式生成。 信息组 对应码字 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 推广：对一般 (n,k) 线性分组码，设有一组k个线性独立的码字，由此一组线性独立的码字以行向量构成的矩阵，称为线性分组码的生成矩阵G（k*n阶）： 满足： G中每一行及其线性组合都是许用码字，故有： 线性分组码的所有码字都可由其生成矩阵或一致校验矩阵求得。当已知G、H中的一个，就可求另一个。 系统码： 信息元以不变形式出现在码字的任意k位上。 标准生成矩阵： 生成矩阵能把信息元保留在各码字的最左边k位上。 因此，标准系统生成矩阵G应满足如下形式： 其与H矩阵之间的转换关系： 若非标准系统码，则G与H之间元素需要由方程组确定。 (略)生成矩阵之间的关系 对于二元（n,k）分组码，在2k个码字中，k个独立码字组不止一个。对于同一码，选择不同的独立码字组构成生成矩阵G也不相同。但经过若干次初等变换，可变成等价的标准生成矩阵。 例 一个二元（7，3）码,生成矩阵为： 信息组 000 001 010 011 100 101 110 111 码字 0000000 1110100 1010011 0100111 1001110 0111010 0011101 1101001 生成的码字为： 信息组 000 001 010 011 100 101 110 111 码字 0000000 1110100 1010011 0100111 1001110 0111010 0011101 1101001 码字集合完全相同。 但生成矩阵G1、G2选取了不同的独立码字构成。 生成矩阵可以经过初等行变换得到其标准生成矩阵。 比较：生成矩阵G2产生的码（非系统码） 比较：生成矩阵G1产生的码（系统码） 2行+3行==〉2行 1行+2行==〉3行 标准生成矩阵 5、线性分组码性质与纠错能力 1）（n,k）线性分组码由生成矩阵G或校验矩阵H确定。 它们满足： 2）封闭性。（n,k）码中任意两个码字之和仍为许用码字，即： 3）含有零码字。 n位长的零矢量为（n,k）线性分组码的许用码字。 （因为满足 ） 4）所有许用码字可由其中k个独立码字（基底）线性组合而成。 在 个许用码字中，k个独立许用码字不止一组。它们可构成生成矩阵G。 5）码的最小距离等于非零码字的最小重量。即： 因为： 定理 设（n,k）线性分组码C的校验矩阵为H，则码的最小距离为d的充要条件为：H中任意d-1个列向量线性无关，且有d个列向量线性相关。（提供了构造最小