线性分组码的基本性质
第3章线性分组码
8
第3章 线性分组码
3.2 码的一致校验矩阵与生成矩阵
码的生成矩阵( k 维线性子空间)
由于[n,k,d]线性分组码是一个k维线性空间。因此必 可找到k个线性无关的矢量,能张成该线性空间。设 C1 , C 2 , C k 是k个线性无关的矢量,则对任意 C ,可有:
C m1C1 m2 C 2 mk C k C1 C2 m1 , m2 , mk C k G称为该分组码的生成矩阵 mG
4
第3章 线性分组码
3.1 线性分组码的基本概念
线性空间的性质
零元素是唯一的 负元素是唯一的, V 关于0元素有 0 0, k 0 0, ( 1) ,
- 唯一
k ( ) k k
如果
如果 k =0,那么k=0或 =0.
9
第3章 线性分组码
3.2 码的一致校验矩阵与生成矩阵
例:一个[7, 3 ]码,m2 m1 m0 → c6 c5 c4 c3 c2 c1 c0 ,如 果码字的生成规则为:
若用矩阵形式表示这些线性方程 组, 则:
C m2 m1
1 0 0 1 1 1 0 m0 0 1 0 0 1 1 1 0 0 1 1 1 0 1
0 ;(β 称为 的负元素)
3
第3章 线性分组码
3.1 线性分组码的基本概念
数量乘法满足下列两条规则 : ⑤ 1 ⑥ k ( l ) ( kl ) 数量乘法与加法满足下列两条规则: ⑦ (k l ) k l ⑧ k ( ) k k
[ n –i, k -i]缩短码的纠错能力至少与原[n, k ]码 相同。 [n –i, k -i]缩短码是[n , k ]码缩短i位得到的, 因而码率R 比原码要小, 但纠错能力不一定比原码 强。
线性分组码
系统码的校验矩阵和生成矩阵可以转换。
13
线性分组码的性质
线性分组码中任意两个码字的模2加仍为一个码字,这个性 质称为码的封闭性。 零矢量必须是任一线性分组码中的一个码字,称为零码字。 生成矩阵中各行都是一个码字,且生成矩阵的各行是线性 无关的(任意两行相加不为零)。任意码字C是生成矩阵中 各行的某一线性组合。 校验矩阵的各行应该是线性无关的,否则将得不到r个线性 无关的监督关系式,从而得不到r个独立的监督位。
23
汉明码
汉明码实际上是(2m-1, 2m-m-1)线性分组码,其校验行有m行,共有 n=2m-1列,任一列都不为零且两两互不相等,因此能纠正任何单 个错误。 汉明码的校验矩阵一般有两种构造方式: 一是校验矩阵的标准形式,即H=[PI] 式中P为m×(n-m)维矩阵,I为m×m维单位阵。按这种校验矩阵编 出的码是系统码。 二是校验矩阵的列是按二进制数的自然顺序从左到右排列的非零 列,例如,当n=7,k=4时,H中的第一列为[0 0 1],第二列为[0 1 0],…,第七列为[1 1 1],按这种校验矩阵编出的码是非系统码。 发生单个错误时,伴随式是H中与错误位置对应的列,所以汉明码 伴随式二进制数的值就是错误位置的序号。
14
例题-由生成矩阵生成码字
由生成矩阵 所有码字为
m 000
1 0 0 1 1 1 0 G 0 1 0 0 1 1 1 0 0 1 1 1 0 1
生成的(7,3)码的
C 0000000
0 0 0 1 1 1 1
0 1 1 0 0 1 1
1 0 1 0 1 0 1
在校验方程的矩阵形式中,令
1 1 则校验方程可以写成 H 1 0
HCT=0 或CHT=0
线性分组码与循环码
线性分组码与循环码1.线性分组码的概念线性分组码是指信息位和监督位满足一组线性代数方程式的分组码。
其中分组码(n,k)满足条件式中,r=n-k为监督位数。
2.线性分组码的原理(1)监督矩阵①监督矩阵的表示形式式中,H为r×n阶监督矩阵;A为分组码构成的1×n阶矩阵。
②监督矩阵的典型式式中,P为r×k阶矩阵;I r为r×r阶单位方阵。
(2)生成矩阵式中,G为k×n阶生成矩阵;Q为k×r阶矩阵,是P的转置,即由生成矩阵可以产生整个码组式中,A0为由分组码的信息位构成的1×k阶矩阵。
3.线性分组码的检验(1)检验计算式中,S称为校正子;B为接收码组。
(2)检验规则①若为0,代表该位无错码;②若为1,代表该位有错码。
4.线性分组码的性质(1)封闭性线性分组码的任意两个码组之和仍为这种码中的一个码组。
(2)最小码距最小码距就是码组的最小重量(全“0”码组除外)。
六、循环码1.循环码的原理(1)循环码的定义循环码是指除了具有线性码的一般性质外,还具有循环性的码,即任一码组循环一位以后,仍为该码中的一个码组的编码方式。
(2)循环码的特点a.编码和解码设备简单;b.检(纠)错的能力较强。
(3)循环码的运算①循环码的代数表示将码组中各码元当作是一个多项式的系数,即把一个长度为n的码组表示成式中,x仅是码元位置的标记,该多项式称为码多项式。
②码多项式的按模运算一个长为n的循环码必为按模(x n+1)运算的一个余式,即式中,的作用是将代表的许用码组向左循环移位次得到许用码组。
③循环码的生成矩阵循环码的生成矩阵G可以写成式中,g(x)为循环码的生成多项式。
④循环码的生成多项式(n,k)循环码的生成多项式g(x)必须是一个常数项不为“0”的(n-k)次多项式且是的一个因子。
如(7,3)循环码的生成多项式g(x)为2.循环码的编解码方法(1)循环码的编码方法①用x n-k乘信息码元多项式m(x);②用g(x)除x n-k m(x),得到商Q(x)和余式r(x),即③令编出的码组为(2)循环码的解码方法①检错a.检错方法在接收端将用原生成多项式g(x)除接收码组B(x)。
线性分组码
线性分组码一、原理:监督矩阵:线性分组码()k n ,中许用码组为k 2个。
定义线性分组码的加法为模二加法,乘法为二进制乘法。
即011=+、101=+、110=+、000=+;111=⨯、001=⨯、000=⨯、010=⨯。
且码组与码组的运算在各个相应比特位上符合上述二进制加法运算规则。
线性分组码具有如下性质()k n ,的性质:1. 封闭性。
任意两个码组的和还是许用的码组。
2. 码的最小距离等于非零码的最小码重。
对于码组长度为n 、信息码元为k 位、监督码元为k n r -=位的分组码,常记作()k n ,码,如果满足n r ≥-12,则有可能构造出纠正一位或一位以上错误的线性码。
下面我们通过(7,4)分组码的例子来说明如何具体构造这种线性码。
设分组码()k n ,中,4=k ,为能纠正一位误码,要求3≥r 。
取3=r ,则7=+=r k n 。
该例子中,信息组为()3456a a a a ,码字为()0123456a a a a a a a 。
用1S ,2S ,3S 的值与错码位置的对应关系可以规定为如表1所列。
由表中规定可知,当已知信息组时,按以下规则得到三个校验元,即:⎪⎩⎪⎨⎧⊕⊕⊕=⊕⊕⊕=⊕⊕⊕=034631356224561aa a a S a a a a S a a a a S (式1.1)表1 错码位置示意表。
在发送端编码时,信息位6a ,5a ,4a 和3a 的值决定于输入信号,因此它们是随机的。
监督位2a ,1a 和0a 应根据信息位的取值按监督关系来确定,即监督位应使上三式中1S ,2S 和3S 的值为零(表示编成的码组中应无错码)。
由上式经移项运算,解出监督位:⎪⎩⎪⎨⎧⊕⊕=⊕⊕=⊕⊕=346035614562aa a a a a a a a a a a (式1.2)给出信息位后,可直接按上式算出监督位,其结果见表2。
接收端收到每个码组后先按式(1.1)计算出1S ,2S 和3S ,再按表1判断错码情况。
线性分组码
二、线性分组码的严格数学定义2
2. 定理1 (码的封闭性)
设CH为由监督矩阵H定义的分组码,则c1,c2CH : c1+c2CH 证明: 由c1CH,得Hc1T=0T;
由c2CH,得Hc2T=0T;
所以 H(c1+c2)T=H(c1T+c2T) =Hc1T+Hc2T=0T c1+c2满足HcT=0T,所以c1+c2 CH
+
+
考虑如何用串行方式?
三、G与H的关系4
0 1 2 3 4 5 6 7 8 9 10 11 12 13
D0
D1
+
D2
+
D3
+
D0
D1
+
D2
+
D3
+
m4m5m6
m6
m6
D0
D1
m6+m5 m6
D0
D1
m6
m6
+
D2
+
D3
+
m4m5
m6+m5
m6+m5
+
D2
m6+m5+m6
=m5
+
D3
+
m4
m5+m4
互为对偶码,若CH=CG, 则称为自对偶码(P62)
[Q In-k] [IkP]T= [QIn-k] [IkT PT]T= Q + PT = 0
所以 P= - QT 或 Q = -PT
由此得 G=[Ik P] = [ Ik –QT] H=[Q In-k]= [ -PT In-k]
三、G与H的关系2
6.2线性分组码
线性特性:码字c的各位码元是消息m各位的线性组 合
一个( 一个(n,k)线性分组码的码字 c可以表示为 ) 可以表示为
c=mG
其中m:长度为 的消息或 的消息或k维的消息向量 其中 :长度为k的消息或 维的消息向量 Gk*n:k行n列的生成矩阵 列的生成矩阵 行 列的 矩阵运算采用模二加和模二乘。 矩阵运算采用模二加和模二乘。
1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 G = 0 1 0 1 1 R2 + R3 → R3 →0 1 0 1 1 R1 + R3 → R1 → 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 R1 ← → R 3 →0 1 0 1 1 = G S 0 0 1 1 1
线性分组码的性质
(1)零向量一定是一个码字,记作 θ = (0,0,L ,0) )零向量一定是一个码字, (2)任意两码字的和仍是一个码字。 )任意两码字的和仍是一个码字。 都可以表示为G的行向量的线性组合 (3)任意码字 都可以表示为 的行向量的线性组合。 )任意码字c都可以表示为 的行向量的线性组合。
G的行向量是码集合中的码字(它们线性无关) 的行向量是码集合中的码字(它们线性无关) 的行向量是码集合中的码字
(4)线性分组码的最小距离等于最小非 码的码重: 码的码重: )线性分组码的最小距离等于最小非0码的码重 码重:码字中的非0符号个数。
d min = min w(c)
c ≠θ
例:c = (0101) d = w(c)
系统码。 (1)则该码称为系统码。 )则该码称为系统码
容易发现,若系统线性分组码的生成矩阵G 的左(右) 半部分是Ik*K的单位阵,则线性分组码的前(后)k位是 信息位,后n-k位是校验位。 若不是系统码,则可以通过简单行变换得到系统码生成 矩阵。
线 性 分 组 码
即: ( A1+A2 ) ·HT =0
所以 ( A1+A2 )也是一个许用码组.
由封闭性可知两个码组(A1、A2 )的码距必是另一码组 ( A1+A2 )的码重。
1 .2 汉明码
汉明码是一种能够纠正单个错误的线性分组码。它有 以下特点:
(1)最小码距dmin=3,可纠正一位错误; (2)码长n与监督元个数r之间满足关系式:
1 1 1 0 1 0 0
0
1 1 0 1 0 1 0 a6 a5 a4 a3 a2 a1 a0 T 0
1 0 1 1 0 0 1
0
上式可以记作:HAT=0T或AHT=0 。
其中: 0 0 0 0
A a6 a5 a4 a3 a2 a1 a0
1 1 1 0 1 0 0
H 1 1 0 1 0 1 0 P Ir
E B A
其中பைடு நூலகம்=[en-1,en-2,…,e1,e0],且:
ei
0
1
;当bi=ai ;当bi≠ai
式(10.6)也可写作
B AE
令S=BHT,称为伴随式或校正子。
S BHT (A E)HT EHT
因此,校正子仅与E有关,即错误图样与校正子之 间有确定的关系。如表10.4所示, 用于检错并能纠正一位 错码。
n 2r 1
通常二进制汉明码可以表示为:
n,k 2r 1 , 2r 1 r
(7,4)系统汉明码的编码器电路:
a6
a6
a5
a5
a4
a4
a3
a3
a2
a1
a0
(7,4)系统汉明码的译码器电路:
b6
a6
b5
a5
第3章 线性分组码
a2 a6 a5 a4 a1 a 6 a 5 a 3 a0 a6 a4 a3
已知信息位后,就可直接计算出监督位。由此得出16个许用码组 表4-5(7,4)汉明码的许用码组 信息码 a6a5a4a3 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 监督码 a2a1a0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 信息码 a6a5a4a3 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 监督码 a2a1a0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1
§3.2 码的一致校验矩阵与生成矩阵
一、 码的校验矩阵与生成矩阵
– [n ,k ,d]分组码的编码问题就是在n 维 线性空间Vn 中,如何找出满足一定要求的, 有2k 个矢量组成的k 维线性子空间Vn ,k 。 – 或者说, 在满足给定条件(码的最小距离d或 码率R)下, 如何从已知的k 个信息元求得r=n -k 个校验元。
• 二进制(5,3)码
– K位信息空间23
• • • • • • • • 000 001 010 011 100 101 110 111
n位编码空间25
00000 00100 01000 01100 10000 10100 11000 11100 00001 00101 01001 01101 10001 10101 11001 11101 00010 00110 01010 01110 10010 10110 11010 11110 00011 00111 01011 01111 10011 10111 11011 11111
103线性分组码
10.3 线性分组码10.3.1 线性分组码的基本概念1. 线性分组码及其描述方法()k n ,线性分组码是把信息码元序列的每k 个码元(Symbol)分成一组,通过线性变换,映射成由n 个码元组成的码组,且每一码组仅与本码组的k 个信息位有关,与其他码组的信息无关。
对于线性分组码,码组中任一码元都是信息码元的线性组合。
例10.3.1 设某(7,4)二进制线性分组码编码器的输入信息组(又称信息段)是m ()0123m m m m =,编码输出是A ()0123456a a a a a a a =,已知输入、输出码元之间的关系式是36m a =,25m a =,14m a =,03m a =,1232m m m a ++=,0231m m m a ++=,0130m m m a ++=,这里,“+”指模二加。
求编码时“码组到信息”间的映射关系以及输出码组集合。
解 将题中所给输入、输出码元之间的线性变换关系用线性方程组描述如下:⎪⎩⎪⎨⎧++=++=++=⎪⎪⎩⎪⎪⎨⎧====o o oomm m a m m m a m m m a m a m a m a m a 1323112323142536监督位信息位 (10.3.1) 还可以将式(10.3.1)改写成矩阵形式: A []⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=00010110010101010011010001110123m m m m (模2加) = m G (10.3.2) 分别令信息组()0123m m m m 为(0000),(0001),…,(1111),代入上面的矩阵算式,不难算得各信息组对应的码组,列于表10.3.1 。
2. 线性分组码性质表10.3.1 反映出线性分组码所具备的基本性质:(1) 一个()k n ,线性分组码共有k 2个许用码组;(2) 对加法满足封闭性,即线性分组码中任意两个码组之和(模二加)仍是分组码中的一个码组;(3) 全零码是线性分组码中的一个码组;(4) 线性分组码各码组之间的最小码距,等于除全零码外的码组的最小重量。
线性分组码,卷积码,交织码原理
线性分组码,卷积码,交织码原理MATLAB第六次预习报告研五队李振坤S201301104线性分组码1. 基本概念●系统码:编码后,信息码元本身不变,只在信息码元后加入监督码元。
●线性码:监督码元和信息码元成线性关系的码型。
●分组码:将信息码分组,并为每组信息码附加若干监督码的编码。
分组码一般用表示,为实际传送的码长,是信息码长,是监督码长。
●线性分组码:分组码的信息码元和监督码元,由一些线性代数方程联系起来。
分组是指编、译码过程是按分组进行的,而线性是指分组码中的监督码元按线性方程生成的。
【注】线性分组码的编码问题,就是要建立一组线性方程组,已知k个系数(即信息码),要求n-k个未知数(即监督码)。
2. 线性分组码的主要性质(1)封闭性封闭性是指码中任意两许用码组之和(逐位模2和)仍为一许用码组,这就是说,若A1和A2为码中的两个许用码组,则A1+A2仍为其中的一个许用码组。
(2)码的最小距离等于非零码的最小重量因为线性分组码具有封闭性,因而两个码组之间的距离(模2减)必是另一码组的重量。
为此,码的最小距离也就是码的最小重量,当然,除全“0”码组外。
3. 汉明码汉明码是用于纠正单个错误的线性分组码,其特点为:(1)最小码距(2)纠错能力(3)监督码长【注】(4)总码长()(5)信息码长()(6)编码效率(当r很大时,R趋向于1,效率高)因此,当r=3,4,5,6??时,分别有(7,4)、(15,11),(31,26),(63,57)等汉明码。
4. (7,4)汉明码在(7,4)汉明码中,码组为,其中为4个信息元,为3个监督码元。
监督码元与信息元之间的关系为:(9-4)生成矩阵G:编码时使用,用于产生整个码组,包括信息码和监督码。
改写为其中为阶单位矩阵;由生成矩阵为阶矩阵。
称为生成矩阵,它的各行是线性无关的。
可以产生整个码组,码组C是系统码(即信息码保持不变,监督码附加其后)。
【注】(1)上述生成矩阵为典型形式,保证能产生系统码。
第六章 线性分组码
0 0 0 0 1 1 1 1
0 0 1 1 0 0 1 1
第3章 线性分组码
它的标准阵列如下表所示。
000000 000001 000010 000100 001000 010000 100000 001001
001110 010101 100011 011011 101101 110110 111000 001111 001100 001010 000110 011110 101110 000111 010100 010111 010001 011101 000101 110101 011100 100010 100001 100111 101011 110011 000011 101010 011010 011001 011111 010011 001011 111011 010010 101100 101111 101001 100101 111101 001101 100100 110111 110100 110010 111110 100110 010110 111111 111001 111010 111100 110000 101000 011000 110001
结论2 一个线性码C的任意码字都可表示为生成矩阵的行 向量的一个线性组合 结论3 生成矩阵不唯一
第3章 线性分组码
定理1 两个k×n矩阵中若一个可以由另一个通过一系列 下述变换得到,则它们生成的GF(q) 上的[n, k]线性码等 价: (1) 对行置换。 (2) 对行乘以一个非零常量。 (3) 把一行乘以一个常量然后加到另一行上。 (4) 对列置换。 (5) 对任意列乘以一个非零常量。 证明:前三种运算(只是行变换)保留了生成矩阵的行 的线性独立性,那些变换只是改变了基。最后两种运算 (列变换)把矩阵变成能生成等价码的一个矩阵。
6.2线性分组码解析
(2)系统码的校验矩阵称为一致校验矩阵,记作
H s [Qkr , I r ]rn
T
例6.2.3:P177已知一个(5,3)线 性分组码的生成矩阵为
1 0 1 1 0 G 0 1 0 1 1 1 1 0 1 0
求它相应的系统码生成矩阵Gs和一致校验矩阵Hs。
根据C=0 ) G13 [1 1 1]
生成的码字 (000),(111):称为许用码组。 由0,1组成的长为3的其余码字有23-2个:称为禁 用码组。
例:已知二进制消息长为k,则消息为m=(m0, m1,…mk-1),生成码长为n的码字C=(c0, c1…cn-1),由m生成C满足下列约束方程:
第6章 信道编码
信道编码
6.1 信道编码简介
6.2 线性分组码
6.3 循环码
线性分组码
线性分组码(n,k):
分组特性:码长和消息长度恒定
码长为n,其中消息位为k位,且每输出n位只和当前 的k位输入有关;
线性特性:码字c的各位码元是消息m各位的线性组 合 c=mG
一个(n,k)线性分组码的码字 c可以表示为
例6.2.2:P176已知(4,3)奇偶校 验码的生成矩阵,求生成的所有码字。
解:由奇偶校验码的生成矩阵
Gk n
而C=mG,所以
1 0 0 1 0 1 0 1 0 0 1 1
由生成规则得:全部的生成码字为:000—>0000, 001—>0011,010—>0101,011—>0110, 100—>1001,101—>1010,110—>1100,111—>1111
线性分组码,卷积码,交织码原理
MATLAB第六次预习报告研五队李振坤S201301104线性分组码1. 基本概念●系统码:编码后,信息码元本身不变,只在信息码元后加入监督码元。
●线性码:监督码元和信息码元成线性关系的码型。
●分组码:将信息码分组,并为每组信息码附加若干监督码的编码。
分组码一般用表示,为实际传送的码长,是信息码长,是监督码长。
●线性分组码:分组码的信息码元和监督码元,由一些线性代数方程联系起来。
分组是指编、译码过程是按分组进行的,而线性是指分组码中的监督码元按线性方程生成的。
【注】线性分组码的编码问题,就是要建立一组线性方程组,已知k个系数(即信息码),要求n-k个未知数(即监督码)。
2. 线性分组码的主要性质(1)封闭性封闭性是指码中任意两许用码组之和(逐位模2和)仍为一许用码组,这就是说,若A1和A2为码中的两个许用码组,则A1+A2仍为其中的一个许用码组。
(2)码的最小距离等于非零码的最小重量因为线性分组码具有封闭性,因而两个码组之间的距离(模2减)必是另一码组的重量。
为此,码的最小距离也就是码的最小重量,当然,除全“0”码组外。
3. 汉明码汉明码是用于纠正单个错误的线性分组码,其特点为:(1)最小码距(2)纠错能力【注】(3)监督码长(4)总码长()(5)信息码长()(6)编码效率(当r很大时,R趋向于1,效率高)因此,当r=3,4,5,6……时,分别有(7,4)、(15,11),(31,26),(63,57)等汉明码。
4. (7,4)汉明码在(7,4)汉明码中,码组为,其中为4个信息元,为3个监督码元。
监督码元与信息元之间的关系为:(9-4)生成矩阵G:编码时使用,用于产生整个码组,包括信息码和监督码。
改写为其中称为生成矩阵,它的各行是线性无关的。
为阶单位矩阵;为阶矩阵。
由生成矩阵可以产生整个码组,码组C是系统码(即信息码保持不变,监督码附加其后)。
【注】(1)上述生成矩阵为典型形式,保证能产生系统码。
6.2 线性分组码
⎡
⎢
H
=
⎢ ⎢
h0
h1 #
⎤⎡
⎥⎢
⎥ ⎥
=
⎢ ⎢
h0,0
h1,0 #
⎢⎣h
n−
k
−1
⎥ ⎦
⎢⎣hn−k −1,0
h0,1 h1,1 #
hn−k −1,1
" h0,n−1 ⎤
#
h1,n−1
⎥ ⎥
" #⎥
"
hn−k
−1,n
−1
⎥ ⎦
一致校验矩阵
由对偶空间的定义知,有对任意的 c∈C
cHT = 0
即H可以检验一个n重是否为码字,称H为码C的 一致校验矩阵。
例题
设二元(5,3)码,其生成矩阵为
⎡1 0 0 1 1⎤ G = ⎢⎢1 1 0 0 0⎥⎥
⎢⎣1 1 1 1 1⎥⎦
将其化为标准形式?
一致校验矩阵
与任何一个(n,k)码的码空间C相对应,一定存在一个 对偶空间D,它的每个矢量都与C中的每个矢量正交, 其维数为n-k。 事实上,若找出生成空间D的基底(n-k个)用这n-k个 矢量同样可以生成包含 2n个−k码字的(n,n-k)线性分组 码,我们称其(n,k)码的对偶码,生成矩阵为
pw(c) 1− p n−w(c)
w(e)≠0
w(c)≠0
e∈C
c∈C
• 令一个(n,k)线性分组码,Ai为码组中重量为i的码字的个 数,码字集合(码组)的重量分布为A0,A1,…An。这时码 字在转移概率为pe的BSC信道上的漏检概率为:
n
∑ Pud = Ai pei (1− pe )n−i i =1
• 例如:(7,4)汉明码的重量分布为:
7.3节线性分组码
2r 1 n 或 2r k r 1
当“=”成立时,构造的线性分组码 称为汉明码 —能纠1位错码
(n, k) (2r 1, 2r 1 r)
高效线性分组码
信息元和校验(parity check)元是平等的。此外,后者不应称为监督元。
南京邮电大学 通信与信息学院
课件制作:朱 5彤
例 (7, 4)汉明码
偶校验关系是经典使用的。它的一个特 点是:全0信息码必对应全0校验码。
编码时,用ai替代bi。校验位a2 、 a1、 a0的取值应使上3式中s1、 s2和s3为0 (无错码),即
课件制作:朱 7彤
a6 a5 a4 a2 0 a6 a5 a3 a1 0 a6 a4 a3 a0 0
南京邮电大学 通信与信息学院
课件制作:朱 彤
差错控制
南京邮电大学 通信与信息学院
课件制作:朱 彤
§3
线性分组码
南京邮电大学 通信与信息学院
课件制作:朱 彤
基本概念
线性码:按照一组线性方程构成的代数码。 即每个码字的校验码元是信息码元的线性组合。
代数码:建立在代数学基础上的编码。 分组码:每一码组的校验码元仅与本组中的信息码元有关。 线性分组码:按照一组线性方程构成的分组码。
[例2解]依次取从0000到1111信息码与G相乘,实际上就是把G中一行或 几行按位相加凑成前4位是所需信息码,则整个码组就是所需编码。例如, 第2行与第4行相加得0101101。所有码组见前述汉明码码字表(p.8)
[例3解] n=4,对于奇偶校验码来说,校验位r=1。H矩阵为14阵。由于 校验和式是把所有位都模2加,因此,H=[1 1 1 1]。 H中,P=[1 1 1](前3 位),单位矩阵为[1]。因此, G为34阵,G=[I3 PT]100 1
第二十四讲 第六节 线性分组码
当且仅当线性分组码一致校验矩阵 H 中任意 d - 1 个列线性无 关而某 d 列线性相关时,线性分组码的最小码距为 dmin = d
汉明(Hamming)码
汉明码是一类能纠正一位差错 的线性分组码,其参数为:
下面方程组计算:
001
001 1101
101
101 0011
010 101 0111 110
110 1001
011
011 1010
111 111 0100
利用上式每给出一个 4 位的信息组,就可编出
一个码字,结果如表所示
模2加
6.2.1 线性分组码的描述
分组码的编码包括两个基本步骤
首先将信源的输出序列分为 k 位一组的信息组 然后信道编码器根据一定的编码规则将 k 位信息组变换成
第二十四讲 第六节 线性 分组码
2020年4月22日星期三
引例
➢设传输一比特字符x=0或1
➢ 若传输过程中出现差错,不能被发现
引例
• 0后附加字符0,1后附加1;即只有00和 11被接受,且00视为0,11视为1;
• 故: 如果有一位错误发生,可以被检出!
引例
• 如果通信过程中发现差错,可以通过要求对方重新 发送来获得正确的信息,即所谓的“数量换质量”. 但 是这在实时信息采集系统中可能是有困难的,因为 信息源已经发生变化;即使是在发方保留原信息样 本的情况下,也只有在差错率很低的条件下是比较 可行的.
010 110 101 010 011
011 001 101 011 110
虽然二者用了不同形式的生成矩阵,却都是 (6, 3) 线性分组码,因此它们的检错和纠错
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
当仅出现一位误码时,有如下关系
S0 e0 e1 e3 e4 S1 e0 e1 e2 e5 S2 e0 e2 e3 e6
若没有误码: e0 e1 e2 e3 e4 e5 e6 e7 0 应使得
S0 S1 S2 0
表示为矩阵形式
c0
c1 ... cn 1 a0 a0
a1
m0, 0 m1,0 ... ak 1 ... m k 1, 0
m0,1 m1,1 ... mk 1,1
m0,n 1 m1,n 1 ... ... ... mk 1,n 1 ... ...
d min 2t 1
wi
t dmin 1 wj wj
t
禁禁禁禁 禁禁禁禁
性质3 若要线性分组码能够检出任一码字中的 e 位误码,同 时能够纠正其中 t ( e t )位的误码, 则应满足
wi t dmin e 1 wj wj
禁禁禁禁 禁禁禁禁
t
dmin e t 1
线性分组码的生成矩阵与监督矩阵 差错控制编码一般可表示为
则接收码字 R 中一定出现了错误;
若
如果错误图样是一个许用码字,在错误不能被检测出; 如何错误图样不是一个许用图样,则可检测出该错误。
示例:构建一个可纠正一位误码、具有系统码结构的(7,4) 线性分组码。
解:该码的码字长度n=7,信息位k=4,监督位有n-k=3位
伴随式共有 2nk 23 8 刚好可对于无误码,不同位置的7种1比特误码共8种状态 设建立伴随式与误码的对应关系
主要性质 (1)生成矩阵G中的每一行都是一个许用码字;
因为
c0 a0
c1 ... cn 1 a0
方程的矩阵形式
c0 c0 c c 1 1 ... 0 ... ck 1 0 ck 1 T Pk ,n k | I n k 0n k ,1 ... ck ck 1 ck 1 ck 1 ... ... cn 1 cn 1
a1 ... ak 1 I k | Pk ,n k
可得生成矩阵
G I k | Pk ,nk
若系统码结构为
编码 a0a1...ak 2ak 1 k 1a0a1...ak 2ak 1 c0c1...ck 2ck 1ck 2cn1
c4 c0 c1 c3 c5 c0 c1 c2 c6 c0 c2 c3
由上面的(*)式可得监督方程
c0 c 1 1 1 0 1 1 0 0 c2 0 1 1 1 0 0 1 0 c 0 3 1 0 1 1 0 0 1 c 4 0 c5 c 6
生成矩阵相应地为
G P k ,nk | Ik
监督矩阵 在线性分组码的码生成方程组中的监督位为
ck m0,k a0 m1,k a1 ... mk 1,k ak 1 ck 1 m0,k 1a0 m1,k 1a1 ... mk 1,k 1ak 1 ...... ...... cn 1 m0,n 1a0 m1,n 1a1 ... mk 1,n1ak 1
线性分组码的一般记法: n, k 其中k表示码字中信息位的个数,n为码字的长度。
k 2 n , k 线性分组码 中许用码字的个数为 。
许用码字间的距离--码距
w1 bn1bn2 ...b1b0 与 w2 cn1cn2 ...c1c0 定义8.6.1 两个n元的码字: 两者间的汉明距离定义为
系统码的生成矩阵 系统码的特点
a0a1...ak 2ak 1 编码 a0a1...ak 2ak 1ck 2cn1 c0c1...ck 2ck 1ck 2cn1
系统码的编码输出结构
信息位部份 监督位部份
c0c1...ck 2ck 1 a0a1...ak 2ak 1 ck 2cn1
因为 c0 a0 , c1 a1,...,ck 1 ak 1 因此可得
m0,k c0 m1,k c1 ... mk 1,k ck 1 ck 0 m0,k 1c0 m1,k 1c1 ... mk 1,k 1ck 1 ck 1 0 ...... ...... m0,n 1c0 m1,n 1c1 ... mk 1,n 1ck 1 cn 1 0
8.6
线性分组码的基本性质
线性分组码的基本性质
线性分组码编码的一般表达形式 输入信息码组 a0a1...ak 1 输出编码码字 c0c1...ck 1 其中
c0 f1 a0 , a1 ,...,ak 1
c1 f 2 a0 , a1 ,...,ak 1 ...... cn1 f n a0 , a1 ,...,ak 1
d min min Dwi , w j ,
i j
i, j 1,2,...2k
线性分组码的基本性质 性质1 若要线性分组码能够检测出任一码字中的小于等于 e 位的误码,则应满足
dmin e 1
wi e dmin wj
禁禁禁禁 禁禁禁禁
1
性质2 若要线性分组码能够检出并纠正任一码字中的小于等 于 位的误码,则应满足
由 c0 c1 ... cn 1
a0 a0 a1 1 0 ... ak 1 ... 0 0 ... 0 m0,k 1 ... 0 m1,k ... ... ... ... 0 ... 1 mk 1,k m0,k 1 m1,k 1 ... mk 1,k 1 ... m0, n 1 ... m1,n 1 ... ... ... mk 1,n 1
1 0 G I k | Pk ,n k ... 0 0 ... 0 p11 p12 p22 ... pk 2 p1,n k ... p2,n k ... ... ... pk ,n k ...
1 ... 0 p21 ... ... ... ... 0 ... 1 pk 1
c0 f1 a0 , a1,...,ak 1 , c1 f 2 a0 , a1,...,ak 1 , ......, cn 1 f n a0 , a1,...,ak 1
特别地,对线性分组码
c0 m0,0 a0 m1,0 a1 ... mk 1,0 ak 1 c1 m0,1a0 m1,1a1 ... mk 1,1ak 1 ...... cn 1 m0,n 1a0 m1,n 1a1 ... mk 1,n 1ak 1
T T
定义伴随式为
S HE T
伴随式是一个 n k 维的向量,总共有 2nk 种不同的组合。
2nk 个不同的伴随式可对应 2nk 种不同错误图样。
伴随式只与错误图样和监督矩阵有关。 若
S HE T 01 n k S HE T 01 n k
R C E c0 c0 e0
c1 ... cn 1 e0
e1 ... en 1
c1 e1 ... cn 1 en 1
若没有出错,显然有 R C
伴随式(校正子) 因为
HR H C E HC T HE T HE T
Hale Waihona Puke m1,k m0,k m 0,k 1 m1,k 1 ... ... m0,n 1 m1,n 1
...
mk 1,k
1
0 ...
... mk 1,k 1 0 1 ... ... ... ... ... ... ... mk 1,n 1 0 0 ...
定义监督矩阵为
T H P k ,n k | I n k
相应地监督矩阵为
T H P 4,3
1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 , PT 1 1 1 0 I3 4,3 1 0 1 1 0 0 1 1 0 1 1
由监督矩阵与生成矩阵的关系式,可得生成矩阵
(3)三角不等式成立:对任意的三个码字 w1 an1an2 ...a1a0 、
w2 bn1bn2 ...b1b0 和 w3 cn1cn2 ...c1c0 ,它们间的码距关系满足
Dw1, w2 Dw2 , w3 Dw1, w3
码距与码的检错纠错能力之间的关系 码字间的最小距离:最小码距定义为
H P
T k ,nk
| I nk
p11 p 12 ... p1,n k
p21 p22 ... p2 , n k
... ... ...
pk 1 pk 2 ...
... pk ,n k
0 ... 0 0 1 ... 0 ... ... ... ... 0 0 ... 1 1
监督矩阵确定了码字没有错误的必要条件。
错误图样:描述错误及位置的一个矢量。
E e0 e1 ... en 1 , 0, 第i位没有出错 ei 1, 第i位出现错误
对于定义在二元域上的码字,知道了错误的位置等效于知道 了错误。 若将 E e0 e1 ... en1 0 0 ... 0 看作一特殊的错误图样 接收码字可一般地表示为:
a1 ... ak 1 G
生成矩阵 生成矩阵定义为
m0, 0 m1, 0 G ... m k 1, 0 m0,1 m1,1 ... mk 1,1 m0, n 1 ... m1, n 1 ... ... ... mk 1, n 1 ...
D w1 , w2 i 0 bi ci