Aufgaben:Exercise 4.7Z: Principle of Syndrome Decoding

• Return to book

Nebenklassenanführer für den betrachteten Code  $\rm HC \ (7, \ 4, \ 3)$

Die Syndromdecodierung wurde bereits im Kapitel  Decodierung linearer Blockcodes  ausführlich behandelt. Bei allen Hammingcodes, die ja bekanntlich perfekt sind, ergibt sich hiermit ein gleich gutes Decodierergebnis wie mit der (im allgemeinen) deutlich komplizierteren Maximum–Likelihood–Decodierung.

Bei der Syndromdecodierung geht man wie folgt vor:

• Man bildet aus dem Empfangsvektor  $\underline{y}$  der Länge  $n$  und der Prüfmatrix  $\mathbf{H}$  das Syndrom:

$$\underline{s} = \underline{y} \cdot { \boldsymbol{\rm H}}^{\rm T} \in {\rm GF}(2^m) \hspace{0.05cm}, \hspace{0.5cm}{\rm Anmerkung\hspace{-0.10cm}:} \hspace{0.15cm}m = n-k \hspace{0.05cm}. $$

• Das Empfangswort  $\underline{y} = \underline{x} \ {\rm (Codewort)} + \underline{e} \ {\rm (Fehlervektor)}$  ist nicht notwendigermaßen ein Element von  ${\rm GF}(2^m)$, sicher aber ein Element von  ${\rm GF}(2^n)$  und es gilt wegen  $\underline{x} \cdot \mathbf{H}^{\rm T} = \underline{0}$  gleichermaßen:

$$\underline{s} = \underline{e} \cdot { \boldsymbol{\rm H}}^{\rm T}\hspace{0.05cm}. $$

• Viele Fehlermuster  $\underline{e}$  führen zum gleichen Syndrom  $\underline{s}$. Man fasst nun diejenigen Fehlermuster mit gleichem Syndrom  $\underline{s}_{\mu}$  zur Nebenklasse  ${\it \Psi}_{\mu}$  zusammen.

• Als Nebenklassenanführer  $\underline{e}_{\mu}$  bezeichnet man denjenigen Fehlervektor, der innerhalb der Klasse  ${\it \Psi}_{\mu}$  das geringste Hamming–Gewicht aufweist und dementsprechend am wahrscheinlichsten ist.

Die obige Tabelle zeigt die Liste der Nebenklassenanführer  $\underline{e}_{\mu}$  für die einzelnen  $\underline{s}_{\mu}$  beim Hammingcode  $\rm HC \ (7, \ 4, \ 3)$. Diese Tabelle wird für die Teilaufgabe (1) benötigt.

Eine ähnliche Tabelle soll für den verkürzten Hammingcode  $\rm HC \ (6, \ 3, \ 3)$  erstellt werden. Dieser wurde bereits in der  Aufgabe 4.6  sowie der  Aufgabe 4.6Z  benutzt und ist durch seine Generatormatrix gegeben:

$${ \boldsymbol{\rm G}} = \begin{pmatrix} 1 &0 &0 &1 &1 &0 \\ 0 &1 &0 &1 &0 &1 \\ 0 &0 &1 &0 &1 &1 \end{pmatrix} \hspace{0.05cm}.$$

Im Gegensatz zum originalen  $\rm (7, \ 4, \ 3)$–Hammingcode ist der verkürzte  $\rm (6, \ 3, \ 3)$–Hammingcode nicht perfekt, so dass sich nicht für alle möglichen  $\underline{s}_{\mu}$  ein Einfehler–Nebenklassenanführer  $\underline{e}_{\mu}$  finden lässt.

Hinweise:

• Die Aufgabe bezieht sich auf das Kapitel  Grundlegendes zu den Produktcodes  und ist als Ergänzung zur  Aufgabe A4.7  gedacht.
• Ähnliche Aufgabenstellungen wurden in der  Aufgabe 1.11  und der  Aufgabe 1.11Z  im Kapitel  Decodierung linearer Blockcodes  behandelt.
• Der Zusammenhang zwischen Generatormatrix  $\mathbf{G}$  und Prüfmatrix  $\mathbf{H}$  von systematischen Codes ist im Kapitel  Allgemeine Beschreibung linearer Blockcodes  angegeben.

Fragebogen

1

