线性分组码网格.pptVIP

线性分组码的网格 编码器的有限状态机模型 网格图的组成 初态s0 终态sf 第i时刻的状态si，第i时刻所有可能到达的合法状态构成的集合为 网格图的每个状态构成图的一个节点，每条边代表一次状态转移，用线性分组码的一个分量标注，从s0出发，沿时间前进，达到第i时刻，得到码分量(v0,v1,…,vi) 线性分组码中，从初态到终态经过n条边，得到一个码字(v0,v1,…,vn-1)，网格图显示了所有码字路径 网格图的例子 网格图的特点 初态没有输入，终态没有输出 任何中间态至少有一个输入分支，至少一个输出分支 编码过程就相当于从初态出发，走一条到终态的路径，走的时候依据是待编码信息序列和每一时刻的编码器状态 问题：每一时刻有多少可到达状态，相邻时刻的状态如何转移，编译码中如何利用网格图？ 状态转移和输出 有限状态机模型中，输出是当前状态si和输入Ii的函数：Oi=fi(si,Ii) 状态转移是当前状态和输入所决定的： si+1=gi(si,Ii) 时不变码网格：存在一个时刻t，过了这个时刻t，所有可能到达的状态空间不再随时间变化，同时状态空间达到最大，包含以前任一时刻的状态空间，fi和gi也不再变化 分组码是时变的，卷积码常为时不变 (n,k)二进制线性分组码的网格 k比特的信息逐次一个一个地移入编码器的存储器（不一定是每时刻1个比特），被编码输出成n个比特，这n个比特每一时刻输出一个，顺序移送到信道被发送出去 故状态转移次数为n次，共0，1，…，n共n+1个时刻，码比特vi在i到i+1时刻产生 有向图，初始节点1个，终态节点1个，中间节点有1个或2个输入分支，1个或两个输出分支，不同的分支表示不同的状态转移 (n,k)二进制线性分组码的网格 相邻状态 每一时刻能达到的合法状态的数目记为 全体时刻合法状态的数目称为状态空间复杂度分布： 因 是2的整数次幂，所以就用 的2次幂指数代替状态空间复杂度分布，得到状态空间维数分布 ， 构造二进制线性分组码的网格 设生成矩阵是G，矩阵变换G，使得： 每一行的第一个1（首1）出现在其下面各行的第一个1（首1）出现之前，即首1所在列的序号小与下面行的首1列序号 每一行最后一个1（尾1）不会和其他任何行的尾1同列 上述矩阵称为TOF形式的生成矩阵，即面向网格的生成矩阵（不一定是系统形式） TOFM的例子 对TOFM的进一步分析 数字跨度：每一行首1和尾1的列下标（比特位置）构成的区间 时间跨度：数字跨度占据的时间跨度，记作： 有效时间跨度：首1和尾1在外的两个时刻构成区间 对TOFM的进一步分析 计算每个时刻i所有可能到达的合理状态数目的2次幂指数 构建n+1个空集合Gis，每空集合对应一个时刻 对TOFM的每一行求 对 的每个时刻，将gi放入步骤一构建对应时刻的集合中 集合中元素个数|Gis|就是每一时刻的 例子：续TOFM例子 对TOFM的进一步分析 设g*表示 内的某一行，若其首1的位置是i， g*是唯一的；设 ，则有 设按上式a*和g*对应，则有： 信息比特a*在i时刻开始影响编码器，称为当前输入信息比特 对TOFM的进一步分析 公式 的后一项同当前状态相关，当前输入a*的不同取值决定了输出码分量，每个不同的值都会引起状态转移到其他状态，二进制只有两种状态 如果 里没有首1为i的行，则 此时可认为输入信息比特恒为0，输出也只有1个值，只有一个分支或状态转移 编码器中存储器的状态 时刻i到时刻i+1，产生vi，设 对应有存储器保存的信息比特： 状态的转移：若 中g0的尾1位置在i,设a0是与g0对应的输入信息比特，则状态转移发生后，a0被替换，增加a*,（可能a0和a*都不存在） 标记状态 （n,k）线性分组码，用k维向量表示状态，记录当前存储器中保存的信息比特 也就是在i时刻，除了 上的信息比特分量外，其他的信息比特都是0 上的 个分量的各种组合构成了时刻i的各种状态 网格构造的例子 网格构造的步骤 对每一时刻求 绘制出所有的节点，并标记节点 求状态变化，计算每一输出分支的下一状态，链接相邻状态 用公式 计算每一个输出分支标记 网格的复杂性 和 相关，对任意i， 码C和其对偶码有相同的复杂度 循环码具有最差的网格复杂性 循环码具有镜像对称性 码的最小网格，一个码C可能有多个网格，若存在一个网格T，其复杂性 的每一个分量都不大于比其他网格的相应分量，则这就是最小网格 （生成矩阵G）