理学分组码现代编码技术曾凡鑫学习教案.pptx
《理学分组码现代编码技术曾凡鑫学习教案.pptx》由会员分享,可在线阅读,更多相关《理学分组码现代编码技术曾凡鑫学习教案.pptx(159页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、会计学1理学理学(lxu)分组码现代编码技术曾凡鑫分组码现代编码技术曾凡鑫第一页,共159页。表表3.1消息消息(xio xi)的编码、译码关系的编码、译码关系第1页/共159页第二页,共159页。定义定义,x=(x1,x2,xn),y=(y1,y2,yn),称,称dist(x,y)=|i|xiyi,i=1,2,n|为码字为码字x与与y的汉明距离。的汉明距离。码字间的汉明距离满足下列码字间的汉明距离满足下列三角不等式:三角不等式:dist(x,y)dist(x,z)+dist(z,y)在一个码在一个码中,任意两个不同码字间汉明距中,任意两个不同码字间汉明距离的最小者称为离的最小者称为(chn
2、wi)这个这个码的最小汉明距离。码的最小汉明距离。第2页/共159页第三页,共159页。定义设有码定义设有码C,称,称 为码为码C的最小汉的最小汉明距离。明距离。在一个码中,码字中非零码在一个码中,码字中非零码元的数目也是一个重要的参数,元的数目也是一个重要的参数,这个这个(zh ge)参数通常称为码字参数通常称为码字的汉明重量。的汉明重量。第3页/共159页第四页,共159页。定义定义(dngy)设有码设有码C,称,称wt(x)=|i|xi0,i=1,2,n|为码字为码字x的汉明的汉明重量。重量。定义定义(dngy)设有码设有码C,0=(0,0),称称wt(C)=minwt(x)|xC,x0
3、 为码为码C的最小汉明重的最小汉明重量。量。第4页/共159页第五页,共159页。例例设有码设有码C2=(a1,a2,a3,a4,a5,a6,a7,a8),式中,式中a1=(0000000)a2=(0011101)a3=(0100111)a4=(0111010)a5=(1001110)a6=(1010011)a7=(1101001)a8=(1110100)求求dist(a2,a4),dist(a3,a7),wt(a8),dist(C2),wt(C2)。解解dist(a2,a4)=4,dist(a3,a7)=4,wt(a8)=4,dist(C2)=4,wt(C2)=4第5页/共159页第六页,共
4、159页。定义设有码定义设有码C,如果,如果,有,有x+yC,则称码,则称码C是线是线性码。性码。所有的这样所有的这样2k个码字构成的个码字构成的集合称为集合称为(chn wi)分组码。须分组码。须注意一点,注意一点,nk个校验元可以放个校验元可以放在码字中的任何位置,如果码字在码字中的任何位置,如果码字前前k位固定为信息码,则这种分位固定为信息码,则这种分组码称为组码称为(chn wi)系统分组码,系统分组码,如图如图 3.1 所示。所示。n n图 3.1系统(xtng)(n,k)分组码码字结构第6页/共159页第七页,共159页。定义将定义将k位信息码通过位信息码通过(tnggu)一定的规
5、则添加一定的规则添加nk个校验元而形成长为个校验元而形成长为n的码字,的码字,如果所有这样的码字组成一个线如果所有这样的码字组成一个线性码,则称为性码,则称为(n,k)线性分组码。线性分组码。定义称定义称(n,k)线性分组码线性分组码的的 为码率。为码率。第7页/共159页第八页,共159页。例构造奇偶校验码。对例构造奇偶校验码。对X=0,1的的k维扩展信源维扩展信源Xk添加一位添加一位校验位形成一个长为校验位形成一个长为k+1的码字,的码字,即即且满足关系:且满足关系:x1+x2+xk+xk+1=0(偶校验偶校验)即信息码即信息码(x1x2xk)中如有偶数个中如有偶数个1,则,则xk+1=0
6、,如有奇数,如有奇数(j sh)个个1,则则xk+1=1。或或x1+x2+xk+xk+1=1(奇校验奇校验)即信息码即信息码(x1x2xk)中如有偶数个中如有偶数个1,则,则xk+1=1,否则,否则xk+1=0。第8页/共159页第九页,共159页。解仅讨论偶校验,所得结解仅讨论偶校验,所得结论适合于奇校验。设发送码字论适合于奇校验。设发送码字(x1x2xkxk+1),接收矢量为,接收矢量为(y1y2ykyk+1),如果无错,则,如果无错,则接收矢量应满足式;如果产生奇接收矢量应满足式;如果产生奇数个错误,则数个错误,则y1+y2+yk+yk+1=1,因为一个因为一个(y)码码元元x发生错误意
7、味着这个码元变发生错误意味着这个码元变为为x+1,为讨论方便,不防设,为讨论方便,不防设y1,y2,y2r+1发生错误,于是发生错误,于是y1+y2+yk+yk+1=(1+x1)+(1+x2)+(1+x2r+1)+x2r+2+xk+xk+1=(2r+1)+(x1+x2+xk+xk+1)=2r+1=1(mod2)说明不满足式,从而发现错误,说明不满足式,从而发现错误,但无法判别哪些码元、多少码元但无法判别哪些码元、多少码元出错,所以无纠错能力。出错,所以无纠错能力。第9页/共159页第十页,共159页。如果是偶数个错误,则有如果是偶数个错误,则有 y1+y2+yk+yk+1=2r+(x1+x2+
8、xk+xk+1)=2r=0(mod2)说明满足式,因而无法检出错误。说明满足式,因而无法检出错误。综合起来,奇偶校验码能检综合起来,奇偶校验码能检奇数奇数(j sh)个错误,不能检偶个错误,不能检偶数个错误,无纠错能力,码率为数个错误,无纠错能力,码率为。第10页/共159页第十一页,共159页。定理在一个线性分组码中,定理在一个线性分组码中,码的最小汉明距离等于码的最小汉明距离等于(dngy)码的最小汉明重量。码的最小汉明重量。证明设证明设C是线性分组码,是线性分组码,则则0C,再设,再设xC,满足,满足wt(x)=wt(C),即有,即有dist(C)dist(x,0)=wt(x)=wt(C
9、)另一方面,设另一方面,设x,yC且且dist(x,y)=dist(C),因为,因为,且,且wt(z)=dist(x,y),所以所以wt(C)wt(z)=dist(x,y)=dist(C)故故 dist(C)=wt(C)第11页/共159页第十二页,共159页。定理对一个二元定理对一个二元(n,k)线线性分组码性分组码C,有,有(1)能纠正能纠正t个错误的充要条个错误的充要条件是件是dist(C)=2t+1;(2)能检测能检测s个错误的充要条个错误的充要条件是件是 dist(C)=s+1;(3)能纠正能纠正t个错误,并能发个错误,并能发现现s(st)个错误的充要条件是个错误的充要条件是dist
10、(C)=t+s+1。证明只证结论证明只证结论(1),其余,其余(qy)省略。设发送码字为省略。设发送码字为x,接收矢量为接收矢量为y,z是是C中不等于中不等于x的的任意码字。任意码字。必要性。假设必要性。假设x传送后发传送后发生了生了r(t)个错误,则有个错误,则有dist(x,y)=rt由汉明距离的三角不等式,由汉明距离的三角不等式,有有dist(z,y)dist(x,z)dist(x,y)dist(C)dist(x,y)=2t+1rt+1 第12页/共159页第十三页,共159页。式说明接收矢量式说明接收矢量y最像码最像码C中中的的x,按选大原则,接收端能正,按选大原则,接收端能正确译出码
11、确译出码x,即纠正了矢量,即纠正了矢量y中的中的r个错误。个错误。充分性。使用反证法。假充分性。使用反证法。假设设dist(C)2t+1,那么必定存在,那么必定存在两个两个(lin)不同的码字不同的码字x=(x1,x2,xn)和和z=(z1,z2,zn)满足满足dist(x,z)2t+1。由码。由码字间距离的定义,字间距离的定义,x与与z间至多有间至多有2t个码元对应不同,分两种情况个码元对应不同,分两种情况来讨论。来讨论。情况情况1:设:设x与与z间有间有2r(2t+1)个码元对应不同。不妨个码元对应不同。不妨设设,j=1,2,2r。取矢。取矢量量y=(y1,y2,yn),式中:,式中:第1
12、3页/共159页第十四页,共159页。于是于是(ysh),由,由rt得到得到 dist(x,y)=rt 且且 dist(z,y)=rt 第14页/共159页第十五页,共159页。情况情况2:设:设x与与z间有间有2r+1(deg(h(x),那么,那么用校验多项式来进行编码的电路用校验多项式来进行编码的电路会简单一些。会简单一些。第80页/共159页第八十一页,共159页。根据根据(gnj)式和式,有式和式,有式中,式中,(cn1,cn2,cnk)=(mk1,mk2,m0)。第81页/共159页第八十二页,共159页。简化简化(jinhu)后得到后得到第82页/共159页第八十三页,共159页。
13、式写成方程组形式,校验式写成方程组形式,校验(xio yn)元与信息元的关系为元与信息元的关系为第83页/共159页第八十四页,共159页。从式看出,校验元从式看出,校验元cnk1取决于信息取决于信息(xnx)码码(mk1,mk2,m1,m0)与校验多与校验多项式的系数项式的系数(h0,h1,hk1)的内积,的内积,cnk2取决于取决于(mk2,mk3,m1,m0,cnk1)与与(h0,h1,hk1)的内的内积,以此类推,积,以此类推,c0取决于取决于(ck,ck1,c1)与与(h0,h1,hk1)的内积,这说明可以从校的内积,这说明可以从校验元验元cnk1开始,以开始,以cnk1,cnk2,
14、c1,c0的顺序的顺序来递推校验元。完成这一递推过来递推校验元。完成这一递推过程的一般电路见图程的一般电路见图3.7。第84页/共159页第八十五页,共159页。n n图 3.7根据校验(xio yn)多项式h(x)构成的循环码编码电路第85页/共159页第八十六页,共159页。例用校验多项式例用校验多项式h(x)=x4+x3+x2+1来产生系统来产生系统(xtng)(7,4)循环码的码字循环码的码字(1001011)。解解(1)本例产生码字的电本例产生码字的电路如图路如图3.8所示。所示。n n图 3.8基于(jy)校验多项式的(7,4)循环码编码电路第86页/共159页第八十七页,共159
15、页。(2)工作原理如下工作原理如下(rxi):门门1和门和门2开,移位寄存器开,移位寄存器清零。清零。门门1关,门关,门2开,输入信息开,输入信息码码(1001),输出端获得码字前,输出端获得码字前4位码元位码元(m3m2m1m0)。各移位寄存。各移位寄存器内容见表器内容见表3.7。第87页/共159页第八十八页,共159页。表表3.7图图3.8编码编码(bin m)电路的编码电路的编码(bin m)过程过程第88页/共159页第八十九页,共159页。信息码输入完毕后,门信息码输入完毕后,门1开,门开,门2关,在时钟脉冲未到来关,在时钟脉冲未到来前,移位前,移位(y wi)寄存器寄存器D和和D
16、4的输入端信号为的输入端信号为h0m3+h1m2+h2m1+h3m0=11+00+10+11=0即校验元即校验元c2=0,当时钟脉冲到来,当时钟脉冲到来时,时,c2进入进入D4和和D,同时输出校,同时输出校验元验元c2=0;在时钟脉冲未到来前,;在时钟脉冲未到来前,移位移位(y wi)寄存器寄存器D和和D4的输的输入端信号为入端信号为h0m2+h1m1+h2m0+h3c2=10+00+11+10=1即即c1=1,当时钟脉冲到来时,输,当时钟脉冲到来时,输出出c1=1,并且进入,并且进入D4。类推可得。类推可得c0=1。门门1和门和门2开,移位开,移位(y wi)寄存器清零,准备下一组码寄存器清
17、零,准备下一组码字的编码。字的编码。第89页/共159页第九十页,共159页。循环码的译码方法循环码的译码方法(fngf)设设(n,k)循环码发送的码字、循环码发送的码字、接收矢量和错误图样及所对应的接收矢量和错误图样及所对应的码字多项式、接收矢量多项式和码字多项式、接收矢量多项式和错误图样多项式如下:错误图样多项式如下:设设y(x)除以除以g(x)的余式为的余式为s(x),即存在一个,即存在一个q1(x)使使y(x)=q1(x)g(x)+s(x)第90页/共159页第九十一页,共159页。由定理知,如由定理知,如s(x)=0,则,则y(x)为正确码字;如为正确码字;如s(x)0,则,则y(x
18、)产生了错误。因此,产生了错误。因此,s(x)是否是否为零是判断接收矢量为零是判断接收矢量y(x)是否有是否有错的关键,称错的关键,称s(x)为伴随式多项为伴随式多项式。式。又因为又因为y(x)=c(x)+e(x),c(x)=q2(x)g(x)所以有所以有s(x)=e(x)(mod g(x)式表示伴随式多式表示伴随式多项式在模项式在模g(x)下与错误图样多项下与错误图样多项式相同,并且可以式相同,并且可以(ky)由一个由一个除法电路来计算。除法电路来计算。第91页/共159页第九十二页,共159页。定理定理(dngl)s(x)是接收是接收矢量矢量y的多项式的多项式y(x)的伴随式,的伴随式,s
19、(1)(x)是是Ly的多项式的多项式Ly(x)的伴随的伴随式,那么式,那么 s(1)(x)=xs(x)(mod g(x)证明由式,证明由式,有有s(x)=y(x)(mod g(x)于是可得于是可得xs(x)=xy(x)(mod g(x)第92页/共159页第九十三页,共159页。又因为又因为Ly(x)=xy(x)(mod(xn1)联合式和式,在模联合式和式,在模g(x)下下Ly(x)的伴随式为的伴随式为s(1)(x)=xs(x)(mod g(x)一般一般(ybn)地,多项式循地,多项式循环移位后存在关系:环移位后存在关系:s(i)(x)=xis(x)(modg(x)(i=1,2,n1)定理表明
20、接定理表明接收矢量多项式在模收矢量多项式在模xn1下的循下的循环移位与伴随式在模环移位与伴随式在模g(x)下的循下的循环移位是一一对应的。环移位是一一对应的。第93页/共159页第九十四页,共159页。有了以上的准备,现在有了以上的准备,现在(xinzi)可以讨论循环码的译可以讨论循环码的译码电路了。循环码的译码电路主码电路了。循环码的译码电路主要由三部分组成要由三部分组成(见图见图3.9):伴随伴随式计算电路、错误图样计算电路式计算电路、错误图样计算电路以及接收矢量移位寄存器和纠错以及接收矢量移位寄存器和纠错电路。为便于理解,以纠正一个电路。为便于理解,以纠正一个错误的循环码为例来说明。当且
21、错误的循环码为例来说明。当且仅当错误是可纠正,并且出错位仅当错误是可纠正,并且出错位恰好位于错误图样的最高位时,恰好位于错误图样的最高位时,错误图样计算电路输出信号错误图样计算电路输出信号“1”,并由纠错电路纠错;相,并由纠错电路纠错;相反,如果输出的信号是反,如果输出的信号是“0”,则认为最高位是正确的。对于错则认为最高位是正确的。对于错误不在最高位的情况,通过码组误不在最高位的情况,通过码组和伴随式同时循环移位,使错误和伴随式同时循环移位,使错误移至最高位来纠错。移至最高位来纠错。第94页/共159页第九十五页,共159页。n n图 3.9循环码的译码电路(dinl)第95页/共159页第
22、九十六页,共159页。例由生成多项式例由生成多项式g(x)=x4+x3+x2+1产生产生(7,3)循循环码发送码字环码发送码字c=(0111010),接收,接收矢量为矢量为y=(0110010),完成译码。,完成译码。解解(1)译码电路见图译码电路见图3.10。移位寄存器移位寄存器D6D0储存接收矢量储存接收矢量y;移位寄存器;移位寄存器T3T0 计算伴随计算伴随式;非门和与门检测式;非门和与门检测(jin c)错错误图样。当误图样。当T3T0输出输出(1110)时,时,与门输出与门输出“1”,因为接收矢量,因为接收矢量y的多项式的多项式y(x)=x5+x4+x,所以接,所以接收矢量收矢量y对
23、应的伴随式多项式对应的伴随式多项式s(x)=y(x)(modg(x)=x3,其中伴其中伴随式是随式是(1000),只有当接收矢量,只有当接收矢量为为(1111010)时,即错误图样为时,即错误图样为(1000000),对应的伴随式,对应的伴随式多项式为多项式为x3+x2+x,其伴随式才,其伴随式才是是(1110)。既然图。既然图3.9中伴随式检中伴随式检测测(jin c)电路不是针对接收矢电路不是针对接收矢量量y=(0110010)而设计的,而设计的,第96页/共159页第九十七页,共159页。为什么本电路仍然能完成纠错呢为什么本电路仍然能完成纠错呢?其原因?其原因(yunyn)在于在于(7,
24、3)循循环码的全部错误图样与伴随式有环码的全部错误图样与伴随式有一一对应的循环移位,即使以一一对应的循环移位,即使以(1110)来设计伴随式检测电路,来设计伴随式检测电路,经过经过4次循环移位也能找到伴随次循环移位也能找到伴随式式(1000),见表,见表3.8。表。表3.8告诉我告诉我们,以任意伴随式设计伴随式检们,以任意伴随式设计伴随式检测电路,经过循环后伴随式计算测电路,经过循环后伴随式计算电路一定能找到所对应的伴随式,电路一定能找到所对应的伴随式,并由伴随式检测电路输出纠错信并由伴随式检测电路输出纠错信号,纠正错误。号,纠正错误。第97页/共159页第九十八页,共159页。n n图 3.
25、10例的译码电路(dinl)第98页/共159页第九十九页,共159页。表表3.8例的全部错误图样与伴随例的全部错误图样与伴随(bn su)式的循环移位式的循环移位第99页/共159页第一百页,共159页。(2)电路工作原理如下:电路工作原理如下:门门1和门和门2开,各移位寄存开,各移位寄存器清零。器清零。门门1关,门关,门2开。接收开。接收(jishu)矢量矢量y=(0110010)送入移送入移位寄存器位寄存器D6D0和和T3T0,每送,每送一个码元,伴随式计算电路计算一个码元,伴随式计算电路计算一次伴随式,各移位寄存器的状一次伴随式,各移位寄存器的状态见表态见表3.9。当接收。当接收(ji
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 理学 分组码 现代 编码 技术 曾凡鑫 学习 教案
限制150内