编码理论第3章..pptVIP

编码理论第三章 线性分组码 李丽香 分组码 分组码：将消息序列分组进行编码 在分组码中，二元信息序列被分成长度固定的一组组消息；每组消息u有k个信息位，共有2k个不同的消息 编码器按照一定规则将每个输入消息u变换成二元n重v，nk，这个二元n重v称作消息u的码字或码矢。所有2k个码字组成的集合称作是分组码 线性分组码：具有线性性质的分组码 定义：长为n，有2k个码字的分组码，当且仅当其2k个码字构成GF(2)上所有n重矢量空间的一个k维子空间时，称作线性(n,k)分组码 举例: (7,4)线性分组码 生成矩阵 因为线性(n,k)分组码C是一个k维子空间，所以在码C中能找到k个线性独立的码字g0, g1,…, gk-1,使得C中的每个码字v都是这k个码字的一种线性组合，即v=u0g0+u1g1+…+uk-1gk-1 将这k个线性独立的码字作为行，得到k×n阶矩阵 此矩阵称为码C的生成矩阵。线性(n,k)分组码任何k个线性独立的码字都可以用来构成码C的生成矩阵 举例 如果本章PPT第3页的表格所表示的线性分组码，有如下的生成矩阵 线性系统分组码 线性系统分组码：若(n,k)线性分组码C的生成矩阵形如G=[P Ik](或G=[Ik P])，此时称C为线性系统分组码。此时，每个码字都可以被分成两个部分，即消息部分和冗余部分 一致校验方程 关于线性系统分组码，对应于消息u=(u0, u1,…, uk-1)的码字是v=(v0, v1,…, vn-1)=u·G=u·[P Ik]，即 vn-k+i=ui , 0≤i≤k-1, vj=u0P0j+u1P1j+…+uk-1Pk-1j, 0≤j≤n-k-1 上面两个式子正好反映系统的组成特性，最后这n-k个方程称为码C的一致校验方程 一致校验矩阵 定义：与(n,k)线性分组码C的生成矩阵G相对应有一个(n-k)×n阶矩阵H，它的n-k个行是码C的对偶空间的一组基底，该矩阵H称为码C的一致校验矩阵 因此，一个n重v是由G生成的码中的码字，当且仅当v·HT=0 对偶码：以H为生成矩阵得到的(n,n-k)码称为码C的对偶码，记为Cd 若码C的生成矩阵具有系统形式G=[P Ik]，则其一致校验矩阵形如H=[In-k PT] 一致校验矩阵 定理：如果线性码C是H矩阵的零化空间，则对每一个重量为w的码矢，H中有相应的w列线性相关。反之，H中若有w列线性相关，那么就有相应的重量为w的一个码矢 举例 (7,4)线性码的生成矩阵和一致校验矩阵 伴随式 设(n,k)线性分组码C的生成矩阵为G，其校验矩阵为H，令v=(v0, v1,…, vn-1)是经有扰信道传送的码字，r=(r0, r1,…, rn-1)是信道输出端的接收矢量。称矢量和e=v+r=(e0, e1,…, en-1)为错误矢量 伴随式：当接收到r后，译码器计算下述n-k重S=r·HT =(s0, s1,…, sn-k-1)，称S为r的伴随式 当且仅当是一个码字(即无传输错误)时有S=0，否则错误矢量本身就是一个码字，此时出现了不可检错误。只要码C设计适当，就几乎不会出现不可检错误。 伴随式纠错 根据伴随式定义， S=r·HT =(v+e)·HT=v·HT+e·HT =e·HT，展开后，有 伴随式纠错 上述方程有2k个解，即，对同一个伴随式，存在2k个可能的错误图样，因此上述方程虽然包含错误图样的信息，但是实际应用起来纠错困难。实际中的纠错，都是如何有效地从这些错误图样中选取真正的错误图样，从而得到正确的发送矢量。对于BSC信道，最可能的错误图样是非零数字最少的那个 伴随式纠错举例 考虑某(7,4)码，令v=(1001011)是发送码字，r=(1001001)是接收矢量，收到r后首先计算S=r·HT =(111)，由伴随式和错误图样的关系方程有：1=e0+e3+e5+e6, 1=e1+e3+e4+e5, 1=e2+e4+e5+e6, 则得到24=16个错误图样(0000010), (1010011), (0111011),其中(0000010)是非零分量最少的图样，考虑BSC信道，则(0000010)是最为可能的错误矢量，因而确定v=r+e=(1001001)+ (0000010)=(1001011) 汉明重量 汉明重量：令v=(v0, v1,…, vn-1)是二元n重，v的汉明重量w(v)定义为v中非零分量的个数 汉明距离：令u=(u0, u1,…, un-1)和v=(v0, v1,…, vn-1)是两个二元n重，u和v之间的汉明距离d(u, v)定义为u+v的汉明重量。 汉明距离的性质：1)非负性，d(u, v)≥0；2) d(u, v)=0，当且仅当u=v的时候；3)对称性： d(u, v) =d(v, u) ；4)