- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
容易得到相 应的系统码 : 为 1 0 0 0 1 G s 0 1 0 1 1 0 0 1 1 1 于是:一致校验矩阵 H 0 1 1 1 0 Hs 1 1 1 0 1
12
(5,3)线性分组码码例
1 0 1 1 0 G 0 1 0 1 1 1 1 0 1 0
1
它不但能发现差错,而且能将差错自动纠正过 来,避免频繁重发所消耗的时间,从而大大提
高了通讯的可靠性。本节和下一节介绍两种纠
错码:线性分组码和循环码。
线性分组码是分组码的一个子类,由于线性码
的编码和译码容易实现,至今仍是应用最广泛
的一类码。
2
6.2线性分组码
6.2.1 线性分组码的描述
定义1:一(n,k)线性分组码C是n维n长向量构成的 线性空间中的一个k维线性子空间。 因此我们研究线性分组码就是研究n维向量空 间中的k维子空间。 定义2:一个(n,k)线性分组码C是如下集合
c c c c c
c0
因为线性分组 码( , k)事实上是一个 维线性子空间 , n k 利用线性代数 的知识 , 线性分组码作 为线性空 间存在 一个对偶空间 。 ( n , k) 码 中 的 向 量 和 对 偶 空 中 任 意 向 量 正 交 。 间
而 这 个 对 偶 空 间 作 为维 线 性 空 间 的 k维 子 空 间 n n 也 是 一 个 线 性 分 组 码 , 为 原 ( , k) 线 性 分 组 码 称 n 的对偶码。
m 0 , m1 , m 2 , m 0 m1 m 2
6
•线性分组码的性质: 利用分组码的第一个定义自然可以得到线性分组 码的三个性质:
(1) 零 向 量 (, 0) 是 一 个 码 字 , 称 为 零 字 。 0 0, 码 (2) 任 意 两 个 码 字 的 和 仍 码 字 是 (3) 码 字 的 总 个 数 为 k 个 , 任 意 码 字 是 线 性 分 组 2 c 码的生成矩阵 的行向量的线性组合。 G
0 0 1 1 1 1 G 0 1 1 0 0 1 1 0 1 0 1 1
( 3)设信息位为 ( m1 , m 2 , m 3 ) m
C mG 0 0 1 1 1 1 ( m 1 , m 2 , m 3 )0 1 1 0 0 1 1 0 1 0 1 1
c mG
这里的G就是由k维线性子空间的任意一组基向量 组成的线性子空间的生成矩阵。因此线性分组码 的生成矩阵不是唯一的。
•特别的如果对于二进制的编码c,m都是二元向量, G中的元也只有0,1。因此 c mG 的计算是模二 加或模二乘运算
4
•模二加法
+ 0 1
0 1
0 1
1 0
•模二乘法
0 1
系统码由于生成矩阵的 特殊性可以给我们研究 分组码带来方便。一个 简单的应用 我们直接得到一个系统 码的一致校验矩阵 : 设G [I k Q k (n -k) ], 则H [(Q k ( n k ) )T , I n k ]
11
•例:一个(5,3)线性分组码的生成矩阵为:
1 0 G 1 0 1 1 1 0 0 1 1 1 0 1 0
0 0 0
1 0 1
5
例: ,3)偶校验码是一个( 3)线性分组码, (4 4, 它的生成矩阵为
1 0 0 1 G 0 1 0 1 0 0 1 1 1 0 0 1 c0 , c1 , c 2 , c 3 m0 , m1 , m 2 0 1 0 1 0 0 1 1
C {c | c mG },
其中m 为任意的 维向量, k G是k行n列秩为k ( k n)的矩阵
G称为码C的生成矩阵。
3
因此线性分组码C可以看作对消息m利用
进行编码得到码字c g 00 g 0,n1 G g k 1,0 g k 1,n1
10001
10110 01100 11101 00111
01100
10001 10110 11010 11101
10011
110 111
13
定 理 线 性 分 组 码 的 最 小 码 距 d min d , 当 且 仅 当 为 其 一 致 校 验 矩 阵 中 任 意d 1列 线 性 无 关 , H 某d列 线 性 相 关 。
定理:任何满足下式的n维向量均是一个(n,k) 线性分组码的码字。
H 0
T
T
其中的H是分组码的一致校验矩阵
10
定义:如果线性分组码的生成 阵G具有如下形式: 矩
G [ I k Q k ( n k ) ], 则此码为系统码
•在线性空间理论中线性空间的生成矩阵G都可以 在不改变线性空间的条件下利用矩阵的初等行变 换把它化成上述形式。因此:在不改变码字集合 的条件下任何一个线性分组码都可以对应一个系 统码。
14
充分性: 若任意d - 1列线性无关,某 列hi 1 , hi 2 hid 线性相关, d 则必存在全不为零的i 1 , a id .有:a i 1 hi 1 a id hid 0 a 因此码字 (0, 0, a i 1 ,0, 0, a id ,0, 0)的汉明重量恰好 c 为d. 显然不可能有小于的码字了。 证毕 d
(2)构造这码的生成矩阵 (3)构造这码的一致校验矩阵 (4)求系统码的生成矩阵及一致校验矩阵
解:(1)因为码字数 M 8 2 k 2 3 , 所以 k 3, n 6
为(6,)线性分组码 3
16
( 2)生成矩阵 G为k 3行, n 6列的矩阵,由 k 3个 线性独立的码字组成。 故
(必要性) 证明:
h 记H为n个列向 量的矩阵 1 , h2 , hn , 若H中某d 1列
线性相 关, a i 1 hi 1 a i 2 hi 2 a id 1 hid 1 T
于是可以构造一个码字c:
c (0, 0, a i 1 , 0, a i 2 ,0 0, a id 1 ,0, 0) 显然码字 的汉明重量 (c ) d 1. c 这与d是最小汉明重量矛盾
1 1 1 1 0 0 所以,H 1 0 0 1 1 0 0 0 1 0 0 1
18
(4)系统码的生成矩阵及一致校验矩阵
0 0 1 1 1 1 G 0 1 1 0 0 1 1 0 1 0 1 1
经初等行变换,得系统码的生成矩阵
1 0 0 1 0 0 G s 0 1 0 1 1 0 0 0 1 1 H hr 1,0 hr 1,n1
9
由G kn 和H ( n k )n的意义有: T 0 k ( n k ) GH 注意G、H的行列的关系
注:虽然满足上式的 矩阵形式不唯一,但一 H 个码 的对偶码是唯一的。
1 1 1 1 0 0 H s 0 1 1 0 1 0 0 0 1 0 0 1
19
8
设对偶码的生成矩阵为 ,c是线性分组码( k )的 H n, 任意向量。则: T 0 cH
反之,任意满足 T 0的向量c一定是线性分组码 cH ( n, k )中的码字。 因此我们可以 利用 T 0来判断接收向 量在传输 cH r
过程中是否发 生错误。 这个方程叫做 线性分组 码的 校验方程。矩阵 叫做线性分组 码的一致 H 校验矩阵
15
例、下面是某(n,k)线性二元码的全部码字:
C 1 000000 C 2 001111 C 3 011001 C 4 011110 , , , C 5 101011 C 6 101100 C 7 110010 C 8 110101 , , ,
(1)求n,k为何值?
利用性质(1)可以得到线性分组码的第四条性质: (4) 线性分组码的最小距离等于最小非零码字的汉明 重量
7
证明:要证明: min min (c ) d
对二元向量 和c有:d(c, c) (c c) c
所以: d (c , c ) min (c c ) min (c ) min
消息m 000 001 010
G生成码字 Gs生成码 对偶码 字 码字 00000 11010 01011 00000 00111 01011 00000 11101 01110
1 0 0 0 1 G s 0 1 0 1 1 0 0 1 1 1
011
0 1 1 1 0 100 Hs 1 1 1 0 1 101
检错码在发现差错后必须通过要求对方重发一遍 来获得正确的信息,在实时信息采集系统中可能 是有困难的(信息源已经发生变化)。就是在发 方保留有原信息样本的情况下,也只有在差错率 很低的条件下是比较可行的。如果通信条件比较 恶劣,差错出现频繁,以至多次重发仍然得不到 一份正确的信息。在这种情况下,只采用“检错” 手段就显得无能为力了。这时就要采用“纠错 码”,
17
所以, C 1 m 3
C 2 m2 C 3 m1 m 2 m 3 C 1 C 2 C 4 C 6 C 4 m1 C 5 m1 m 3 C 1 C 4
即:C 1 C 2 C 3 C 4 0 C1 C 4 C 5 0 C3 C6 0