汉明码

✍ dations ◷ 2025-11-25 18:38:50 #电信,错误检测与校正

在电信领域中,汉明码(英语:hamming code),也称为海明码,是(7,4)汉明码(英语:Hamming(7,4))推广得到的一种线性纠错码,由理查德·卫斯里·汉明于1950年发明。相比而言,简单的奇偶检验码除了不能纠正错误之外,也只能侦测出奇数个的错误。汉明码是完备码(英语:perfect code),它在于它分组长度相同、最小距离为3的码中能达到最高的码率。

用数学术语来说,汉明码是一种二元线性码。对于所有整数 ≥ 2,存在一个分组长度 = 2 − 1、 = 2 − − 1 编码。因此汉明码的码率为 = / = 1 − / (2 − 1),对于最小距离为3、分组长度为 2 − 1 的码来说是最高的。汉明码的奇偶检验矩阵的是通过列出所有长度为 的非零列向量构成的。

汉明码的发明者理查德汉明在1940年代晚期,运用贝尔模型V(Bell Model V)电脑于贝尔实验室(Bell Labs)工作。输入端是依靠打孔卡(Punched Card),这不免会造成些读取错误。在工作日,当机器检测到错误将停止并闪灯(flash lights),使得操作员能够解决这个错误。在周末和下班期间,没有操作者的情况下,机器只会简单地转移到下一个工作。

汉明在周末工作,他对于不可靠的读卡机发生错误后,总是不得不重新启动程序变得愈来愈沮丧。在接下来的几年中,他为了解决侦错的问题,开发了功能日益强大的侦错算法。在1950年,他发表了今日所称的汉明码,并且时至今日仍在ECC memory上显示其应用价值。

人们在汉明码出现之前使用过多种检查错误的编码方式,但是没有一个可以在和汉明码在相同空间消耗的情况下,得到相等的效果。

奇偶校验是一种添加一个奇偶位用来指示之前的数据中包含有奇数还是偶数个1的检验方式。如果在传输的过程中,有奇数个位发生了改变,那么这个错误将被检测出来(注意奇偶位本身也可能改变)。一般来说,如果数据中包含有奇数个1的话,则将奇偶位设定为1;反之,如果数据中有偶数个1的话,则将奇偶位设定为0。换句话说,原始数据和奇偶位组成的新数据中,将总共包含偶数个1.

奇偶校验并不总是有效,如果数据中有偶数个位发生变化,则奇偶位仍将是正确的,因此不能检测出错误。而且,即使奇偶校验检测出了错误,它也不能指出哪一位出现了错误,从而难以进行更正。数据必须整体丢弃并且重新传输。在一个噪音较大的媒介中,成功传输数据可能需要很长时间甚至不可能完成。虽然奇偶校验的效果不佳,但是由于他只需要一位额外的空间开销,因此这是开销最小的检测方式。并且,如果知道了发生错误的位,若将该位取反,奇偶校验还可以恢复数据。

如果一条信息中包含更多用于纠错的位,且通过妥善安排这些纠错位使得不同的出错位产生不同的错误结果,那么我们就可以找出出错位了。在一个7位的信息中,单个位出错有7种可能,因此3个错误控制位就足以确定是否出错及哪一位出错了。

汉明研究了包括五取二码在内的编码方案,并归纳了他们的想法。

下列通用算法可以为任意位数字产生一个可以纠错一位(英语:Single Error Correcting)的汉明码。

采用奇校验还是偶校验都是可行的。偶校验从数学的角度看更简单一些,但在实践中并没有区别。

校验位一般的规律可以如下表示:

表中只给出了20个编码后的位(5个奇偶校验位,15个数据位)。观察上表可发现一个比较直观的规律:第i个检验位是第2i-1位,从该位开始,检验2i-1位,跳过2i-1位……依次类推。例如上表中第3个检验位p4从第23-1=4位开始,检验4、5、6、7共4位,然后跳过8、9、10、11共4位,再检验12、13、14、15共4位……

