第十四章 LDPC码.ppt

第十四章 LDPC码 陆以勤 2008年6月 提纲 1.1 历史 1964年Gallager发表Low-Density Check-Parity Code, 证明了LDPC码性能接近于香农限，并提出了构建H矩阵的一种方法，以及两种解码方法和示意性的硬件电路原理图，但是由于当时科技水平有限，硬件条件的限制，LDPC码并没有得到重视和推广。 1981年，Tanner从图的观点提供了对LDPC的阐释，被忽略。 1993年，C.Berrou发明了Turbo码及相关的迭代算法，引起关注。 1996年D.Mac Kay 和R.Neal根据人工智能体系使自己的迭代算法和Pearl置信算法建立的联系，并证明了LDPC码性能和成本都优于Turbo码。 1.2 特点 性能优于Turbo码，具有较大的灵活性和较低的差错平底特性（error floors）； 不需要深度交织以获得好的误码性能； 描述简单，对严格理论分析具有可验证性； 译码不基于网格，复杂度低于turbo码，且可实现完全的并行操作，硬件复杂底低，因而适合硬件实现； 吞吐量大，极具高速译码潜力。因此，结合LDPC无线局域网必将取得更好的性能； 欧洲卫星广播系统DVB－S52采用； 认为是第四代移动通信的信道编码。 提纲 2.1 定义 定义1：(? , ? )规则（regular)LDPC码定义为具有如下特性的校验矩阵HJXN的零空间： 每一行含有?个1； 每一列含有? 个1； 任两列之间位置相同的1的个数?＝0，1 ? N ，? J (低密度） (注意，HJXN的各行并不要求独立） 密度r = ?/n = ?/J 2.1 定义 定义：(? , ? )规则（regular)LDPC码定义为具有如下特性的校验矩阵HJXN的零空间: 每一行含有?个1； 每一列含有? 个1； 任两列之间位置相同的1的个数?＝0，1; ? N ，? J (低密度） 2.2 代数结构 2.2 代数结构 由此可见，每一个位都有3个校验和对其进行纠错，所以可以纠一个错。 一般来说，因为每一列都有? 个1，相应的行向量可作为校验和，又因为其他列1的个数最多为1，所以可以构成大数逻辑译码，能纠[? / 2]个错。 提纲 3.1 Tanner图（二分图） 矩阵的图形表示 （循环码) 3.2 环的影响 提纲 4.1 Gallager 构造一类码 4.1 Gallager 构造一类码 4.2 通过行分裂和列分裂的码构造方法 设H的列分别记为g0,g1,…gi,…,gn-1。将每一列分裂成q列,原始列的1循环分配到新的列。这样可降低密度 例如，gi分裂为gi,1,gi,2,…,gi,q, 的第1个1分配给gi,1,第2个1分配给gi,2,…,第q个1分配给gi,q,第q+1个1分配给gi,1,第q+2个1分配给gi,2, ,…. 通过列(行)分裂操作可以拆散长度为4的环 4.3 有限几何LDPC 欧几里德几何码 在组合数学领域，GF(ps)上pms个m维向量a =(a0,a1,…,am)构成m维线性空间（或矢量空间）(定义2.6) 称为m维欧氏几何( Eudidean-Geometry)，记为EG(m,ps)。 每个m维向量 a = (a0,a1,…,am) 称为点(point)，0向量称为原点(origin)。 设a，a0为EG(m,ps)两个线性独立的点， 其中a?0（不是原点)，则ps个点组成的集合{?a+a0: ?? GF(ps)}称为EG(m,ps)的一条直线(line)或一维平面（1-flat)，记为 {?a+a0}。 对于每个?? GF(ps)，对应于直线{?a+a0}的一个点?a+a0。 EG(m,ps)除a0外共有pms-1个向量，而每条通过a0的直线共有ps个向量，除a0外共有ps-1个，由于两条直线不能有两个交点，因此EG(m,ps)除a0外的pms-1个向量分配到所有相交于a0的直线上，即EG(m,ps)中相交于a0的直线数为：(pms-1)/(ps-1) EG(m,ps)共有p(m-1)s(pms-1)/(ps-1)条直线。 4.3 有限几何LDPC 提纲 5.1 大数逻辑译码 由此可见，每一个位都有3个校验和对其进行纠错，所以可以纠一个错。 对于每个比特位置l,H的行向量存在一个?行的子集 Al={h1(l), h2(l),…, h? (l)} 在该比特位置正交，即Al每一行的第个分量都为1，而其他位置的分量最多只在某一行出现 一般来说，因为每一列都有? 个1，相应的行向量可作为校验和，又因为其他列1的个数最多为1，所以可以构成一步大数逻辑可译码，能纠[? / 2]个错。 由于每一列都可找到相应校