Digitalsignalübertragung/Optimale Empfängerstrategien: Unterschied zwischen den Versionen

Aus LNTwww
Wechseln zu:Navigation, Suche
 
(25 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
Zeile 6: Zeile 6:
 
}}
 
}}
  
== Betrachtetes Szenario im Kapitel 3.7 ==
+
== Betrachtetes Szenario und Voraussetzungen==
 
<br>
 
<br>
Alle bisher beschriebenen Digitalempfänger treffen stets symbolweise Entscheidungen. Werden dagegen mehrere Symbole gleichzeitig entschieden, so können bei der Detektion statistische Bindungen zwischen den Empfangssignalabtastwerten berücksichtigt werden, was eine geringere Fehlerwahrscheinlichkeit zur Folge hat &ndash; allerdings auf Kosten einer zusätzlichen Laufzeit.<br>
+
Alle bisher beschriebenen Digitalempfänger treffen stets symbolweise Entscheidungen.&nbsp; Werden dagegen mehrere Symbole gleichzeitig entschieden,&nbsp; so können bei der Detektion statistische Bindungen zwischen den Empfangssignalabtastwerten berücksichtigt werden,&nbsp; was eine geringere Fehlerwahrscheinlichkeit zur Folge hat &ndash; allerdings auf Kosten einer zusätzlichen Laufzeit.<br>
  
In diesem &ndash; teilweise auch im nächsten Kapitel &ndash; wird von folgendem Übertragungsmodell ausgegangen:<br>
+
In diesem und auch im nächsten Kapitel wird von folgendem Übertragungsmodell ausgegangen.&nbsp; Gegenüber den vorherigen Kapiteln ergeben sich folgende Unterschiede:
  
[[Datei:P ID1455 Dig T 3 7 S1 version1.png|Übertragungssystem mit optimalem Empfänger|class=fit]]<br>
+
[[Datei:P ID1455 Dig T 3 7 S1 version1.png|right|frame|Übertragungssystem mit optimalem Empfänger|class=fit]]
  
Gegenüber den letzten Kapiteln 3.5 und 3.6 ergeben sich folgende Unterschiede:
+
*$Q \in \{Q_i\}$&nbsp; mit&nbsp; $i = 0$, ... , $M-1$&nbsp; bezeichnet eine zeitlich begrenzte Quellensymbolfolge &nbsp;$\langle q_\nu \rangle$,&nbsp; deren Symbole vom optimalen Empfänger gemeinsam entschieden werden sollen.<br>
*<i>Q</i> &#8712; {<i>Q<sub>i</sub></i>} mit <i>i</i> = 0, ... , <i>M</i>&ndash;1 bezeichnet eine zeitlich begrenzte Quellensymbolfolge &#9001;<i>q<sub>&nu;</sub></i>&#9002;, deren Symbole vom optimalen Empfänger gemeinsam entschieden werden sollen.<br>
 
  
*Beschreibt <i>Q</i> eine Folge von <i>N</i> redundanzfreien Binärsymbolen, so ist <i>M</i> = 2<sup><i>N</i></sup> zu setzen. Dagegen gibt <i>M</i> bei symbolweiser Entscheidung die Stufenzahl der digitalen Quelle an.<br>
+
*Beschreibt &nbsp;$Q$&nbsp; eine Folge von &nbsp;$N$&nbsp; redundanzfreien Binärsymbolen,&nbsp; so ist &nbsp;$M = 2^N$&nbsp; zu setzen.&nbsp; Dagegen gibt &nbsp;$M$&nbsp; bei symbolweiser Entscheidung die Stufenzahl der digitalen Quelle an.<br>
  
*Im obigen Modell werden eventuelle Kanalverzerrungen dem Sender hinzugefügt und sind somit bereits im Grundimpuls <i>g<sub>s</sub></i>(<i>t</i>) und im Signal <i>s</i>(<i>t</i>) enthalten. Diese Maßnahme dient lediglich einer einfacheren Darstellung und stellt keine Einschränkung dar.<br>
+
*Im Modell werden mögliche Kanalverzerrungen dem Sender hinzugefügt,&nbsp; sind also bereits im Grundimpuls &nbsp;$g_s(t)$&nbsp; und im Signal &nbsp;$s(t)$&nbsp; enthalten.&nbsp; Dies dient lediglich einer einfacheren Darstellung und stellt keine Einschränkung dar.<br>
  
*Der optimale Empfänger sucht unter Kenntnis des aktuell anliegenden Empfangssignals <i>r</i>(<i>t</i>) aus der Menge {<i>Q</i><sub>0</sub>, ... , <i>Q</i><sub><i>M</i>&ndash;1</sub>} der möglichen Quellensymbolfolgen die am wahrscheinlichsten gesendete Folge {<i>Q<sub>j</sub></i>} und gibt diese als Sinkensymbolfolge <i>V</i> aus.<br>
+
*Der optimale Empfänger sucht unter Kenntnis des aktuell anliegenden Empfangssignals &nbsp;$r(t)$&nbsp; aus der Menge &nbsp;$\{Q_0$, ... , $Q_{M-1}\}$&nbsp; der möglichen Quellensymbolfolgen die am wahrscheinlichsten gesendete Folge &nbsp;$Q_j$&nbsp; und gibt diese als Sinkensymbolfolge &nbsp;$V$&nbsp; aus.<br>
  
*Vor dem eigentlichen Entscheidungsalgorithmus muss durch eine geeignete Signalvorverarbeitung aus dem Empfangssignal <i>r</i>(<i>t</i>) für jede mögliche Folge <i>Q<sub>i</sub></i> ein Zahlenwert <i>W<sub>i</sub></i> abgeleitet werden. Je größer <i>W<sub>i</sub></i> ist, desto größer ist die Rückschlusswahrscheinlichkeit, dass <i>Q<sub>i</sub></i> gesendet wurde.<br>
+
*Vor dem eigentlichen Entscheidungsalgorithmus muss durch eine geeignete Signalvorverarbeitung aus dem Empfangssignal &nbsp;$r(t)$&nbsp; für jede mögliche Folge &nbsp;$Q_i$&nbsp; ein Zahlenwert &nbsp;$W_i$&nbsp; abgeleitet werden.&nbsp; Je größer &nbsp;$W_i$&nbsp; ist,&nbsp; desto größer ist die Rückschlusswahrscheinlichkeit,&nbsp; dass &nbsp;$Q_i$&nbsp; gesendet wurde.<br>
  
*Die Signalvorverarbeitung muss für die erforderliche Rauschleistungsbegrenzung und &ndash; bei starken Kanalverzerrungen &ndash; für eine ausreichende Vorentzerrung der entstandenen Impulsinterferenzen sorgen. Außerdem beinhaltet die Vorverarbeitung auch die Abtastung zur Zeitdiskretisierung.<br>
+
*Die Signalvorverarbeitung muss für die erforderliche Rauschleistungsbegrenzung und &ndash; bei starken Kanalverzerrungen &ndash; für eine ausreichende Vorentzerrung der entstandenen Impulsinterferenzen sorgen.&nbsp; Außerdem beinhaltet die Vorverarbeitung auch die Abtastung zur Zeitdiskretisierung.<br>
  
== MAP– und Maximum–Likelihood–Entscheidungsregel (1) ==
+
== Maximum-a-posteriori– und Maximum–Likelihood–Entscheidungsregel==
 
<br>
 
<br>
Man bezeichnet den (uneingeschränkt) optimalen Empfänger als MAP&ndash;Empfänger, wobei &bdquo;MAP&rdquo; für &bdquo;Maximum&ndash;a&ndash;posteriori&rdquo; steht.<br>
+
Man bezeichnet den (uneingeschränkt) optimalen Empfänger als &bdquo;MAP&ndash;Empfänger&rdquo;,&nbsp; wobei &bdquo;MAP&rdquo; für &bdquo;Maximum&ndash;a&ndash;posteriori&rdquo; steht.<br>
  
{{Definition}}''':''' Der MAP&ndash;Empfänger ermittelt die <i>M</i> Rückschlusswahrscheinlichkeiten Pr(<i>Q<sub>i</sub></i>|<i>r</i>(<i>t</i>)) und setzt seine Ausgangsfolge <i>V</i> gemäß der Entscheidungsregel (<i>i</i> = 0, ..., <i>M</i> &ndash; 1, <i>i</i> &ne; <i>j</i>):
+
{{BlaueBox|TEXT= 
 +
$\text{Definition:}$&nbsp; Der &nbsp;'''Maximum-a-posteriori–&ndash;Empfänger'''&nbsp; &ndash; abgekürzt&nbsp; $\rm MAP$ &ndash; ermittelt die &nbsp;$M$&nbsp; Rückschlusswahrscheinlichkeiten &nbsp;${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm}r(t)\big]$&nbsp; und setzt die Ausgangsfolge &nbsp;$V$&nbsp; gemäß der Entscheidungsregel,&nbsp; wobei für den Index gilt: &nbsp; $i = 0$, ... , $M-1$&nbsp; sowie &nbsp;$i \ne j$:
 +
:$${\rm Pr}\big[Q_j \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big] > {\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big]
 +
\hspace{0.05cm}.$$}}<br>
  
:<math>{\rm Pr}(Q_j \hspace{0.05cm}|\hspace{0.05cm} r(t)) > {\rm Pr}(Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t))
+
* Die &nbsp;[[Stochastische_Signaltheorie/Statistische_Abhängigkeit_und_Unabhängigkeit#R.C3.BCckschlusswahrscheinlichkeit|Rückschlusswahrscheinlichkeit]]&nbsp; ${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big]$&nbsp; gibt an,&nbsp; mit welcher Wahrscheinlichkeit die Folge &nbsp;$Q_i$&nbsp; gesendet wurde,&nbsp; wenn das Empfangssignal &nbsp;$r(t)$&nbsp;  am Entscheider anliegt.&nbsp; Mit dem &nbsp;[[Stochastische_Signaltheorie/Statistische_Abhängigkeit_und_Unabhängigkeit#Bedingte_Wahrscheinlichkeit|Satz von Bayes]]&nbsp; kann diese Wahrscheinlichkeit wie folgt berechnet werden:
\hspace{0.05cm}.</math>{{end}}<br>
+
:$${\rm Pr}\big[Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t)\big] = \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 +
Q_i \big] \cdot {\rm Pr}\big[Q_i]}{{\rm Pr}[r(t)\big]}
 +
\hspace{0.05cm}.$$
  
Die Rückschlusswahrscheinlichkeit Pr(<i>Q<sub>i</sub></i>|<i>r</i>(<i>t</i>)) gibt an, mit welcher Wahrscheinlichkeit die Folge <i>Q<sub>i</sub></i> gesendet wurde, wenn das Empfangssignal <i>r</i>(<i>t</i>) am Entscheider anliegt. Mit dem Satz von Bayes kann diese Wahrscheinlichkeit wie folgt berechnet werden:
+
*Die MAP&ndash;Entscheidungsregel lässt sich somit wie folgt umformulieren bzw. vereinfachen: &nbsp; Man setze die Sinkensymbolfolge &nbsp;$V = Q_j$, falls für alle &nbsp;$i \ne j$&nbsp; gilt:
 +
