现代编码技术 全套课件（下）.pptx

西 安 电 子 科 技 大 学 出 版 社 ;目 录 ;第6章　LDPC码 ; LDPC(Low-Density Parity-Check)码是低密度校验码，由Gallager于1962年在其博士学位论文中提出。由于受当时计算机发展水平的影响，LDPC码译码的复杂度限制了LDPC码的优秀纠错性能的展示，因而LDPC码当时并未受到人们的重视，直到1995年，Mackay和Neal公布了LDPC码具有接近香农理论界限的译码性能仿真结果，LDPC码继Turbo码后再次引起编码界轰动，在相距两年左右的时间内两种性能接近香农理论界限的纠错编码的出现为编码领域带来了一场革命性的变化。Ardakani在其博士论文中指出，当码长较短时，Turbo码的性能优于LDPC码，但码长较长时(典型值超过5000)，LDPC码具有比Turbo码更接近香农理论;;;; 　6.1　LDPC码的概念　　1. LDPC码的定义　　定义6.1.1　如果一个矩阵只有很少一部分元素非零，大部分元素都是零，那么称这个矩阵为稀疏矩阵(Sparsity Matrix)。 一个矩阵的稀疏程度是通过矩阵中非零元素所占的比例来表示的，常称为矩阵密度。一般认为矩阵密度不超过0.5的矩阵是稀疏的。例如，矩阵的矩阵密度为0.5，所以矩阵H为稀疏矩阵。;　　定义6.1.2　一个线性分组码的校验矩阵H是稀疏的，那么这个码称为LDPC码。　　LDPC码的校验矩阵是稀疏的，因而校验矩阵的非零元素相对于零元素表现为具有低密度特性，这就是低密度校验码名称的由来。　　例6.1.1　求出以式(6.1.1)所示的矩阵H为校验矩阵的系统LDPC码。　　解　方法一：　　设这个LDPC码的码字为c=(c1c2c3c4c5c6)，那么，有 　　　HcT=0T 　　 (6.1.2);所以，得到校验方程组式中，(c1c2c3)为信息码，(c4c5c6)为校验位。　　将信息码{000，001，010，011，100，101，110，111}代入式(6.1.3)，得到LDPC码的全部码字如下： 　000000　　001011　　010111　　011100 　100101　　101110　　110010　　111001;　　方法二：　　对式(6.1.1)所示的矩阵H进行初等变换，将第一、第二和第三行加到第四行，得　　对矩阵H′进行初等变换，使最后三列构成一个单位矩阵。将H′的第二行加到第三行得到;于是，本例LDPC码的生成矩阵G为所以，LDPC的码字应当按 ［c1c2c3c4c5c6］=［c1c2c3］G 　　 (6.1.5)来生成。读者可以验证，式(6.1.5)生成的码字与方法一生成的码字一致。;　　2. LDPC码的图形表示　　对一般线性分组码，校验方程、校验矩阵或生成矩阵都是表示线性分组码的有力工具。在LDPC码中，表示LDPC码的有力工具是Tanner图。　　例6.1.2　构造例6.1.1的LDPC码的Tanner图。　　解　根据校验方程(6.1.3a)～(6.1.3d)，例6.1.1的LDPC码的Tanner图如图6.2所示。;;　　在LDPC码的Tanner图中，有一个非常重要的概念叫做环(Cycle)。　　定义6.1.3　从Tanner图的某一个节点(校验节点或比特节点)沿着Tanner图的边出发，经过其他节点至多一次，最后又回到出发节点所经过的路径称为Tanner图的环。一个Tanner图中所有环所包含的边数最小者称为这个Tanner图的环的周长(Girth)。　　对于LDPC码的环的周长有下述结论。;　　定理6.1.1　LDPC码的环的周长不会小于4，且环的周长是2的倍数。　　证明　因为构成一个环显然最少需要三个节点，所以LDPC码的环的周长≥3。由Tanner图构造知，无论是在比特节点之间还是在校验节点之间都不存在边，每一边必然一端接校验节点，另一端接比特节点。因此，无论从比特节点还是校验节点出发，经过的节点必然是比特节点和校验节点交替出现，回到起始节点，所经过的比特节点数和校验节点数相同(起始节点被计算两次)，所以，即经过的节点数目是偶数(起始节点经过了两次)，沿经过的节点顺序走过的边是偶数条边。结合环的周长不小于3，完成定理证明。;　　周长为4的Tanner图是存在的。例如，以校验矩阵：构成的LDPC的Tanner图如图6.3所示。很明显，环1→c1→2 →c2→1的长度为4。;;　　环长对LDPC的译码性能有重要影响，周长为4的环会导致迭代译码算法不收敛而无法纠正错误(详细讨论见6.3节)，因此，要避免使用含有周长为4的环的LDPC码。O’sullivan 等人通过计算机仿真指出，