Exercise 3.11: Viterbi Path Finding

From LNTwww
Revision as of 10:15, 5 December 2017 by Hussain (talk | contribs)

Ausgewertetes Trellisdiagramm

Ein Ergebnis von Aufgabe A3.10 war nebenstehende Trellis–Auswertung hinsichtlich der Metriken ${\it \Lambda}_i(S_{\mu})$. Zu allen Decodierschritten $i$ wurden die (im Allgemeinen) $2^m = 4$ Metriken bestimmt, wobei für jeden Knoten der größere von zwei Vergleichswerten ausgewählt wurde. Der Zweig mit dem niedrigeren Wert wurde verworfen. Man erkennt diese Zweige an punktierten Linien.

Ansonsten gelten die gleichen Voraussetzungen wie für die Aufgabe A3.10. Zum Beispiel kennzeichnet auch in nebenstehender Grafik ein roter Pfeil das Informationsbit $u_i = 0$ und ein blauer Pfeil steht für $u_i = 1$.

In der vorliegenden Aufgabe betrachten wir den zweiten und wichtigen Teil des Viterbi–Algorithmuses, nämlich die Suche nach den überlebenden Pfaden ${\it \Phi}_i(S_{\mu})$. Diese befinden sich zum Zeitpunkt $i$ und Zustand $S_{\mu}$. Die Suche organisiert man am besten in Rückwärtsrichtung (also in der Grafik von unten nach oben).

Zum Endzeitpunkt (im Beispiel $i = 7$) gibt es aufgrund der Terminierung nur einen überlebenden Pfad ${\it \Phi}_7(S_0)$. Aus diesem lässt sich extrahieren:

  • die vom Decodierer ausgewählte Codesequenz $\underline{z}$  ⇒   größtmögliche Wahrscheinlichkeit ${\rm Pr}(\underline{z} = \underline{x})$,
  • die dazugehörige Informationssequenz $\underline{\upsilon}$ mit der größtmöglichen Wahrscheinlichkeit ${\rm Pr}(\underline{\upsilon} = \underline{u})$.


Eine Entscheidung zu einem früheren Zeitpunkt, zum Beispiel bei $i = 5$, erfüllt nicht immer das Maximum–Likelihood–Kriterium. Hier gibt es vier überlebende Pfade ${\it \Phi}_5(S_0), \ ... \ , \ {\it \Phi}_5(S_3)$, die zur Zeit $i = 5$ in den Zuständen $S_0, \ ... \ , \ S_3$ enden. Einer dieser vier Pfade ist mit Sicherheit Teil des Maximum–Likelihood–Pfades, der für $i → ∞$ (bei Terminierung deutlich früher, hier bei $i = 7$) der bestmögliche Pfad ist. Soll aber schon zum Zeitpunkt $i = 5$ ein Zwangsentscheid getroffen werden, so entscheidet man sich meist für den Pfad ${\it \Phi}_5(S_{\mu})$ mit der größten Metrik ${\it \Lambda}_5(S_{\mu})$.

Hinweise:

  • Die Aufgabe gehört zum Kapitel Decodierung von Faltungscodes.
  • Sollte die Eingabe des Zahlenwertes „0” erforderlich sein, so geben Sie bitte „0.” ein.



Fragebogen

1

Für welche Codesequenz $\underline{z}$ fällt die Entscheidung zum Zeitpunkt $i = 7$?

$\underline{z} = (11, \, 10, \, 00, \, 01, \, 01, \, 11, \, 00)$,
$\underline{z} = (00, \, 11, \, 10, \, 00, \, 01, \, 01, \, 11)$,
$\underline{z} = (00, \, 11, \, 01, \, 01, \, 00, \, 10, \, 11)$.

2

Wieviele Übertragungsfehler sind (mindestens) aufgetreten?

$N_{\rm Bitfehler} \ = \ $

3

Für welche Informationssequenz $\upsilon$ entscheidet sich der Viterbi–Decoder?

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

4

Wäre bereits bei $i = 6$ eine endgültige Entscheidung möglich gewesen?

Ja.
Nein.

5

Welche überlebenden Pfade gibt es zum Zeitpunkt $i = 5$?

$S_0 → S_0 → S_1 → S_3 → S_2 → S_0$,
$S_0 → S_0 → S_1 → S_3 → S_2 → S_1$,
$S_0 → S_1 → S_2 → S_1 → S_3 → S_2$,
$S_0 → S_0 → S_1 → S_2 → S_1 → S_3$.

6

Für welchen Pfad würde man sich zum Zeitpunkt $i = 5$ entscheiden?

$S_0 → S_0 → S_1 → S_3 → S_2 → S_0$,
$S_0 → S_0 → S_1 → S_3 → S_2 → S_1$,
$S_0 → S_1 → S_2 → S_1 → S_3 → S_2$,
$S_0 → S_0 → S_1 → S_2 → S_1 → S_3$.

7

Welcher der Pfade wäre aber wahrscheinlich der richtige?

$S_0 → S_0 → S_1 → S_3 → S_2 → S_0$,
$S_0 → S_0 → S_1 → S_3 → S_2 → S_1$,
$S_0 → S_1 → S_2 → S_1 → S_3 → S_2$,
$S_0 → S_0 → S_1 → S_2 → S_1 → S_3$.


Musterlösung

(1)  (2)  (3)  (4)  (5)