编码chapter5解析.pptVIP

第五章 循环码 陆以勤 引子 引子 c(x)=m(x) g3(x) ??m(x)=2，设为m(x)=ax2+bx+c 所有的码字多项式都是 g3(x)的倍式 g3(x)的小于或等于2次的倍式是码字多项式 能否抽象成一个数学模型？ 主理想：由生成元的所有倍式组成。 如果想用g3(x)生成的主理想作为码的模型，必须把g3(x)无限个倍式映射为有限个码元。 这时，可用剩余类。 因为??c(x) =6，所以必须把 g3(x)的倍式模一个7次多项式n(x)。 如何选取n(x)，使f(x)g3(x) mod n(x)后为一个码字？ 若把多项式映射为多重， c(x)=m(x) g3(x)=（ ax2+b+c） g3(x)=ax2 g3(x)+bx g3(x)+cg3(x) 映射为7重，x g3(x)对应为把g左移1位， x2 g3(x)左移2位 c(x)相当于g与把左移1、2位所得码字的线性组合。 引子 设f(x)=fmxm+ fm-1xm-1+…+ f1x+f0, g3(x)的倍式f(x)g3(x)= fmxm g3(x)+ fm-1xm-1 g3(x)+…+ f1x g3(x) +f0 g3(x) 相当于xi g3(x) (i=0,1,…,m-1)的线性组合。 而xi g3(x)相当于把多重g左移i位。 当i2时， ?? xi g3 (x)6,多重g已移出左边缘，为了保证fg为一个码字，需要把移出边缘的部分作处理，方案有： 把移出部分截掉，即对f(x)g3 (x)取模x7运算。 这时，截掉后的多重重量会不断减少，可能不再是一个码字，所以这种处理方法不合理。 把移出部分循环回fg的尾部，即对f(x)g3 (x)取模x7-1运算。 处理后可能保证多重重量不会减少，是否是一个码字？ 定理4.2.10(p111) Fp[x]/f(x)中每个理想都是主理想，且该主理想的生成元g(x)|f(x)。 g3 (x)| x7-1，满足（7，3）码是g3 (x)生成的主理想的必要条件，是否满足充要条件？ 引子 下证（7，3）码是在Fp[x]/(x7-1)中以g3(x)为生成元的主理想。 即证g3(x)的倍式模x7-1后仍是一个码字（即是g3(x)小于3次的倍式） 设x7-1=h(x)g3(x) f(x)=p(x)h(x)+r(x), ??r(x)7- ??g3 (x)=7-4=3 f(x)g3 (x)=(p(x)h(x)+r(x))g3 (x)=p(x)(xn-1)+r(x)g3 (x) f(x)g3 (x)≡r(x)g3 (x) mod x7-1 所以f(x)g3 (x)是一个码字，亦即（7，3）是在Fp[x]/(x7-1)中以g3(x)为生成元的主理想。 一、循环码的数学概念 定义1 （循环码） ：若线性码C = [n,k]满足 ?（cn-1,cn-2,...,c1,c0）?C:(cn-2,...,c1,c0,cn-1）?C, 则称为循环码。 若用线性空间描述，则n重子空间Vn,k ? Vn,若 ?v=(cn-1,cn-2,...,c1,c0）?Vn,k:?v?=(cn-2,...,c1,c0,cn-1）?Vn,k 则称Vn,k为循环子空间，也称[n,k]循环码。 一、循环码的数学概念 一、循环码的数学概念 数学上,码字循环是码多项式乘x(左循环)或x-1(右循环)取模xn-1的余式. 定理1：设Vn是模xn-1剩余类构成的线性空间，Vn,k ?Vn, Vn,k是一个循环码的充要条件是： Vn,k是xn-1剩余类中的理想 。 分析：理想的定义: 交换环R中的非空子集I称为R中的理想，若： ? a, b ? I: a-b ? I; ? a ? I, r ? R: ar =ra ? I 证明:(1)证Vn,k是一个循环码，则Vn,k是xn-1剩余类中的理想 一、循环码的数学概念 （2）证Vn,k是xn-1剩余类中的理想，则Vn,k是一个循环码 一、循环码的数学概念 定理3：GF(q)上的[n,k]循环码的生成多项式g(x)|xn-1;反之，若g(x)|xn-1，则g(x)一定生成一个[n,k]循环码，其中k=n-??g(x) 证明：(1)证g(x)|xn-1 g(x) ?Vn,k， 设xn-1=g(x)h(x)+r(x)， ?? r(x)?? g(x) （欧几里德算法） 则 一、循环码的数学概念 (2)证g(x)|xn-1，则g(x)一定生成一个[n,k]循环码（课本证得不好） g(x)的倍式h(x)g(x)组成一个理想V,由定理1，V为循环码。 下证V的维数为k. 先证g(x),xg(x),x2g(x),…,xk-1g(