离散数学第9章chapter9-3海明码.pptxVIP

9-3 海明码 ;一、线性分组码 ;例1 对于S4中每一字a1a2a3a4，若增加三位校验位a5，a6，a7，使其成为字长为7的码字a1a2a3a4a5a6a7，其中校验位a5，a6，a7满足下列方程组 ; 故当a1，a2，a3，a4给定后，就可以唯一确定校验位a5，a6，a7。这样，就构成了一个字长为7的码C，如表9-3.1所示（407页）。 ; 考察方程（1）到（3）。显然，对于C中任一码字，如果在传送过程中，发生了单错，那么，这些方程中必有一个或几个不满足。为了根据出错的方程决定码字的出错位，先建立三个谓词： ; 令 是 中所出现???变元组成的集合，即 ， ， 。 因为 中任一元素是字 中的一个字母，显然 就是使 为假的所有可能出错字母的集合。上述三个集合可组成七个互不相交的非空集合如下： ;从这七个集合可决定出错位。例如 ，即 ，所以如果 位出错，则 为真，而 ， 为假，反之亦然，以此类推，可得到译码表如表9-3.2所示（408页）。 ;例1所构造的单错可纠码由方程（1），（2），（3）决定。这三个方程的矩阵形式为 ;二、码字的重量 ;定理9-3.2 群码C中非零码字的最小重量等于此群码的最小距。即 ;例2 a)C1={0000,1111}是群码， ;三、一致校验矩阵 ;定义9-3.2 群码 称为由H生成的群码，G中每一码字，称为由H生成的码字，矩阵H称为一致校验矩阵。 ;定理9-3.4 一致校验矩阵H生成一个重量为q的码字的充要条件是在H中存在q个列向量，它们的和为0。 ;推论：由H生成的群码中非零码字的最小重量等于矩阵H中列向量和为0的最小向量数。 ;如果矩阵H中列向量和为0的最小向量数是1，则在H中恰存在一个列向量为零向量。 ;此外，线性分组码C中每一码字X形式为：;为了要使码C能纠正单错，由定理9-2.4，9-3.3及定理9-3.4的推论可知，要求H中的列向量均不相同且无零向量，即矩阵Q的列向量不能为0且不能出现 中的k个列向量。因为Q的每一列向量都是k维的，可能有个不同的列向量。因此，可从 个列向量中任取m个来组成Q。 ; 例3 n=7，则 ， ，如取k=3，则m=n-k=4，即每一码字四位是信息位，三位是校验位，且一致校验矩阵为 ;如果选取;此外，若将上述矩阵Q中列向量作交换，则也不能构成新的码，因此，例1中的（7，4）码是唯一的。 ;例如，下面都是一致校验矩阵：;例4 n=9 ， ， 。如取 ，则 。一致校验矩阵H中Q有5个列向量，而 ，构成Q就有 种组成Q的方法，即可有462个不同的（9，5）码。 ;解 n=9,m=5,k=4，一致校验矩阵为 ;即 ;作业：415页（3）考察一个（8，4）码C，它的校验位 满足下列方程 ;解 一致校验矩阵为