Aufgaben:Aufgabe 4.09: Recursive Systematic Convolutional Codes: Unterschied zwischen den Versionen

Aus LNTwww
Wechseln zu:Navigation, Suche
Zeile 136: Zeile 136:
  
  
'''(5)'''  In ähnlicher Vorgehensweise wie in der [[Aufgabe A4.8, (4)]] wird auch hier die freie Distanz zum Beispiel durch den Pfad $S_0 → S_0 → S_1 → S_2 → S_0 → S_0 → \ ... \ $ bestimmt. Die zugehörige Codesequenz $\underline{x}$ ist nun aber „ $00 11 10 11 00 \ ... $”. Damit ergibt sich die freie Distanz zu $d_{\rm F} \ \underline{= 5}$. Beim nichtrekursiven Code von Aufgabe A4.8 wurde dagegen nur die freie Distanz $d_{\rm F} = 3$ ermittelt.
+
'''(5)'''  In ähnlicher Vorgehensweise wie in der [[Aufgaben:4.08_Wiederholung_zu_den_Faltungscodes|Aufgabe A4.8, (4)]] wird auch hier die freie Distanz zum Beispiel durch den Pfad $S_0 → S_0 → S_1 → S_2 → S_0 → S_0 → \ ... \ $ bestimmt. Die zugehörige Codesequenz $\underline{x}$ ist nun aber „ $00 11 10 11 00 \ ... $”. Damit ergibt sich die freie Distanz zu $d_{\rm F} \ \underline{= 5}$. Beim nichtrekursiven Code von Aufgabe A4.8 wurde dagegen nur die freie Distanz $d_{\rm F} = 3$ ermittelt.
 
{{ML-Fuß}}
 
{{ML-Fuß}}
  

Version vom 11. Dezember 2017, 22:34 Uhr

Zustandsübergangsdiagramm eines RSC–Codes

In der Aufgabe A4.8 wurden bereits wichtige Eigenschaften von Faltungscodes aus dem Zustandsübergangsdiagramm abgeleitet, wobei von einer nichtrekursiven Filterstruktur ausgegangen wurde.

Nun wird ein Rate–1/2–RSC–Code in ähnlicher Weise behandelt. Hierbei steht „RSC” für „Recursive Systematic Convolutional”.

Die Übertragungsfunktionsmatrix eines RSC–Faltungscodes kann wie folgt angegeben werden:

$${\boldsymbol{\rm G}}(D) = \left [ 1\hspace{0.05cm},\hspace{0.3cm} G^{(2)}(D)/G^{(1)}(D) \right ] \hspace{0.05cm}.$$

Ansonsten gelten hier die genau gleichen Voraussetzungen wie bei Aufgabe A4.8. Wir verweisen wieder auf folgende Theorieseiten:

Systematische Faltungscodes (1)

Darstellung im Zustandsübergangsdiagramm (1)

Definition der freien Distanz (1)

GF(2)–Beschreibungsformen eines Digitalen Filters (2)

Anwendung der $D$–Transformation auf Rate–1/n–Faltungscodes (2)

Filterstruktur bei gebrochen–rationaler Übertragungsfunktion

Im Zustandsübergangsdiagramm wird grundsätzlich vom Zustand $S_0$ ausgegangen. Von jedem Zustand gehen zwei Pfeile ab. Die Beschriftung lautet „$u_i | x_i^{(1)}x_i^{(2)}$”. Bei einem systematischen Code gilt dabei:

  • Das erste Codebit ist identisch mit dem Informationsbit: $\hspace{0.2cm} x_i^{(1)} = u_i ∈ \{0, \, 1\}$.
  • Das zweite Codebit ist das Prüfbit (Paritybit): $\hspace{0.2cm} x_i^{(2)} = p_i ∈ \{0, \, 1\}$.


Hinweise:

  • Die Aufgabe bezieht sich auf das Kapitel Grundlegendes zu den Turbocodes.
  • Ähnliche Aufgaben finden Sie in den Kapiteln 3.1 bis 3.3.
  • In den Fragen zu dieser Aufgabe werden folgende vektoriellen Größen verwendet:
    • Informationssequenz: $\hspace{0.2cm} \underline{u} = (u_1, \, u_2, \, ...)$,
    • Paritysequenz: $\hspace{0.2cm} \underline{p} = (p_1, \, p_2, \, ...)$,
    • Impulsantwort: $\hspace{0.2cm} \underline{g} = (g_1, \, g_2, \, ...); \hspace{0.2cm}$ diese ist gleich der Paritysequenz $\underline{p}$ für $\underline{u} = (1, \, 0, \, 0, \, ...)$.


Fragebogen

1

Wie lautet die Impulsantwort $\underline{g}$?

