数字通信原理第8次课课件(2015)
- 格式:doc
- 大小:407.00 KB
- 文档页数:8
10.3 线性分组码10.3.1 线性分组码的基本概念1.线性分组码的概念 (1) 分组码()k n ,线性分组码中的分组是对信息序列的处理方法而言,即编码时将信息序列每k 位分为一组,编码器对每组的k 位信息按一定的规律产生r 个监督码,输出长度为n k r =+的码组(码字)。
对于分组码,每一码组的r (即n k -)个监督码仅与本码组的k 个信息码有关,与其他码组的信息无关。
(2) 线性码线性分组码中的线性是指码组中监督码与信息码的关系,线性码码组中任一码元都是信息码元的线性组合。
2.线性分组码的性质下面通过举例来认识和了解线性分组码及其性质。
例10.3.1 (7,4)二进制线性分组码的输入信息组(又称信息段)是m ()0123m m m m =,编码输出A ()0123456a a a a a a a =,已知码组到信息间的映射关系为⎪⎩⎪⎨⎧++=++=++=⎪⎪⎩⎪⎪⎨⎧====o oo omm m a m m m a m m m a m a m a m a m a 1323112323142536监督位信息位求输出码组集合(这里,“+”指模二加)。
解:将由线性方程组描述的输入输出码元之间的线性变换关系改写成矩阵形式:A []⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=00010110010101010011010001110123m m m m (模2加) = mG码长7=n 的码组有12827=种组合,而4位的信息组只有1624=种组合,对应16个码组。
可见,该(7,4)线性分组码仅有16个许用码组。
分别令信息组()0123m m m m 为(0000),(0001),…,(1111),代入上面的矩阵算式,不难算得各信息组对应的码组,列于表10.3.1 。
表10.3.1 反映出线性分组码所具备的基本性质: (1) 一个()k n ,线性分组码共有k 2个(许用)码组;(2) 对加法满足封闭性,即线性分组码中任意两个码组之和(模2加)仍是分组码中的一个码组;(3) 全零码是线性分组码中的一个码组;(4) 线性分组码各码组之间的最小码距,等于除全零码外的码组的最小重量。
10.3.2 生成矩阵及其特性在例10.3.1的编码过程中,核心的因素是矩阵G ,它决定了变换规则,也决定了码组集合和性质。
不失一般性,令011,,m m m k -是一组(k 个)二进制信息码元,它可看成是一个k ⨯1的矩阵m []011m m m k -=,或 m ()011m m m k -=。
编码后,输出码组长度增大到n ,通常将码组写成通式A ()01,1a a a n -=。
则线性分组码的编码运算可以用矩阵形式表示为:A ()011,,,a a a n -=()()()()()()()⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎣⎡=-------000110101111011111011g g g g g g g g g m m m n n k k n k k= m G (10.3.1)3式中,G 称为该码的生成矩阵,是n k ⨯(k 行n 列)阶矩阵:G []()()()()()()⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎣⎡==-------000110101111011111011g g g g g g g g g g g g n n k k n k Tk (10.3.2) 其中,系数{}0,1ij g ∈,1,,1,0i k =-(;1,,1,0)j n =-表示第i 个信息元i m 对第j 个码元的影响。
如例10.3.1中的生成矩阵G 是47⨯阶矩阵;G 中系数为1表示信息元对码元会产生影响,系数为0表示无影响。
如G 中的第5列是()1110T,表示321m m m 对2a 产生影响,而0m 对2a 无影响。
归纳起来,生成矩阵G 具有以下特性:(1) 线性分组码的每个码组都是生成矩阵G 各行矢量的线性组合。
因为按分块矩阵运算法则将式(10.3.2)展开,可得A 001111g m g m g m k k +++=-- (10.3.3) 或()0,1,,1,0011,11 -=+++=--n j g m g m g m a j j j k k j (10.3.4)在例10.3.1中,有A ()()()()00010110010101010011010001110123m m m m +++=(2) 生成矩阵G 的各行本身就是一个码组,且它们是线性无关的。
由特性(1)和(2)得到的启示是:如果已有k 个线性无关的码组,则它们的线性组合就能产生k 2个码组所构成的集合。
(3) 如果生成矩阵G 具有[]Q I k 的形式,其中k I 为k 阶单位方阵,Q 是()k n k -⨯阶矩阵,则称G 为典型生成矩阵。
由典型生成矩阵得出的码组称为系统码。
在本章,系统码的码组中前k 个是信息位,后k n -是监督位,如图10.1.3所示。
如例10.3.1中,生成矩阵能分解成G ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0111011101110001001001001000(4) 非典型生成矩阵可以通过线性代数中的任何一种初等行变换和列交换,得到典型生成矩阵。
10.3.3 监督矩阵及其特性若将例10.3.1中的监督位线性方程组表示成⎪⎩⎪⎨⎧++=++=++=346035614562aa a a a a a a a a a a (10.3.5) 即⎪⎩⎪⎨⎧=+++=+++=+++000034613562456a a a a a a a a a a a a (10.3.6)写成矩阵形式⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0001011001110101011101000123456a a a a a a a (模2加) (10.3.7) 令⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=101100111010101110100H 则有0T HA = 或 0T AH = (10.3.8)我们将H 称为监督矩阵(又称校验矩阵)。
推广到n 维一般情况,H 是一个()n k n ⨯-阶矩阵。
监督矩阵H 的特性是:(1) 线性分组码的任意码组A 正交于监督矩阵H 的任意一个行矢量,即 0T AH = (10.3.9)(2) 监督矩阵H 的各行是线性无关的。
(3) 若H []r I P =,其中P 是n r ⨯阶矩阵,r I 为r 阶单位方阵,则称H 矩阵为典型阵。
(4)监督矩阵H 与生成矩阵G 的关系5·对任何线性分组码(系统码或非系统码),总是存在下列关系:0T HG =或 0T GH = (10.3.10) 即监督矩阵H 的行与生成矩阵G 的行正交。
·只有系统码才有关系:T P Q = 或 T Q P = (10.3.11) 这时,生成矩阵G 与监督矩阵H 可以互相转换。
10.3.4编码和译码1. 系统码编码(略)2. 译码线性分组码的译码是以码组为单位、通过检测收发码组之间的差异来发现或纠正错误的。
(1) 错误图样设编码器输出码组A ()011,,,a a a n -=,接收端的接收码组B ()011,,,b b b n -=,则由信道干扰引起的收、发码组之间的差异可表示成B = A + E (10.3.12)式中,E ()011,,,e e e n -=,当0=i e 时,表示该位接收码元无错;若1=i e ,则表示该位接收码元有错。
我们把这个错码矢量称为错误图样。
错误图样表征了收发码组之间的差异,因此,虽然事先并不知道发送码组A ,但是,如果译码器能推测出错误图样是E ,那就可以给出译码结果为A =B + E (10.3.13)(2) 校正子与译码为找出∧E ,定义校正子(又称伴随式)S 为()T k n BH s s s S ==--011,,, (10.3.14)将式(10.3.13)代入式(10.3.14)中可得()T T T EH AH H E A S +=+= (10.3.15) 利用式(10.3.9)所示码组与监督矩阵的正交性,所以T EH S = (10.3.16)上式表明,校正子S 的值只取决于错误图样E ,而与发送什么码组A 无关。
如果想要推测出错误图样是什么,可以从校正子入手,并且,当给定S 时,可能的错误图样一定是方程(10.3.16)的解。
(3) 译码过程图10.3.1 译码过程示意图译码过程可描述为:① 利用式T S BH =,计算校正子。
·如果0S =,则表明接收码组与监督矩阵正交,即0T BH =,可断定接收码组就是发送码组;·如果0S ≠,转入步骤②。
② 由校正子S 求错误图样E 。
·若S 与E 之间一一对应,则可能的错误图样一定是方程T EH S =的解。
此时,校正子的组合数目不少于可纠正错误图样的数目(参见例10.3.2);·若方程T EH S =有多解(解E 是不唯一),则可以运用概率译码的处理方法选择错误图样的估值。
③ 利用关系式∧∧+=E B A ,由错误图样估值ˆE求发送码组估值ˆA 。
上述译码过程的框图如图10.3.2所示。
(4) 概率译码 注意,方程组(10.3.16)中有n 个未知数011,,,e e e n -,却只有k n -个方程,可知它有多解(解E 是不唯一)。
式(10.3.16)的解一共有k 2个,记其为1210,,,-K E E E ,由此带来的后果是,由T BH 确定S 后,可能的译码结果也是k2个,它们是00E B A +=∧,11E B A +=∧,1212,--∧+=K K E B A 。
那么究竟取哪一个作为错误图样E 的解呢?这里,介绍一种叫做概率译码的处理方法,它是把所有k 2个解的重量(错误图样E 中1的个数)做比较,选择最轻者作为E 的估值。
这种算法的理论根据是:若二进制对称信道(BSC )的差错概率是p ,则长度为n 的码中错1位(对应于E 中有一个1或E 的重量为1)7的概率是()11--n p p ,错2位的概率是(),,122 --n p p 以此类推。
由于1<<p ,必有()()n n n p p p p p >>>>->>--- 22111 (10.3.17)所以,在E 的k 2个解中取重量最小的E 时,译码正确的概率最大。
由于E =B +A 即收、发码之间的汉明距离,E 重量最小,就是B 和A 的距离最小,所以概率译码实际上体现了最小距离译码法则。
10.3.5 汉明码汉明码是一类能纠正单个随机错误的线性分组码。
汉明码具有如下特性:(1) 二进制汉明码应满足条件:n k n +=-12 (10.3.18) 式(10.3.18)的左边为校正子的组合数目,右边是无错传输(毫无疑问仅一种情形)与可纠正错误图样数目(因汉明码纠错能力1=t ,所以n C C n tn ==1)之和。