编码chapter3探究.ppt

第三章 线性分组码 陆以勤 2005年3月 一、线性分组码的一般性定义 二、线性分组码的严格数学定义 二、线性分组码的严格数学定义2 二、线性分组码的严格数学定义3 二、线性分组码的严格数学定义4 三、G与H的关系 三、G与H的关系2 三、G与H的关系3 三、G与H的关系4 三、G与H的关系5 四、线性分组码的最小距离、检错和纠错能力 四、线性分组码的最小距离、检错和纠错能力2 五、线性分组码的译码 五、线性分组码的译码2 五、线性分组码的译码3 五、线性分组码的译码4 五、线性分组码的译码5 五、线性分组码的译码6 五、线性分组码的译码6 五、线性分组码的译码7 五、线性分组码的译码8 五、线性分组码的译码9 五、线性分组码的译码10 五、线性分组码的译码11 六、由一个已知码构造新码的简单方法 六、由一个已知码构造新码的简单方法2 七、线性码的不可检测错误概率Pu(e) 七、线性码的不可检测错误概率Pu(e)（2） 七、线性码的不可检测错误概率Pu(e) （3） 八、线性码的码距限 八、线性码的码距限2 4. GF(2)上Pu(e)的上限 当n,k很大时，计算[A0,A1,…Ai,…An]和 [B0,B1,…Bi,…Bn] 比较困难，一般可取Pu(e)平均值的上限 定理9：二进制[n,k]线性分组码集合中， Pu(e)的平均值满足 Pu(e)随着监督位的上升而下降 * 定义：通过预定的线性运算将k维q元（q为素数幂）信息数组变换成n维（nk)码数组（称码字），由qk个码字所成的集合，称为[n,k]线性分组码，简称分组码。 码字用 （cn-1, cn-2, … , cn-k, cn-k-1, … , c1, c0)表示。 码率（传信率，信道利用率）R=k/n表示信息位所占的比重。 最简单的情况：在后面添加n-k个监督元，叫系统码（定义3.2.2)。 cn-k-1= h1,n-1cn-1+h1,n-2cn-2+…+h1,n-kcn-1 cn-k-2= h2,n-1cn-1+h2,n-2cn-2+…+h2,n-kcn-1 .......... c0= hn-k,n-1cn-1+hn-k,n-2cn-2+…+hn-k,n-kcn-1 h1,n-1 h1,n-2 … h1,n-k 10 … 0 cn-1 h2,n-1 h2,n-2 … h2,n-k 01… 0 cn-2 =0 .......... hn-k,n-1hn-k,n-2 … hn-k,n-k00…1 c0 HcT=0T 1.定义 GF(q)中的元素（q为素数幂）组成的(n-k)?n矩阵，其秩为n-k。满足方程HcT=0T的矢量c=(cn-1, cn-2, …ci,… ,c0) （ ci?GF(q) )的集合称为[n,k]线性分组码。H称为监督（检验)矩阵。 HcT=0T称为（一致）监督矩阵。 为什么秩为n-k？ 一致：同一规则 对H进行初等变换，化为 h1,n-1 h1,n-2 … h1,n-k 10 … 0 h2,n-1 h2,n-2 … h2,n-k 01… 0 .......... hn-k,n-1hn-k,n-2 … hn-k,n-k00…1 =[Q In-k]的形式，称为 H的标准形式。H称为典型监督矩阵。 2. 定理1 (码的封闭性） 设CH为由监督矩阵H定义的分组码，则?c1,c2?CH : c1+c2?CH 证明： 由c1?CH，得Hc1T=0T; 由c2?CH，得Hc2T=0T; 所以 H(c1+c2)T=H(c1T+c2T) =Hc1T+Hc2T=0T c1+c2满足HcT=0T，所以c1+c2 ?CH 3. 定理2 [n,k]线性分组码对矢量相加构成阿贝尔群。 封闭性（定理1），结合律，有恒等元和逆元。 3. 定理3 [n,k]线性分组码是GF(q)上的n维线性空间Vn中的一个k维子空间。 证：设CH是由监督矩阵H定义的[n,k]线性码。 1.先证CH为子空间。 (1)CH是阿贝尔群(定理2); (2)?a?GF(q),?c?CH: a c ?CH; (3) 分配律: ?c1, c2 ?CH, ?a,b?GF(q): a (c1+c2)=ac1+ac2且(a+b)c1=ac1+bc1; (4) 结合律成立: ?a1, a2 ?GF(q), ?c?CH: (a1a2)c=a1 (a2c). 2.再证维数为k 设?c?CH, 则HcT=0T. c与H的每一行矢量正交, 故c在由H的行矢量张成的n-k维线性子空间Vn,n-k的零空间中(第2章定理17, 定理2.6.9), CH中每个码字和H张成的子空间的矢量正交, 所以CH为H