海明校验码

1.确定位数

假定校验数据位数为n，检验位为k，则故障字也为k位。k位的故障字能表示$2^k$种。假定传送的数据最多只有一位出错。因此共有$1+n+k$[1：无错、n：数据位出错、k：校验位出错]，则n和k必须满足下列关系：$$2^k>=1+n+k$$

2.检验码生成

假定一个8位的数据$M=M_8{M}_7{M}_6{M}_5{M}_4{M}_3{M}_2{M}_1$,算出其校验位为4位$P=P_4{P}_3{P}_2{P}_1$。根据以下规则：

• 故障字为0000时表示没有错误
• 故障字为0001、0010、0100、1000时分别表示$P_1$、$P_2$、$P_3$、$P_4$出错
• 剩余的情况表示各位数据位发生出错
  将n位数据和k位校验码形成的12位码字排成下列形式：$$M_8{M}_7{M}_6{M}_5{P}_4{M}_4{M}_3{M}_2{P}_3{M}_1{P}_2{P}_1$$这12个码字的位置分别对应$1100、1011、...、0001$ 。
  
  接下来开始生成故障字：
  $$P_1=M_1|M_2|M_4|M_5|M_7(选取所有位置与P_1位置与运算不为0的数据位异或起来)$$$$P_2=M_1|M_3|M_4|M_6|M_7(选取所有位置与P_2位置与运算不为0的数据位异或起来)$$$$P_3=M_2|M_3|M_4|M_8(选取所有位置与P_3位置与运算不为0的数据位异或起来)$$$$P_4=M_5|M_6|M_7|M_8(选取所有位置与P_4位置与运算不为0的数据位异或起来)$$生成完之后，将$P_1$到$P_4$以及$M_1$到$M_8$填入12位码字里。然后一起进行传输。

3.检错和纠错

接收方将12位码字接收到之后将8位数据和4位检验码分离出来，我们令接收到的8位数据为$M^{{}^{\prime }}=M_8^{{}^{\prime }}{M}_7^{{}^{\prime }}{M}_6^{{}^{\prime }}{M}_5^{{}^{\prime }}{M}_4^{{}^{\prime }}{M}_3^{{}^{\prime }}{M}_2^{{}^{\prime }}{M}_1^{{}^{\prime }}$；令接收到的4位检验码为$P^{{}^{\prime \prime }}=P_1^{{}^{\prime \prime }}{P}_2^{{}^{\prime \prime }}{P}_3^{{}^{\prime \prime }}{P}_4^{{}^{\prime \prime }}$；利用接收到的8位数据$M$根据上面生成故障字的做法算$P^{{}^{\prime }}$：$P_1^{{}^{\prime }}=M_1^{{}^{\prime }}|M_2^{{}^{\prime }}|M_4^{{}^{\prime }}|M_5^{{}^{\prime }}|M_7^{{}^{\prime }}$，$P_2^{{}^{\prime }}=M_1^{{}^{\prime }}|M_3^{{}^{\prime }}|M_4^{{}^{\prime }}|M_6^{{}^{\prime }}|M_7^{{}^{\prime }}$，$P_3^{{}^{\prime }}=M_2^{{}^{\prime }}|M_3^{{}^{\prime }}|M_4^{{}^{\prime }}|M_8^{{}^{\prime }}$，$P_4^{{}^{\prime }}=M_5^{{}^{\prime }}|M_6^{{}^{\prime }}|M_7^{{}^{\prime }}|M_8^{{}^{\prime }}$。然后将$P^{{}^{\prime }}$和$P^{{}^{\prime \prime }}$逐位异或。异或的结果和结论如下：

• 如果结果=0000，那么说明传输数据无误
• 如果结果=0001、0010、0100、1000，那么说明检验位有误，可以不用管
• 剩下的情况都是数据位出错，这种情况下，异或结果等于出错的码字的位置，可以将异或结果查看排列好的12位码字排列表即可找到哪个数据位发生了错误，直接将这个数据位的数值取反即可纠正。