Dieser Artikel wurde von einem KI-System anhand der angegebenen Quellen verfasst und übersetzt, mit automatisierten Prüfungen nach der News-Redaktionsmethode.
KI-generiertes konzeptionelles Titelbild: strukturierte Prüfungen ordnen einen gestörten Strom; kein wörtlicher Schaltplan oder Beleg für unbegrenzte Fehlerkorrektur.
1. Zuverlässigkeit durch strukturierte Redundanz
Im April 1950 veröffentlichte Richard W. Hamming „Error Detecting and Error Correcting Codes“ im Bell System Technical Journal. Das Problem war praktisch: Eine erkannte Störung konnte einen unbeaufsichtigten Rechenlauf stoppen. Ließ sie sich lokalisieren und korrigieren, konnte die Arbeit weitergehen. Der Aufsatz liefert konkrete binäre Konstruktionen, kein Versprechen, beliebige Schäden zu beheben. [1,2]
Der Fortschritt besteht in aussagekräftiger Redundanz. Vier Bits jeweils dreimal zu senden erfordert zwölf übertragene Bits. Ein Hamming-Code benötigt sieben, um dieselben vier Datenbits gegen ein beliebiges einzelnes gekipptes Bit im Block zu schützen. Das sind unterschiedliche Anordnungen von Redundanz, keine universelle Optimalitätsaussage. Kompression entfernt Redundanz; Fehlerkorrektur fügt gezielt welche hinzu.
2. Sieben Positionen, drei Fragen
Die übertragenen Positionen werden von 1 bis 7 nummeriert. An 1, 2 und 4 stehen Prüfbits, an 3, 5, 6 und 7 die Daten d₁, d₂, d₃ und d₄. ⊕ bedeutet exklusives Oder, also Addition modulo 2: 1 ⊕ 1 = 0. Die Gleichungen erzeugen gerade Parität. Die Indizes von p bezeichnen Positionen, nicht die Reihenfolge der Prüfungen. [1, §3]
p1=d1⊕d2⊕d4
p2=d1⊕d3⊕d4
p4=d2⊕d3⊕d4
Der Empfänger prüft {1,3,5,7}, {2,3,6,7} und {4,5,6,7}. Eine verletzte Prüfung ergibt Syndrombit 1, eine erfüllte 0. Diese Bits heißen s₁, s₂ und s₄. Bei höchstens einem gekippten Bit ist dessen Position j:
j=s1+2s2+4s4
Ein Nullsyndrom bedeutet nur unter dieser Annahme Fehlerfreiheit; es ist kein allgemeines Integritätszertifikat.
3. Eine nachvollziehbare Korrektur
Für die Daten 1010 ergeben sich p₁ = 1, p₂ = 0 und p₄ = 1. Das von links nach rechts in Positionsreihenfolge gesendete Wort lautet 1011010. Kippt Bit 6, kommt 1011000 an. Die erste Prüfung ist gerade, die zweite und dritte ungerade. Damit gilt (s₁,s₂,s₄) = (0,1,1) und j = 0 + 2 + 4 = 6. Bit 6 wird zurückgesetzt; die Positionen 3,5,6,7 liefern wieder 1010.
Programmiertes wissenschaftliches Schema; exakte Bitfolgen, keine Messdaten.
Dies ist eine redaktionelle Beispielrechnung, keine Messung. Das Verfahren korrigiert auch ein gekipptes Prüfbit. Blockgrenzen und Positionen müssen bekannt sein; eingefügte oder gelöschte Bits gehören zu einem anderen Fehlermodell.
4. Warum die Konstruktion funktioniert
Drei binäre Prüfungen haben acht mögliche Ergebnisse: genau genug für sieben Einzelfehlerpositionen und den fehlerfreien Fall. Allgemein benötigt ein binärer Code mit r Prüfbits und n Gesamtbits mindestens n + 1 unterscheidbare Syndrome zur Einzelfehlerkorrektur:
2r≥n+1
Die Hamming-Konstruktion erreicht diese Anzahl mit n = 2ʳ − 1 und k = n − r Datenbits. Für r = 3 gilt n = 7 und k = 4. Der minimale Hamming-Abstand, die kleinste Zahl unterschiedlicher Positionen zwischen gültigen Wörtern, ist 3. Ein Empfangswort kann nicht nur einen Bitwechsel von zwei gültigen Wörtern entfernt sein: Diese hätten höchstens Abstand 2.
Es gibt 16 gültige Wörter mit jeweils sieben Einzelfehlernachbarn. Einschließlich der Wörter selbst füllen diese disjunkten Mengen alle 128 Möglichkeiten: 16 × 8 = 128. „Perfekt“ bezeichnet diese Packung, nicht fehlerlosen Betrieb bei beliebigem Rauschen. [1, §§5,7]
5. Die Falle bei zwei Fehlern
Zwei gekippte Bits erzeugen stets ein Syndrom ungleich null. Ein reiner Detektor für ungültige Wörter erkennt sie daher. Ein Decoder, der jedes solche Syndrom als Einzelfehler deutet, kann jedoch falsch korrigieren. Fehler an den Positionen 2 und 5 ergeben dasselbe Syndrom wie einer an Position 7. Die Korrektur von Bit 7 hinterlässt drei falsche Bits und ein anderes gültiges Wort.
Ein achtes Bit für gerade Gesamtparität erhöht den Mindestabstand auf 4. Der erweiterte Code ermöglicht Einzelfehlerkorrektur und Doppelfehlererkennung: SECDED. Die folgenden Entscheidungen setzen höchstens zwei Bitfehler voraus. q ist die Parität aller acht empfangenen Bits. [1, §4]
| Syndrom j | Parität q | Aktion unter der genannten Annahme |
|---|---|---|
| 0 | 0 | Kein Fehler |
| 0 | 1 | Bit 8 korrigieren |
| ungleich null | 1 | Bit j korrigieren |
| ungleich null | 0 | Zwei Fehler melden; nicht korrigieren |
Drei oder mehr Fehler liegen außerhalb der Garantie. Ein SECDED-Decoder kann manche davon falsch korrigieren. Doppelfehlererkennung bedeutet keine Diagnose beliebig großer Störungen.
6. Ein Zahlenbeispiel mit klaren Annahmen
Jedes übertragene Bit kippe unabhängig mit Wahrscheinlichkeit p = 0,01, gleich für 0 und 1. Codierung und Decodierung seien fehlerfrei, die Blockgrenzen bekannt. Beim Sieben-Bit-Code mit diesem Decoder ist die rekonstruierte Vier-Bit-Nachricht genau dann falsch, wenn mindestens zwei Bits kippen:
Pfail=1−(1−p)7−7p(1−p)6.
Das ergibt ungefähr 0,002031 beziehungsweise 0,2031 % der Blöcke. Für vier uncodierte Bits gilt 1 − (1 − p)⁴ = 0,039404, also 3,9404 % fehlerhafte Nachrichten. Das sind Nachrichtenfehlerwahrscheinlichkeiten, keine verbleibenden Bitfehlerraten oder gemessenen Geräteleistungen.
Der Preis beträgt drei zusätzliche Bits für vier Datenbits: 75 % mehr übertragene Bits und Coderate 4/7 ≈ 0,5714 Datenbits je übertragenem Bit. Der Vergleich hält p konstant, nicht gleichzeitig Bandbreite, Übertragungszeit und Energie pro Nachricht.
7. Reichweite und Grenzen des Ergebnisses
Der bleibende Beitrag verbindet Algebra konstruktiv mit Zuverlässigkeit: gültige Wörter trennen, kompakte Prüfungen berechnen und begrenzte Fehler lokalisieren. Der Sieben-Bit-Fall lässt sich vollständig prüfen. Für diesen Artikel wurden alle 16 Nachrichten und ihre 128 Fälle mit null oder einem Fehler geprüft, dazu die 448 Doppelfehlerfälle des erweiterten Codes.
Beliebige Fehlerbursts, beschädigte Software, böswillige Änderungen oder verlorene Synchronisation werden damit nicht behoben. Reale Systeme müssen den Code auf ihr Fehlermodell abstimmen und Encoder, Decoder sowie umgebende Logik schützen. Hamming liefert keine Messdaten moderner Hardware. Unsere Beispielrechnung ist davon ausdrücklich getrennt. Sie ergänzt Shannons Kommunikationsgrenzen durch eine konkrete endliche Konstruktion, nicht durch eine universell kapazitätserreichende Lösung.
News-Methode für diesen Artikel
Referenzrevision: HAMMING-EN-1. Der Primäraufsatz von 1950 wurde vollständig als archivierter Scan mit OCR gelesen; Konstruktion und SECDED-Fälle wurden zusätzlich an den gescannten Seiten geprüft. Der Verlagsnachweis bestätigt das bibliografische Datum. MIT-Lehrnotizen dienen zum Vergleich moderner Notation. Ein reproduzierbares Skript führte Rechnungen und endliche Codeprüfungen aus. Text und sieben Übersetzungen stammen von KI; dies ist weder unabhängige fachliche Begutachtung noch menschliche Validierung. Das lokalisierte Schema wurde programmiert. Das Titelbild ist eine KI-generierte konzeptionelle Illustration, kein Foto, Instrument oder Messdiagramm.
Quellen
[1] R. W. Hamming — Error Detecting and Error Correcting Codes — DOI: 10.1002/j.1538-7305.1950.tb00463.x.
[2] Nokia Bell Labs — Error Detecting and Error Correcting Codes.
[3] MIT 6.02 — Coping with Bit Errors using Error Correction Codes.