LDPC码学习之一.docxVIP

LDPC码的学习之一（LDPC码的介绍、表示、和积译码） 简单介绍 LDPC，(low-density parity-check),低密度校验码，是一种线性分组码，在码字很长时有逼近容量限的性能。 1960年，Gallager在他的博士论文中首次提出，但是在接下来的几十年里一直被忽视。1981年Tanner概括了LDPC码并提出了一种图表法来表示LDPC，也就是Tanner图，之后LDPC码又开始了广泛研究。 学习内容：1、LDPC的校验矩阵表示和Tanner图表示，2、消息传递，3、MAP译码器和后验概率处理器，4，和积译码算法（sum_product algorithm，SPA），也叫置信传播（belief propagation）。其中第2、3点是第4点的前提知识。 LDPC码的表示 2.1、LDPC码的矩阵表示 先考虑二进制的，一个LDPC码是一种线性分组码，其校验矩阵是在m*n的零空间上有低密度的1。 规则LDPC：每行有相同数量的1，每列有相同数量的1。列重为g，行重为r，r=g*(n/m),gm， 非规则LDPC：r或g不是常数则是的。 H矩阵有这样的结构特性要求：没有两行或两列在相同位置都是1的个数超过1（RC约束）。 2.2、图形表示 LDPC码的Tanner图，提供了编码的表示并能够辅助表达译码算法。是一种二分图（chapter 2），图中有两种类型的节点：变量节点（VN）、校验节点（CN），每个边连接两种不同的节点。n bits 的码字用n个变量节点表示，m个校验方程就有m个校验节点。 图是以下边的规则画的：当H矩阵的元素hi,j=1时，校验节点i（ci）与变量节点j（vj）相连。 例1：一个（10,5）线性分组码，行重为4，列重为2，H矩阵如下： H=1 1 1 1 0 0 0 0 0 01 0 0 0 1 1 1 0 0 00 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 10 0 0 1 0 0 1 0 1 1 对应的Tanner图如下图1： 图1. 例1的Tanner 图 在Tanner图中可以很清楚的描述迭代译码是怎么做的。每个节点相当于一个本地的发生操作器，可以对信息进行一定的处理计算，每条边相当于传递信息的线，把信息从一个节点传到他的邻节点。传递的都是概率信息。迭代译码就是VN??CN之间的信息传递。初始化是信道给VN的。 影响迭代器有效性的因素：环的最小长度girth。如果环的长度很小，那么译码器就会在成环的那一部分不停运算，就不能实现全局最优。可能的最小长度为4,4环就表示H矩阵的一个子矩阵的四个角都为1。RC约束就是为了避免4环。 message passing 3.1、数士兵数的例子 3.2、外信息的概念 IX→Y=Z∈NXIZ→X-IY→X+IX =Z∈NX-{Y}IZ→X+IX 和积译码算法 4.1、变量节点 变量节点可以被认为是按重复码（REP）产生的，其译码准则来源于REP的译码准则。 对于重复码：二进制符号c∈{0,1},重复发送d次，发送、接收的是d维向量。 对数最大后验似然比:Lcr=log?(Pr?(c=0|r)Pr?(c=1|r)), 假定等概发送，则Lcr=log?(Pr?(r|c=0)Pr?(r|c=1))， 简化为Lcr=log?(l=0d-1Pr?(rl|c=0)l=0d-1Pr?(rl|c=1)) =l=0d-1log?(Pr?(rl|c=0)Pr?(rl|c=1)) =l=0d-1L(rl|x) 判决时，如果Lcr0,c=0,否则c=1. 对于LDPC码，上述式子被用来更新变量节点到校验节点的外部信息， Lj→i=Lj+i∈Nj-{i}Li→j 其中Lj是信道给的信息。 总的似然值是Ljtotal=Lj+i∈NjLi→j 4.2、校验节点 校验节点可以被认为是按SPC产生的，其译码准则来源于SPC的译码准则。 对于SPC码，向量a=[a0,a1,```ad-1,],a中包含偶数个1的概率为：12+12l=0d-1(1-2P1(l)), c0的判决如下， c0=argb∈0,1maxPr(c0=b|r,SPC) 那么Prc0=0r,SPC=12+12l=1d-1(1-2Prcl=1rl) ,根据公式 ， 得到L(c0|r,SPC)=2tanh-1(l=1d-1tanh?(12L(cl|rl))) 对于LDPC译码，上述式子被用来更新校验节??到变量节点的外部信息， Li→j=2tanh-1(j∈Ni-{j}tanh?(12Lj→i