Lecture 3 线性分组码(I).

Slides:



Advertisements
Similar presentations
常系数线性微分方程组 §5.3 常系数线性方程组. 常系数线性微分方程组 一阶常系数线性微分方程组 : 本节主要讨论 (5.33) 的基解矩阵的求法.
Advertisements

信号与系统 第三章 傅里叶变换 东北大学 2017/2/27.
§3.4 空间直线的方程.
《解析几何》 -Chapter 3 §7 空间两直线的相关位置.
3.4 空间直线的方程.
REED-SOLOMON CODES.
第 9 章 差错控制编码 9.1 概述 9.2 常用的几种简单分组码 9.3 线性分组码 9.4 循环码 9.5 卷积码
第6章 编码技术 6.1 概述 6.2 常用的差错控制编码 6.3 线性分组码 6.4 循环码 6.5 卷积码.
第九章 信道编码 9.1 引言 9.2 信道编码的基本原理 9.3 线性分组码 9.4 循环码 9. 5 卷积码.
二. 差错检测 1.差错检测的基本原理 差错控制的根本措施:采用抗干扰编码(即纠错编码)。 码组:由n个码元(0,1)构成的每一组合。
圆的一般方程 (x-a)2 +(y-b)2=r2 x2+y2+Dx+Ey+F=0 Ax2+Bxy+Cy2+Dx+Ey+ F=0.
第五章 二次型. 第五章 二次型 知识点1---二次型及其矩阵表示 二次型的基本概念 1. 线性变换与合同矩阵 2.
第三章 函数逼近 — 最佳平方逼近.
《高等数学》(理学) 常数项级数的概念 袁安锋
§1 线性空间的定义与性质 ★线性空间的定义 ★线性空间的性质 ★线性空间的子空间 线性空间是线性代数的高等部分,是代数学
常用逻辑用语复习课 李娟.
第一章 行列式 第五节 Cramer定理 设含有n 个未知量的n个方程构成的线性方程组为 (Ⅰ) 由未知数的系数组成的n阶行列式
Class Profile 36 credit hours.
第三节 格林公式及其应用(2) 一、曲线积分与路径无关的定义 二、曲线积分与路径无关的条件 三、二元函数的全微分的求积 四、小结.
第2章 Z变换 Z变换的定义与收敛域 Z反变换 系统的稳定性和H(z) 系统函数.
第三章 多维随机变量及其分布 §2 边缘分布 边缘分布函数 边缘分布律 边缘概率密度.
第二章 矩阵(matrix) 第8次课.
元素替换法 ——行列式按行(列)展开(推论)
!!! 请记住:矩阵是否等价只须看矩阵的秩是否相同。
循 环 码 (IV).
第四章 向量组的线性相关性.
Partial Differential Equations §2 Separation of variables
实数与向量的积.
线性代数 第二章 矩阵 §1 矩阵的定义 定义:m×n个数排成的数表 3) 零矩阵: 4) n阶方阵:An=[aij]n×n
线 性 代 数 厦门大学线性代数教学组 2019年4月24日6时8分 / 45.
特 征 值 与 特 征 向 量 一、特征值与特征向量的概念 二、特征值和特征向量的性质.
5.2 常用统计分布 一、常见分布 二、概率分布的分位数 三、小结.
卷积码.
线性分组编码.
复习.
第十章 双线性型 Bilinear Form 厦门大学数学科学学院 网址: gdjpkc.xmu.edu.cn
第五讲 线性分组码 5.1 一般概念 5.2 一致监督方程和一致监督矩阵 5.3 线性分组码的生成矩阵 5.4 线性分组码的编码
Lecture 3 线性分组码(1).
第三章 线性空间 Linear Space.
Lecture 4 线性分组码(2).
第16讲 相似矩阵与方阵的对角化 主要内容: 1.相似矩阵 2. 方阵的对角化.
§3 向量组的秩.
§8.3 不变因子 一、行列式因子 二、不变因子.
§6.7 子空间的直和 一、直和的定义 二、直和的判定 三、多个子空间的直和.
3.1.2 空间向量的数量积运算 1.了解空间向量夹角的概念及表示方法. 2.掌握空间向量数量积的计算方法及应用.
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
第五章 相似矩阵及二次型.
第5章 线性分组码 5.1 一般概念 5.2 一致监督方程和一致监督矩阵 5.3 线性分组码的生成矩阵 5.4 线性分组码的编码
2.2矩阵的代数运算.
第五章 循环码.
第15讲 特征值与特征向量的性质 主要内容:特征值与特征向量的性质.
线 性 代 数 厦门大学线性代数教学组 2019年5月12日4时19分 / 45.
高中数学必修 平面向量的基本定理.
第五章 信道编码定理.
第五章 信道编码定理.
§2 方阵的特征值与特征向量.
第五节 线性方程组有解判别定理 一、线性方程组的向量表示形式 二、线性方程组有解判别定理 三、一般线性方程组的解法 四、线性方程组的求解步骤.
9.5空间向量及其运算 2.共线向量与共面向量 淮北矿业集团公司中学 纪迎春.
主讲教师 欧阳丹彤 吉林大学计算机科学与技术学院
通 信 原 理 指导教师:杨建国 指导教师:杨建国 二零零七年十一月 二零零八年三月.
第三节 函数的微分 3.1 微分的概念 3.2 微分的计算 3.3 微分的应用.
定义5 把矩阵 A 的行换成同序数的列得到的矩阵,
第四节 向量的乘积 一、两向量的数量积 二、两向量的向量积.
§5 向量空间.
第三节 数量积 向量积 混合积 一、向量的数量积 二、向量的向量积 三、向量的混合积 四、小结 思考题.
§4.5 最大公因式的矩阵求法( Ⅱ ).
第三章 线性方程组 §4 n维向量及其线性相关性(续7)
最小生成树 最优二叉树.
第七章 线性空间与线性变换 §1 线性空间定义与性质
循环码和BCH码.
Presentation transcript:

Lecture 3 线性分组码(I)

内容 线性分组码基本概念 码的生成矩阵与校验矩阵 对偶码,系统码,缩短码与汉明码 标准阵列译码

线性分组码定义 定义 [n, k]线性分组码是GF(q)上的n维线性空间中的一个k维子空间。该子空间在加法运算下构成Abelian群,所以线性分组码又称群码。若码字的最小距离为d,则记为[n, k, d]码,码率R=k / n;或记为(n, M, d)码,其中M表示可用码字个数,此时码率表示为R= (logqM) / n 2k 2n

线性分组码 例子 简单重复码[n, 1, n]; 简单奇偶校验码[n, n-1, 2] [7, 3, 4]码 表1 [7, 3, 4]码字码表 信息组 码字 000 001 010 011 100 101 110 111 0000000 0011101 0100111 0111010 1001110 1010011 1101001 1110100

线性分组码性质 性质 [n, k, d]码中d等于非零码字的最小重量,即 GF(2)上[n, k, d]码中,任何两个码字C1,C2之间有如下关系: w(C1 + C2)=w(C1)+w(C2)-2w(C1 · C2) 或 d(C1, C2) ≤ w(C1)+w(C2) 式中, C1 · C2是两个码字的内积 GF(2)上线性分组码任3个码字C1,C2 ,C3之间的汉明距离满足 d(C1, C3) ≤ d(C1, C2) +d(C2, C3) 任何[n, k, d]码,码字的重量或全部为偶数,或者奇、偶重量码字数相等

码的生成矩阵 编码问题 利用生成矩阵 给定参数n、k,如何根据k个信息比特来确定对应的n-k个校验比特? 利用校验矩阵或生成矩阵 由于[n, k, d]线性分组码是一个k维线性空间,因此,必可找到k个线性无关的矢量,能张成该线性空间。设 是k个线性无关的矢量,则对任意的码字C,有 G称为该分组码的生成矩阵

码的生成矩阵 Remarks 例子 生成矩阵G中的每一行都是一个码字 任意k个线性独立的码字都可以作为生成矩阵 给定一个[n, k, d]线性分组码,其生成矩阵可有多个 例子 如表1中的[7, 3, 4]码,可从8个码字中任意挑k = 3个线性无关的码字作为码的生成矩阵

码的校验矩阵 从线性方程组的角度描述线性分组码 n-k个校验位可用k个已知的信息位表示出来

码的校验矩阵 校验矩阵的各行之间是线性无关的,即校验矩阵的行秩为n-k 以校验矩阵的n-k行为基底,可张成一个n-k维线性子空间

码的校验矩阵 例子:表1的[7, 3, 4]码(P5)的4个校验元可由如下线性方程组求得 因此,校验矩阵为