Das Empfangswort sei  $\underline{y} = (0, \, 1, \, 1,\, 0, \, 1, \, 1, \, 0)$, das Syndrom  $\underline{s} = (0, \, 1, \, 1)$. Für welches Codewort  $\underline{x}$  von  $\mathcal{C}_1$  entscheidet sich der Syndromdecoder?

	Das wahrscheinlichste Codewort ist  $\ \underline{x} = (1, \, 1, \, 1, \, 0, \, 1, \, 1, \, 0)$.
	Das wahrscheinlichste Codewort ist  $\ \underline{x} = (0, \, 1, \, 0, \, 0, \, 1, \, 1, \, 0)$.
	Das wahrscheinlichste Codewort ist  $\ \underline{x} = (0, \, 1, \, 0, \, 0, \, 1, \, 1, \, 1)$.

2

Welche Aussagen gelten für die Prüfmatrix  $\mathbf{H}$  des verkürzten Codes  $\mathcal{C}_2$?

	Es handelt sich um eine  $4 × 6$–Matrix.
	Die erste Zeile dieser Matrix lautet:  $\ 110100$.
	Die zweite Zeile dieser Matrix lautet:  $\ 101010$.
	Die dritte Zeile dieser Matrix lautet:  $\ 011001$.

3

Welches Syndrom  $\underline{s}$  ergibt sich für das Fehlermuster  $\underline{e} = (0, \, 0, \, 0, \, 0, \, 0, \, 0)$?

	$\underline{e} = (0, \, 0, \, 0, \, 0, \, 0, \, 0) \ \Rightarrow \ \underline{s} = \underline{s}_0 = (0, \, 0, \, 0)$,
	$\underline{e} = (0, \, 0, \, 0, \, 0, \, 0, \, 0) \ \Rightarrow \ \underline{s} = \underline{s}_1 = (0, \, 0, \, 1)$,
	$\underline{e} = (0, \, 0, \, 0, \, 0, \, 0, \, 0) \ \Rightarrow \ \underline{s} = \underline{s}_7 = (1, \, 1, \, 1)$.

4

Welche der folgenden Aussagen stimmen bezüglich der Einfehlermuster?

	Einfehlermuster   $\underline{e} = (1, \, 0, \, 0, \, 0, \, 0, \, 0)$   ⇒   Syndrom $\underline{s}_6 = (1, \, 1, \, 0)$,
	Einfehlermuster   $\underline{e} = (0, \, 1, \, 0, \, 0, \, 0, \, 0)$   ⇒   Syndrom $\underline{s}_5 = (1, \, 0, \, 1)$,
	Einfehlermuster   $\underline{e} = (0, \, 0, \, 1, \, 0, \, 0, \, 0)$   ⇒   Syndrom $\underline{s}_3 = (0, \, 1, \, 1)$,
	Einfehlermuster   $\underline{e} = (0, \, 0, \, 0, \, 1, \, 0, \, 0)$   ⇒   Syndrom $\underline{s}_4 = (1, \, 0, \, 0)$,
	Einfehlermuster   $\underline{e} = (0, \, 0, \, 0, \, 0, \, 1, \, 0)$   ⇒   Syndrom $\underline{s}_2 = (0, \, 1, \, 0)$,
	Einfehlermuster   $\underline{e} = (0, \, 0, \, 0, \, 0, \, 0, \, 1)$   ⇒   Syndrom $\underline{s}_1 = (0, \, 0, \, 1)$,

5

Welche der folgenden Fehlermuster führen zum Syndrom  $\underline{s}_7 = (1, \, 1, \, 1)$?

	$\underline{e} = (1, \, 1, \, 0, \, 0, \, 0, \, 0)$,
	$\underline{e} = (1, \, 0, \, 0, \, 0, \, 0, \, 1)$,
	$\underline{e} = (0, \, 1, \, 0, \, 0, \, 1, \, 0)$,
	$\underline{e} = (1, \, 1, \, 1, \, 1, \, 1, \, 1)$.

Musterlösung

Solution

(1)  Richtig ist der Lösungsvorschlag 2:

• Aus der Syndromtabelle auf der Angabenseite – gültig für den $\rm (7, \ 4, \ 3)$–Hammingcode – kann man ablesen, dass das Syndrom $\underline{s} = \underline{s}_3 = (0, \, 1, \, 1)$ mit dem Fehlermuster $\underline{e} = (0, \, 0, \, 1, \, 0, \, 0, \, 0, \, 0)$ korrespondiert. Damit ist das Codewort

$$\underline{x} = \underline{y} \hspace{0.15cm}+ \hspace{0.15cm} \underline{y} = (0, 1, 1, 0, 1, 1, 0) \hspace{0.15cm}+ \hspace{0.15cm}(0, 0, 1, 0, 0, 0, 0) \hspace{0.15cm}= \hspace{0.15cm}(0, 1, 0, 0, 1, 1, 0)$$