要检查某一位的错误,则需检查某一位所包含的所有奇偶校验位。这种错误的模式被叫做伴随式错误。如果所有奇偶校验位是正确的,就没有错误。除此以外的情况,错误的奇偶校验位的位置的和将识别错误的位。例如,如果位置为1、2、8的奇偶校验位指示了一个错误,那么位置为1+2+8=11的位出错了。如果只有一个奇偶校验位指示了错误,那么该奇偶校验位自身出错了。



对11000010进行汉明编码,求编码后的码字。

1.列出表格,从左往右(或从右往左)填入数字,但2的次方的位置不填。

2.把数据行有1的列的位置写为二进制。

3.收集所有二进制数字,求异或。 0011 0101 1011 = 1101 {\displaystyle 0011\oplus 0101\oplus 1011=1101} ,,1,0,,1,1)。

(7,4)汉明码可以很容易地编码为一个(8,4)码,通过在(7,4)编码词()上附加一个额外的奇偶位。

这可以用下面修正的矩阵相加:

注意, H {\displaystyle \mathbf {H} } 并非用标准形式表示。为了得到 G {\displaystyle \mathbf {G} } ,原子行操作能够被用来获得一个等价的矩阵对陈形式的 H {\displaystyle \mathbf {H} }

相关

  • 嘌呤代谢许多生物利用代谢途径来合成或分解嘌呤。嘌呤在生物合成中会合成为核苷酸,特别是核糖核苷酸,即核糖-5-磷酸。 主要的调节步骤为PRPP合成酶产生磷酸核糖焦磷酸(PRPP)的反应,这个
  • 欧洲野猫欧洲野猫(学名:Felis silvestris silvestris)是一种小型猫科动物,可见于西欧、中欧、东欧、苏格兰和土耳其;在斯堪的纳维亚、冰岛、英格兰、威尔士以及爱尔兰则已灭绝。欧洲野猫
  • 提毗提毗(天城文梵语:देवी,转写:Devī),梵语即为“女神”之意,象征了神圣的女性面,印度教的性力派认为提毗与提婆——男神是相互不可或缺的对存在。婆罗门教奉行一元论,认为提毗是所
  • 芭达雅芭堤雅(泰语:พัทยา;英语:Phattaya或Pattaya)一译帕塔亚,是一个泰国东部地大区春武里府的城市,是春武里府的“府级特别市”,在行政大区划上属于邦拉蒙县。泰国华侨传统上称为北
  • 金明吉金明吉(朝鲜语:김명길;英语: Kim Myong-Gil;1984年10月16日-)是朝鲜足球运动员。入选过朝鲜国家足球队。 曾经效力朝鲜足球联赛球会鸭绿江。2010年,他以门将身份入选了世界杯足球
  • 纸张尺寸纸张尺寸(paper size)是将纸张的宽高规范成固定的比例尺寸来使用。目前在国际间最常使用的是ISO所制定的标准,并将尺寸冠以编号例如A4、B5等等。在不同年代,全球各地也有当地通
  • Ubuntu发行版列表Ubuntu发行版由Ubuntu操作系统的开发者Canonical有限公司每隔半年发行,用年和月来表示版本号。例如Ubuntu发行版的第一个版本Ubuntu 4.10即发行于2004年10月20日。Ubuntu版本
  • 查德维克·博斯曼查德维克·艾伦·博斯曼(英语:Chadwick Aaron Boseman,1976年11月29日-)是一位美国男演员、编剧和制片人。较著名的是在电影《传奇42号》(2013年)中饰演大联盟传奇球星杰基·罗宾森
  • Baccano!台版封面《Baccano! 大骚动!》(亦译《永生之酒》、《因酒而狂》)是日本轻小说作家成田良悟所著的轻小说系列作品,并参加第九回电击小说大奖,获得金奖。2007年7月改编为电视动画
  • 鸭属鸭属(学名:)也叫河鸭属,是鸟纲雁形目鸭科的一个属。本科包含31个现存物种,包括: