Kanalcodierung/Grundlagen der Faltungscodierung: Unterschied zwischen den Versionen

Aus LNTwww
Wechseln zu:Navigation, Suche
Zeile 30: Zeile 30:
 
[[Datei:P ID2590 KC T 3 1 S1 v1.png|Abhängigkeiten bei einem Faltungscodierer mit <i>m</i> = 2|class=fit]]<br>
 
[[Datei:P ID2590 KC T 3 1 S1 v1.png|Abhängigkeiten bei einem Faltungscodierer mit <i>m</i> = 2|class=fit]]<br>
  
Gelb eingezeichnet ist zudem ein (<i>n</i>, <i>k</i>)&ndash;Faltungscodierer. Zu beachten ist, dass sich der Vektor <u><i>u</i></u><sub><i>i</i></sub> und die Sequenz <u><i>u</i></u><sup>(<i>i</i>)</sup> grundlegend unterscheiden. Während <u><i>u</i></u><sub><i>i</i></sub> = (<i>u<sub>i</sub></i><sup>(1)</sup>, <i>u</i><sub><i>i</i></sub><sup>(2)</sup>, ... , <i>u</i><sub><i>i</i></sub><sup>(<i>k</i>)</sup>) die <i>k</i> zum Zeitpunkt <i>i</i> parallel anliegenden Informationsbits zusammenfasst, bezeichnet <u><i>u</i></u><sup>(<i>i</i>)</sup> = (<i>u</i><sub>1</sub><sup>(<i>i</i>)</sup>, <i>u</i><sub>2</sub><sup>(<i>i</i>)</sup>, ...) die (horizontale) Sequenz am <i>i</i>&ndash;ten Eingang des Faltungscodierers. Für den Faltungscode gelten folgende Definitionen:
+
Gelb eingezeichnet ist zudem ein $(n, k)$ (<i>n</i>, <i>k</i>)&ndash;Faltungscodierer. Zu beachten ist, dass sich der Vektor $\underline{u}_i$ <u><i>u</i></u><sub><i>i</i></sub> und die Sequenz $\underline{u]^i$ <u><i>u</i></u><sup>(<i>i</i>)</sup> grundlegend unterscheiden. Während $\underline{u}_i = (u_i^{(1)}, u_i^{(2)}, \ ... \ , u_i^k$ <u><i>u</i></u><sub><i>i</i></sub> = (<i>u<sub>i</sub></i><sup>(1)</sup>, <i>u</i><sub><i>i</i></sub><sup>(2)</sup>, ... , <i>u</i><sub><i>i</i></sub><sup>(<i>k</i>)</sup>) die <i>k</i> zum Zeitpunkt $i$ <i>i</i> parallel anliegenden Informationsbits zusammenfasst, bezeichnet $\underline{u}^i = u_i^i$ <u><i>u</i></u><sup>(<i>i</i>)</sup> = (<i>u</i><sub>1</sub><sup>(<i>i</i>)</sup>, $u_2^i, \ ...)$ <i>u</i><sub>2</sub><sup>(<i>i</i>)</sup>, ...) die (horizontale) Sequenz am $i$ <i>i</i>&ndash;ten Eingang des Faltungscodierers. Für den Faltungscode gelten folgende Definitionen:
*Die <b>Coderrate</b> ergibt sich wie bei den Blockcodes zu <i>R</i> = <i>k</i>/<i>n</i>.<br>
+
*Die <b>Coderrate</b> ergibt sich wie bei den Blockcodes zu $R = k/n$ <i>R</i> = <i>k</i>/<i>n</i>.<br>
  
 
*Man bezeichnet <i>m</i> als das <b>Gedächtnis</b> (englisch: <i>Memory</i>) des Codes und den <i>Convolutional Code</i>  selbst mit CC(<i>n</i>, <i>k</i>, <i>m</i>).<br>
 
*Man bezeichnet <i>m</i> als das <b>Gedächtnis</b> (englisch: <i>Memory</i>) des Codes und den <i>Convolutional Code</i>  selbst mit CC(<i>n</i>, <i>k</i>, <i>m</i>).<br>

Version vom 23. November 2017, 09:29 Uhr

Voraussetzungen und Definitionen


