Difference between revisions of "Channel Coding/Basics of Convolutional Coding"
(Die Seite wurde neu angelegt: „ {{Header |Untermenü=Faltungscodierung und geeignete Decoder |Vorherige Seite=Fehlerwahrscheinlichkeit und Anwendungsgebiete |Nächste Seite=Algebraische und…“) |
|||
Line 39: | Line 39: | ||
*Für <i>k</i> > 1 gibt man diese Parameter oft auch in Bit an: <i>m</i><sub>Bit</sub> = <i>m</i> · <i>k</i> bzw. <i>ν</i><sub>Bit</sub> = (<i>m</i> + 1) · <i>k</i>.<br> | *Für <i>k</i> > 1 gibt man diese Parameter oft auch in Bit an: <i>m</i><sub>Bit</sub> = <i>m</i> · <i>k</i> bzw. <i>ν</i><sub>Bit</sub> = (<i>m</i> + 1) · <i>k</i>.<br> | ||
+ | == Gemeinsamkeiten und Unterschiede gegenüber Blockcodes == | ||
+ | <br> | ||
+ | Aus der Definition auf der letzten Seite ist ersichtlich, dass ein binärer Faltungscode mit <i>m</i> = 0 (also ohne Gedächtnis) identisch wäre mit einem binären Blockcode wie in Kapitel 1 beschrieben. Wir schließen diesen Grenzfall aus und setzen deshalb für das Folgende stets voraus: | ||
+ | *Das Gedächtnis <i>m</i> sei größer oder gleich 1.<br> | ||
+ | *Die Einflusslänge <i>ν</i> sei größer oder gleich 2.<br><br> | ||
+ | {{Beispiel}}''':''' Bei einem (7, 4)–Blockcode hängt das Codewort <u><i>x</i></u><sub>4</sub> nur vom Informationswort <u><i>u</i></u><sub>4</sub> ab, nicht jedoch von <u><i>u</i></u><sub>2</sub> und <u><i>u</i></u><sub>3</sub>, wie bei dem beispielhaften Faltungscodes (mit <i>m</i> = 2) auf der letzten Seite.<br> | ||
+ | [[File:P ID2592 KC T 3 1 S2 v2.png|Abhängigkeiten bei einem (7, 4)–Blockcode zum Zeitpunkt <i>i</i> = 4|class=fit]]<br> | ||
+ | Gilt beispielsweise <i>x</i><sub>4</sub><sup>(1)</sup> = <i>u</i><sub>4</sub><sup>(1)</sup>, <i>x</i><sub>4</sub><sup>(2)</sup> = <i>u</i><sub>4</sub><sup>(2)</sup>, <i>x</i><sub>4</sub><sup>(3)</sup> = <i>u</i><sub>4</sub><sup>(3)</sup>, <i>x</i><sub>4</sub><sup>(4)</sup> = <i>u</i><sub>4</sub><sup>(4)</sup> sowie | ||
+ | :<math>x_4^{(5)} = u_4^{(1)}+ u_4^{(2)}+u_4^{(3)}\hspace{0.05cm} ,\hspace{0.3cm} | ||
+ | x_4^{(6)} = u_4^{(2)}+ u_4^{(3)}+u_4^{(4)}\hspace{0.05cm} ,\hspace{0.3cm} | ||
+ | x_4^{(7)} = u_4^{(1)}+ u_4^{(2)}+u_4^{(4)}\hspace{0.05cm} ,</math> | ||
+ | so handelt es sich um einen so genannten <i>systematischen Hamming–Code</i> (7, 4, 3) entsprechend Kapitel 1.3. In der Grafik sind diese speziellen Abhängigkeiten für <i>x</i><sub>4</sub><sup>(1)</sup> und <i>x</i><sub>4</sub><sup>(7)</sup> rot eingezeichnet.{{end}}<br> | ||
+ | |||
+ | In gewisser Weise könnte man auch einen (<i>n</i>, <i>k</i>)–Faltungscode mit Gedächtnis <i>m</i> ≥ 1 als Blockcode interpretieren, dessen Codeparameter <i>n</i>' >> <i>n</i> und <i>k</i>' >> <i>k</i> allerdings sehr viel größere Werte annehmen müssten als die des vorliegenden Faltungscodes. Aufgrund der großen Unterschiede in der Beschreibung, in den Eigenschaften und insbesondere bei der Decodierung betrachten wir aber Faltungscodes in diesem Lerntutorial als etwas völlig Neues. Hierfür sprechen folgende Gründe: | ||
+ | *Ein Blockcodierer setzt Informationsworte der Länge <i>k</i> Bit blockweise in Codeworte mit <i>n</i> Bit um. Der Blockcode ist dabei um so leistungsfähiger, je größer seine Codewortlänge <i>n</i> ist. Bei gegebener Coderate <i>R</i> = <i>k</i>/<i>n</i> erfordert dies auch eine große Informationswortlänge <i>k</i>.<br> | ||
+ | |||
+ | *Dagegen wird die Korrekturfähigkeit eines Faltungscodes im wesentlichen durch sein Gedächtnis <i>m</i> bestimmt. Die Codeparameter <i>k</i> und <i>n</i> werden hier meist sehr klein gewählt (1, 2, 3, ...). Von praktischer Bedeutung sind somit nur ganz wenige und zudem sehr einfache Faltungscodes.<br> | ||
+ | |||
+ | *Auch schon bei kleinen Werten für <i>k</i> und <i>n</i> überführt ein Faltungscoder eine ganze Sequenz von Informationsbits (<i>k</i>' → ∞) in eine sehr lange Sequenz von Codebits (<i>n</i>' = <i>k</i>'/<i>R</i>). Ein solcher Code bietet somit oft ebenfalls eine große Korrekturfähigkeit.<br> | ||
+ | |||
+ | *Es gibt effiziente Faltungsdecoder ⇒ Viterbi–Algorithmus bzw. BCJR–Algorithmus. Diese können <i>Soft–Decision–Input</i> (Zuverlässigkeitsinformationen über den Kanal) einfach verarbeiten und liefern auch <i>Soft–Decision–Output</i> (Zuverlässigkeitsinformation über das Decodierergebnis).<br> | ||
Revision as of 13:13, 15 January 2017
Voraussetzungen und Definitionen
Wir betrachten in diesem Kapitel eine unendlich lange binäre Informationssequenz u und unterteilen diese in Informationsblöcke ui zu je k Bit. Man kann diesen Sachverhalt wie folgt formalisieren:
\[\underline{\it u} = \left ( \underline{\it u}_1, \underline{\it u}_2, ... \hspace{0.1cm}, \underline{\it u}_i , ... \hspace{0.1cm}\right ) \hspace{0.3cm}{\rm mit}\hspace{0.3cm} \underline{\it u}_i = \left ( u_i^{(1)}, u_i^{(2)}, ... \hspace{0.1cm}, u_i^{(k)}\right )\hspace{0.05cm},\]
\[u_i^{(j)}\in {\rm GF(2)}\hspace{0.3cm}{\rm f\ddot{u}r} \hspace{0.3cm}1 \le j \le k \hspace{0.5cm}\Rightarrow \hspace{0.5cm} \underline{\it u}_i \in {\rm GF}(2^k)\hspace{0.05cm}.\]
Im Englischen bezeichnet man eine solche Sequenz ohne negative Indizes als semi–infinite.
\[\underline{\it x}_i = \left ( x_i^{(1)}, x_i^{(2)}, ... \hspace{0.1cm}, x_i^{(n)}\right )\in {\rm GF}(2^n)\hspace{0.05cm}.\]
Dieses ergibt sich entsprechend
- den k Bit des aktuellen Informationsblockes ui, und
- den m vorherigen Informationsblöcken u i–1, ... , u i–m.
Die folgende Grafik verdeutlicht diesen Sachverhalt für die Parameter k = 4, n = 7, m = 2 und i = 4. Die n = 7 zum Zeitpunkt i = 4 erzeugten Codebits x4(1), ... , x4(7) können (direkt) von den k · (m + 1) = 12 rot markierten Informationsbits abhängen und werden durch Modulo–2–Additionen erzeugt.
Gelb eingezeichnet ist zudem ein (n, k)–Faltungscodierer. Zu beachten ist, dass sich der Vektor ui und die Sequenz u(i) grundlegend unterscheiden. Während ui = (ui(1), ui(2), ... , ui(k)) die k zum Zeitpunkt i parallel anliegenden Informationsbits zusammenfasst, bezeichnet u(i) = (u1(i), u2(i), ...) die (horizontale) Sequenz am i–ten Eingang des Faltungscodierers. Für den Faltungscode gelten folgende Definitionen:
- Die Coderrate ergibt sich wie bei den Blockcodes zu R = k/n.
- Man bezeichnet m als das Gedächtnis (englisch: Memory) des Codes und den Convolutional Code selbst mit CC(n, k, m).
- Daraus ergibt sich die Einflusslänge (englisch: Constraint Length) zu ν = m + 1.
- Für k > 1 gibt man diese Parameter oft auch in Bit an: mBit = m · k bzw. νBit = (m + 1) · k.
Gemeinsamkeiten und Unterschiede gegenüber Blockcodes
Aus der Definition auf der letzten Seite ist ersichtlich, dass ein binärer Faltungscode mit m = 0 (also ohne Gedächtnis) identisch wäre mit einem binären Blockcode wie in Kapitel 1 beschrieben. Wir schließen diesen Grenzfall aus und setzen deshalb für das Folgende stets voraus:
- Das Gedächtnis m sei größer oder gleich 1.
- Die Einflusslänge ν sei größer oder gleich 2.
Gilt beispielsweise x4(1) = u4(1), x4(2) = u4(2), x4(3) = u4(3), x4(4) = u4(4) sowie
\[x_4^{(5)} = u_4^{(1)}+ u_4^{(2)}+u_4^{(3)}\hspace{0.05cm} ,\hspace{0.3cm} x_4^{(6)} = u_4^{(2)}+ u_4^{(3)}+u_4^{(4)}\hspace{0.05cm} ,\hspace{0.3cm} x_4^{(7)} = u_4^{(1)}+ u_4^{(2)}+u_4^{(4)}\hspace{0.05cm} ,\]
so handelt es sich um einen so genannten systematischen Hamming–Code (7, 4, 3) entsprechend Kapitel 1.3. In der Grafik sind diese speziellen Abhängigkeiten für x4(1) und x4(7) rot eingezeichnet.
In gewisser Weise könnte man auch einen (n, k)–Faltungscode mit Gedächtnis m ≥ 1 als Blockcode interpretieren, dessen Codeparameter n' >> n und k' >> k allerdings sehr viel größere Werte annehmen müssten als die des vorliegenden Faltungscodes. Aufgrund der großen Unterschiede in der Beschreibung, in den Eigenschaften und insbesondere bei der Decodierung betrachten wir aber Faltungscodes in diesem Lerntutorial als etwas völlig Neues. Hierfür sprechen folgende Gründe:
- Ein Blockcodierer setzt Informationsworte der Länge k Bit blockweise in Codeworte mit n Bit um. Der Blockcode ist dabei um so leistungsfähiger, je größer seine Codewortlänge n ist. Bei gegebener Coderate R = k/n erfordert dies auch eine große Informationswortlänge k.
- Dagegen wird die Korrekturfähigkeit eines Faltungscodes im wesentlichen durch sein Gedächtnis m bestimmt. Die Codeparameter k und n werden hier meist sehr klein gewählt (1, 2, 3, ...). Von praktischer Bedeutung sind somit nur ganz wenige und zudem sehr einfache Faltungscodes.
- Auch schon bei kleinen Werten für k und n überführt ein Faltungscoder eine ganze Sequenz von Informationsbits (k' → ∞) in eine sehr lange Sequenz von Codebits (n' = k'/R). Ein solcher Code bietet somit oft ebenfalls eine große Korrekturfähigkeit.
- Es gibt effiziente Faltungsdecoder ⇒ Viterbi–Algorithmus bzw. BCJR–Algorithmus. Diese können Soft–Decision–Input (Zuverlässigkeitsinformationen über den Kanal) einfach verarbeiten und liefern auch Soft–Decision–Output (Zuverlässigkeitsinformation über das Decodierergebnis).