Aufgaben:Aufgabe 3.11: Viterbi-Empfänger und Trellisdiagramm: Unterschied zwischen den Versionen

Aus LNTwww
Wechseln zu:Navigation, Suche
 
(7 dazwischenliegende Versionen von 2 Benutzern 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 angepasse Matched–Filter mit Frequenzgang $H_{\rm MF}(f)$ und Ausgangssignal $m(t)$,
+
* Ein an den Sendegrundimpuls angepasstes Matched–Filter mit Frequenzgang  $H_{\rm MF}(f)$  und Ausgangssignal  $m(t)$,
* einen Abtaster im Abstand der Symboldauer (Bitdauer) $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.
 
  
 +
* einen Abtaster im Abstand der Symboldauer  $T$,  der das zeitkontinuierliche Signal  $m(t)$  in die zeitdiskrete Folge  $〈m_{\rm \nu}〉$  wandelt,
  
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]].
+
* 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.
  
  
''Hinweise:''
+
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]].
*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#MAP.E2.80.93_und_Maximum.E2.80.93Likelihood.E2.80.93Entscheidungsregel|MAP– und Maximum–Likelihood–Entscheidungsregel]].
+
 
*Sollte die Eingabe des Zahlenwertes „0” erforderlich sein, so geben Sie bitte „0.” ein.
+
 
* Alle Größen sind hier normiert zu verstehen. Gehen Sie izudem von unipolaren und gleichwahrscheinlichen Amplitudenkoeffizienten aus: ${\rm Pr} (a_\nu = 0) = {\rm Pr} (a_\nu = 1)= 0.5.$
+
 
* Die Thematik wird auch im Interaktionsmodul  [[Eigenschaften des Viterbi–Empfängers]] behandelt.
+
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"]].
 +
 +
* 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 26: Zeile 31:
 
{Welche der folgenden Aussagen sind zutreffend?
 
{Welche der folgenden Aussagen sind zutreffend?
 
|type="[]"}
 
|type="[]"}
+ 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?
 
|type="[]"}
 
|type="[]"}
 
+ $\nu = 1,$
 
+ $\nu = 1,$
Zeile 38: 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 48: 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 55: Zeile 60:
 
===Musterlösung===
 
===Musterlösung===
 
{{ML-Kopf}}
 
{{ML-Kopf}}
'''(1)'''&nbsp; Richtig sind die <u>beiden ersten Lösungsvorschläge</u>:  
+
'''(1)'''&nbsp; Richtig sind die&nbsp; <u>beiden ersten Lösungsvorschläge</u>:  
*Das Signal $m(t)$ nach dem Matched&ndash;Filter $H_{\rm MF}(f)$ weist das größtmögliche Signal&ndash;zu&ndash;Störleistungsverhältnis auf.
+
*Das Signal&nbsp; $m(t)$&nbsp; nach dem Matched&ndash;Filter&nbsp; $H_{\rm MF}(f)$&nbsp; weist das größtmögliche Signal&ndash;zu&ndash;Störleistungsverhältnis&nbsp; $\rm (SNR)$&nbsp; auf.
* Die Störanteile der Folge $&#9001;m_{\rm \nu}&#9002;$ sind aber aufgrund der spektralen Formung (stark) korreliert.  
+
* Die Störanteile der Folge&nbsp; $&#9001;m_{\rm \nu}&#9002;$&nbsp; 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 &bdquo;Whitening&ndash;Filter&rdquo; verwendet wird.  
+
*Aufgabe des zeitdiskreten Dekorrelationsfilters mit dem Frequenzgang&nbsp; $H_{\rm DF}(f)$&nbsp; ist es,&nbsp; diese Bindungen aufzulösen,&nbsp; weshalb für&nbsp; $H_{\rm DF}(f)$&nbsp; auch der Name&nbsp; &bdquo;Whitening&ndash;Filter&rdquo;&nbsp; verwendet wird.  
 
*Dies ist allerdings nur auf Kosten einer erhöhten Störleistung möglich &nbsp; &#8658; &nbsp; der letzte Lösungsvorschlag trifft demnach nicht zu.
 
*Dies ist allerdings nur auf Kosten einer erhöhten Störleistung möglich &nbsp; &#8658; &nbsp; der letzte Lösungsvorschlag trifft demnach nicht zu.
  
  
'''(2)'''&nbsp; 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.  
+
'''(2)'''&nbsp; Die beiden bei&nbsp; $\underline {\nu = 1}$&nbsp; ankommenden Pfeile sind jeweils blau gezeichnet und kennzeichnen das Symbol&nbsp; $a_1 = 0$.&nbsp; Somit ist bereits zu diesem Zeitpunkt das Ausgangssymbol&nbsp; $a_1$&nbsp; festgelegt.&nbsp; Ebenso stehen die Symbole&nbsp; $a_3 = 1$&nbsp; und&nbsp; $a_5 = 0$&nbsp; bereits zu den Zeitpunkten&nbsp; $\underline {\nu = 3}$&nbsp; bzw.&nbsp; $\underline {\nu = 5}$&nbsp; fest.
*Unter der Hypothese, dass das nachfolgende Symbol $a_3 = 0$ sein wird, würde sich Symbol $a_2 = 1$ ergeben (bei &bdquo;$0$&rdquo; kommt ein roter Pfad an, also von &bdquo;$1$&rdquo; kommend).  
+
 