Es gilt $\underline{g} = (1, \, 1, \, 1, \, 0, \, 1, \, 1, \, 0, \, 1, \, 1, \, ...)$.
Es gilt $\underline{g} = (1, \, 0, \, 1, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, ...)$.

2

Es gelte $\underline{u} = (1, \, 1, \, 0, \, 1)$. Welche Aussagen gelten für die Paritysequenz $\underline{p}$?

Es gilt $\underline{p} = (1, \, 0, \, 1, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, ...)$.
Es gilt $\underline{p} = (1, \, 0, \, 0, \, 0, \, 0, \, 1, \, 1, \, 0, \, 1, \, 1, \, 0, \, 1, \, ...)$.
Bei begrenzter Informationssequenz $\underline{u}$ ist stets auch $\underline{p}$ begrenzt.

3

Wie lautet die $D$–Übertragungsfunktion $G(D)$?

Es gilt $G(D) = 1 + D + D^2 + D^4 + D^5 + D^7 + D^8 + \ ... $
Es gilt $G(D) = (1 + D^2)/(1 + D + D^2)$.
Es gilt $G(D) = (1 + D + D^2)/(1 + D^2)$.

4

Es gelte $\underline{u} = (1, \, 1, \, 1)$. Welche Aussagen gelten für die Paritysequenz $\underline{p}$?

Es gilt $\underline{p} = (1, \, 0, \, 1, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, ...)$.
Es gilt $\underline{p} = (1, \, 0, \, 0, \, 0, \, 0, \, 1, \, 1, \, 0, \, 1, \, 1, \, 0, \, 1, \, ...)$.
Bei unbegrenzter Impulsantwort $\underline{g}$ ist stets auch $\underline{p}$ unbegrenzt.

5

Wie groß ist die freie Distanz dieses RSC–Coders?

$d_{\rm F} \ = \ $


Musterlösung

(1)  Verfolgt man die Übergänge im Zustandsdiagramm für die Sequenz $\underline{u} = (1, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0, \, 0)$ am Eingang, so erhält man den Weg

$$S_0 → S_1 → S_3 → S_2 → S_1 → S_3 → S_2 → S_1 → S_3 \ ...$$

Bei jedem Übergang ist das erste Codesymbol $x_i^{(1)}$ gleich dem Informationsbit $u_i$ und das Codesymbol $x_i^{(2)}$ gibt das Paritybit $p_i$ an. Damit erhält man das Ergebnis entsprechend dem Lösungsvorschlag 1:

$$\underline{p}= (\hspace{0.05cm}1\hspace{0.05cm}, \hspace{0.05cm}1\hspace{0.05cm}, \hspace{0.05cm}1\hspace{0.05cm}, \hspace{0.05cm} 0\hspace{0.05cm}, \hspace{0.05cm} 1\hspace{0.05cm}, \hspace{0.05cm} 1\hspace{0.05cm}, \hspace{0.05cm} 0\hspace{0.05cm}, \hspace{0.05cm} 1\hspace{0.05cm}, \hspace{0.05cm} 1\hspace{0.05cm},\hspace{0.05cm} ...\hspace{0.05cm}) = \underline{g}\hspace{0.05cm}.$$

Bei einem jeden RSC–Code ist die Impulsantwort $\underline{g}$ unendlich lang und wird irgendwann periodisch, hier mit der Periode $P = 3$ und „$0, \, 1, \, 1$”.


(2)  Die Grafik zeigt die Lösung dieser Aufgabe entsprechend der Gleichung $\underline{p} = \underline{u}^{\rm T} \cdot \mathbf{G}$. Hierbei ist die Generatormatrix $\mathbf{G}$ nach unten und rechts unendlich weit ausgedehnt. Richtig ist der Lösungsvorschlag 2.

Verdeutlichung von $\underline{p} = (1, \, 1, \, 0, \, 1)^{\rm T} \cdot \mathbf{G}$


(3)  Zwischen der Impulsantwort $\underline{g}$ und der $D$–Übertragungsfunktion $\mathbf{G}(D)$ besteht der Zusammenhang

