编码原理04.ppt

纠错编码原理 通信抗干扰国家重点实验室 Tel : 通信大楼505室 第四课　线性分组码的基本编码与译码 编码的 数学基础、编码映射、生成矩阵与校验矩阵、系统码 编码的数学基础1(1/15) BSC的代数模型: 以加法方程和概率分布描述BSC 编码的数学基础1(2/15) 为使整数错值1恒定表示差错状态,在加法定义中必然应有1+1=0,即模2加法运算 整数模m加/乘运算:对a,b?Zm={0,1,…,m –1},a?b的值等于a+b除以m的余数; a ? b 的值等于a×b除以m的余数,即: 如:(3+6) mod 8 = ;(3+6) mod 7 = ; (3×6) mod 8 = ; (3×6) mod 7 = 编码的数学基础1(3/15) 编码映射与线性分组码(1/5) 编码映射:消息分组到码字分组的一对一映射 基于矩阵的线性编码:对于k行n列矩阵G 编码映射与线性分组码(4/5) 例1: 二元线性分组码的任意码字重量满足如下关系: 标记码元均为1的相同码元位置为“*”, 则c,c’与b= c×c’可表示为: 因此若c、c’中码元为1的位置计数是Nc、 Nc‘，则: 编码映射与线性分组码(5/5) 由于2wH(c×c’)恒定为偶数, 所以: 偶数重码字+偶数重码字=偶数重码字 奇数重码字+奇数重码字=偶数重码字 偶数重码字+奇数重码字=奇数重码字 (n,k,d)分组码的编码问题就是在满足给定条件(码的最小距离d或码率R)下，如何从已知的k个信息元求得r=n-k个校验元。 校验矩阵(3/8) 校验矩阵(4/8) 校验矩阵(5/8) 校验矩阵(6/8) (4)最小码距判别定理: 线性分组码的最小码距为dmin=d,当且仅当其校验矩阵中任意d-1列线性无关,某d列线性相关 必要性证明.记H为列向量矩阵[h1,h2,…,hn-1]，其中某d-1列线性相关, 于是可以构造码字c为: 显然,因aij不全为1,故此码字的重量wH(c)?d-1.这与d是该码最小码重矛盾. 所以d-1列必线性无关。 校验矩阵(7/8) 充分性证明.若任意的d-1列线性无关,某d列hi1,hi2,…,hid线性相关,那么必存在全非零的ai1,ai2,…,aid使得ai1hi1+…+aidhid=?,因此码字 的重量wH(c)恰好为d且是最小重量码字. 校验矩阵(8/8) Singleton限： 任意线性分组码有， 称最小码距达到Singleton限的线性分组码为最大距离可分码（Maximum Distance Separable 码或MDS码）。 生成矩阵 (1/3) 生成矩阵 (2/3) 生成矩阵 (3/3) 系统码(1/3) 在一般的编码映射中,由码字码元ci不一定能直接得到消息码元mj,为获得译码输出,还需进行较为复杂的码组ci到mj的逆变换,影响码的实用 系统码Cs:某k个码字码元与消息码元固定直接相等的码Cs或具有阶梯形生成矩阵矩阵Gs的码Cs,即总有: 标准形系统码CNS:Gs具有如下形式的系统码: 系统码(2/3) 系统码的基本特点: (1) 由矩阵行等价原理,任何码均可以通过行初等变换转换为系统码 (2) 由矩阵行等价原理和列置换不改变最小距离原理,系统码与原码有相同的码率和纠错能力,称码率和纠错能力相同的码为纠错设计等价码. (3) 尽管行等价有C=Cs,但是具体码字码元与消息码元的对应却发生了变化,即对某些m,　mG?mGs (4) 标准形系统码较易由Gs获得相应的校验矩阵Hs,即: (5) G,Gs与H,Hs仍然满足: 系统码(3/3) 例4.3 一个线性分组码的生成矩阵为 电子科技大学通信与信息工程学院 * 第二章　线性分组码§4线性分组码的基本编码与译码 第二章　线性分组码§4线性分组码的基本编码与译码 Z=0，无错 Z=1，有错 第二章　线性分组码§4线性分组码的基本编码与译码 1 2 2 4 第二章　线性分组码§4线性分组码的基本编码与译码 信道 噪声 1111100000 发送码序列C 出现错误 0110110000 接收码序列R 发送序列C：1111100000 错误图样e：1001010000 接收序列R：0110110000 ? R=C+e,或 R=C-e 编码映射与线性分组码(3/5) 0000000 0011101 0100111 0111010 1001110 1010011 1101001 1110100 000 001 010 011 100 101 110 111 码字