am wahrscheinlichsten und der Syndromdecoder gibt dieses als Ergebnis aus.

(2)  Richtig sind die Lösungsvorschläge 2, 3 und 4:

• Die Prüfmatrix $\mathbf{H}$ des verkürzten $\rm (6, \ 3)$–Hammingcodes $C_2$ hat $m = n - k = 3$ Zeilen und $n$ Spalten. Es handelt sich demzufolge um eine $3 × 6$–Matrix   ⇒   die Aussage 1 ist falsch.

• Da es sich auch bei $\mathcal{C}_2$ um einen systematischen Code handelt, kann die Generatormatrix $\mathbf{G}$ in folgender Form dargestellt werden:

$${ \boldsymbol{\rm G}} = \begin{pmatrix} 1 &0 &0 &1 &1 &0 \\ 0 &1 &0 &1 &0 &1 \\ 0 &0 &1 &0 &1 &1 \end{pmatrix} = \left ( { \boldsymbol{\rm I}}_3 ; \hspace{0.15cm} { \boldsymbol{\rm P}} \right ) \hspace{0.5cm}{\rm mit }\hspace{0.5cm} { \boldsymbol{\rm P}} = \begin{pmatrix} 1 &1 &0 \\ 1 &0 &1 \\ 0 &1 &1 \end{pmatrix} \hspace{0.05cm}.$$

• Somit kann für die Prüfmatrix geschrieben werden:

$${ \boldsymbol{\rm H}} = \left ( { \boldsymbol{\rm P}}^{\rm T} ; \hspace{0.15cm} { \boldsymbol{\rm I}}_3 \right ) = \begin{pmatrix} 1 &1 &0 &1 &0 &0\\ 1 &0 &1 &0 &1 &0\\ 0 &1 &1 &0 &0 &1 \end{pmatrix} \hspace{0.05cm}.$$

• Hierbei bezeichnet $\mathbf{I}_3$ eine $3 × 3$–Diagonalmatrix, die typisch ist für den systematischen Code.

• Die Lösungsvorschläge 2, 3 und 4 sind somit richtig:

• Zeile 1:   $\ 110100$,
• Zeile 2:   $\ 101010$,
• Zeile 3:   $\ 011001$.

(3)  Richtig ist der Lösungsvorschlag 1:

• Nach den Aussagen im Kapitel Decodierung linearer Blockcodes kann für das Syndrom auch $\underline{s} = \underline{e} \cdot \mathbf{H}^{\rm T}$ geschrieben werden.
• Damit erhält man für den fehlerfreien Fall   ⇒   $\underline{e} = (0, \, 0, \, 0, \, 0, \, 0, \, 0)$:

$$\underline{s}= \left ( 0, \hspace{0.03cm} 0, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}0 \right ) \cdot \begin{pmatrix} 1 &1 &0 \\ 1 &0 &1 \\ 0 &1 &1 \\ 1 &0 &0 \\ 0 &1 &0 \\ 0 &0 &1 \end{pmatrix}= \left ( 0, \hspace{0.03cm} 0, \hspace{0.03cm}0 \right ) = \underline{s}_0.$$

(4)  Alle Aussagen stimmen, wie aus der Musterlösung zur letzten Teilaufgabe zu ersehen ist:

• Die Zeilen der transponierten Prüfmatrix ergeben von oben nach unten gelesen, die jeweiligen Syndrome für die Fehlermuster $\underline{e} = (1, \, 0, \, 0, \, 0, \, 0, \, 0), \hspace{0.05cm} \text{ ... } \hspace{0.05cm} , \ \underline{e} = (0, \, 0, \, 0, \, 0, \, 0, \, 1)$.

(5)  Richtig sind die Lösungsvorschläge 2, 3 und 4:

• Die erste Aussage ist falsch, da die beiden ersten Zeilen der transponierten Prüfmatrix $\mathbf{H}^{\rm T}$ aufsummiert $(1, \, 1, \, 0) + (1, \, 0, \, 1) = (0, \, 1, \, 1) = \underline{s_3} ≠ \underline{s}_7$ ergibt.
• Die Aussagen 2, 3 und 4 sind dagegen richtig:

• Erste und letzte Zeile: $\ (1, \, 1, \, 0) + (0, \, 0, \, 1) = (1, \, 1, \, 1) = \underline{s}_7$,
• zweite und fünfte Zeile: $\ (1, \, 0, \, 1) + (0, \, 1, \, 0) = (1, \, 1, \, 1) = \underline{s}_7$,
• Die Summe über alle Zeilen ergibt ebenfalls $\underline{s}_7$, da es in jeder Matrixspalte genau drei Einsen gibt.