Aufgaben:Aufgabe 3.11: Viterbi-Empfänger und Trellisdiagramm: Unterschied zwischen den Versionen
(4 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
Zeile 3: | Zeile 3: | ||
[[Datei:P_ID1475__Dig_A_3_11.png|right|frame|Trellisdiagramm für einen Vorläufer]] | [[Datei:P_ID1475__Dig_A_3_11.png|right|frame|Trellisdiagramm für einen Vorläufer]] | ||
− | Der Viterbi–Empfänger erlaubt eine aufwandsgünstige Realisierung der Maximum–Likelihood–Entscheidungsregel. Er beinhaltet die im Folgenden aufgeführten Systemkomponenten: | + | Der Viterbi–Empfänger erlaubt eine aufwandsgünstige Realisierung der Maximum–Likelihood–Entscheidungsregel. Er beinhaltet die im Folgenden aufgeführten Systemkomponenten: |
− | * | + | * Ein an den Sendegrundimpuls angepasstes Matched–Filter mit Frequenzgang $H_{\rm MF}(f)$ und Ausgangssignal $m(t)$, |
− | * einen Abtaster im Abstand der Symboldauer | + | |
+ | * einen Abtaster im Abstand der Symboldauer $T$, der das zeitkontinuierliche Signal $m(t)$ in die zeitdiskrete Folge $〈m_{\rm \nu}〉$ wandelt, | ||
+ | |||
* ein Dekorrelationsfilter mit Frequenzgang $H_{\rm DF}(f)$ zur Entfernung statistischer Bindungen zwischen den Störanteilen der Folge $〈d_{\rm \nu}〉$, | * ein Dekorrelationsfilter mit Frequenzgang $H_{\rm DF}(f)$ zur Entfernung statistischer Bindungen zwischen den Störanteilen der Folge $〈d_{\rm \nu}〉$, | ||
− | |||
+ | * den Viterbi–Entscheider, der mit einem trellisbasierten Algorithmus die Sinkensymbolfolge $〈v_{\rm \nu}〉$ gewinnt. | ||
− | |||
+ | Die Grafik zeigt das vereinfachte Trellisdiagramm der beiden Zustände "$0$" und "$1$" für die Zeitpunkte $\nu ≤ 5$. Dieses Diagramm erhält man als Ergebnis der Auswertung der beiden minimalen Gesamtfehlergrößen ${\it \Gamma}_{\rm \nu}(0)$ und ${\it \Gamma}_{\rm \nu}(1)$ entsprechend der [[Aufgaben:3.11Z_Maximum-Likelihood-Fehlergrößen| Aufgabe 3.11Z]]. | ||
+ | Hinweise: | ||
+ | *Die Aufgabe gehört zum Kapitel [[Digitalsignal%C3%BCbertragung/Viterbi%E2%80%93Empf%C3%A4nger|"Viterbi–Empfänger"]]. | ||
− | + | *Bezug genommen wird auch auf den Abschnitt [[Digitalsignalübertragung/Optimale_Empfängerstrategien#Maximum-a-posteriori.E2.80.93_und_Maximum.E2.80.93Likelihood.E2.80.93Entscheidungsregel|"MAP– und Maximum–Likelihood–Entscheidungsregel"]]. | |
− | |||
− | *Bezug genommen wird auch auf den Abschnitt [[Digitalsignalübertragung/Optimale_Empfängerstrategien# | ||
− | * Alle Größen sind hier normiert zu verstehen. Gehen Sie zudem von unipolaren und gleichwahrscheinlichen Amplitudenkoeffizienten aus: ${\rm Pr} (a_\nu = 0) = {\rm Pr} (a_\nu = 1)= 0.5.$ | + | * Alle Größen sind hier normiert zu verstehen. Gehen Sie zudem von unipolaren und gleichwahrscheinlichen Amplitudenkoeffizienten aus: |
− | + | :$${\rm Pr} (a_\nu = 0) = {\rm Pr} (a_\nu = 1)= 0.5.$$ | |
Zeile 31: | Zeile 33: | ||
+ Das Matched–Filter $H_{\rm MF}(f)$ dient vorwiegend der Störleistungsbegrenzung. | + Das Matched–Filter $H_{\rm MF}(f)$ dient vorwiegend der Störleistungsbegrenzung. | ||
+ Das Dekorrelationsfilter entfernt Bindungen zwischen den Abtastwerten. | + Das Dekorrelationsfilter entfernt Bindungen zwischen den Abtastwerten. | ||
− | - Die Störleistung wird nur von $H_{\rm MF}(f)$, nicht von $H_{\rm DF}(f)$ beeinflusst. | + | - Die Störleistung wird nur von $H_{\rm MF}(f)$, nicht aber von $H_{\rm DF}(f)$ beeinflusst. |
{Zu welchen Zeiten $\nu$ kann man das aktuelle Symbol $a_{\rm \nu}$ endgültig entscheiden? | {Zu welchen Zeiten $\nu$ kann man das aktuelle Symbol $a_{\rm \nu}$ endgültig entscheiden? | ||
Zeile 41: | Zeile 43: | ||
+ $\nu = 5.$ | + $\nu = 5.$ | ||
− | {Wie lautet die vom Viterbi–Empfänger entschiedene Folge? | + | {Wie lautet die gesamte vom Viterbi–Empfänger entschiedene Folge? |
|type="{}"} | |type="{}"} | ||
$a_1 \ = \ $ { 0. } | $a_1 \ = \ $ { 0. } | ||
Zeile 51: | Zeile 53: | ||
{Welche der folgenden Aussagen sind zutreffend? | {Welche der folgenden Aussagen sind zutreffend? | ||
|type="[]"} | |type="[]"} | ||
− | - Es ist sicher, dass die erkannte Folge auch gesendet wurde. | + | - Es ist sicher, dass die erkannte Folge auch gesendet wurde. |
+ Ein MAP–Empfänger hätte die gleiche Fehlerwahrscheinlichkeit. | + Ein MAP–Empfänger hätte die gleiche Fehlerwahrscheinlichkeit. | ||
- Schwellenwertentscheidung ist gleich gut wie dieser Maximum–Likelihood–Empfänger. | - Schwellenwertentscheidung ist gleich gut wie dieser Maximum–Likelihood–Empfänger. | ||
Zeile 58: | Zeile 60: | ||
===Musterlösung=== | ===Musterlösung=== | ||
{{ML-Kopf}} | {{ML-Kopf}} | ||
− | '''(1)''' Richtig sind die <u>beiden ersten Lösungsvorschläge</u>: | + | '''(1)''' Richtig sind die <u>beiden ersten Lösungsvorschläge</u>: |
− | *Das Signal $m(t)$ nach dem Matched–Filter $H_{\rm MF}(f)$ weist das größtmögliche Signal–zu–Störleistungsverhältnis auf. | + | *Das Signal $m(t)$ nach dem Matched–Filter $H_{\rm MF}(f)$ weist das größtmögliche Signal–zu–Störleistungsverhältnis $\rm (SNR)$ auf. |
− | * Die Störanteile der Folge $〈m_{\rm \nu}〉$ sind aber aufgrund der spektralen Formung (stark) korreliert. | + | * Die Störanteile der Folge $〈m_{\rm \nu}〉$ sind aber aufgrund der spektralen Formung (stark) korreliert. |
− | *Aufgabe des zeitdiskreten Dekorrelationsfilters mit dem Frequenzgang $H_{\rm DF}(f)$ ist es, diese Bindungen aufzulösen, weshalb für $H_{\rm DF}(f)$ auch der Name „Whitening–Filter” verwendet wird. | + | *Aufgabe des zeitdiskreten Dekorrelationsfilters mit dem Frequenzgang $H_{\rm DF}(f)$ ist es, diese Bindungen aufzulösen, weshalb für $H_{\rm DF}(f)$ auch der Name „Whitening–Filter” verwendet wird. |
*Dies ist allerdings nur auf Kosten einer erhöhten Störleistung möglich ⇒ der letzte Lösungsvorschlag trifft demnach nicht zu. | *Dies ist allerdings nur auf Kosten einer erhöhten Störleistung möglich ⇒ der letzte Lösungsvorschlag trifft demnach nicht zu. | ||
− | |||
− | Dagegen ist zum Zeitpunkt $\nu = 2$ eine Entscheidung bezüglich des Symbols $a_2$ nicht möglich. | + | '''(2)''' Die beiden bei $\underline {\nu = 1}$ ankommenden Pfeile sind jeweils blau gezeichnet und kennzeichnen das Symbol $a_1 = 0$. Somit ist bereits zu diesem Zeitpunkt das Ausgangssymbol $a_1$ festgelegt. Ebenso stehen die Symbole $a_3 = 1$ und $a_5 = 0$ bereits zu den Zeitpunkten $\underline {\nu = 3}$ bzw. $\underline {\nu = 5}$ fest. |
− | *Unter der Hypothese, dass das | + | |
− | * Dagegen führt die Hypothese $a_3 = 1$ zum Ergebnis $a_2 = 0$ (der bei „$1$” ankommende Pfad ist blau). | + | Dagegen ist zum Zeitpunkt $\nu = 2$ eine Entscheidung bezüglich des Symbols $a_2$ nicht möglich. |
+ | *Unter der Hypothese, dass das nächste Symbol $a_3 = 0$ sein wird, würde sich Symbol $a_2 = 1$ ergeben (bei „$0$” kommt ein roter Pfad an, also von „$1$” kommend). | ||
+ | * Dagegen führt die Hypothese $a_3 = 1$ zum Ergebnis $a_2 = 0$ (der bei „$1$” ankommende Pfad ist blau). | ||
− | Ähnlich verhält es sich zum Zeitpunkt $\nu = 4$. | + | Ähnlich verhält es sich zum Zeitpunkt $\nu = 4$. |
− | '''(3)''' Aus den durchgehenden Pfaden bei $\nu = 5$ ist ersichtlich: | + | '''(3)''' Aus den durchgehenden Pfaden bei $\nu = 5$ ist ersichtlich: |
:$$a_{1}\hspace{0.15cm}\underline {=0} \hspace{0.05cm},\hspace{0.2cm} | :$$a_{1}\hspace{0.15cm}\underline {=0} \hspace{0.05cm},\hspace{0.2cm} | ||
a_{2}\hspace{0.15cm}\underline { =0} \hspace{0.05cm},\hspace{0.2cm}a_{3}\hspace{0.15cm}\underline {=1} | a_{2}\hspace{0.15cm}\underline { =0} \hspace{0.05cm},\hspace{0.2cm}a_{3}\hspace{0.15cm}\underline {=1} | ||
Zeile 83: | Zeile 86: | ||
'''(4)''' Richtig ist nur die <u>zweite Aussage</u>: | '''(4)''' Richtig ist nur die <u>zweite Aussage</u>: | ||
− | *Da die Quellensymbole „$0$” und „$1$” als gleichwahrscheinlich vorausgesetzt wurden, ist der ML–Empfänger (Viterbi) identisch mit dem MAP–Empfänger. | + | *Da die Quellensymbole „$0$” und „$1$” als gleichwahrscheinlich vorausgesetzt wurden, ist der ML–Empfänger (Viterbi) identisch mit dem MAP–Empfänger. |
− | *Ein Schwellenwertentscheider & | + | *Ein Schwellenwertentscheider (der zu jedem Takt eine symbolweise Entscheidung trifft) hat nur dann die gleiche Fehlerwahrscheinlichkeit wie der Viterbi–Empfänger, wenn es keine Impulsinterferenzen gibt. |
− | *Dies ist hier offensichtlich nicht der Fall, sonst müsste zu jedem Zeitpunkt $\nu$ eine endgültige Entscheidung getroffen werden können. | + | *Dies ist hier offensichtlich nicht der Fall, sonst müsste zu jedem Zeitpunkt $\nu$ eine endgültige Entscheidung getroffen werden können. |
− | *Die erste Aussage trifft ebenfalls nicht zu. Das würde nämlich bedeuten, dass der Viterbi–Empfänger bei Vorhandensein von statistischem Rauschen die Fehlerwahrscheinlichkeit $0$ haben kann. Dies ist aus informationstheoretischen Gründen nicht möglich. | + | *Die erste Aussage trifft ebenfalls nicht zu. Das würde nämlich bedeuten, dass der Viterbi–Empfänger bei Vorhandensein von statistischem Rauschen die Fehlerwahrscheinlichkeit $0$ haben kann. Dies ist aber aus informationstheoretischen Gründen nicht möglich. |
{{ML-Fuß}} | {{ML-Fuß}} | ||
Aktuelle Version vom 5. Juli 2022, 14:02 Uhr
Der Viterbi–Empfänger erlaubt eine aufwandsgünstige Realisierung der Maximum–Likelihood–Entscheidungsregel. Er beinhaltet die im Folgenden aufgeführten Systemkomponenten:
- Ein an den Sendegrundimpuls angepasstes Matched–Filter mit Frequenzgang $H_{\rm MF}(f)$ und Ausgangssignal $m(t)$,
- einen Abtaster im Abstand der Symboldauer $T$, der das zeitkontinuierliche Signal $m(t)$ in die zeitdiskrete Folge $〈m_{\rm \nu}〉$ wandelt,
- ein Dekorrelationsfilter mit Frequenzgang $H_{\rm DF}(f)$ zur Entfernung statistischer Bindungen zwischen den Störanteilen der Folge $〈d_{\rm \nu}〉$,
- den Viterbi–Entscheider, der mit einem trellisbasierten Algorithmus die Sinkensymbolfolge $〈v_{\rm \nu}〉$ gewinnt.
Die Grafik zeigt das vereinfachte Trellisdiagramm der beiden Zustände "$0$" und "$1$" für die Zeitpunkte $\nu ≤ 5$. Dieses Diagramm erhält man als Ergebnis der Auswertung der beiden minimalen Gesamtfehlergrößen ${\it \Gamma}_{\rm \nu}(0)$ und ${\it \Gamma}_{\rm \nu}(1)$ entsprechend der Aufgabe 3.11Z.
Hinweise:
- Die Aufgabe gehört zum Kapitel "Viterbi–Empfänger".
- Bezug genommen wird auch auf den Abschnitt "MAP– und Maximum–Likelihood–Entscheidungsregel".
- Alle Größen sind hier normiert zu verstehen. Gehen Sie zudem von unipolaren und gleichwahrscheinlichen Amplitudenkoeffizienten aus:
- $${\rm Pr} (a_\nu = 0) = {\rm Pr} (a_\nu = 1)= 0.5.$$
Fragebogen
Musterlösung
- Das Signal $m(t)$ nach dem Matched–Filter $H_{\rm MF}(f)$ weist das größtmögliche Signal–zu–Störleistungsverhältnis $\rm (SNR)$ auf.
- Die Störanteile der Folge $〈m_{\rm \nu}〉$ sind aber aufgrund der spektralen Formung (stark) korreliert.
- Aufgabe des zeitdiskreten Dekorrelationsfilters mit dem Frequenzgang $H_{\rm DF}(f)$ ist es, diese Bindungen aufzulösen, weshalb für $H_{\rm DF}(f)$ auch der Name „Whitening–Filter” verwendet wird.
- Dies ist allerdings nur auf Kosten einer erhöhten Störleistung möglich ⇒ der letzte Lösungsvorschlag trifft demnach nicht zu.
(2) Die beiden bei $\underline {\nu = 1}$ ankommenden Pfeile sind jeweils blau gezeichnet und kennzeichnen das Symbol $a_1 = 0$. Somit ist bereits zu diesem Zeitpunkt das Ausgangssymbol $a_1$ festgelegt. Ebenso stehen die Symbole $a_3 = 1$ und $a_5 = 0$ bereits zu den Zeitpunkten $\underline {\nu = 3}$ bzw. $\underline {\nu = 5}$ fest.
Dagegen ist zum Zeitpunkt $\nu = 2$ eine Entscheidung bezüglich des Symbols $a_2$ nicht möglich.
- Unter der Hypothese, dass das nächste Symbol $a_3 = 0$ sein wird, würde sich Symbol $a_2 = 1$ ergeben (bei „$0$” kommt ein roter Pfad an, also von „$1$” kommend).
- Dagegen führt die Hypothese $a_3 = 1$ zum Ergebnis $a_2 = 0$ (der bei „$1$” ankommende Pfad ist blau).
Ähnlich verhält es sich zum Zeitpunkt $\nu = 4$.
(3) Aus den durchgehenden Pfaden bei $\nu = 5$ ist ersichtlich:
- $$a_{1}\hspace{0.15cm}\underline {=0} \hspace{0.05cm},\hspace{0.2cm} a_{2}\hspace{0.15cm}\underline { =0} \hspace{0.05cm},\hspace{0.2cm}a_{3}\hspace{0.15cm}\underline {=1} \hspace{0.05cm},\hspace{0.2cm} a_{4}\hspace{0.15cm}\underline {=0} \hspace{0.05cm},\hspace{0.2cm} a_{5}\hspace{0.15cm}\underline {=0} \hspace{0.05cm}.$$
(4) Richtig ist nur die zweite Aussage:
- Da die Quellensymbole „$0$” und „$1$” als gleichwahrscheinlich vorausgesetzt wurden, ist der ML–Empfänger (Viterbi) identisch mit dem MAP–Empfänger.
- Ein Schwellenwertentscheider (der zu jedem Takt eine symbolweise Entscheidung trifft) hat nur dann die gleiche Fehlerwahrscheinlichkeit wie der Viterbi–Empfänger, wenn es keine Impulsinterferenzen gibt.
- Dies ist hier offensichtlich nicht der Fall, sonst müsste zu jedem Zeitpunkt $\nu$ eine endgültige Entscheidung getroffen werden können.
- Die erste Aussage trifft ebenfalls nicht zu. Das würde nämlich bedeuten, dass der Viterbi–Empfänger bei Vorhandensein von statistischem Rauschen die Fehlerwahrscheinlichkeit $0$ haben kann. Dies ist aber aus informationstheoretischen Gründen nicht möglich.