Wir betrachten in diesem Kapitel eine unendlich lange binäre Informationssequenz $\underline{u}$ und unterteilen diese in Informationsblöcke $\underline{u}_i$ zu je $k \ {\rm 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.

: Bei einem binären Faltungscode (englisch: Binary Convolutional Code) wird zu dem Taktzeitpunkt $i$ ein Codewort $\underline{x}_i$ bestehend aus $n$ Codebits ausgegeben:

\[\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 $\underline{u}_i$, und
  • den $m$ vorherigen Informationsblöcken $\underline{u}_{i–1}, \ ... \ \underline{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 $x_4^{(1)}, \ ... \ , x_4^{(7)}$ können (direkt) von den $k \cdot (m+1) = 12$ rot markierten Informationsbits abhängen und werden durch Modulo–2–Additionen erzeugt.

Abhängigkeiten bei einem Faltungscodierer mit m = 2

Gelb eingezeichnet ist zudem ein $(n, k)$ (n, k)–Faltungscodierer. Zu beachten ist, dass sich der Vektor $\underline{u}_i$ ui und die Sequenz $\underline{u]^i$ u(i) grundlegend unterscheiden. Während $\underline{u}_i = (u_i^{(1)}, u_i^{(2)}, \ ... \ , u_i^k$ ui = (ui(1), ui(2), ... , ui(k)) die k zum Zeitpunkt $i$ i parallel anliegenden Informationsbits zusammenfasst, bezeichnet $\underline{u}^i = u_i^i$ u(i) = (u1(i), $u_2^i, \ ...)$ u2(i), ...) die (horizontale) Sequenz am $i$ i–ten Eingang des Faltungscodierers. Für den Faltungscode gelten folgende Definitionen:

  • Die Coderrate ergibt sich wie bei den Blockcodes zu $R = k/n$ 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.

: Bei einem (7, 4)–Blockcode hängt das Codewort x4 nur vom Informationswort u4 ab, nicht jedoch von u2 und u3, wie bei dem beispielhaften Faltungscodes (mit m = 2) auf der letzten Seite.

Abhängigkeiten bei einem (7, 4)–Blockcode zum Zeitpunkt i = 4

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).

Rate–1/2–Faltungscodierer (1)


Die Grafik zeigt einen (n = 2, k = 1)–Faltungscodierer. Zum Taktzeitpunkt i liegt das Informationsbit ui am Codereingang an und es wird ein 2–Bit–Codeblock x i = (xi(1), xi(2)) ausgegeben.

Faltungscoder (k = 1, n = 2) für ein Informationsbit ui

Unter Berücksichtigung der (halb–unendlich) langen Informationssequenz u ergibt sich folgendes Modell:

Faltungscoder (k = 1, n = 2) für die Informationssequenz u

Um aus einem einzigen Informationsbit ui zwei Codebits xi(1) und xi(2) generieren zu können, muss der Faltungscodierer mindestens ein Speicherelement beinhalten:

\[k = 1\hspace{0.05cm}, n = 2 \hspace{0.3cm}\Rightarrow \hspace{0.3cm} m \ge 1 \hspace{0.05cm}.\]

Anmerkung: Die beiden Begriffe Faltungscodierer und Faltungscoder werden in unserem Lerntutorial synonym verwendet und können beliebig ausgetauscht werden. Beide Begriffe bezeichnen die konkrete Umsetzung einer Informationssequenz u in eine Codesequenz x.

Die Begriffe Faltungscodierer und Faltungscode sollte man allerdings nicht verwechseln. Unter einem Faltungscode CC (k, n, m)  ⇒  R = k/n  versteht man die Menge aller möglichen Codesequenzen x, die mit diesem Code unter Berücksichtigung aller möglichen Informationssequenzen u (am Eingang) generiert werden kann. Es gibt verschiedene Faltungscodierer, die den gleichen Faltungscode realisieren.

: Nachfolgend ist ein Faltungscodierer für die Parameter k = 1, n = 2 und m = 1 dargestellt. Das gelbe Quadrat kennzeichnet ein Speicherelement. Dessen Beschriftung D ist von Delay abgeleitet.

Faltungscodierer mit k = 1, n = 2, m = 1 sowie Beispielsequenzen

Es handelt sich hier um einen systematischen Faltungscodierer, gekennzeichnet durch xi(1) = ui. Der zweite Ausgang liefert xi(2) = ui + ui–1. In der beispielhaften Ausgangssequenz nach Multiplexing sind alle xi(1) rot und alle xi(2) blau beschriftet.


Rate–1/2–Faltungscodierer (2)


Nachfolgend sehen Sie links das Ersatzschaltbild eines (n = 2, k = 1)–Faltungscodierers, aber nun mit m = 2 Speicherelementen. Die beiden Informationsbits lauten:

\[x_i^{(1)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{i} + u_{i-1}+ u_{i-2} \hspace{0.05cm},\] \[x_i^{(2)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{i} + u_{i-2} \hspace{0.05cm}.\]

Wegen xi(1)ui handelt es sich hier nicht um einen systematischen Code.

Faltungscoder (k = 1, n = 2, m = 2) in zwei verschiedenen Darstellungen

Rechts angegeben ist eine Realisierungsform dieses Coders. Man erkennt:

  • Die Informationssequenz u wird in einem Schieberegister der Länge L = m + 1 = 3 abgelegt.
  • Zum Taktzeitpunkt i beinhaltet das linke Speicherelement das aktuelle Informationsbit ui, das zu den nächsten Taktzeitpunkten jeweils um eine Stelle nach rechts verschoben wird.
  • Aus der Anzahl der gelben Quadrate ergibt sich wieder das Gedächtnis m = 2 des Coders.

Aus den beiden Darstellungen wird deutlich, dass xi(1) und xi(2) jeweils als der Ausgang eines Digitalen Filters über dem Galoisfeld GF(2) interpretiert werden kann, wobei beide Filter parallel mit der gleichen Eingangsfolge u arbeiten. Da sich (ganz allgemein) das Ausgangssignal eines Filters aus der Faltung des Eingangssignals mit der Filterimpulsantwort ergibt, spricht man von Faltungscodierung.

Faltungscodierer mit k = 2 Eingängen


Nun betrachten wir einen Faltungscodierer, der aus k = 2 Informationsbits n = 3 Codebits generiert. Die Informationssequenz u wird in Blöcke zu je zwei Bit aufgeteilt. Zum Taktzeitpunkt i liegt am oberen Eingang das Bit ui(1) an und am unteren Eingang ui(2). Für die n = 3 Codebits zum Zeitpunkt i gilt dann:

Faltungscodierer mit k = 2 und n = 3

\[x_i^{(1)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{i}^{(1)} + u_{i-1}^{(1)}+ u_{i-1}^{(2)} \hspace{0.05cm},\] \[x_i^{(2)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{i}^{(2)} + u_{i-1}^{(1)} \hspace{0.05cm},\] \[x_i^{(3)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{i}^{(1)} + u_{i}^{(2)}+ u_{i-1}^{(1)} \hspace{0.05cm}.\]

In der Grafik sind die Info–Bits ui(1) und ui(2) rot bzw. blau gekennzeichnet, und die vorherigen Info–Bits ui–1(1) und ui–1(2) grün bzw. braun.Anzumerken ist:

  • Das Gedächtnis m ist gleich der maximalen Speicherzellenzahl in einem Zweig   ⇒   hier m = 1.
  • Die Einflusslänge ν ist gleich der Summe aller Speicherelemente   ⇒   hier ν = 2.
  • Alle Speicherelemente seien zu Beginn der Codierung (Initialisierung) auf Null gesetzt.

Der hiermit definierte Code ist die Menge aller möglichen Codesequenzen x, die sich bei Eingabe aller möglichen Informationssequenzen u ergeben. Sowohl u als auch x seien dabei (zeitlich) unbegrenzt.

: Die Informationssequenz sei u = (0, 1, 1, 0, 0, 0, 1, 1, ...). Daraus ergeben sich die beiden Teilsequenzen u(1) = (0, 1, 0, 1, ...) und u(2) = (1, 0, 0, 1, ...). Mit der Festlegung u0(1) = u0(2) = 0 folgt aus den obigen Gleichungen für die n = 3 Codebits:
  • im ersten Codierschritt (i = 1):
\[x_1^{(1)} = u_{1}^{(1)} = 0 \hspace{0.05cm},\hspace{0.4cm} x_1^{(2)} = u_{1}^{(2)} = 1 \hspace{0.05cm},\hspace{0.4cm} x_1^{(3)} = u_{1}^{(1)} + u_{1}^{(2)} = 0+1 = 1 \hspace{0.05cm},\]
  • im zweiten Codierschritt (i = 2):
\[x_2^{(1)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{2}^{(1)} + u_{1}^{(1)}+ u_{1}^{(2)} = 1 + 0 + 1 = 0\hspace{0.05cm},\hspace{0.4cm} x_2^{(2)} = u_{2}^{(2)} + u_{1}^{(1)} = 0+0 = 0\hspace{0.05cm},\]
\[x_2^{(3)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{2}^{(1)} + u_{2}^{(2)}+ u_{1}^{(1)} = 1 + 0+0 =1\hspace{0.05cm},\]
  • im dritten Codierschritt (i = 3):
\[x_3^{(1)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{3}^{(1)} + u_{2}^{(1)}+ u_{2}^{(2)} = 0+1+0 = 1\hspace{0.05cm},\hspace{0.4cm} x_3^{(2)} = u_{3}^{(2)} + u_{2}^{(1)} = 0+1=1\hspace{0.05cm},\]
\[x_3^{(3)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{3}^{(1)} + u_{3}^{(2)}+ u_{2}^{(1)} = 0+0+1 =1\hspace{0.05cm},\]
  • und schließlich im vierten Codierschritt (i = 4):
\[x_4^{(1)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{4}^{(1)} + u_{3}^{(1)}+ u_{3}^{(2)} = 1+0+0 = 1\hspace{0.05cm},\hspace{0.4cm} x_4^{(2)} = u_{4}^{(2)} + u_{3}^{(1)} = 1+0=1\hspace{0.05cm},\]
\[x_4^{(3)} \hspace{-0.15cm} = \hspace{-0.15cm} u_{4}^{(1)} + u_{4}^{(2)}+ u_{3}^{(1)} = 1+1+0 =0\hspace{0.05cm}.\]
Damit lautet die Codesequenz nach dem Multiplexer:   x = (0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, ...).


Aufgaben


A3.1 Analyse eines Faltungscoders

Zusatzaufgaben:3.1 Faltungscodes der Rate 1/2