$$\underline{g}= (\hspace{-0.05cm}1\hspace{-0.05cm}, \hspace{-0.05cm}1\hspace{-0.05cm}, \hspace{-0.05cm}1\hspace{-0.05cm}, \hspace{-0.05cm}0\hspace{-0.05cm}, \hspace{-0.05cm}1\hspace{-0.05cm}, \hspace{-0.05cm}1\hspace{-0.05cm}, \hspace{-0.05cm}0\hspace{-0.05cm}, \hspace{-0.05cm}1\hspace{-0.05cm}, \hspace{-0.05cm}1\hspace{-0.05cm}, ... ) \quad \circ\!\!-\!\!\!-^{\hspace{-0.25cm}D}\!\!\!-\!\!\bullet\quad G(D) = 1\hspace{-0.05cm}+\hspace{-0.05cm} D\hspace{-0.05cm} +\hspace{-0.05cm} D^2\hspace{-0.05cm} +\hspace{-0.05cm} D^4 \hspace{-0.05cm}+\hspace{-0.05cm} D^5 \hspace{-0.05cm}+\hspace{-0.05cm} D^7 \hspace{-0.05cm}+\hspace{-0.05cm} D^8 + ... \hspace{0.05cm}.$$

entsprechend dem ersten Lösungsvorschlag. Überprüfen wir nun den zweiten Vorschlag:

$$G(D) = \frac{1+ D^2}{1+ D + D^2} \hspace{0.3cm}\Rightarrow \hspace{0.3cm} G(D) \cdot [1+ D + D^2] = 1+ D^2 \hspace{0.05cm}.$$

Die folgende Rechnung zeigt, dass diese Gleichung tatsächlich stimmt:

$$(1+ D+ D^2+ D^4 +D^5 + D^7 + D^8 + ... ) \cdot (1+ D+ D^2 ) =$$
$$=1+ D+ D^2\hspace{1.05cm} +D^4 + D^5 \hspace{1.05cm} +D^7 + D^8 \hspace{1.05cm} + D^{10}+ ... $$
$$+ \hspace{0.8cm}D+ D^2+D^3 \hspace{1.05cm}+ D^5 + D^6 \hspace{1.05cm} +D^8 + D^9 \hspace{1.25cm} + ... $$
$$+ \hspace{1.63cm} D^2+D^3+ D^4 \hspace{1.05cm}+ D^6 +D^7 \hspace{1.05cm}+ D^9 + D^{10} \hspace{0.12cm}+ ... $$
$$=\underline{1\hspace{0.72 cm}+ D^2} \hspace{0.05cm}.$$

Richtig sind die Vorschläge 1 und 2. Da Gleichung (2) stimmt, muss die letzte Gleichung falsch sein.


(4)  Aus $\underline{u} = (1, \, 1, \, 1)$ folgt $U(D) = 1 + D + D^2$. Damit gilt auch:

$$P(D) = U(D) \cdot G(D) = (1+D+D^2) \cdot \frac{1+D^2}{1+D+D^2}= 1+D^2$$
$$\Rightarrow\hspace{0.3cm} \underline{p}= (\hspace{0.05cm}1\hspace{0.05cm},\hspace{0.05cm} 0\hspace{0.05cm},\hspace{0.05cm} 1\hspace{0.05cm},\hspace{0.05cm} 0\hspace{0.05cm},\hspace{0.05cm} 0\hspace{0.05cm},\hspace{0.05cm} ...\hspace{0.05cm})\hspace{0.05cm}. $$

Richtig ist somit nur der Lösungsvorschlag 1. Insbesondere ist anzumerken:

  • Wären die Größen $u_i$ und $g_i$ reellwertig, so würde die (diskrete) Faltung $\underline{p} = \underline{u} * \underline{g}$ stets zu einer Verbreiterung führen  ⇒  $\underline{p}$ wäre in diesem Fall breiter als $\underline{u}$ und auch breiter als $\underline{g}$.
  • Bei $u_i ∈ {\rm GF}(2)$ und $g_i ∈ {\rm GF}(2)$ kann es (muss es aber nicht) dagegen vorkommen, dass auch bei unbegrenztem $\underline{u}$ oder bei unbegrenztem $\underline{g}$ das Faltungsprodukt $\underline{p} = \underline{u} * \underline{g}$ begrenzt ist.


Das Ergebnis wird nun noch entsprechend der Gleichung $\underline{p} = \underline{u}^{\rm T} \cdot \mathbf{G}$ überprüft.

Verdeutlichung von $\underline{p} = (1, \, 1, \, 1, \, 0, \, ...)^{\rm T} \cdot \mathbf{G}$


(5)  In ähnlicher Vorgehensweise wie in der Aufgabe A4.8, (4) wird auch hier die freie Distanz zum Beispiel durch den Pfad $S_0 → S_0 → S_1 → S_2 → S_0 → S_0 → \ ... \ $ bestimmt. Die zugehörige Codesequenz $\underline{x}$ ist nun aber „ $00 11 10 11 00 \ ... $”. Damit ergibt sich die freie Distanz zu $d_{\rm F} \ \underline{= 5}$. Beim nichtrekursiven Code von Aufgabe A4.8 wurde dagegen nur die freie Distanz $d_{\rm F} = 3$ ermittelt.