:$$\frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 +
Q_j \big] \cdot {\rm Pr}\big[Q_j)}{{\rm Pr}\big[r(t)\big]} > \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 +
Q_i\big] \cdot {\rm Pr}\big[Q_i\big]}{{\rm Pr}\big[r(t)\big]}\hspace{0.3cm}
 +
\Rightarrow \hspace{0.3cm}  {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 +
Q_j\big] \cdot {\rm Pr}\big[Q_j\big]> {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 +
Q_i \big] \cdot {\rm Pr}\big[Q_i\big] \hspace{0.05cm}.$$
  
:<math>{\rm Pr}(Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t)) = \frac{ {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm}
+
Eine weitere Vereinfachung dieser MAP&ndash;Entscheidungsregel führt zum &bdquo;ML&ndash;Empfänger&rdquo;,&nbsp; wobei &bdquo;ML&rdquo; für &bdquo;Maximum&ndash;Likelihood&rdquo; steht.<br>
Q_i) \cdot {\rm Pr}(Q_i)}{{\rm Pr}(r(t))}
 
\hspace{0.05cm}.</math>
 
  
Die MAP&ndash;Entscheidungsregel lässt sich somit wie folgt umformulieren bzw. vereinfachen. Man setze die Sinkensymbolfolge <i>V</i> = <i>Q<sub>j</sub></i>, falls für alle <i>i</i> &ne; <i>j</i> gilt:
+
{{BlaueBox|TEXT= 
 +
$\text{Definition:}$&nbsp; Der &nbsp;'''Maximum&ndash;Likelihood&ndash;Empfänger'''&nbsp; &ndash; abgekürzt&nbsp; $\rm ML$&nbsp; &ndash; entscheidet nach den bedingten Vorwärtswahrscheinlichkeiten &nbsp;${\rm Pr}\big[r(t)\hspace{0.05cm} \vert \hspace{0.05cm}Q_i \big]$&nbsp; und setzt die Ausgangsfolge &nbsp;$V = Q_j$, falls für alle &nbsp;$i \ne j$&nbsp; gilt:
 +
:$${\rm Pr}\big[ r(t)\hspace{0.05cm} \vert\hspace{0.05cm}
 +
Q_j \big] > {\rm Pr}\big[ r(t)\hspace{0.05cm} \vert \hspace{0.05cm}
 +
Q_i\big]  \hspace{0.05cm}.$$}}<br>
  
:<math>\frac{ {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm}
+
Ein Vergleich dieser beiden Definitionen zeigt:
  Q_j) \cdot {\rm Pr}(Q_j)}{{\rm Pr}(r(t))} > \frac{ {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm}
+
* Bei gleichwahrscheinlichen Quellensymbolen verwenden der ML&ndash;Empfänger und der MAP&ndash;Empfänger gleiche Entscheidungsregeln;&nbsp; beide  sind somit äquivalent.
  Q_i) \cdot {\rm Pr}(Q_i)}{{\rm Pr}(r(t))}</math>
+
   
 +
*Bei nicht gleichwahrscheinlichen Symbolen ist der ML&ndash;Empfänger dem MAP&ndash;Empfänger unterlegen,&nbsp; da er für die Detektion nicht alle zur Verfügung stehenden Informationen nutzt.<br>
  
:<math>\Rightarrow \hspace{0.3cm}  {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
Q_j) \cdot {\rm Pr}(Q_j)> {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
Q_i) \cdot {\rm Pr}(Q_i) \hspace{0.05cm}.</math>
 
  
Eine weitere Vereinfachung dieser MAP&ndash;Entscheidungsregel führt zum ML&ndash;Empfänger, wobei &bdquo;ML&rdquo; für &bdquo;Maximum&ndash;Likelihood&rdquo; steht.<br>
+
{{GraueBox|TEXT= 
 
+
$\text{Beispiel 1:}$&nbsp; Zur Verdeutlichung von ML&ndash; und MAP&ndash;Entscheidungsregel konstruieren wir nun ein sehr einfaches Beispiel mit nur zwei Quellensymbolen &nbsp;$(M = 2)$.
{{Definition}}''':''' Der Maximum&ndash;Likelihood&ndash;Empfänger &ndash; abgekürzt ML &ndash; entscheidet nach den bedingten Vorwärtswahrscheinlichkeiten Pr(<i>r</i>(<i>t</i>)|<i>Q<sub>i</sub></i>) und setzt die Folge <i>V</i> = <i>Q<sub>j</sub></i>, falls für alle <i>i</i> &ne; <i>j</i> gilt:
+
[[Datei:P ID1461 Dig T 3 7 S2 version1.png|right|frame|Zur Verdeutlichung von MAP- und ML-Empfänger|class=fit]]
 
 
:<math>{\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
Q_j) > {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
Q_i)  \hspace{0.05cm}.</math>
 
{{end}}<br>
 
 
 
Ein Vergleich dieser beiden Definitionen zeigt, dass bei gleichwahrscheinlichen Quellensymbolen  der ML&ndash; und der MAP&ndash;Empfänger gleiche Entscheidungsregeln befolgen und somit vollkommen äquivalent sind. Bei nicht gleichwahrscheinlichen Symbolen ist der ML&ndash; dem MAP&ndash;Empfänger unterlegen, da er für die Detektion nicht alle zur Verfügung stehenden Informationen nutzt.<br>
 
 
 
== MAP– und Maximum–Likelihood–Entscheidungsregel (2) ==
 
 
<br>
 
<br>
{{Beispiel}}''':''' Zur Verdeutlichung von ML&ndash; und MAP&ndash;Entscheidungsregel konstruieren wir nun ein sehr einfaches Beispiel mit nur zwei Quellensymbolen (<i>M</i> = 2). Diese beiden möglichen Symbole <i>Q</i><sub>0</sub> und <i>Q</i><sub>1</sub> werden durch die Sendesignale <i>s</i> = 0 bzw. <i>s</i> = 1 dargestellt. Dagegen kann das Empfangssignal &ndash; warum auch immer &ndash; drei verschiedene Werte annehmen, nämlich <i>r</i> = 0, <i>r</i> = 1 und <i>r</i> = 0.5.<br><br>
+
&rArr; &nbsp; Die beiden möglichen Symbole &nbsp;$Q_0$&nbsp; und &nbsp;$Q_1$&nbsp; werden durch die Sendesignale &nbsp;$s = 0$&nbsp; bzw. &nbsp;$s = 1$&nbsp; dargestellt.  
 +
<br><br>
 +
&rArr; &nbsp; Das Empfangssignal kann &ndash; warum auch immer &ndash; drei verschiedene Werte annehmen, nämlich &nbsp;$r = 0$, &nbsp;$r = 1$&nbsp; und zusätzlich &nbsp;$r = 0.5$.
  
[[Datei:P ID1461 Dig T 3 7 S2 version1.png|Zur Verdeutlichung von MAP- und ML-Empfänger|class=fit]]<br>
+
<u>Hinweise:</u>
 +
*Die Empfangswerte &nbsp;$r = 0$&nbsp; und &nbsp;$r = 1$&nbsp; werden sowohl vom ML&ndash; als auch vom MAP&ndash;Entscheider den Senderwerten  &nbsp;$s = 0 \ (Q_0)$&nbsp; bzw. &nbsp;$s = 1 \ (Q_1)$&nbsp; zugeordnet.
 +
*Bezüglich des Empfangswertes &nbsp;$r = 0.5$&nbsp; werden dagegen die Entscheider ein anderes Ergebnis liefern:
  
Die Empfangswerte <i>r</i> = 0 und <i>r</i> = 1 werden sowohl vom ML&ndash; als auch vom MAP&ndash;Entscheider den Senderwerten <i>s</i> = 0 (<i>Q</i><sub>0</sub>) bzw. <i>s</i> = 1 (<i>Q</i><sub>1</sub>) zugeordnet. Dagegen werden die beiden Entscheider bezüglich des Empfangswertes <i>r</i> = 0.5 zu einem anderen Ergebnis kommen:
+
:*Die Maximum&ndash;Likelihood&ndash;Entscheidungsregel führt zum Quellensymbol &nbsp;$Q_0$, wegen
 +
::$${\rm Pr}\big [ r= 0.5\hspace{0.05cm}\vert\hspace{0.05cm}
 +
Q_0\big ] = 0.4 > {\rm Pr}\big [ r= 0.5\hspace{0.05cm} \vert \hspace{0.05cm}
 +
Q_1\big ] = 0.2 \hspace{0.05cm}.$$
  
*Die Maximum&ndash;Likelihood&ndash;Entscheidungsregel führt zum Quellensymbol <i>Q</i><sub>0</sub>, wegen
+
:*Die MAP&ndash;Entscheidung führt dagegen zum Quellensymbol &nbsp;$Q_1$,&nbsp;  da entsprechend der Nebenrechnung in der Grafik gilt:
 +
::$${\rm Pr}\big [Q_1 \hspace{0.05cm}\vert\hspace{0.05cm}
 +
r= 0.5\big ] = 0.6 > {\rm Pr}\big [Q_0 \hspace{0.05cm}\vert\hspace{0.05cm}
 +
r= 0.5\big ] = 0.4 \hspace{0.05cm}.$$}}<br>
  
::<math>{\rm Pr}( r= 0.5\hspace{0.05cm}|\hspace{0.05cm}
+
== Maximum&ndash;Likelihood&ndash;Entscheidung bei Gaußscher Störung ==
Q_0) = 0.4 > {\rm Pr}( r= 0.5\hspace{0.05cm}|\hspace{0.05cm}
 
Q_1) = 0.2 \hspace{0.05cm}.</math>
 
 
 
*Die MAP&ndash;Entscheidung führt dagegen zum Quellensymbol <i>Q</i><sub>1</sub>, da entsprechend der Grafik gilt:
 
 
 
::<math>{\rm Pr}(Q_1 \hspace{0.05cm}|\hspace{0.05cm}
 
r= 0.5) = 0.6 > {\rm Pr}(Q_0 \hspace{0.05cm}|\hspace{0.05cm}
 
r= 0.5) = 0.4 \hspace{0.05cm}.</math>
 
{{end}}<br>
 
 
 
== ML–Entscheidung bei Gaußscher Störung ==
 
 
<br>
 
