1、1,信道编码是以信息在信道上的正确传输为目标的编码,可分为两个层次上的问题: 如何正确接收载有信息的信号线路编码 如何避免少量差错信号对信息内容的影响纠错编码,第7章 抗干扰信道编码,2,从功能角度:检错码 、纠错码 对信息序列的处理方法:分组码、卷积码 码元与原始信息位的关系:线性码、非线性码 差错类型:纠随机差错码、纠突发差错码、介于中间的纠随机/突发差错码。 构码理论:代数码、几何码、算术码、组合码等,纠错码分类,3,差错控制系统分类,前向纠错(FEC):发端信息经纠错编码后传送,收端通过纠错译码自动纠正传递过程中的差错 反馈重发(ARQ):收端通过检测接收码是否符合编码规律来判断,如判
2、定码组有错,则通过反向信道通知发端重发该码 混合纠错(HEC):前向纠错和反馈重发的结合,发端发送的码兼有检错和纠错两种能力,4,第7章 抗干扰信道编码,通信的有效性问题:即如何通过对信源进行编码,压缩信源的多余度,提高传输的效率。 通信的可靠性问题:即消息通过信道传输时如何选择编码方案以减少差错。 通信的可靠性显然与信道的统计特性有关,因为杂噪干扰是造成错误的主要因素。其次,编码方法和译码方法也将影响信息传输的可靠性。,5,信道是通信系统中的重要组成部分,信道的任务是以信号方式传输信息。 信道的输入端和输出端连接着编码器和译码器,形成了一个新的信道,即编码信道。 信道的特征是由信道传递概率p
3、(y|x)来描述的。由此可以算出它的信道容量C,只要在信道中实际传送的信息率RC,在接收端就应当能够无差错地译出发端所输送的信息。,第7章 抗干扰信道编码,6,通过信道编码实现信源与信道相匹配。 信道编码的编码对象是信源编码器输出的数字序列M,又称为信息序列。通常是由二元符号0,1构成的序列,而且0和1是独立等概的。 信道编码是按一定的规则给数字序列M增加一些多余的码元,使不具有规律性的信息序列M变换为具有某种规律性的数字序列C,又称为码序列。 码序列中信息序列的诸码元与多余码元之间是相关的。,第7章 抗干扰信道编码,7,在接收端,信道译码器利用这种预知的编码规则来译码,或者说检验接收到的数字
4、序列R中是否有错,或者纠正其中的差错。 信道编码的基本思想是根据相关性来检测和纠正传输过程中产生的差错。 在有噪信道中传输消息是会发生错误的,错误概率和信道的统计特性、译码过程及译码规则有关。,第7章 抗干扰信道编码,8,信道编码 目的:提高抗干扰能力,使差错率最小。 实质:增加冗余度,扩大信号空间,增大信号间距离。 重要意义:通过信道编码的方法,可以用不可靠的信道实现可靠的传输。,第7章 抗干扰信道编码,9,第7章 抗干扰信道编码,内容提要7.1 译码规则7.2 译码规则的选择准则7.3 信道编码的编码原则 7.4 抗干扰信道编码定理7.5 分组码及其检纠能力7.7 线性分组码及其生成矩阵7
5、.8 一致检验矩阵与伴随式 7.9 标准阵列与译码表7.10 检纠能力与一致检验矩阵的关系7.11 完备码7.12 汉明码与扩展汉明码,10,7.1 译码规则,错误概率与信道统计特征有关。例如在二元对称信道中 单个符号的错误传递概率是p 单个符号的正确传递概率是1-p 错误概率与译码过程和译码规则的关系也很大。,11,7.1 译码规则,例7.1 设有一个二元对称信道,如下图所示,其输入符号为等概分布。,结论:错误概率既与信道的统计特性有关,也与译码规则有关。,在信道输出端,如果规定: 接收到符号0时,译码器把它译成0; 接收到符号1时,译码器把它译成1; 译码错误概率PE=0.9。,反之,如果
6、: 接收到符号0时,译码器把它译成1; 接收到符号1时,译码器把它译成0; 译码错误概率PE=0.1。,12,定义7.1 设信道输入符号集为X=(xi,i=1,2 ,r),输出符号集为Y=(yj,j=l,2,s),若对每一个输出符号yj都有一个确定的函数F(yj),使yj对应于唯一的一个输入符号xi,则称这样的函数为译码规则,即 F(yj)=xi i=1,2 ,r和 jl,2,s显然,对于有r个输入、s个输出的信道而言,按上述定义得到的译码规则共有rs 种。,7.1 译码规则,13,7.1 译码规则,例 7.2 设有一信道,其信道矩阵为,由于r3,s3,s个输出符号中的每一个都可以译成 r 个
7、输入符号中的任何一个,故按此倍道矩阵总共可设计出3 3=27种译码规则。,在所有的译码规则中,不是每一种译码规则部是合理的,因此我们要讨论选择译码规则的准则。,14,1、错误概率 在确定译码规则 F(yj)xi, i=1,2 ,r , j=l,2,s 之后,若信道输出端接收到的符号为yj,则一定译成xi。 如果发送端发送的就是xi,即为正确译码; 反之,若发送端发送的xk,且ki,即为错误译码。 经过译码后条件正确概率为 条件错误概率为平均错误概率pE为,平均错误概率pE的含义是经过译码后,平均接收到一个符号所产生错误概率的大小。,7.2 译码规则的选择准则,15,2、译码规则使平均错误概率p
8、E最小为选择译码规则的准则 (1) 定义7. 2.1 最大后验概率译码规则理想观测者规则选择译码函数F(yj)x*,使之满足条件,它是选择这样一种译码函数,对于每一个输出符号yj,j1、2,s 均译成具有最大后验概率的那个输入符号x*,则信道译码错误概率会最小。但一般说来,后验概率应用起来并不方便,这时我们引入极大似然译码规则。,7.2 译码规则的选择准则,16,(2) 定义7.2.2 极大似然译码规则选择译码函数F(yj)x*,使之满足条件,7.2 译码规则的选择准则,当信道输入符号为等概分布时,应用极大似然译码规则是最方便的。所用的条件概率为信道矩阵中的元素。,当信道输入符号为等概分布时,
9、可以写成,17,(3) 最大后验概率译码规则和极大似然译码规则是等价的最大后验概率译码规则可以很容易推出极大似然译码规则。由贝叶斯公式,最大后验概率公式可写为,当输入为等概分布, 则有,7.2 译码规则的选择准则,18,3、平均错误概率,7.2 译码规则的选择准则,19,3、平均错误概率,若输入为等慨分布,则,(*),式(*)意味着,在输入为等概分布的条件下,译码错误概率PE可用信道矩阵中的元素来表示。这种求和是除去信道矩阵中每列中对应于F(yj)x*的那一项后,求矩阵中其余元素之和。,7.2 译码规则的选择准则,注:改变信道的传递特性,降低平均错误概率。,20,4、费诺不等式译码时发生错误是
10、由信道中噪声引起的,因此平均错误概率pE与信道疑义度H(X|Y)有关。表述这种关系有下述引理:费诺不等式 引理7.2.1 错误概率pE与信道疑义度H(X|Y)之间的关系H(X|Y)H(pE)十pElog(r1) 这个不等式称为费诺不等式。虽然PE与译码规则有关,但不管采用什么译码规则该不等式均成立。对于给定的信源、信道及编码、译码规则,信道疑义度H(X|Y)=H(X)I(X;Y)就可以被确定,它是信源熵超过I(X;Y)的部分。这个值给定了译码错误的下限。,7.2 译码规则的选择准则,21,4、费诺不等式以H(X|Y)为纵坐标, pE为横坐标,函数H(pE)十pElog(r1)随pE变化的曲线如
11、下图所示。,7.2 译码规则的选择准则,22,4、费诺不等式费诺不等式 H(X|Y)H(pE)十pElog(r1),从费诺不等式可以看出,当作了一次译码判决后所保留的关于信源的不确定性可以分成两部分: 第一部分是接收到Y后,判决是否发生错误的不确定性H(PE, 1-PE), 第二部分是当判决是错误的,其错误概率为PE确定由r-1个输人符号中哪一个引起错误的不确定性,它是(r-1 )个符号不确定性的最大值log(r-1 )与PE的乘积。,7.2 译码规则的选择准则,23,7.3 信道编码的编码原则,选择最佳译码规则只能使错误概率pE有限地减小,无法使pE任意地小 必须优选信道编码方法来进一步减小
12、错误概率 编码方法介绍 简单重复编码,24,7.3.1 简单重复编码,设有二元对称信道如图所示。,25,7.3.1 简单重复编码,简单重复编码: 规定信源符号为“0(或“1”)时,则重复发送三个“0”(或“1”),此时构成的新信道可以看成是二元对称信道的三次扩展信道。,26,7.3.1 简单重复编码,设输入符号为等概分布,采用极大似然译码规则 (即大数逻辑译码),输入为等概条件下,相应的平均错误概率为,27,7.3.1 简单重复编码,采用简单重复编码方法,如果进一步增大重复次数n,则会继续降低平均错误概率pE ,不难算出n=5 pE = 10-5n=7 pE410-5n=9 pE10-8n=1
13、1 pE510-10,在这种情况下,采用“择多译码”的译码规则,即根据信道输出端接收序列中“0”多还是“1”多。如果是“0”多译码器就判决为“0”,如果是“1”多译码器就判决为“1”。 得到的平均错误概率与极大译码规则是一致的。,28,7.3.2 汉明距离,1、汉明距离 设X(x1 , x2 , xn),Y(y1 , y2 , yn)为两个n长的二元码字,则码字X和Y之间的汉明距离定义为2、物理含义:两个码字之间的汉明距离是它们在相同位上不同码符号的数目的总和。 3、性质 汉明距离满足距离公理(1)非负性 (2)对称性 (3)三角不等式,29,4、 码C的最小距离在二元码C中,任意两个码字的汉
14、明距离的最小值,称为码C的最小距离,即 5、举例,7.3.2 汉明距离,30,7.3.2 汉明距离,很明显,最小码间距离Dmin越大,则平均错误概率pE越小。在输入消息符号个数M相同的情况下,同样地Dmin越大, pE越小。 码组中最小距离越大,受干扰后,越不容易把一个码字错译成另一个码字,因而平均错误概率pE小。如果最小码间距离Dmin小,受干扰后很容易把一个码字译成另一个码,因而平均错误概率大。这意味着,在选择编码规则时,应使码字之间的距离越大越好。,31,6、基于汉明距离的最小近邻译码规则 消息数固定为M,码字长度固定为N,离散无记忆 信道的N次扩展信道,7.3.2 汉明距离,32,M个
15、消息先验等概条件下,采用最大似然准则若有 则选择译码函数,7.3.2 汉明距离,33,7.3.2 汉明距离,6、基于汉明距离的最小近邻译码规则,将与yj汉明距离最近的xi译作yj原码,即选择译码函数,对于等概输入,当误码率较低时(小于1/2),,基于汉明距离的最小近邻译码规则等价于,极大似然译码规则。,34,7.3.2 汉明距离,在有噪信道中,传输的平均错误概率pE和各种编、译码方法有关。 可采用使码的最小距离尽可能增大的编码方法,又采用将接收序列yj译成与之距离最短的码字x*的译码方法,则只要n足够长时,适当选择输入符号个数M,就可以使平均错误概率很小,而信息传输率又能保持一定。,35,7.
16、4 抗干扰信道编码定理,定理7.4.1 香农第二定理设有一离散无记忆平稳信道,信道容量为C,只要待传送的信息传输率 RC,则存在一种编码,当输入序列长度n足够大时,使译码错误概率任意小。物理意义: (1) 只要RC,就可以在有噪信道中以任意小的错误概率(pE)传输信息 (2) 当输入序列长度n足够大时,可以以任意接近信道容量C的信息传输率传递信息。,36,7.4 抗干扰信道编码定理,定理 7.5.2 香农第二定理的逆定理设有一离散无记忆平稳信道,其信道容量为C,对于任意 0,若选用码字总数M2n(C+),则无论n取多大也找不到一种编码,使译码错误概率pE任意小。,香农第二定理及其逆定理表明:
17、耍想使信息传输率R大于信道容量C而又无错误的传输消息是不可能的。 在任何信道中,信道容量是进行可靠传输的最大信息传输率。,当选择码字个数M2n(C+)时,信息传输率为,37,一、分组码的基本概念 差错控制思想:在2k个长度为k的0,1消息 序列中,设法按一定规则加入若干0,1符号, 把长度为k的0,1信息序列变为长度为n(nk) 的具有一定抗干扰能力的符号序列其中k+r=n.由2k个长度为n的0,1符号序 组成的集合,构成一个(n,k)分组码,代表2k 个长度为k的消息序列。,7.5 分组码及其检纠能力,38,与 (n,k)分组码 对应关系(n,k)分组码实质: 如何从2n个长为n的0,1序列
18、中选2k个长为 n的0,1序列,7.5 分组码及其检纠能力,39,奇偶校验码 特点:长度为N;信息位k=(N-1),且有表明:码字中1的个数是偶数,只能发现奇 数个错误。,7.5 分组码及其检纠能力,40,二、分组码的检错、纠错能力 (n,k)分组码是一种纠错码. (3,1)分组码(N=3次重复码)可纠正一位错, 发现两位错.,7.5 分组码及其检纠能力,41,(n,k)分组码的检纠能力与汉明距离的关系,7.5 分组码及其检纠能力,注:上述结论可换为最小汉明距离.,42,重复码很强检纠能力,码率最低奇偶校验码检纠能力极低,码率最高,7.5 分组码及其检纠能力,43,线性分组码,7.7 线性分组
19、码及其生成矩阵,消息m (n , k) 码字c,m=(mk-1,m1,m0) 分组编码器 c=(cn-1,c1,c0)qk qn,由码符号集0,1组成的(n,k)线性分组码,是k维子空间 (n,k)线性分组码可由k个线性独立的码字张成 qk个信息元组以什么算法一一对应映射到码空间。 码率编码效率:Rc =k/n,44,7.7 线性分组码及其生成矩阵,生成矩阵c m G1n 1k kn码字 消息 生成矩阵Ggk-1g1g0T,有k个(1n)行矢量,如何选择呢?,45,7.7 线性分组码及其生成矩阵,线性分组码的形成 c = mk-1 gk-1+ m1 g1+m0 g0 码空间的所有元素(即码字)
20、都可以写成k个基底的线性组合 由于k个基底即G的k个行矢量线性无关,矩阵G的秩一定等于k。 当信息元确定后,码字仅由G矩阵决定,因此我们称这kn 矩阵G为该(n,k)线性分组码的生成矩阵。,46,7.7 线性分组码及其生成矩阵,生成矩阵G(kn)的特点 想要保证 (n,k)线性分组码能够构成k维n重子空间,G 的k个行矢量gk-1, g1, g0必须是线性无关的,只有这样才符合作为基底的条件。 由于基底不是唯一的,所以G也就不是唯一的。 不同的基底有可能生成同一码集,但因编码涉及码集和映射两个因素,码集一样而映射方法不同也不能说是同样的码。,47,7.7 线性分组码及其生成矩阵,(n,k)码的
21、任何生成矩阵都可以通过行运算(以及列置换)简化成“系统形式” 。G = Ik P =Ik是kk单位矩阵,P是kr矩阵(k+r = n)。,系统形式的生成矩阵,48,系统码构造,7.7 线性分组码及其生成矩阵,其中,49,码字码字汉明重量 (n,k)线性分组码最小重量,7.7 线性分组码及其生成矩阵,结论,其中,50,7.7 线性分组码及其生成矩阵,前k位由单位矩阵Ik决定,等于把信息组m原封不动搬到码字的前k位; 其余的n-k位叫冗余位或一致校验位,是前k个信息位的线性组合。 这样生成的(n,k)码叫做系统码。 若生成矩阵G不具备系统形式,则生成的码叫做非系统码。 系统化不改变码集,只是改变了
22、映射规则。,生成的码字C,51,7.7 线性分组码及其生成矩阵,若通过行运算和列置换能将两个生成矩阵G互等,则称这两个G等效。 非系统码的G可通过运算转变为系统码的G,且不改变原码的检纠能力。 等效的两个G生成的两个(n,k)线性码也是等效的。 因此,每个(n,k)线性码都可以和一个系统的(n,k)线性码等效。,系统码,52,一致校验矩阵的构成 (n,k)码生成矩阵G=Ik,P ,则H PT In-k , 且GHT=0 H的校验作用,7.8 一致检验矩阵与伴随式,53,7.8 一致检验矩阵与伴随式,n维n重空间有相互正交的n个基底 选择k个基底构成码空间C 选择另外的(n-k)个基底构成空间H
23、 C和H是对偶的CHT0, GHT=0,空间构成,54,7.8 一致检验矩阵与伴随式,将H空间的n-k个基底排列起来可构成一个(n-k)n矩阵,称为校验矩阵H。用来校验接收到的码字是否是正确的; G是(n,k)码的生成矩阵,H是它的校验矩阵; H是(n,n-k)对偶码的生成矩阵,它的每一行是一个基底。 G则是它的校验矩阵。,校验矩阵,55,例7.8.1 (6,3)线性分组码,其生成矩阵是G= 求:(1)计算码集,列出信息组与码字的映射关系。 (2)将该码系统化处理后,计算系统码码集并列出映射关系。 (3)计算系统码的校验矩阵H。若收码r = 100110, 检验它是否码字? (4)根据系统码生
24、成矩阵画出编码器电原理图。,1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 ,56,例7.8.1 码集与映射关系,信息 码字 系统码字 000 000000 000000 001 011101 001011 010 110001 010110 011 101100 011101 100 111010 100111 101 100111 101100 110 001011 110001 111 010110 111010,57,例7.8.1 二元(6,3)线性分组码编码器,m0 m1 m2 输入 输出 c0 c1 c2,58,伴随式,m C=(cn-1,c1,c0) R=
25、(rn-1,r1,r0)(n,k) 信道定义差错图案EE(en1,e1,e0) RC (rn-1cn-1,r1c1,r0c0) 二进制码中模2加与模2减是等同的,因此有 E = R C 及 R = C E,59,伴随式S的定义,因为CHT = 0 所以RHT(CE)HTCHTEHT= EHT 如果收码无误:必有RC即E0,则EHT= 0 RHT = 0。 如果收码有误:即E 0,则RHT = EHT 0。在HT固定的前提下,RHT仅仅与差错图案E有关,而与发送码C无关。定义伴随式SS = (sn-k-1,s1,s0) = RHT = EHT,60,从物理意义上看,伴随式S并不反映发送的码字是什
26、么,而只是反映信道对码字造成怎样的干扰。 差错图案E是n重矢量,共有2n个可能的组合,而伴随式S是(n-k)重矢量,只有2n-k个可能的组合,因此不同的差错图案可能有相同的伴随式。 接收端收到R后,因为已知HT,可求出 SRHT;如果能知道对应的E,则通过C = RE而求得C。 RHT = S ? C = RE R S E C 只要E正确,译出的码也就是正确的。,伴随式S的意义,61,上述方程组中有n个未知数en1, e1,e0 ,却只有n-k个方程,可知方程组有多解。 在有理数或实数域中,少一个方程就可能导致无限多个解,而在二元域中,少一个方程导致两个解,少两个方程四个解,以此类推,少n-(
27、 n-k) = k个方程导致每个未知数有2k个解。 因此,由上述方程组解出的E可以有2k个解。到底取哪一个作为附加在收码R上的差错图案E的估值呢? 概率译码:把所有2k个解的重量(差错图案E中1的个数)作比较,选择其中最轻者作为E的估值。该方法概念上很简单但计算效率不高。,差错图案E的求解(2),62,依据:若BSC信道的差错概率是p,则长度n的码中错误概率 :0个错 1个错 2个错 n个错(1-p)n p(1-p)n-1 p2(1-p)n-2 pn 由于p 出错越少的情况,发生概率越大,E的重量越轻,所以该译码方法实际上体现了最小距离译码准则,即最大似然译码。,63,(n,k)码的一般译码方
28、法: 把n维线性空间Vn中所有2n种不同的n维矢 量,划分成2k个不交的子集D1,D2, ,D2k, 每个子集中只含(n,k)码中的一个码字wi,每 个Di含有2(n-k)个矢量.Di中任一矢量与Di中 的码字wi之间距离,是与其他子集Dj (ij) 中所含码字wj (ij)间距离最小的。每个Di 中矢量都译成Di所包含的码字wi. 注:2k个码字先验等概时平均错误译码概率最小,7.9 标准阵列与译码表,64,表中所列码字是接收到的码字R; 将没有任何差错时的收码R放在第一行,收码等于发码R=C(CCi,i =0,1,2k-1), 差错图案为全零E0=(0,00),伴随式为全零S0=(0,00
29、)。由于有2k个码字,码表有2k列。 在第2到第n+1的n行中差错图案的所有重量为1 (共n个)。 如果(1+ n)2n-k,再在下面行写出全部带有2个差错的图案(共 个)。 如果总行数(1+n + )仍然小于2n-k,再列出带有3个差错的图案,以此类推,直到放满2n-k行,每行一个Ej, 对应一个不同的伴随式Sj。这样,表的行数2n-k正好等于伴随式的数目。,标准阵列的构成,65,S0 E0 S1 E1 Sj Ej,标准阵列,E1+C1,66,陪集和子集,译码表中有2n-k行,每行是一个陪集,每陪集的第一个元素(位于第一列)叫陪集首。同一陪集(同一行)中的所有元素对应共同的一个伴随式。第一行
30、陪集的陪集首是全零伴随式S0所对应的全零差错图案E0(无差错),而第j行陪集的陪集首是伴随式Sj所对应的重量最小的差错图案Ej (C0=0, Rj=Ej)。 译码表中有2k列,每列是一个子集,每子集的第一个元素(位于第一行)叫子集头。同一子集(同一列)中的所有元素对应同一个码字,第一列子集的子集头是全零码字C0,而第i列子集的子集头是码字Ci (E0=0, Ri=Ci) 。,67,例 7.9.1 一个(5,2)系统线性码的生成矩阵是G = 设收码R = (10101),构造标准阵列译码表,译出发码的估值 解:(1)构造标准阵列译码表。分别以信息组m= (00)、(01) 、(10)、(11)及
31、已知的G求得4个许用码字为 C1 =(00000)、C2 = (10111) 、C3 = (01101)、C4 = (11010)。 求出校验矩阵:H = PT I3 = 列出方程组:,68,伴随式有2n-k238种组合,差错图案中代表无差错的有一种,代表一个差错的图案有 种,已有6种。 代表两个差错的图案有 种。只需挑选其中的两个,挑选方法可有若干种,不是唯一的。先将Ej=(00000)、(10000)、(01000)、(00100)、(00010)、(00001)代入上面的线性方程组,解得对应的Sj分别是(000)、(111)、(101)、(100)、(010)、(001)。剩下的伴随式中
32、,(011)所对应的差错图案是2k个即(00011)、(10100)、(01110)、(11001),其中(00011)和(10100)并列重量最轻,任选其中一个如(00011)。同样可得伴随式(110)所对应的最轻差错图案之一是(00110)。,例 7.9.1 标准阵列的构成,69,例 7.9.1 标准阵列,70,例 7.9.1 将接收码R10101译码,可选以下三种方法之一译码: 直接搜索码表,查得(10101)所在列的子集头是(10111),因此译码输出取为(10111)。 先求伴随式RHT = (10101) HT = (010) = S4,确定S4所在行,再沿着行对码表作一维搜索找到
33、(10101), 最后顺着所在列向上找出码字(10111)。 先求出伴随式RHT = (010) = S4并确定S4所对应的陪集首(差错图案)E4=(00010),再将陪集首与收码相加得到码字C= R+ E4= (10101)+ (00010)= (10111)。 上述三种方法由上而下,查表的时间下降而所需计算量增大,实际使用时可针对不同情况选用。,71,对上例作进一步分析,还可以看到,该(5,2)码的dmin=3, 纠错能力是t = INT(3-1)/2 = 1。因此,译码阵列中只有前6行具有唯一性、可靠性,真正体现了最大似然译码准则,而第7、8行的差错图案(00011)和(00110)中包
34、含两个“1”,已超出了t= 1的纠错能力,译码已不可靠。比如,当收码R(10100)时,根据码表译出的码字是(10111),与收码R的汉明距离是2,然而收码R与全零码字(00000)的汉明距离也是2,为什么不能译成(00000)呢?事实上,码表的第7、8行本身就不是唯一的。注意在码表计算过程中,伴随式(011)所对应的4个差错图案中有两个并列重量最轻,如果当时选的不是(00011)而是(10100),那么码表第7行就不是现在这样了。,对例 7.9.1的分析,72,译码表的构成,由陪集首ei和伴随式Si两列构成 共有2n-k行,按发生错误递增的顺序,排列陪集首,直到排满2n-k行 计算每个陪集首
35、对应的伴随式Si= eiHT 译码过程 计算S=RHT S=0,则没有发生错误,译为R S0,且S=Si,发生错误E=ei,码字译为w=R+E,73,标准阵列译码表分析,错误图样E出现的概率总的正确译码概率平均错误译码概率,74,标准阵列译码表分析,陪集首ei总(I=1,2, ,2r)重量总重量越小,最小平均错误译码概率Pemin越小; 总重量越大,最小平均错误译码概率Pemin越大(n,k)线性分组码中陪集总重量最小的线性分 组码称为(n,k)线性分组码中的最优码.,75,7.10 检纠能力与一致校验矩阵的关系,以(6,3)系统线性分组码为例H不含全零列,可将无误码字正确译码 H各列不同,可
36、自动纠正一位错误 H任意两列之和不等于零,可发现两位错误,76,7.10 检纠能力与一致校验矩阵的关系,定理:以H为一致校验矩阵的(n,k)线性分组 码W能纠正e个错误的充要条件是,H中 任意2e列线性独立.,77,任何一个二元(n,k)线性分组码都有2n-k个伴随式,假如该码的纠错能力是t,则对于任何一个重量小于等于t的差错图案,都应有一个伴随式与之对应,也就是说,伴随式的数目满足条件 上式称作汉明限,任何一个纠t码都应满足上述条件。,7.11 完备码 (Perfect code),78,7.11 完备码,某二元(n,k)线性分组码能使等式成立,即该码的伴随式数目不多不少恰好和不大于t个差错
37、的图案数目相等,相当于在标准译码阵列中能将所有重量不大于t的差错图案选作陪集首,而没有一个陪集首的重量大于t,这时的校验位得到最充分的利用。这样的二元(n,k)线性分组码称为完备码。 当上式等号改为大于号,则称此(n,k)线性分组码为准完备码,79,7.11 完备码,构造自动纠正一位错的完备码步骤: 确定参数n和k 构造一致校验矩阵H,即可得到生成矩阵G 由生成矩阵得到2k个码字W=MG=m1m2m3m4G mi 0,1注:参考书P516,80,7.11 完备码,完备码性能分析 完备码的陪集首的汉明重量是相同(n,k)结构线性分组码中最轻的,是最优码 准完备码的陪集首的汉明重量是相同(n,k)
38、结构线性分组码中最轻的,是最优码 结构相同的最优码,最多纠错位数e越小,最小平均错误译码概率 Pemin越大;反之e越大,则Pemin越小,81,7.12 汉明码(Hamming Code),汉明码不是指一个码,而是代表一类码。 汉明码的纠错能力t = 1,既有二进制的,也有非二进制的。二进制时,汉明码码长n和信息位k服从以下规律: (n,k)=(2m-1, 2m-1-m)其中m= n-k,是正整数。 当m3、4、5、6、7、8时,有汉明码(7,4)、(15,11)、(31,26)、(63,57)、(127,120)、(255,247)。 汉明码是完备码,因为它满足上述等式。,82,汉明码校验
39、矩阵的构成,汉明码的校验矩阵H具有特殊的性质,能使构造方法简化。一个(n,k)码的校验矩阵有nk行和n列,二进制时n-k个码元所能组成的列矢量总数是2n-k-1, 恰好和校验矩阵的列数n =2m-1相等。只要排列所有列,通过列置换将矩阵H转换成系统形式,就可以进一步得到相应的生成矩阵G。,83,7.12 汉明码(Hamming Code),例 7.12.1 构造一个m=3的二元(7,4)汉明码。 解:先利用汉明码的特性构造一个(7,4)汉明码的校验矩阵H,再通过列置换将它变为系统形式:0 0 0 1 1 1 1 列置换 1 1 1 0 1 0 0 H = 0 1 1 0 0 1 1 0 1 1
40、 1 0 1 0 = PT I31 0 1 0 1 0 1 1 1 0 1 0 0 1 再得生成矩阵G为1 0 0 0 1 0 1 G = I4 P = 0 1 0 0 1 1 1 0 0 1 0 1 1 00 0 0 1 0 1 1,84,7.12 汉明码(Hamming Code),扩展汉明码构造 增加一位监督位,以(7,4)汉明码为例一致校验矩阵H增加一行一列其中H为原汉明码的一致校验矩阵,85,汉明码、扩展汉明码比较,(n=2r-1;k=2r-1-r)W,扩展后(n=2r,k= 2r-1-r)W W,W均可纠正e=1位错误 W可同时发现两位错误 当W中监督位r足够大时, W,W码率相当,86,Homework,P531 7.1 P532 7.4 P534 7.12 7.16 P535 7.21,