科学发展码纠错能力的判断.pptVIP

码纠错能力的判断 任一(n, k)分组码，若要在码字内： 1) 检测e个随机错误，则要求码的最小汉明距离d0=e+1 2) 纠正t个随机错误，则要求d0=2t+1 3) 纠正t个随机错误，同时检测e (e=t)个错误，则要求d0=e+t+1 若一(n,k)分组码的最小汉明距离为d0 ，则该码至多可纠正 个错误 几种基本的译码方法 问题： M?C ?R 如何根据接收信号R估计发送序列C’,进而估计信息序列M’？ 设计译码算法的原则：使译码错误概率最小 最大后验概率译码（Maximum Posterior Probability） 最大似然译码(Maximum Likelihood Decode) 代数初步 要求掌握的内容 群、子群和陪集的概念 环的概念 域的概念 会判断 一、同余和剩余类 同余：若整数a和b被同一正整数m除时，有相同的余数，则称a、b关于模m同余，记为 剩余类(Residue)：给定正整数m，可将全体整数按余数相同进行分类，可获得m个剩余类，分别用 二、群(Group)的定义 设G是一个非空集合，并在G内定义了一种代数运算 “ 。”，若满足： 1) 封闭性。对任意 ，恒有 2) 结合律。对任意 ，恒有 3) G中存在一恒等元e,对任意 ，使 4) 对任意 ，存在a的逆元 ，使 则称G构成一个群。 若加法，恒等元用0表示， 若为乘法，恒等元称为单位元 Examples: 1、全体整数 2、全体偶数 3、全体实数 6、模m的全体剩余类, 4、全体复数 5、全体有理数 对加法构成群 对乘法不构成群 对加法构成群 对乘法不构成群 对加法构成群 除0元素外，对乘法构成群 对加法构成群 除0元素外，对乘法构成群 对加法构成群 除0元素外，对乘法构成群 对模m加法构成群 对模m乘法，有待讨论 三、有关群的几个概念 群的阶(Order of a Group) 有限群(Finite Group)、无限群(Infinite Group) 加群、乘群 阿贝尔群(Abelian Group) 半群(Semigroup)、弱群(Monoid) 置换群(Permutation Group)、对称群(Symmetric Group) 格(Lattice)——是一类加群，集合中的元素是欧氏空间中的离散点 四、环(Ring)的定义 非空集合R中，若定义了两种代数运算加和乘，且满足： 1) 集合R在加法运算下构成阿贝尔群 2) 乘法有封闭性 3) 乘法结合律成立，且加和乘之间有分配律 Examples: 1、全体整数 2、全体偶数 3、全体实数 6、模m的全体剩余类, 4、全体复数 5、全体有理数 构成环 五、有关环的几个概念 有单位元环 可换环(Commutative Ring) 有零因子环 整环(Domain) 除环(有单位元、每个非零元素有逆元，非可换的环) 六、域(Field)的定义 非空集合F，若F中定义了加和乘两种运算，且满足： 1) F关于加法构成阿贝尔群，加法恒等元记为0 2) F中所有非零元素对乘法构成阿贝尔群，乘法恒等元记为1 3) 加法和乘法之间满足分配律 Examples: 1、全体整数 2、全体偶数 3、全体实数 6、模m的全体剩余类, 4、全体复数 5、全体有理数 设q为素数，则整数全体关于模q的剩余类 在模q的运算下(模q加和乘)构成q阶有限域GF(q) 构成环，不构成域 构成环，不构成域 构成域 构成域 构成域 七、子群的定义 子群：若群G的非空子集H对于G中定义的代数运算也构成群，称H为G的子群 平凡子群、真子群 八、陪集的概念 若H是G的子群，则可利用H把G划分等价类 用g1, g2,…表示群G中的元素，用h1, h2表示子群H中的元素 子群H 左陪集 左陪集 左陪集 陪集首 八、陪集的概念 定义：H是群G的一个子群，g是G中的任意一个元素，将g左乘H中的每一个元素，得到一个集合，记为gH，该集合为子群H的一个左陪集，g为该陪集的陪集首。 Examples: 对整数全体，以3为倍数的整数全体是一个 子群，可按此子群对全体整数划分陪集 * * * * * * * *