曹素华 -- 差错检测及CRC.ppt

UMTS工作组 曹素华 内容概要 差错类型(A) 检测方式概述(B) CRC检测原理(C) (A)差错类型 (A)单个比特错误 定义：在给定数据单元只有一个bit发生改 变 (A)多个比特错误 (A)突发错误 (B)检测方式概述 将每个数据块单元发送两次，进行逐bit比较(效率、时间) 加冗余bit 数据通信中常用冗余的方法来解决通信的可靠性问题 (B)冗余校验的分类 垂直冗余校验(VRC) 纵向冗余校验(LRC) 循环冗余校验(CRC) 检验和 (B)垂直冗余校验(VRC) 奇偶校验：在数据块加冗余bit，以保证数据中“1”的个数为奇数或者偶数 (B)纵向冗余校验(LRC) 本质：2－D VRC 目的：检测多个差错bit和突发错误 方法：将确定数据分组，保证单个数据块和数据块的相应bit都具有VRC校验 (B)循环冗余校验(CRC) 功能最为强大 方法：将冗余bit序列加在数据之后，使得新的数据单元正好能被预定的二进制数除尽。（发送端和接收端都需要做） 如果接收端发现了余数，则舍弃该数据块 (B)循环冗余校验(CRC) (B)校验和 (B)校验和 CRC检测原理 （C1）伽罗域介绍(Galois Field:GF) 数据、地址、校验码等都可以看成是属于GF(2m)中的元素或称符号 取m=8，GF(28)表示域中有256个元素，除0，1之外的254个元素由本原多项式P(x)生成。 本原多项式 的特性是 得到的余式等于0。 (C1 )伽罗域介绍(Galois Field: GF) 加法：α0＋α3 = 001＋011 = 010 = α1 减法与加法相同 乘法：α5·α4 = α(5＋4) mod7 = α2 除法：α5/α3 = α2 α3/α5 = α－2 = α(－2＋7) =α5 对数：log(α5) = 5 域的构造?（取m=3） 假设本原多项式： （C1）伽罗域介绍(Galois Field:GF) 本原元：一个元素能产生GF(2n)所有非零元素 GF(24)元素a4：(24)0=1,(24)1=24,(24)4=216=21,…(24)14=256=211 元素的阶： ak的阶= 本原多项式：如果一个多项式f(x)能够产生2n个不同元素(包括0),则为本原多相式。 如：本原多项式f(x)=1+ x2+ x5,即能构造域GF(25) （C1）伽罗域介绍(Galois Field:GF) 最小多项式： GF(2n)中部分元素具有相同的阶，且均为某个多项式的根，取这类多项式的最低次数的多项式即为最小多项式 共轭类：最小多项式相同的元素的组合， GF(2n)中的元素可以按照共轭类分组 （C2）CRC编码 编码例子： 已知：信息码:110011　信息多项式: K(X)=X5+X4+X+1， 生成码:11001，生成多项式: G(X)=X4+X3+1(r=4)  Step 1)：(X5+X4+X+1)*X4的积是 X9+X8+X5+X4 对应的码是1100110000 Step 2)：积／G(X)  （C2）CRC编码 解码验证步骤 接收码字:1100111001　多项式: T(X)=X9+X8+X5+X4+X3+1生成码:11001??? 生成多项式: G(X)=X4+X3+1(r=4)step 1：用字码除以生成码，余数为0，所以码字正确。 step 2：因r=4，所以冗余码是：1001，信息码是:110011 一些见于标准的CRC资料 （C2）CRC校验硬件实现 二进制本原多项式的线性反馈移位寄存器机理： 考虑二进制一般既约多项式： f(x)=cnxn+...+cixi+...+c2x2+c1x+1, ci ∈GF(2) 硬件实现用除法电路（主体移位寄存器和模2加法器(异或单元)组成 ） 产生分为两种结构： SSRG :简单移位寄存产生器 MSRG:模块式移位寄存产生器 （C2）SSRG :简单移位寄存产生器 （C2）SSRG :简单移位寄存产生器 （C2）MSRG :模块移位寄存产生器 （C2）MSRG :模块移位寄存产生器 （C2）SSRG与MSRG的关系 SSRG与MSRG最后的输出就是一个长度为2n的PN序列(但是二者不相同) 产生相同的PN序列，SSRG与MSRG应该取互反的。 即：假设SSRG用f(x)来得到，那么MSRG就要用 g(x)= xn × f(x-1)来得到 （C2）硬件实现的例子 （C2）CRC-ITU为例 ?x16+x12+x5+1? (C2)CRC软件实现 比特型算法 ：定义一个寄存器组，初始化为全1。依照电路图，