<br>
Wir setzen nun voraus, dass sich das Empfangssignal <i>r</i>(<i>t</i>) additiv aus einem Nutzsignal <i>s</i>(<i>t</i>) und einem Störanteil <i>n</i>(<i>t</i>) zusammensetzt, wobei die Störung als gaußverteilt und weiß angenommen wird (Beispiel: AWGN&ndash;Rauschen):
+
Wir setzen nun voraus,&nbsp; dass sich das Empfangssignal &nbsp;$r(t)$&nbsp; additiv aus einem Nutzsignal &nbsp;$s(t)$&nbsp; und einem Störanteil &nbsp;$n(t)$&nbsp; zusammensetzt,&nbsp; wobei die Störung als gaußverteilt und weiß angenommen wird &nbsp; &rArr; &nbsp; &nbsp;[[Digitalsignalübertragung/Systemkomponenten_eines_Basisbandübertragungssystems#.C3.9Cbertragungskanal_und_St.C3.B6rungen|"AWGN&ndash;Rauschen"]]:
 +
:$$r(t) = s(t) + n(t) \hspace{0.05cm}.$$
  
:<math>r(t) = s(t) + n(t) \hspace{0.05cm}.</math>
+
Eventuelle Kanalverzerrungen werden zur Vereinfachung bereits dem Signal &nbsp;$s(t)$&nbsp; beaufschlagt.<br>
  
Eventuelle Kanalverzerrungen werden zur Vereinfachung bereits dem Signal <i>s</i>(<i>t</i>) beaufschlagt.<br>
+
Die notwendige Rauschleistungsbegrenzung wird durch einen Integrator realisiert;&nbsp; dies entspricht einer Mittelung der Rauschwerte im Zeitbereich.&nbsp; Begrenzt man das Integrationsintervall auf den Bereich &nbsp;$t_1$&nbsp; bis &nbsp;$t_2$,&nbsp; so kann man für jede Quellensymbolfolge &nbsp;$Q_i$&nbsp; eine Größe &nbsp;$W_i$&nbsp; ableiten,&nbsp; die ein Maß für die bedingte Wahrscheinlichkeit &nbsp;${\rm Pr}\big [ r(t)\hspace{0.05cm} \vert \hspace{0.05cm}
 +
Q_i\big ] $&nbsp; darstellt:
 +
:$$W_i  =  \int_{t_1}^{t_2} r(t) \cdot s_i(t) \,{\rm d} t -
 +
{1}/{2} \cdot \int_{t_1}^{t_2} s_i^2(t) \,{\rm d} t=
 +
I_i - {E_i}/{2} \hspace{0.05cm}.$$
  
Die notwendige Rauschleistungsbegrenzung wird durch einen Integrator realisiert; dies entspricht einer Mittelung der Rauschwerte im Zeitbereich. Begrenzt man das Integrationsintervall auf den Bereich <i>t</i><sub>1</sub> bis <i>t</i><sub>2</sub>, so kann man für jede Quellensymbolfolge <i>Q<sub>i</sub></i> eine Größe <i>W<sub>i</sub></i> ableiten, die ein Maß für die bedingte Wahrscheinlichkeit Pr(<i>r</i>(<i>t</i>)|<i>Q<sub>i</sub></i>) darstellt:
+
Diese Entscheidungsgröße &nbsp;$W_i$&nbsp; kann über die &nbsp;$k$&ndash;dimensioniale [[Stochastische_Signaltheorie/Zweidimensionale_Zufallsgrößen#Verbundwahrscheinlichkeitsdichtefunktion|Verbundwahrscheinlichkeitsdichte]]&nbsp; der Störungen&nbsp; $($mit &nbsp;$k \to \infty)$&nbsp; und einigen Grenzübergängen hergeleitet werden.&nbsp; Das Ergebnis lässt sich wie folgt interpretieren:
 +
*Die Integration dient der Rauschleistungsreduzierung durch Mittelung.&nbsp; Werden vom Maximum–Likelihood&ndash;Detektor &nbsp;$N$&nbsp; Binärsymbole gleichzeitig entschieden,&nbsp; so ist bei verzerrungsfreiem Kanal &nbsp;$t_1 = 0 $&nbsp; und &nbsp;$t_2 = N \cdot T$&nbsp; zu setzen.
  
:<math>W_i  =  \int_{t_1}^{t_2} r(t) \cdot s_i(t) \,{\rm d} t -
+
*Der erste Term der obigen Entscheidungsgröße &nbsp;$W_i$&nbsp; ist gleich der über das endliche Zeitintervall &nbsp;$NT$&nbsp; gebildeten&nbsp; [[Stochastische_Signaltheorie/Kreuzkorrelationsfunktion_und_Kreuzleistungsdichte#Definition_der_Kreuzkorrelationsfunktion| "Energie&ndash;Kreuzkorrelationsfunktion"]]&nbsp; zwischen &nbsp;$r(t)$&nbsp; und &nbsp;$s_i(t)$&nbsp; an der Stelle &nbsp;$\tau = 0$:
\frac{1}{2} \cdot \int_{t_1}^{t_2} s_i^2(t) \,{\rm d} t=
+
:$$I_i  = \varphi_{r, \hspace{0.08cm}s_i} (\tau = 0) =  \int_{0}^{N \cdot T}r(t) \cdot s_i(t) \,{\rm d} t
I_i - \frac{E_i}{2} \hspace{0.05cm}.</math>
+
\hspace{0.05cm}.$$
 +
*Der zweite Term gibt die halbe Energie des betrachteten Nutzsignals &nbsp;$s_i(t)$&nbsp; an,&nbsp; die zu subtrahieren ist.&nbsp; Die Energie ist gleich der Autokorrelationsfunktion&nbsp; $\rm (AKF)$&nbsp; des Nutzsignals an der Stelle &nbsp;$\tau = 0$:
  
Diese Entscheidungsgröße <i>W<sub>i</sub></i> kann über die <i>k</i>&ndash;dimensioniale Verbundwahrscheinlichkeitsdichte der Störungen (mit <i>k</i> &#8594; &#8734;) und einigen Grenzübergängen hergeleitet werden. Die Gleichung lässt sich wie folgt interpretieren:
+
::<math>E_i = \varphi_{s_i} (\tau = 0) = \int_{0}^{N \cdot T}
*Die Integration dient der Rauschleistungsbegrenzung. Werden vom ML&ndash;Detektor <i>N</i> Binärsymbole gleichzeitig entschieden, so ist bei verzerrungsfreiem Kanal <i>t</i><sub>1</sub> = 0 und <i>t</i><sub>2</sub> = <i>NT</i> zu setzen.
 
 
 
*Der erste Term der obigen Entscheidungsgröße <i>W<sub>i</sub></i> ist gleich der über das endliche Zeitintervall <i>NT</i>  gebildeten [http://www.lntwww.de/Stochastische_Signaltheorie/Kreuzkorrelationsfunktion_und_Kreuzleistungsdichte#Definition_der_Kreuzkorrelationsfunktion Energie&ndash;Kreuzkorrelationsfunktion] zwischen <i>r</i>(<i>t</i>) und <i>s<sub>i</sub></i>(<i>t</i>) an der Stelle <i>&tau;</i> = 0:
 
 
 
::<math>I_i = \varphi_{r, \hspace{0.05cm}s_i} (\tau = 0) = \int_{0}^{NT}r(t) \cdot s_i(t) \,{\rm d} t
 
\hspace{0.05cm}.</math>
 
 
 
*Der zweite Term gibt die halbe Energie des betrachteten Nutzsignals <i>s<sub>i</sub></i>(<i>t</i>) an, die zu subtrahieren ist. Die Energie ist gleich der AKF des Nutzsignals an der Stelle <i>&tau;</i> = 0:
 
 
 
::<math>E_i  =  \varphi_{s_i} (\tau = 0) = \int_{0}^{NT}
 
 
s_i^2(t) \,{\rm d} t \hspace{0.05cm}.</math>
 
s_i^2(t) \,{\rm d} t \hspace{0.05cm}.</math>
 +
*Bei verzerrendem Kanal ist die Impulsantwort &nbsp;$h_{\rm K}(t)$&nbsp; nicht diracförmig,&nbsp; sondern beispielsweise auf den Bereich  &nbsp;$-T_{\rm K} \le t \le +T_{\rm K}$&nbsp; ausgedehnt.&nbsp; In diesem Fall muss für die beiden Integrationsgrenzen &nbsp;$t_1 = -T_{\rm K}$&nbsp; und &nbsp;$t_2 = N \cdot T +T_{\rm K}$&nbsp; eingesetzt werden.<br>
  
*Bei verzerrendem Kanal ist die Impulsantwort <i>h</i><sub>K</sub>(<i>t</i>) nicht diracförmig, sondern beispielsweise auf den Bereich &ndash;<i>T</i><sub>K</sub> &#8804; <i>t</i> &#8804; +<i>T</i><sub>K</sub> ausgedehnt. In diesem Fall muss für die beiden Integrationsgrenzen <i>t</i><sub>1</sub> = &ndash;<i>T</i><sub>K</sub> und <i>t</i><sub>2</sub> = <i>NT</i> + <i>T</i><sub>K</sub> eingesetzt werden.<br>
+
== Matched&ndash;Filter&ndash;Empfänger vs. Korrelationsempfänger ==
 +
<br>
 +
Es gibt verschiedene schaltungstechnische Implementierungen des Maximum&ndash;Likelihood&ndash;Empfängers.  
  
== Korrelationsempfänger ==
+
&rArr; &nbsp; Beispielsweise können die erforderlichen Integrale durch lineare Filterung und anschließender Abtastung gewonnen werden.&nbsp; Man bezeichnet diese Realisierungsform als&nbsp; '''Matched&ndash;Filter&ndash;Empfänger''',&nbsp; da hier die Impulsantworten der &nbsp;$M$&nbsp; parallelen Filter formgleich mit den Nutzsignalen &nbsp;$s_0(t)$, ... , $s_{M-1}(t)$&nbsp; sind.<br>
<br>
+
*Die&nbsp; $M$&nbsp; Entscheidungsgrößen &nbsp;$I_i$&nbsp; sind dann gleich den Faltungsprodukten &nbsp;$r(t) \star s_i(t)$&nbsp; zum Zeitpunkt &nbsp;$t= 0$.
Es gibt verschiedene schaltungstechnische Implementierungen des Maximum&ndash;Likelihood&ndash;Empfängers. Beispielsweise können die erforderlichen Integrale durch lineare Filterung und anschließender Abtastung gewonnen werden. Man bezeichnet diese Realisierungsform als Matched&ndash;Filter&ndash;Empfänger, da hier die Impulsantworten der <i>M</i> parallelen Filter formgleich mit den Nutzsignalen <i>s</i><sub>0</sub>(<i>t</i>), ... , <i>s</i><sub><i>M</i>&ndash;1</sub>(<i>t</i>) sind.<br>
+
 +
*Beispielsweise erlaubt der im Kapitel&nbsp; [[Digitalsignal%C3%BCbertragung/Optimierung_der_Basisband%C3%BCbertragungssysteme#Voraussetzungen_und_Optimierungskriterium|"Optimierung der Basisband&ndash;Übertragungssysteme"]]&nbsp; ausführlich beschriebene&nbsp; "optimale Binärempfänger"&nbsp; eine Maximum&ndash;Likelihood&ndash;Entscheidung mit den ML&ndash;Parametern &nbsp;$M = 2$&nbsp; und &nbsp;$N = 1$.<br>
  
Die <i>M</i> Entscheidungsgrößen <i>I<sub>i</sub></i> sind dann gleich den Faltungsprodukten <i>r</i>(<i>t</i>) &#8727; <i>s<sub>i</sub></i>(<i>t</i>) zum Zeitpunkt <i>t</i> = 0. Beispielsweise erlaubt der im Kapitel 1.4 ausführlich beschriebene &bdquo;optimale Binärempfänger&rdquo; eine Maximum&ndash;Likelihood&ndash;Entscheidung mit den ML&ndash;Parametern <i>M</i> = 2 und <i>N</i> = 1.<br>
 
  
[[Datei:P ID1457 Dig T 3 7 S4 version1.png|Korrelationsempfänger|class=fit]]<br>
+
&rArr; &nbsp; Eine zweite Realisierungsform bietet der &nbsp;'''Korrelationsempfänger'''&nbsp; entsprechend der Grafik.&nbsp; Man erkennt aus diesem Blockschaltbild für die angegebenen Parameter:
  
Wir beschränken uns hier auf den sog. Korrelationsempfänger entsprechend obigem Blockschaltbild. Zur Vereinfachung werden <i>N</i> = 3, <i>t</i><sub>1</sub> = 0, <i>t</i><sub>2</sub> = 3<i>T</i> sowie <i>M</i> = 2<sup>3</sup> = 8 vorausgesetzt. Man erkennt:
+
[[Datei:P ID1457 Dig T 3 7 S4 version1.png|right|frame|Korrelationsempfänger für &nbsp;$N = 3$, &nbsp;$t_1 = 0$, &nbsp;$t_2 = 3T$ &nbsp;sowie&nbsp; $M = 2^3 = 8$ |class=fit]]
*Der Korrelationsempfänger bildet insgesamt <i>M</i> = 8 Kreuzkorrelationsfunktionen zwischen dem Empfangssignal <i>r</i>(<i>t</i>) = <i>s<sub>k</sub></i>(<i>t</i>) + <i>n</i>(<i>t</i>) und den möglichen Sendesignalen <i>s<sub>i</sub></i>(<i>t</i>), <i>i</i> = 0, ... , <i>M</i>&ndash;1. Vorausgesetzt ist für diese Beschreibung, dass das Nutzsignal <i>s<sub>k</sub></i>(<i>t</i>) gesendet wurde.<br>
 
  
*Der Korrelationsempfänger sucht nun den maximalen Wert <i>W<sub>j</sub></i> aller Korrelationswerte und gibt die dazugehörige Folge <i>Q<sub>j</sub></i> als Sinkensymbolfolge <i>V</i> aus. Formal lässt sich die ML&ndash;Entscheidungsregel wie folgt ausdrücken:
+
*Dieser Korrelationsempfänger bildet &nbsp;$M = 8$&nbsp; Kreuzkorrelationen zwischen dem Empfangssignal &nbsp;$r(t) = s_k(t) + n(t)$&nbsp; und den möglichen Sendesignalen &nbsp;$s_i(t), \ i = 0$, ... , $M-1$.&nbsp; Vorausgesetzt ist für die folgende Beschreibung,&nbsp; dass das Nutzsignal &nbsp;$s_k(t)$&nbsp; gesendet wurde.<br>
  
::<math>V = Q_j, \hspace{0.2cm}{\rm falls}\hspace{0.2cm} W_j > W_i
+
*Der Korrelationsempfänger sucht den maximalen Korrelationswert  &nbsp;$W_j$&nbsp; und gibt die dazugehörige Folge &nbsp;$Q_j$&nbsp; als Sinkensymbolfolge &nbsp;$V$&nbsp; aus.&nbsp; Formal lässt sich die ML&ndash;Entscheidungsregel wie folgt ausdrücken:
 +
:$$V = Q_j, \hspace{0.2cm}{\rm falls}\hspace{0.2cm} W_i < W_j
 
\hspace{0.2cm}{\rm f\ddot{u}r}\hspace{0.2cm} {\rm
 
\hspace{0.2cm}{\rm f\ddot{u}r}\hspace{0.2cm} {\rm
alle}\hspace{0.2cm} i \ne j \hspace{0.05cm}.</math>
+
alle}\hspace{0.2cm} i \ne j \hspace{0.05cm}.$$
 
 
*Setzt man weiter voraus, dass alle Sendesignale <i>s<sub>i</sub></i>(<i>t</i>) die genau gleiche Energie besitzen, so kann man auf die Subtraktion von <i>E<sub>i</sub></i>/2 in allen Zweigen verzichten. In diesem Fall werden folgende Korrelationswerte miteinander verglichen (<i>i</i> = 0, ... , <i>M</i>&ndash;1):
 
  
 +
*Besitzen alle Sendesignale &nbsp;$s_i(t)$&nbsp; die gleiche Energie,&nbsp; so kann man auf die Subtraktion von &nbsp;$E_i/2$&nbsp; in allen Zweigen verzichten.&nbsp; Man vergleicht dann folgende Korrelationswerte miteinander &nbsp;$(i = 0$, ... , $M-1)$:
 
::<math>I_i  =  \int_{0}^{NT} s_j(t) \cdot s_i(t) \,{\rm d} t +
 
::<math>I_i  =  \int_{0}^{NT} s_j(t) \cdot s_i(t) \,{\rm d} t +
 
\int_{0}^{NT} n(t) \cdot s_i(t) \,{\rm d} t
 
\int_{0}^{NT} n(t) \cdot s_i(t) \,{\rm d} t
 
\hspace{0.05cm}.</math>
 
\hspace{0.05cm}.</math>
  
*Mit großer Wahrscheinlichkeit ist <i>I<sub>j</sub></i> = <i>I<sub>k</sub></i> größer als alle anderen Vergleichswerte <i>I<sub>i</i>&ne;<i>k</i></sub>. Ist das Rauschen <i>n</i>(<i>t</i>) allerdings zu groß, so kann auch der ML&ndash;Empfänger eine Fehlentscheidung treffen.<br>
+
*Mit großer Wahrscheinlichkeit ist dann &nbsp;$I_j = I_k$&nbsp; größer als alle anderen Vergleichswerte &nbsp;$I_{j \ne k}$.&nbsp; Ist das Rauschen &nbsp;$n(t)$&nbsp; allerdings zu groß,&nbsp; so wird auch der Korrelationsempfänger eine Fehlentscheidung treffen.<br>
  
== Darstellung des Korrelationsempfängers im Baumdiagramm (1) ==
+
== Darstellung des Korrelationsempfängers im Baumdiagramm==
 
<br>
 
<br>
Verdeutlichen wir uns die Funktionsweise des Korrelationsempfängers im Baumdiagramm, wobei die 2<sup>3</sup> = 8 möglichen Quellensymbolfolgen <i>Q<sub>i</sub></i> der Länge <i>N</i> = 3 durch bipolare rechteckförmige Sendesignale <i>s<sub>i</sub></i>(<i>t</i>) repräsentiert werden. Die möglichen Quellensymbolfolgen <i>Q</i><sub>0</sub> = &bdquo;LLL&rdquo;, ... , <i>Q</i><sub>7</sub> = &bdquo;HHH&rdquo; und die dazugehörigen Sendesignale <i>s</i><sub>0</sub>(<i>t</i>), ... , <i>s</i><sub>7</sub>(<i>t</i>) sind nachfolgend aufgeführt.<br>
+
Verdeutlichen wir uns die Funktionsweise des Korrelationsempfängers im Baumdiagramm, wobei die &nbsp;$2^3 = 8$&nbsp; möglichen Quellensymbolfolgen &nbsp;$Q_i$&nbsp; der Länge &nbsp;$N = 3$&nbsp; durch bipolare rechteckförmige Sendesignale &nbsp;$s_i(t)$&nbsp; repräsentiert werden:  
 
 
[[Datei:P ID1458 Dig T 3 7 S5a version1.png|Mögliche bipolare Sendesignale für <i>N</i> = 3|class=fit]]<br>
 
  
Wegen den bipolaren Amplitudenkoeffizienten und der Rechteckform sind alle Signalenergien <i>E</i><sub>0</sub>, ... , <i>E</i><sub>7</sub> gleich <i>N</i> &middot; <i>E</i><sub>B</sub>, wobei <i>E</i><sub>B</sub> die Energie eines Einzelimpulses der Dauer <i>T</i> angibt. Deshalb kann auf die Subtraktion des Terms <i>E<sub>i</sub></i>/2 in allen Zweigen verzichtet werden. Eine auf den Korrelationswerten <i>I<sub>i</sub></i> basierende Entscheidung liefert ebenso zuverlässige Ergebnisse wie die Maximierung der korrigierten Werte <i>W<sub>i</sub></i>.<br>
+
[[Datei:P ID1458 Dig T 3 7 S5a version1.png|right|frame|Alle &nbsp;$2^3 = 8$&nbsp; möglichen bipolaren Sendesignale für &nbsp;$N = 3$|class=fit]]
  
[[Datei:P ID1459 Dig T 3 7 S5b version1.png|Baumdiagramm des Korrelationsempfängers (bipolar)|class=fit]]<br>
+
Die möglichen Symbolfolgen &nbsp;$Q_0 = \rm LLL$, ... , $Q_7 = \rm HHH$&nbsp; und die zugehörigen Sendesignale &nbsp;$s_0(t)$, ... , $s_7(t)$&nbsp; sind oben aufgeführt.
 +
*Aufgrund der bipolaren Koeffizienten und der Rechteckform sind alle Signalenergien gleich: &nbsp; $E_0 =  \text{...} = E_7 = N \cdot E_{\rm B}$,&nbsp; wobei &nbsp;$E_{\rm B}$&nbsp; die Energie eines Einzelimpulses der Dauer&nbsp; $T$&nbsp; angibt.
 +
 +
*Deshalb kann auf die Subtraktion des Terms &nbsp;$E_i/2$&nbsp; in allen Zweigen verzichtet werden &nbsp; &rArr; &nbsp; eine auf den &nbsp;$I_i$&nbsp; basierende Entscheidung liefert ebenso zuverlässige Ergebnisse wie die Maximierung der korrigierten Werte &nbsp;$W_i$.<br>
  
In der linken Grafik sind die fortlaufenden Integralwerte dargestellt, wobei vom tatsächlich gesendeten Signal <i>s</i><sub>5</sub>(<i>t</i>) und dem rauschfreien Fall ausgegangen wird:
 
  
:<math>i_i(t)  =  \int_{0}^{t} r(\tau) \cdot s_i(\tau) \,{\rm d}
+
{{GraueBox|TEXT= 
 +
$\text{Beispiel 2:}$&nbsp; In der Grafik sind die fortlaufenden Integralwerte dargestellt,&nbsp; wobei vom tatsächlich gesendeten Signal &nbsp;$s_5(t)$&nbsp; und dem rauschfreien Fall ausgegangen wird.&nbsp; Für diesen Fall gilt für die zeitabhängigen Integralwerte und die Integralendwerte:
 +
[[Datei:Dig_T_3_7_S5B_version2.png|right|frame|Korrelationsempfänger:&nbsp; Baumdiagramm  im rauschfreien Fall|class=fit]]
 +
:$$i_i(t)  =  \int_{0}^{t} r(\tau) \cdot s_i(\tau) \,{\rm d}
 
\tau =  \int_{0}^{t} s_5(\tau) \cdot s_i(\tau) \,{\rm d}
 
\tau =  \int_{0}^{t} s_5(\tau) \cdot s_i(\tau) \,{\rm d}
 
\tau \hspace{0.3cm}
 
\tau \hspace{0.3cm}
\Rightarrow \hspace{0.3cm}I_i = i_i(3T). </math>
+
\Rightarrow \hspace{0.3cm}I_i = i_i(3T). $$
 +
Die Grafik kann wie folgt interpretiert werden::
 +
*Wegen der Rechteckform der Signale &nbsp;$s_i(t)$&nbsp; sind alle Funktionsverläufe &nbsp;$i_i(t)$&nbsp; geradlinig.&nbsp; Die auf &nbsp;$E_{\rm B}$&nbsp; normierten Endwerte sind &nbsp;$+3$, &nbsp;$+1$, &nbsp;$-1$&nbsp; und &nbsp;$-3$.<br>
  
Das rechte Baumdiagramm berücksichtigt AWGN&ndash;Rauschen <i>n</i>(<i>t</i>) mit der Varianz <i>&sigma;<sub>n</sub></i><sup>2</sup> = 4 &middot; <i>E</i><sub>B</sub>/<i>T</i>.<br>
+
*Der maximale Endwert ist &nbsp;$I_5 = 3 \cdot E_{\rm B}$&nbsp; (roter Kurvenverlauf),&nbsp; da tatsächlich das Signal &nbsp;$s_5(t)$&nbsp; gesendet wurde.&nbsp; Ohne Rauschen trifft der Korrelationsempfänger somit natürlich immer die richtige Entscheidung.<br>
  
Die Interpretation dieser Grafik folgt auf der nächsten Seite.<br>
+
*Der blaue Kurvenzug &nbsp;$i_1(t)$&nbsp; führt zum Endwert &nbsp;$I_1 = -E_{\rm B} + E_{\rm B}+ E_{\rm B} = E_{\rm B}$,&nbsp; da sich &nbsp;$s_1(t)$&nbsp; von &nbsp;$s_5(t)$&nbsp; nur im ersten Bit unterscheidet.&nbsp; Die Vergleichswerte &nbsp;$I_4$&nbsp; und &nbsp;$I_7$&nbsp; sind ebenfalls gleich &nbsp;$E_{\rm B}$.<br>
  
== Darstellung des Korrelationsempfängers im Baumdiagramm (2) ==
+
*Da sich &nbsp;$s_0(t)$, &nbsp;$s_3(t)$&nbsp; und &nbsp;$s_6(t)$&nbsp; vom gesendeten &nbsp;$s_5(t)$&nbsp; in zwei Bit unterscheiden,&nbsp; gilt &nbsp;$I_0 = I_3 = I_6 =-E_{\rm B}$.&nbsp; Die grüne Kurve zeigt &nbsp;$s_6(t)$,&nbsp; das zunächst ansteigt&nbsp; (erstes Bit stimmt überein)&nbsp; und dann über zwei Bit abfällt.
<br>
 
[[Datei:P ID1460 Dig T 3 7 S5b version2.png|Baumdiagramm des Korrelationsempfängers|class=fit]]<br>
 
  
Es folgt zunächst die Beschreibung des rauschfreien Baumdiagramms (linke Grafik):
+
*Die violette Kurve führt zum Endwert &nbsp;$I_2 = -3 \cdot E_{\rm B}$.&nbsp; Das zugehörige Signal &nbsp;$s_2(t)$&nbsp; unterscheidet sich von &nbsp;$s_5(t)$&nbsp; in allen drei Symbolen und es gilt &nbsp;$s_2(t) = -s_5(t)$.}}<br><br>
*Wegen der Rechteckform der Signale <i>s<sub>i</sub></i>(<i>t</i>) sind alle Funktionsverläufe <i>i<sub>i</sub></i>(<i>t</i>) geradlinig. Die auf 3<i>T</i> normierten Endwerte sind +3, +1, &ndash;1 und &ndash;3.<br>
 
  
*Der maximale Endwert ist <i>I</i><sub>5</sub> = 3<i>E</i><sub>B</sub> (roter Kurvenverlauf), da tatsächlich das Signal <i>s</i><sub>5</sub>(<i>t</i>) gesendet wurde. Ohne Rauschen trifft der Korrelationsempfänger somit natürlich die richtige Entscheidung.<br>
+
{{GraueBox|TEXT=
 +
$\text{Beispiel 3:}$&nbsp; Die Grafik zu diesem Beispiel beschreibt den gleichen Sachverhalt wie das &nbsp;$\text{Beispiel 2}$,&nbsp; doch es wird nun vom Empfangssignal  &nbsp;$r(t) = s_5(t)+ n(t)$&nbsp; ausgegangen.&nbsp; Die Varianz des AWGN&ndash;Rauschens &nbsp;$n(t)$&nbsp; sei  &nbsp;$\sigma_n^2 = 4 \cdot E_{\rm B}/T$.
 +
[[Datei:Dig_T_3_7_S5C_version2.png|right|frame|Korrelationsempfänger: Baumdiagramm mit Rauschen |class=fit]]
 +
<br><br><br>
 +
Man erkennt aus dieser Grafik im Vergleich zum rauschfreien Fall:
 +
*Die Funktionsverläufe sind aufgrund des Rauschanteils &nbsp;$n(t)$&nbsp; nun nicht mehr gerade und es ergeben sich auch etwas andere Endwerte als ohne Rauschen.
 +
 +
*Im betrachteten Beispiel entscheidet der Korrelationsempfänger aber mit großer Wahrscheinlichkeit richtig,&nbsp; da die Differenz zwischen &nbsp;$I_5$&nbsp; und dem zweitgrößeren Wert &nbsp;$I_7$&nbsp; mit &nbsp;$1.65\cdot E_{\rm B}$&nbsp; verhältnismäßig groß ist.<br>
  
*Der blaue Kurvenzug <i>i</i><sub>1</sub>(<i>t</i>) führt zum Endwert <i>I</i><sub>1</sub> = &ndash;<i>E</i><sub>B</sub> + <i>E</i><sub>B</sub> +<i>E</i><sub>B</sub> = <i>E</i><sub>B</sub>, da sich <i>s</i><sub>1</sub>(<i>t</i>) von <i>s</i><sub>5</sub>(<i>t</i>) nur im ersten Bit unterscheidet. Die Vergleichswerte <i>I</i><sub>4</sub> und <i>I</i><sub>7</sub> sind ebenfalls gleich <i>E</i><sub>B</sub>.<br>
+
*Die Fehlerwahrscheinlichkeit ist hier nicht besser als die des Matched&ndash;Filter&ndash;Empfängers mit symbolweiser Entscheidung.&nbsp; Entsprechend dem Kapitel&nbsp;  [[Digitalsignal%C3%BCbertragung/Optimierung_der_Basisband%C3%BCbertragungssysteme#Voraussetzungen_und_Optimierungskriterium|"Optimierung der Basisband&ndash;Übertragungssysteme"]]&nbsp;  gilt auch hier:
 +
:$$p_{\rm S} = {\rm Q} \left( \sqrt{ {2 \cdot E_{\rm B} }/{N_0} }\right)
 +
= {1}/{2} \cdot {\rm erfc} \left( \sqrt{ { E_{\rm B} }/{N_0} }\right) \hspace{0.05cm}.$$}}
 +
<br clear = all>
  
*Da sich <i>s</i><sub>0</sub>(<i>t</i>), <i>s</i><sub>3</sub>(<i>t</i>), und <i>s</i><sub>6</sub>(<i>t</i>) von <i>s</i><sub>5</sub>(<i>t</i>) in zwei Bit unterscheiden, gilt <i>I</i><sub>0</sub> = <i>I</i><sub>3</sub> = <i>I</i><sub>6</sub> = &ndash;<i>E</i><sub>B</sub>. Die grüne Kurve zeigt <i>i</i><sub>6</sub>(<i>t</i>), das zunächst ansteigt (erstes Bit stimmt überein) und dann über zwei Bit abfällt.<br>
+
{{BlaueBox|TEXT= 
 +
$\text{Fazit:}$&nbsp;
 +
#Weist das Eingangssignal keine statistischen Bindungen auf wie im &nbsp;$\text{Beispiel 2}$, so ist durch die gemeinsame Entscheidung von &nbsp;$N$&nbsp; Symbolen gegenüber der symbolweisen Entscheidung keine Verbesserung zu erzielen &nbsp; &rArr; &nbsp; $p_{\rm S} = {\rm Q} \left( \sqrt{ {2 \cdot E_{\rm B} }/{N_0} }\right)$&nbsp;.
 +
#Bei Vorhandensein von statistischen Bindungen  wird dagegen durch die gemeinsame Entscheidung von &nbsp;$N$&nbsp; Symbolen die Fehlerwahrscheinlichkeit  merklich verringert,&nbsp; da der Maximum&ndash;Likelihood&ndash;Empfänger diese Bindungen berücksichtigt.
 +
#Solche statistische Bindungen können entweder durch sendeseitige Codierung bewusst erzeugt werden&nbsp; $($siehe &nbsp;$\rm LNTwww$&ndash;Buch [[Kanalcodierung|"Kanalcodierung"]]$)$&nbsp; oder durch&nbsp; (lineare)&nbsp; Kanalverzerrungen ungewollt entstehen.<br>
 +
#Bei Vorhandensein solcher&nbsp; "Impulsinterferenzen"&nbsp; ist die Berechnung der Fehlerwahrscheinlichkeit deutlich schwieriger.&nbsp; Es können jedoch vergleichbare Näherungen wie beim Viterbi&ndash;Empfänger angegeben werden,&nbsp; die am &nbsp;[[Digitalsignalübertragung/Viterbi–Empfänger#Fehlerwahrscheinlichkeit_bei_Maximum.E2.80.93Likelihood.E2.80.93Entscheidung|Ende des nächsten Kapitels]]&nbsp; angegeben sind.}}<br>
  
*Die violette Kurve führt zum Endwert <i>I</i><sub>2</sub> = &ndash;3<i>E</i><sub>B</sub>. Das zugehörige Signal <i>s</i><sub>2</sub>(<i>t</i>) unterscheidet sich von <i>s</i><sub>5</sub>(<i>t</i>) in allen drei Symbolen und es gilt <i>s</i><sub>2</sub>(<i>t</i>) = &ndash;<i>s</i><sub>5</sub>(<i>t</i>).<br><br>
+
== Korrelationsempfänger bei unipolarer Signalisierung ==
 +
<br>
 +
Bisher sind wir bei der Beschreibung des Korrelationsempfänger stets von binärer&nbsp; '''bipolarer'''&nbsp; Signalisierung ausgegangen:
 +
:$$a_\nu  =  \left\{ \begin{array}{c} +1  \\
 +
-1 \\  \end{array} \right.\quad
 +
\begin{array}{*{1}c} {\rm{f\ddot{u}r}}
 +
\\  {\rm{f\ddot{u}r}}  \\ \end{array}\begin{array}{*{20}c}
 +
q_\nu = \mathbf{H} \hspace{0.05cm}, \\
 +
q_\nu = \mathbf{L} \hspace{0.05cm}.  \\
 +
\end{array}$$
 +
Nun betrachten wir den Fall der binären&nbsp; '''unipolaren'''&nbsp; Digitalsignalübertragung:
 +
:$$a_\nu  =  \left\{ \begin{array}{c} 1  \\
 +
0 \\  \end{array} \right.\quad
 +
\begin{array}{*{1}c} {\rm{f\ddot{u}r}}
 +
\\  {\rm{f\ddot{u}r}}  \\ \end{array}\begin{array}{*{20}c}
 +
q_\nu = \mathbf{H} \hspace{0.05cm}, \\
 +
q_\nu = \mathbf{L} \hspace{0.05cm}. \\
 +
\end{array}$$
  
Im rechten Baumdiagramm sind die Funktionsverläufe aufgrund des Rauschanteils <i>n</i>(<i>t</i>) nicht mehr gerade und es ergeben sich auch etwas andere Endwerte als ohne Rauschen. Im betrachteten Beispiel entscheidet der Korrelationsempfänger mit großer Wahrscheinlichkeit richtig, da die Differenz zwischen <i>I</i><sub>5</sub> und dem nächstgrößeren Wert <i>I</i><sub>7</sub> mit 1.65<i>E</i><sub>B</sub> verhältnismäßig groß ist.<br>
+
[[Datei:P ID1462 Dig T 3 7 S5c version1.png|right|frame|Mögliche unipolare Sendesignale für &nbsp;$N = 3$|class=fit]]
  
Die Fehlerwahrscheinlichkeit ist in dem hier betrachteten Beispiel allerdings nicht besser als die des Matched&ndash;Filter&ndash;Empfängers mit symbolweiser Entscheidung. Entsprechend Kapitel 1.4 gilt auch hier:
+
Die &nbsp;$2^3 = 8$&nbsp; möglichen Quellensymbolfolgen &nbsp;$Q_i$&nbsp; der Länge &nbsp;$N = 3$&nbsp; werden nun durch unipolare rechteckförmige Sendesignale &nbsp;$s_i(t)$&nbsp; repräsentiert.  
  
:<math>p_{\rm B} = {\rm Q} \left( \sqrt{{2 \cdot E_{\rm B}}/{N_0}}\right)
+
In der Grafik  aufgeführt sind alle möglichen Symbolfolgen und die dazugehörigen Sendesignale:
= {1}/{2} \cdot {\rm erfc} \left( \sqrt{{ E_{\rm B}}/{N_0}}\right) \hspace{0.05cm}.</math>
+
:$$Q_0 = \rm LLL, \text{ ... },\ Q_7 = \rm HHH,$$
 +
:$$s_0(t), \text{ ... },\ s_7(t).$$
  
Weist das Eingangssignal aber statistische Bindungen auf, so führt die gemeinsame Entscheidung von <i>N</i> Bit zu einer spürbaren Verbesserung, da der ML&ndash;Empfänger dies berücksichtigt. Solche Bindungen können entweder durch sendeseitige Codierung bewusst erzeugt werden (siehe Buch &bdquo;Kanalcodierung&rdquo;) oder durch (lineare) Kanalverzerrungen ungewollt entstehen.<br>
+
Durch Vergleich mit der &nbsp;[[Digitalsignalübertragung/Optimale_Empfängerstrategien#Darstellung_des_Korrelationsempf.C3.A4ngers_im_Baumdiagramm|entsprechenden Tabelle]]&nbsp; für bipolare Signalisierung erkennt man:
 +
*Aufgrund der unipolaren Amplitudenkoeffizienten sind nun die Signalenergien &nbsp;$E_i$&nbsp; unterschiedlich, zum Beispiel gilt &nbsp;$E_0 =  0$&nbsp; und  &nbsp;$E_7 = 3 \cdot E_{\rm B}$.
 +
 +
*Hier führt die auf den Integralendwerten &nbsp;$I_i$&nbsp; basierende Entscheidung nicht zum richtigen Ergebnis.
 +
 +
*Vielmehr muss nun auf die korrigierten Vergleichswerte &nbsp;$W_i = I_i- E_i/2$&nbsp; zurückgegriffen werden.<br>
  
Bei Vorhandensein solcher Impulsinterferenzen ist die Berechnung der Fehlerwahrscheinlichkeit deutlich schwieriger. Es können jedoch vergleichbare Näherungen wie beim Viterbi&ndash;Empfänger angegeben werden, die am Ende von Kapitel 3.8 zu finden sind.<br>
 
  
== Darstellung des Korrelationsempfängers im Baumdiagramm (3) ==
+
{{GraueBox|TEXT=
<br>
+
$\text{Beispiel 4:}$&nbsp; In der Grafik sind die fortlaufenden Integralwerte dargestellt,&nbsp;  wobei wieder vom tatsächlich gesendeten Signal &nbsp;$s_5(t)$&nbsp; und dem rauschfreien Fall ausgegangen wird.&nbsp; Das entsprechende bipolare Äquivalent wurde im&nbsp; [[Digitalsignalübertragung/Optimale_Empfängerstrategien#Darstellung_des_Korrelationsempf.C3.A4ngers_im_Baumdiagramm|"Beispiel 2"]]&nbsp; betrachtet.  
Bei unipolarer Signalisierung führt eine auf <i>I<sub>i</sub></i> basierende Entscheidung nicht zum richtigen Ergebnis. Hier muss vielmehr auf die korrigierten Vergleichswerte <i>W<sub>i</sub></i> = <i>I<sub>i</sub></i> &ndash; <i>E<sub>i</sub></i>/2 zurückgegriffen werden.<br>
 
  
[[Datei:P ID1462 Dig T 3 7 S5c version1.png|Mögliche unipolare Sendesignale für <i>N</i> = 3|class=fit]]<br>
+
[[Datei:Dig_T_3_7_S5D_version2.png|right|frame|Baumdiagramm des Korrelationsempfängers (unipolar)|class=fit]]
 
+
Für dieses Beispiel ergeben sich folgende Vergleichswerte,&nbsp; jeweils normiert auf &nbsp;$E_{\rm B}$:
Nachfolgend sehen Sie das Baumdiagramm für den rauschfreien Fall, wobei wie auf der letzten Seite vorausgesetzt ist, dass <i>s</i><sub>5</sub>(<i>t</i>) gesendet wurde. Auch die Farben korrespondieren mit der Grafik auf der letzten Seite.<br>
+
:$$I_5 = I_7 = 2, \hspace{0.2cm}I_1 = I_3 = I_4= I_6 = 1 \hspace{0.2cm},
 
 
[[Datei:P ID1463 Dig T 3 7 S5d version1.png|Baumdiagramm des Korrelationsempfängers (unipolar)|class=fit]]<br>
 
 
 
Für dieses Beispiel ergeben sich folgende Vergleichswerte, jeweils normiert auf <i>E</i><sub>B</sub>:
 
 
 
:<math>I_5 = I_7 = 2, \hspace{0.2cm}I_1 = I_3 = I_4= I_6 = 1 \hspace{0.2cm},
 
 
  \hspace{0.2cm}I_0 = I_2 = 0
 
  \hspace{0.2cm}I_0 = I_2 = 0
  \hspace{0.05cm},</math>
+
  \hspace{0.05cm},$$
 
+
:$$W_5 = 1, \hspace{0.2cm}W_1 = W_4 = W_7 = 0.5, \hspace{0.2cm}
:<math>W_5 = 1, \hspace{0.2cm}W_1 = W_4 = W_7 = 0.5, \hspace{0.2cm} W_0 = W_3 =W_6 =0, \hspace{0.2cm}W_2 = -0.5
+
W_0 = W_3 =W_6 =0, \hspace{0.2cm}W_2 = -0.5
  \hspace{0.05cm}.</math>
+
  \hspace{0.05cm}.$$
 
 
Bei einem Vergleich hinsichtlich der maximalen <i>I<sub>i</sub></i>&ndash;Werte wären die Quellensymbolfolgen <i>Q</i><sub>5</sub> und <i>Q</i><sub>7</sub> gleichwertig. Bei Berücksichtigung der unterschiedlichen Energien (<i>E</i><sub>5</sub> = 2, <i>E</i><sub>7</sub> = 3) ist dagegen <i>W</i><sub>5</sub> > <i>W</i><sub>7</sub>.<br>
 
  
 +
Das bedeutet:
 +
*Bei einem Vergleich hinsichtlich der maximalen &nbsp;$I_i$&ndash;Werte wären die Quellensymbolfolgen &nbsp;$Q_5$&nbsp; und &nbsp;$Q_7$&nbsp; gleichwertig.
 +
 +
*Berücksichtigt man die unterschiedlichen Energien &nbsp;$(E_5 = 2, \ E_7 = 3)$,&nbsp; so  wird dagegen wegen &nbsp;$W_5 > W_7$&nbsp; eindeutig für die Folge &nbsp;$Q_5$&nbsp; entschieden.
  
 +
*Der Korrelationsempfänger gemäß &nbsp;$W_i = I_i- E_i/2$&nbsp; entscheidet also auch bei unipolarer Signalisierung richtig auf &nbsp;$s(t) = s_5(t)$. }}<br>
  
 +
== Aufgaben zum Kapitel==
 +
<br>
 +
[[Aufgaben:Aufgabe_3.09:_Korrelationsempfänger_für_unipolare_Signalisierung|Aufgabe 3.9: Korrelationsempfänger für unipolare Signalisierung]]
  
 +
[[Aufgaben:Aufgabe_3.10:_Baumdiagramm_bei_Maximum-Likelihood|Aufgabe 3.10: Baumdiagramm bei Maximum-Likelihood]]
  
  
 
{{Display}}
 
{{Display}}

Aktuelle Version vom 30. Juni 2022, 16:17 Uhr

Betrachtetes Szenario und Voraussetzungen


Alle bisher beschriebenen Digitalempfänger treffen stets symbolweise Entscheidungen.  Werden dagegen mehrere Symbole gleichzeitig entschieden,  so können bei der Detektion statistische Bindungen zwischen den Empfangssignalabtastwerten berücksichtigt werden,  was eine geringere Fehlerwahrscheinlichkeit zur Folge hat – allerdings auf Kosten einer zusätzlichen Laufzeit.

In diesem und auch im nächsten Kapitel wird von folgendem Übertragungsmodell ausgegangen.  Gegenüber den vorherigen Kapiteln ergeben sich folgende Unterschiede:

Übertragungssystem mit optimalem Empfänger
  • $Q \in \{Q_i\}$  mit  $i = 0$, ... , $M-1$  bezeichnet eine zeitlich begrenzte Quellensymbolfolge  $\langle q_\nu \rangle$,  deren Symbole vom optimalen Empfänger gemeinsam entschieden werden sollen.
  • Beschreibt  $Q$  eine Folge von  $N$  redundanzfreien Binärsymbolen,  so ist  $M = 2^N$  zu setzen.  Dagegen gibt  $M$  bei symbolweiser Entscheidung die Stufenzahl der digitalen Quelle an.
  • Im Modell werden mögliche Kanalverzerrungen dem Sender hinzugefügt,  sind also bereits im Grundimpuls  $g_s(t)$  und im Signal  $s(t)$  enthalten.  Dies dient lediglich einer einfacheren Darstellung und stellt keine Einschränkung dar.
  • Der optimale Empfänger sucht unter Kenntnis des aktuell anliegenden Empfangssignals  $r(t)$  aus der Menge  $\{Q_0$, ... , $Q_{M-1}\}$  der möglichen Quellensymbolfolgen die am wahrscheinlichsten gesendete Folge  $Q_j$  und gibt diese als Sinkensymbolfolge  $V$  aus.
  • Vor dem eigentlichen Entscheidungsalgorithmus muss durch eine geeignete Signalvorverarbeitung aus dem Empfangssignal  $r(t)$  für jede mögliche Folge  $Q_i$  ein Zahlenwert  $W_i$  abgeleitet werden.  Je größer  $W_i$  ist,  desto größer ist die Rückschlusswahrscheinlichkeit,  dass  $Q_i$  gesendet wurde.
  • Die Signalvorverarbeitung muss für die erforderliche Rauschleistungsbegrenzung und – bei starken Kanalverzerrungen – für eine ausreichende Vorentzerrung der entstandenen Impulsinterferenzen sorgen.  Außerdem beinhaltet die Vorverarbeitung auch die Abtastung zur Zeitdiskretisierung.

Maximum-a-posteriori– und Maximum–Likelihood–Entscheidungsregel


Man bezeichnet den (uneingeschränkt) optimalen Empfänger als „MAP–Empfänger”,  wobei „MAP” für „Maximum–a–posteriori” steht.

$\text{Definition:}$  Der  Maximum-a-posteriori––Empfänger  – abgekürzt  $\rm MAP$ – ermittelt die  $M$  Rückschlusswahrscheinlichkeiten  ${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm}r(t)\big]$  und setzt die Ausgangsfolge  $V$  gemäß der Entscheidungsregel,  wobei für den Index gilt:   $i = 0$, ... , $M-1$  sowie  $i \ne j$:

$${\rm Pr}\big[Q_j \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big] > {\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big] \hspace{0.05cm}.$$


  • Die  Rückschlusswahrscheinlichkeit  ${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big]$  gibt an,  mit welcher Wahrscheinlichkeit die Folge  $Q_i$  gesendet wurde,  wenn das Empfangssignal  $r(t)$  am Entscheider anliegt.  Mit dem  Satz von Bayes  kann diese Wahrscheinlichkeit wie folgt berechnet werden:
$${\rm Pr}\big[Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t)\big] = \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_i \big] \cdot {\rm Pr}\big[Q_i]}{{\rm Pr}[r(t)\big]} \hspace{0.05cm}.$$
  • Die MAP–Entscheidungsregel lässt sich somit wie folgt umformulieren bzw. vereinfachen:   Man setze die Sinkensymbolfolge  $V = Q_j$, falls für alle  $i \ne j$  gilt:
$$\frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_j \big] \cdot {\rm Pr}\big[Q_j)}{{\rm Pr}\big[r(t)\big]} > \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_i\big] \cdot {\rm Pr}\big[Q_i\big]}{{\rm Pr}\big[r(t)\big]}\hspace{0.3cm} \Rightarrow \hspace{0.3cm} {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_j\big] \cdot {\rm Pr}\big[Q_j\big]> {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_i \big] \cdot {\rm Pr}\big[Q_i\big] \hspace{0.05cm}.$$

Eine weitere Vereinfachung dieser MAP–Entscheidungsregel führt zum „ML–Empfänger”,  wobei „ML” für „Maximum–Likelihood” steht.

$\text{Definition:}$  Der  Maximum–Likelihood–Empfänger  – abgekürzt  $\rm ML$  – entscheidet nach den bedingten Vorwärtswahrscheinlichkeiten  ${\rm Pr}\big[r(t)\hspace{0.05cm} \vert \hspace{0.05cm}Q_i \big]$  und setzt die Ausgangsfolge  $V = Q_j$, falls für alle  $i \ne j$  gilt:

$${\rm Pr}\big[ r(t)\hspace{0.05cm} \vert\hspace{0.05cm} Q_j \big] > {\rm Pr}\big[ r(t)\hspace{0.05cm} \vert \hspace{0.05cm} Q_i\big] \hspace{0.05cm}.$$


Ein Vergleich dieser beiden Definitionen zeigt:

  • Bei gleichwahrscheinlichen Quellensymbolen verwenden der ML–Empfänger und der MAP–Empfänger gleiche Entscheidungsregeln;  beide sind somit äquivalent.
  • Bei nicht gleichwahrscheinlichen Symbolen ist der ML–Empfänger dem MAP–Empfänger unterlegen,  da er für die Detektion nicht alle zur Verfügung stehenden Informationen nutzt.


$\text{Beispiel 1:}$  Zur Verdeutlichung von ML– und MAP–Entscheidungsregel konstruieren wir nun ein sehr einfaches Beispiel mit nur zwei Quellensymbolen  $(M = 2)$.

Zur Verdeutlichung von MAP- und ML-Empfänger


⇒   Die beiden möglichen Symbole  $Q_0$  und  $Q_1$  werden durch die Sendesignale  $s = 0$  bzw.  $s = 1$  dargestellt.

⇒   Das Empfangssignal kann – warum auch immer – drei verschiedene Werte annehmen, nämlich  $r = 0$,  $r = 1$  und zusätzlich  $r = 0.5$.

Hinweise:

  • Die Empfangswerte  $r = 0$  und  $r = 1$  werden sowohl vom ML– als auch vom MAP–Entscheider den Senderwerten  $s = 0 \ (Q_0)$  bzw.  $s = 1 \ (Q_1)$  zugeordnet.
  • Bezüglich des Empfangswertes  $r = 0.5$  werden dagegen die Entscheider ein anderes Ergebnis liefern:
  • Die Maximum–Likelihood–Entscheidungsregel führt zum Quellensymbol  $Q_0$, wegen
$${\rm Pr}\big [ r= 0.5\hspace{0.05cm}\vert\hspace{0.05cm} Q_0\big ] = 0.4 > {\rm Pr}\big [ r= 0.5\hspace{0.05cm} \vert \hspace{0.05cm} Q_1\big ] = 0.2 \hspace{0.05cm}.$$
  • Die MAP–Entscheidung führt dagegen zum Quellensymbol  $Q_1$,  da entsprechend der Nebenrechnung in der Grafik gilt:
$${\rm Pr}\big [Q_1 \hspace{0.05cm}\vert\hspace{0.05cm} r= 0.5\big ] = 0.6 > {\rm Pr}\big [Q_0 \hspace{0.05cm}\vert\hspace{0.05cm} r= 0.5\big ] = 0.4 \hspace{0.05cm}.$$


Maximum–Likelihood–Entscheidung bei Gaußscher Störung


Wir setzen nun voraus,  dass sich das Empfangssignal  $r(t)$  additiv aus einem Nutzsignal  $s(t)$  und einem Störanteil  $n(t)$  zusammensetzt,  wobei die Störung als gaußverteilt und weiß angenommen wird   ⇒    "AWGN–Rauschen":

$$r(t) = s(t) + n(t) \hspace{0.05cm}.$$

Eventuelle Kanalverzerrungen werden zur Vereinfachung bereits dem Signal  $s(t)$  beaufschlagt.

Die notwendige Rauschleistungsbegrenzung wird durch einen Integrator realisiert;  dies entspricht einer Mittelung der Rauschwerte im Zeitbereich.  Begrenzt man das Integrationsintervall auf den Bereich  $t_1$  bis  $t_2$,  so kann man für jede Quellensymbolfolge  $Q_i$  eine Größe  $W_i$  ableiten,  die ein Maß für die bedingte Wahrscheinlichkeit  ${\rm Pr}\big [ r(t)\hspace{0.05cm} \vert \hspace{0.05cm} Q_i\big ] $  darstellt:

$$W_i = \int_{t_1}^{t_2} r(t) \cdot s_i(t) \,{\rm d} t - {1}/{2} \cdot \int_{t_1}^{t_2} s_i^2(t) \,{\rm d} t= I_i - {E_i}/{2} \hspace{0.05cm}.$$

Diese Entscheidungsgröße  $W_i$  kann über die  $k$–dimensioniale Verbundwahrscheinlichkeitsdichte  der Störungen  $($mit  $k \to \infty)$  und einigen Grenzübergängen hergeleitet werden.  Das Ergebnis lässt sich wie folgt interpretieren:

  • Die Integration dient der Rauschleistungsreduzierung durch Mittelung.  Werden vom Maximum–Likelihood–Detektor  $N$  Binärsymbole gleichzeitig entschieden,  so ist bei verzerrungsfreiem Kanal  $t_1 = 0 $  und  $t_2 = N \cdot T$  zu setzen.
  • Der erste Term der obigen Entscheidungsgröße  $W_i$  ist gleich der über das endliche Zeitintervall  $NT$  gebildeten  "Energie–Kreuzkorrelationsfunktion"  zwischen  $r(t)$  und  $s_i(t)$  an der Stelle  $\tau = 0$:
$$I_i = \varphi_{r, \hspace{0.08cm}s_i} (\tau = 0) = \int_{0}^{N \cdot T}r(t) \cdot s_i(t) \,{\rm d} t \hspace{0.05cm}.$$
  • Der zweite Term gibt die halbe Energie des betrachteten Nutzsignals  $s_i(t)$  an,  die zu subtrahieren ist.  Die Energie ist gleich der Autokorrelationsfunktion  $\rm (AKF)$  des Nutzsignals an der Stelle  $\tau = 0$:
\[E_i = \varphi_{s_i} (\tau = 0) = \int_{0}^{N \cdot T} s_i^2(t) \,{\rm d} t \hspace{0.05cm}.\]
  • Bei verzerrendem Kanal ist die Impulsantwort  $h_{\rm K}(t)$  nicht diracförmig,  sondern beispielsweise auf den Bereich  $-T_{\rm K} \le t \le +T_{\rm K}$  ausgedehnt.  In diesem Fall muss für die beiden Integrationsgrenzen  $t_1 = -T_{\rm K}$  und  $t_2 = N \cdot T +T_{\rm K}$  eingesetzt werden.

Matched–Filter–Empfänger vs. Korrelationsempfänger


Es gibt verschiedene schaltungstechnische Implementierungen des Maximum–Likelihood–Empfängers.

⇒   Beispielsweise können die erforderlichen Integrale durch lineare Filterung und anschließender Abtastung gewonnen werden.  Man bezeichnet diese Realisierungsform als  Matched–Filter–Empfänger,  da hier die Impulsantworten der  $M$  parallelen Filter formgleich mit den Nutzsignalen  $s_0(t)$, ... , $s_{M-1}(t)$  sind.

  • Die  $M$  Entscheidungsgrößen  $I_i$  sind dann gleich den Faltungsprodukten  $r(t) \star s_i(t)$  zum Zeitpunkt  $t= 0$.


⇒   Eine zweite Realisierungsform bietet der  Korrelationsempfänger  entsprechend der Grafik.  Man erkennt aus diesem Blockschaltbild für die angegebenen Parameter:

Korrelationsempfänger für  $N = 3$,  $t_1 = 0$,  $t_2 = 3T$  sowie  $M = 2^3 = 8$
  • Dieser Korrelationsempfänger bildet  $M = 8$  Kreuzkorrelationen zwischen dem Empfangssignal  $r(t) = s_k(t) + n(t)$  und den möglichen Sendesignalen  $s_i(t), \ i = 0$, ... , $M-1$.  Vorausgesetzt ist für die folgende Beschreibung,  dass das Nutzsignal  $s_k(t)$  gesendet wurde.
  • Der Korrelationsempfänger sucht den maximalen Korrelationswert  $W_j$  und gibt die dazugehörige Folge  $Q_j$  als Sinkensymbolfolge  $V$  aus.  Formal lässt sich die ML–Entscheidungsregel wie folgt ausdrücken:
$$V = Q_j, \hspace{0.2cm}{\rm falls}\hspace{0.2cm} W_i < W_j \hspace{0.2cm}{\rm f\ddot{u}r}\hspace{0.2cm} {\rm alle}\hspace{0.2cm} i \ne j \hspace{0.05cm}.$$
  • Besitzen alle Sendesignale  $s_i(t)$  die gleiche Energie,  so kann man auf die Subtraktion von  $E_i/2$  in allen Zweigen verzichten.  Man vergleicht dann folgende Korrelationswerte miteinander  $(i = 0$, ... , $M-1)$:
\[I_i = \int_{0}^{NT} s_j(t) \cdot s_i(t) \,{\rm d} t + \int_{0}^{NT} n(t) \cdot s_i(t) \,{\rm d} t \hspace{0.05cm}.\]
  • Mit großer Wahrscheinlichkeit ist dann  $I_j = I_k$  größer als alle anderen Vergleichswerte  $I_{j \ne k}$.  Ist das Rauschen  $n(t)$  allerdings zu groß,  so wird auch der Korrelationsempfänger eine Fehlentscheidung treffen.

Darstellung des Korrelationsempfängers im Baumdiagramm


Verdeutlichen wir uns die Funktionsweise des Korrelationsempfängers im Baumdiagramm, wobei die  $2^3 = 8$  möglichen Quellensymbolfolgen  $Q_i$  der Länge  $N = 3$  durch bipolare rechteckförmige Sendesignale  $s_i(t)$  repräsentiert werden:

Alle  $2^3 = 8$  möglichen bipolaren Sendesignale für  $N = 3$

Die möglichen Symbolfolgen  $Q_0 = \rm LLL$, ... , $Q_7 = \rm HHH$  und die zugehörigen Sendesignale  $s_0(t)$, ... , $s_7(t)$  sind oben aufgeführt.

  • Aufgrund der bipolaren Koeffizienten und der Rechteckform sind alle Signalenergien gleich:   $E_0 = \text{...} = E_7 = N \cdot E_{\rm B}$,  wobei  $E_{\rm B}$  die Energie eines Einzelimpulses der Dauer  $T$  angibt.
  • Deshalb kann auf die Subtraktion des Terms  $E_i/2$  in allen Zweigen verzichtet werden   ⇒   eine auf den  $I_i$  basierende Entscheidung liefert ebenso zuverlässige Ergebnisse wie die Maximierung der korrigierten Werte  $W_i$.


$\text{Beispiel 2:}$  In der Grafik sind die fortlaufenden Integralwerte dargestellt,  wobei vom tatsächlich gesendeten Signal  $s_5(t)$  und dem rauschfreien Fall ausgegangen wird.  Für diesen Fall gilt für die zeitabhängigen Integralwerte und die Integralendwerte:

Korrelationsempfänger:  Baumdiagramm im rauschfreien Fall
$$i_i(t) = \int_{0}^{t} r(\tau) \cdot s_i(\tau) \,{\rm d} \tau = \int_{0}^{t} s_5(\tau) \cdot s_i(\tau) \,{\rm d} \tau \hspace{0.3cm} \Rightarrow \hspace{0.3cm}I_i = i_i(3T). $$

Die Grafik kann wie folgt interpretiert werden::

  • Wegen der Rechteckform der Signale  $s_i(t)$  sind alle Funktionsverläufe  $i_i(t)$  geradlinig.  Die auf  $E_{\rm B}$  normierten Endwerte sind  $+3$,  $+1$,  $-1$  und  $-3$.
  • Der maximale Endwert ist  $I_5 = 3 \cdot E_{\rm B}$  (roter Kurvenverlauf),  da tatsächlich das Signal  $s_5(t)$  gesendet wurde.  Ohne Rauschen trifft der Korrelationsempfänger somit natürlich immer die richtige Entscheidung.
  • Der blaue Kurvenzug  $i_1(t)$  führt zum Endwert  $I_1 = -E_{\rm B} + E_{\rm B}+ E_{\rm B} = E_{\rm B}$,  da sich  $s_1(t)$  von  $s_5(t)$  nur im ersten Bit unterscheidet.  Die Vergleichswerte  $I_4$  und  $I_7$  sind ebenfalls gleich  $E_{\rm B}$.
  • Da sich  $s_0(t)$,  $s_3(t)$  und  $s_6(t)$  vom gesendeten  $s_5(t)$  in zwei Bit unterscheiden,  gilt  $I_0 = I_3 = I_6 =-E_{\rm B}$.  Die grüne Kurve zeigt  $s_6(t)$,  das zunächst ansteigt  (erstes Bit stimmt überein)  und dann über zwei Bit abfällt.
  • Die violette Kurve führt zum Endwert  $I_2 = -3 \cdot E_{\rm B}$.  Das zugehörige Signal  $s_2(t)$  unterscheidet sich von  $s_5(t)$  in allen drei Symbolen und es gilt  $s_2(t) = -s_5(t)$.



$\text{Beispiel 3:}$  Die Grafik zu diesem Beispiel beschreibt den gleichen Sachverhalt wie das  $\text{Beispiel 2}$,  doch es wird nun vom Empfangssignal  $r(t) = s_5(t)+ n(t)$  ausgegangen.  Die Varianz des AWGN–Rauschens  $n(t)$  sei  $\sigma_n^2 = 4 \cdot E_{\rm B}/T$.

Korrelationsempfänger: Baumdiagramm mit Rauschen




Man erkennt aus dieser Grafik im Vergleich zum rauschfreien Fall:

  • Die Funktionsverläufe sind aufgrund des Rauschanteils  $n(t)$  nun nicht mehr gerade und es ergeben sich auch etwas andere Endwerte als ohne Rauschen.
  • Im betrachteten Beispiel entscheidet der Korrelationsempfänger aber mit großer Wahrscheinlichkeit richtig,  da die Differenz zwischen  $I_5$  und dem zweitgrößeren Wert  $I_7$  mit  $1.65\cdot E_{\rm B}$  verhältnismäßig groß ist.
$$p_{\rm S} = {\rm Q} \left( \sqrt{ {2 \cdot E_{\rm B} }/{N_0} }\right) = {1}/{2} \cdot {\rm erfc} \left( \sqrt{ { E_{\rm B} }/{N_0} }\right) \hspace{0.05cm}.$$


$\text{Fazit:}$ 

  1. Weist das Eingangssignal keine statistischen Bindungen auf wie im  $\text{Beispiel 2}$, so ist durch die gemeinsame Entscheidung von  $N$  Symbolen gegenüber der symbolweisen Entscheidung keine Verbesserung zu erzielen   ⇒   $p_{\rm S} = {\rm Q} \left( \sqrt{ {2 \cdot E_{\rm B} }/{N_0} }\right)$ .
  2. Bei Vorhandensein von statistischen Bindungen wird dagegen durch die gemeinsame Entscheidung von  $N$  Symbolen die Fehlerwahrscheinlichkeit merklich verringert,  da der Maximum–Likelihood–Empfänger diese Bindungen berücksichtigt.
  3. Solche statistische Bindungen können entweder durch sendeseitige Codierung bewusst erzeugt werden  $($siehe  $\rm LNTwww$–Buch "Kanalcodierung"$)$  oder durch  (lineare)  Kanalverzerrungen ungewollt entstehen.
  4. Bei Vorhandensein solcher  "Impulsinterferenzen"  ist die Berechnung der Fehlerwahrscheinlichkeit deutlich schwieriger.  Es können jedoch vergleichbare Näherungen wie beim Viterbi–Empfänger angegeben werden,  die am  Ende des nächsten Kapitels  angegeben sind.


Korrelationsempfänger bei unipolarer Signalisierung


Bisher sind wir bei der Beschreibung des Korrelationsempfänger stets von binärer  bipolarer  Signalisierung ausgegangen:

$$a_\nu = \left\{ \begin{array}{c} +1 \\ -1 \\ \end{array} \right.\quad \begin{array}{*{1}c} {\rm{f\ddot{u}r}} \\ {\rm{f\ddot{u}r}} \\ \end{array}\begin{array}{*{20}c} q_\nu = \mathbf{H} \hspace{0.05cm}, \\ q_\nu = \mathbf{L} \hspace{0.05cm}. \\ \end{array}$$

Nun betrachten wir den Fall der binären  unipolaren  Digitalsignalübertragung:

$$a_\nu = \left\{ \begin{array}{c} 1 \\ 0 \\ \end{array} \right.\quad \begin{array}{*{1}c} {\rm{f\ddot{u}r}} \\ {\rm{f\ddot{u}r}} \\ \end{array}\begin{array}{*{20}c} q_\nu = \mathbf{H} \hspace{0.05cm}, \\ q_\nu = \mathbf{L} \hspace{0.05cm}. \\ \end{array}$$
Mögliche unipolare Sendesignale für  $N = 3$

Die  $2^3 = 8$  möglichen Quellensymbolfolgen  $Q_i$  der Länge  $N = 3$  werden nun durch unipolare rechteckförmige Sendesignale  $s_i(t)$  repräsentiert.

In der Grafik aufgeführt sind alle möglichen Symbolfolgen und die dazugehörigen Sendesignale:

$$Q_0 = \rm LLL, \text{ ... },\ Q_7 = \rm HHH,$$
$$s_0(t), \text{ ... },\ s_7(t).$$

Durch Vergleich mit der  entsprechenden Tabelle  für bipolare Signalisierung erkennt man:

  • Aufgrund der unipolaren Amplitudenkoeffizienten sind nun die Signalenergien  $E_i$  unterschiedlich, zum Beispiel gilt  $E_0 = 0$  und  $E_7 = 3 \cdot E_{\rm B}$.
  • Hier führt die auf den Integralendwerten  $I_i$  basierende Entscheidung nicht zum richtigen Ergebnis.
  • Vielmehr muss nun auf die korrigierten Vergleichswerte  $W_i = I_i- E_i/2$  zurückgegriffen werden.


$\text{Beispiel 4:}$  In der Grafik sind die fortlaufenden Integralwerte dargestellt,  wobei wieder vom tatsächlich gesendeten Signal  $s_5(t)$  und dem rauschfreien Fall ausgegangen wird.  Das entsprechende bipolare Äquivalent wurde im  "Beispiel 2"  betrachtet.

Baumdiagramm des Korrelationsempfängers (unipolar)

Für dieses Beispiel ergeben sich folgende Vergleichswerte,  jeweils normiert auf  $E_{\rm B}$:

$$I_5 = I_7 = 2, \hspace{0.2cm}I_1 = I_3 = I_4= I_6 = 1 \hspace{0.2cm}, \hspace{0.2cm}I_0 = I_2 = 0 \hspace{0.05cm},$$
$$W_5 = 1, \hspace{0.2cm}W_1 = W_4 = W_7 = 0.5, \hspace{0.2cm} W_0 = W_3 =W_6 =0, \hspace{0.2cm}W_2 = -0.5 \hspace{0.05cm}.$$

Das bedeutet:

  • Bei einem Vergleich hinsichtlich der maximalen  $I_i$–Werte wären die Quellensymbolfolgen  $Q_5$  und  $Q_7$  gleichwertig.
  • Berücksichtigt man die unterschiedlichen Energien  $(E_5 = 2, \ E_7 = 3)$,  so wird dagegen wegen  $W_5 > W_7$  eindeutig für die Folge  $Q_5$  entschieden.
  • Der Korrelationsempfänger gemäß  $W_i = I_i- E_i/2$  entscheidet also auch bei unipolarer Signalisierung richtig auf  $s(t) = s_5(t)$.


Aufgaben zum Kapitel


Aufgabe 3.9: Korrelationsempfänger für unipolare Signalisierung

Aufgabe 3.10: Baumdiagramm bei Maximum-Likelihood