* Dagegen führt die Hypothese $a_3 = 1$ zum Ergebnis $a_2 = 0$ (der bei &bdquo;$1$&rdquo; ankommende Pfad ist blau).
+
Dagegen ist zum Zeitpunkt&nbsp; $\nu = 2$&nbsp; eine Entscheidung bezüglich des Symbols&nbsp; $a_2$&nbsp; nicht möglich.  
 +
*Unter der Hypothese,&nbsp; dass das nächste Symbol&nbsp; $a_3 = 0$&nbsp; sein wird,&nbsp; würde sich Symbol&nbsp; $a_2 = 1$&nbsp; ergeben&nbsp; (bei &bdquo;$0$&rdquo; kommt ein roter Pfad an,&nbsp; also von &bdquo;$1$&rdquo; kommend).  
 +
* Dagegen führt die Hypothese&nbsp; $a_3 = 1$&nbsp; zum Ergebnis&nbsp; $a_2 = 0$&nbsp; (der bei &bdquo;$1$&rdquo; ankommende Pfad ist blau).
  
  
Ähnlich verhält es sich zum Zeitpunkt $\nu = 4$.
+
Ähnlich verhält es sich zum Zeitpunkt&nbsp; $\nu = 4$.
  
  
'''(3)'''&nbsp; Aus den durchgehenden Pfaden bei $\nu = 5$ ist ersichtlich:
+
'''(3)'''&nbsp; Aus den durchgehenden Pfaden bei&nbsp; $\nu = 5$&nbsp; 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 80: Zeile 86:
  
 
'''(4)'''&nbsp; Richtig ist nur die <u>zweite Aussage</u>:  
 
'''(4)'''&nbsp; Richtig ist nur die <u>zweite Aussage</u>:  
*Da die Quellensymbole &bdquo;$0$&rdquo; und &bdquo;$1$&rdquo; als gleichwahrscheinlich vorausgesetzt wurden, ist der ML&ndash;Empfänger (Viterbi) identisch mit dem MAP&ndash;Empfänger.  
+
*Da die Quellensymbole&nbsp; &bdquo;$0$&rdquo;&nbsp; und&nbsp; &bdquo;$1$&rdquo;&nbsp; als gleichwahrscheinlich vorausgesetzt wurden,&nbsp; ist der ML&ndash;Empfänger&nbsp; (Viterbi)&nbsp; identisch mit dem MAP&ndash;Empfänger.  
*Ein Schwellenwertentscheider &ndash; der zu jedem Takt eine symbolweise Entscheidung trifft &ndash; hat nur dann die gleiche Fehlerwahrscheinlichkeit wie der Viterbi&ndash;Empfänger, wenn es keine Impulsinterferenzen gibt.  
+
*Ein Schwellenwertentscheider&nbsp; (der zu jedem Takt eine symbolweise Entscheidung trifft)&nbsp; hat nur dann die gleiche Fehlerwahrscheinlichkeit wie der Viterbi&ndash;Empfänger,&nbsp; 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,&nbsp; sonst müsste zu jedem Zeitpunkt&nbsp; $\nu$&nbsp; eine endgültige Entscheidung getroffen werden können.  
*Die erste Aussage trifft ebenfalls nicht zu. Das würde nämlich bedeuten, dass der Viterbi&ndash;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.&nbsp; Das würde nämlich bedeuten,&nbsp; dass der Viterbi&ndash;Empfänger bei Vorhandensein von statistischem Rauschen die Fehlerwahrscheinlichkeit&nbsp; $0$&nbsp; haben kann.&nbsp; Dies ist aber aus informationstheoretischen Gründen nicht möglich.
 
{{ML-Fuß}}
 
{{ML-Fuß}}
  

Aktuelle Version vom 5. Juli 2022, 14:02 Uhr

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:

  • 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:

  • 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

1

Welche der folgenden Aussagen sind zutreffend?

Das Matched–Filter  $H_{\rm MF}(f)$  dient vorwiegend der Störleistungsbegrenzung.
Das Dekorrelationsfilter entfernt Bindungen zwischen den Abtastwerten.
Die Störleistung wird nur von  $H_{\rm MF}(f)$,  nicht aber von  $H_{\rm DF}(f)$  beeinflusst.

2

Zu welchen Zeiten  $\nu$  kann man das aktuelle Symbol  $a_{\rm \nu}$  endgültig entscheiden?

$\nu = 1,$
$\nu = 2,$
$\nu = 3,$
$\nu = 4,$
$\nu = 5.$

3

Wie lautet die gesamte vom Viterbi–Empfänger entschiedene Folge?

$a_1 \ = \ $

$a_2 \ = \ $

$a_3 \ = \ $

$a_4 \ = \ $

$a_5 \ = \ $

4

Welche der folgenden Aussagen sind zutreffend?

Es ist sicher,  dass die erkannte Folge auch gesendet wurde.
Ein MAP–Empfänger hätte die gleiche Fehlerwahrscheinlichkeit.
Schwellenwertentscheidung ist gleich gut wie dieser Maximum–Likelihood–Empfänger.


Musterlösung

(1)  Richtig sind die  beiden ersten Lösungsvorschläge:

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