码的校验矩阵 Remarks 校验矩阵和生成矩阵的关系 校验矩阵的各行之间是线性无关的,即校验矩阵的行秩为n-k 校验矩阵的n-k行为基底,可张成一个n-k维线性子空间 任意一个合法码字C均满足 HCT=0T 交换校验矩阵的各列并不影响其纠错能力 校验矩阵和生成矩阵的关系 校验矩阵H与任意一个码字之积为零,因此有 校验矩阵H中各行张成的子空间的零空间即为生成矩阵G各行张成的子空间。

最小汉明距离 定理: [n, k, d]线性分组码最小汉明距离等于d的充要条件是:H的任意d-1列线性无关 Proof . [hint: 必要性:采用反证法;充分性:将H中某些d列线性相关的列的系数作为码字中对应的非0分量] 推论: [n, k, d]线性分组码的最大可能的最小汉明距离为n-k+1 Proof: 由于校验矩阵H的n-k行是线性无关的,也就是说H的行秩为n-k,从而可推出H的列秩最大是n-k,即H最多有任意n-k列线性无关,由定理得到n-k≥d-1,有d≤n-k+1

对偶码,系统码与缩短码 对偶码 系统码 缩短码 设[n, k, d]线性分组码C的生成矩阵为G,校验矩阵为H,以H作为生成矩阵,G为对应的校验矩阵,可构造另一个[n, n-k, d’]线性分组码C1,我们称C1为C的对偶码 系统码 缩短码 从[n, k, d]线性分组码的所有码字中,把前面i位全为零的码字挑选出来构成一个新的子集,该子集即为[n, k, d]的缩短码。传输时,仅传输后面的n-i位码元,记为[n-i, k-i, d]码,其纠错能力至少与原[n, k, d]码相同

缩短码 例子: 表1的[7, 3, 4]码:0000000,0011101,0100111,0111010,1001110,1010011,1101001,1110100 [6, 2, 4]缩短码为: 000000,011101,100111,111010 原码和缩短码的生成矩阵分别为 去掉G的第一列第一行,就得到缩短码的生成矩阵Gs

缩短码 原码和缩短码的校验矩阵分别为 对系统码而言,去掉G的前i列和前i行就可得到缩短码的生成矩阵Gs。去掉校验矩阵的前i列,可得到缩短码的校验矩阵Hs

汉明码 定义 例子: 码长: n=2m-1 信息位长度: k=2m-1-m 码率: R=(n-m) / n 最小汉明距离:d=3 校验矩阵有 m行,2m-1列,取互不相同的m重构成 例子: GF(2)上的[7,4,3]汉明码,8个3重为001, 010, 011, 100, 101, 110, 111, 000校验矩阵为:

线性分组码的译码 伴随式 设发送码字 接收序列 根据错误图样的概念,R=C+E S是校验矩阵H中某几列数据的线性组合,因而是n-k维向量,有2n-k种可能 错误图样E是n维向量,共有2n种可能,因而每2k种错误图样对应一种伴随式。

伴随式 例子 [7,3,4]码的校验矩阵H为 错误图样及其相应的伴随式 E1=(1000000) S1T=HE1T =(1110)T

标准阵列译码 标准阵列步骤 标准阵列基本原理 1): 由接收到的序列R,计算伴随式S=RHT ; 2): 若S=0,正确接收;若S不为零,寻找错误图样; 3): 由错误图样解出码字C=R-E。 标准阵列基本原理 根据许用码字将禁用码字进行分类,分类的依据是错误图样。 关键问题在于如何选择错误图样,使错误概率尽可能小 应首先选择重量最轻的错误图样。

标准阵列译码 C1 C2 …Ci … E2 E3 C2+E2 C2+E3 Ci+E3 Ci+E2 C2+ Ci+ 码字 禁用码字 (陪集首)

标准阵列译码 发送端经过[7,3,4]码编码后的码字序列,通过有噪信道后,在接收端观测到的序列为R=(0001110)。采用标准阵列译码估计估计相应的信息序列。 当E1=(1000000)时 S1T=HE1T =(1110)T 因此,C=R+E1= (1001110)

完备译码与限定距离译码 完备译码 [n, k, d]线性分组码的所有2n-k个伴随式,在译码过程中若都用来纠正所有小于等于 个随机错误,以及部分大于t的错误图样,则这种译码方法称为完备译码 限定距离译码 任一[n, k, d]码,能纠正 个随机错误。如果在译码时,仅纠正t’ < t个错误,而当错误个数大于t’时,译码器不进行纠错而仅指出发生了错误,称这种译码方法为限定距离译码。