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

Aus LNTwww
Wechseln zu:Navigation, Suche
Zeile 111: Zeile 111:
 
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 <i>h</i><sub>K</sub>(<i>t</i>) nicht diracförmig, sondern beispielsweise auf den Bereich <nobr>&ndash;<i>T</i><sub>K</sub> &#8804; <i>t</i> &#8804; +<i>T</i><sub>K</sub></nobr> ausgedehnt. In diesem Fall muss für die beiden Integrationsgrenzen <nobr><i>t</i><sub>1</sub> = &ndash;<i>T</i><sub>K</sub></nobr> und <nobr><i>t</i><sub>2</sub> = <i>NT</i> + <i>T</i><sub>K</sub></nobr> 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>
  
 +
== Korrelationsempfänger ==
 +
<br>
 +
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>
 +
 +
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>
 +
 +
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:
 +
*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:
 +
 +
::<math>V = Q_j, \hspace{0.2cm}{\rm falls}\hspace{0.2cm} W_j > W_i
 +
\hspace{0.2cm}{\rm f\ddot{u}r}\hspace{0.2cm} {\rm
 +
alle}\hspace{0.2cm} i \ne j \hspace{0.05cm}.</math>
 +
 +
*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):
 +
 +
::<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
 +
\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>
  
  

Version vom 27. Dezember 2016, 15:16 Uhr

Betrachtetes Szenario im Kapitel 3.7


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 – teilweise auch im nächsten Kapitel – wird von folgendem Übertragungsmodell ausgegangen:

Übertragungssystem mit optimalem Empfänger

Gegenüber den letzten Kapiteln 3.5 und 3.6 ergeben sich folgende Unterschiede:

  • Q ∈ {Qi} mit i = 0, ... , M–1 bezeichnet eine zeitlich begrenzte Quellensymbolfolge 〈qν〉, deren Symbole vom optimalen Empfänger gemeinsam entschieden werden sollen.
  • Beschreibt Q eine Folge von N redundanzfreien Binärsymbolen, so ist M = 2N zu setzen. Dagegen gibt M bei symbolweiser Entscheidung die Stufenzahl der digitalen Quelle an.
  • Im obigen Modell werden eventuelle Kanalverzerrungen dem Sender hinzugefügt und sind somit bereits im Grundimpuls gs(t) und im Signal s(t) enthalten. Diese Maßnahme 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 {Q0, ... , QM–1} der möglichen Quellensymbolfolgen die am wahrscheinlichsten gesendete Folge {Qj} 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 Qi ein Zahlenwert Wi abgeleitet werden. Je größer Wi ist, desto größer ist die Rückschlusswahrscheinlichkeit, dass Qi 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.

MAP– und Maximum–Likelihood–Entscheidungsregel (1)


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

: Der MAP–Empfänger ermittelt die M Rückschlusswahrscheinlichkeiten Pr(Qi|r(t)) und setzt seine Ausgangsfolge V gemäß der Entscheidungsregel (i = 0, ..., M – 1, ij): \[{\rm Pr}(Q_j \hspace{0.05cm}|\hspace{0.05cm} r(t)) > {\rm Pr}(Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t)) \hspace{0.05cm}.\]


Die Rückschlusswahrscheinlichkeit Pr(Qi|r(t)) gibt an, mit welcher Wahrscheinlichkeit die Folge Qi gesendet wurde, wenn das Empfangssignal r(t) am Entscheider anliegt. Mit dem Satz von Bayes kann diese Wahrscheinlichkeit wie folgt berechnet werden:

\[{\rm Pr}(Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t)) = \frac{ {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_i) \cdot {\rm Pr}(Q_i)}{{\rm Pr}(r(t))} \hspace{0.05cm}.\]

Die MAP–Entscheidungsregel lässt sich somit wie folgt umformulieren bzw. vereinfachen. Man setze die Sinkensymbolfolge V = Qj, falls für alle ij gilt:

\[\frac{ {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_j) \cdot {\rm Pr}(Q_j)}{{\rm Pr}(r(t))} > \frac{ {\rm Pr}( r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_i) \cdot {\rm Pr}(Q_i)}{{\rm Pr}(r(t))}\]

\[\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}.\]

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

: Der Maximum–Likelihood–Empfänger – abgekürzt ML – entscheidet nach den bedingten Vorwärtswahrscheinlichkeiten Pr(r(t)|Qi) und setzt die Folge V = Qj, falls für alle ij gilt:

\[{\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}.\]


Ein Vergleich dieser beiden Definitionen zeigt, dass bei gleichwahrscheinlichen Quellensymbolen der ML– und der MAP–Empfänger gleiche Entscheidungsregeln befolgen und somit vollkommen äquivalent sind. Bei nicht gleichwahrscheinlichen Symbolen ist der ML– dem MAP–Empfänger unterlegen, da er für die Detektion nicht alle zur Verfügung stehenden Informationen nutzt.

MAP– und Maximum–Likelihood–Entscheidungsregel (2)


: Zur Verdeutlichung von ML– und MAP–Entscheidungsregel konstruieren wir nun ein sehr einfaches Beispiel mit nur zwei Quellensymbolen (M = 2). Diese beiden möglichen Symbole Q0 und Q1 werden durch die Sendesignale s = 0 bzw. s = 1 dargestellt. Dagegen kann das Empfangssignal – warum auch immer – drei verschiedene Werte annehmen, nämlich r = 0, r = 1 und r = 0.5.

Zur Verdeutlichung von MAP- und ML-Empfänger

Die Empfangswerte r = 0 und r = 1 werden sowohl vom ML– als auch vom MAP–Entscheider den Senderwerten s = 0 (Q0) bzw. s = 1 (Q1) zugeordnet. Dagegen werden die beiden Entscheider bezüglich des Empfangswertes r = 0.5 zu einem anderen Ergebnis kommen:

  • Die Maximum–Likelihood–Entscheidungsregel führt zum Quellensymbol Q0, wegen
\[{\rm Pr}( r= 0.5\hspace{0.05cm}|\hspace{0.05cm} Q_0) = 0.4 > {\rm Pr}( r= 0.5\hspace{0.05cm}|\hspace{0.05cm} Q_1) = 0.2 \hspace{0.05cm}.\]
  • Die MAP–Entscheidung führt dagegen zum Quellensymbol Q1, da entsprechend der Grafik gilt:
\[{\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}.\]


ML–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 (Beispiel: 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 t1 bis t2, so kann man für jede Quellensymbolfolge Qi eine Größe Wi ableiten, die ein Maß für die bedingte Wahrscheinlichkeit Pr(r(t)|Qi) darstellt:

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

Diese Entscheidungsgröße Wi kann über die k–dimensioniale Verbundwahrscheinlichkeitsdichte der Störungen (mit k → ∞) und einigen Grenzübergängen hergeleitet werden. Die Gleichung lässt sich wie folgt interpretieren:

  • Die Integration dient der Rauschleistungsbegrenzung. Werden vom ML–Detektor N Binärsymbole gleichzeitig entschieden, so ist bei verzerrungsfreiem Kanal t1 = 0 und t2 = NT zu setzen.
  • Der erste Term der obigen Entscheidungsgröße Wi ist gleich der über das endliche Zeitintervall NT gebildeten Energie–Kreuzkorrelationsfunktion zwischen r(t) und si(t) an der Stelle τ = 0:
\[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}.\]
  • Der zweite Term gibt die halbe Energie des betrachteten Nutzsignals si(t) an, die zu subtrahieren ist. Die Energie ist gleich der AKF des Nutzsignals an der Stelle τ = 0:
\[E_i = \varphi_{s_i} (\tau = 0) = \int_{0}^{NT} s_i^2(t) \,{\rm d} t \hspace{0.05cm}.\]
  • Bei verzerrendem Kanal ist die Impulsantwort hK(t) nicht diracförmig, sondern beispielsweise auf den Bereich –TKt ≤ +TK ausgedehnt. In diesem Fall muss für die beiden Integrationsgrenzen t1 = –TK und t2 = NT + TK eingesetzt werden.

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 s0(t), ... , sM–1(t) sind.

Die M Entscheidungsgrößen Ii sind dann gleich den Faltungsprodukten r(t) ∗ si(t) zum Zeitpunkt t = 0. Beispielsweise erlaubt der im Kapitel 1.4 ausführlich beschriebene „optimale Binärempfänger” eine Maximum–Likelihood–Entscheidung mit den ML–Parametern M = 2 und N = 1.

Korrelationsempfänger

Wir beschränken uns hier auf den sog. Korrelationsempfänger entsprechend obigem Blockschaltbild. Zur Vereinfachung werden N = 3, t1 = 0, t2 = 3T sowie M = 23 = 8 vorausgesetzt. Man erkennt:

  • Der Korrelationsempfänger bildet insgesamt M = 8 Kreuzkorrelationsfunktionen zwischen dem Empfangssignal r(t) = sk(t) + n(t) und den möglichen Sendesignalen si(t), i = 0, ... , M–1. Vorausgesetzt ist für diese Beschreibung, dass das Nutzsignal sk(t) gesendet wurde.
  • Der Korrelationsempfänger sucht nun den maximalen Wert Wj aller Korrelationswerte und gibt die dazugehörige Folge Qj 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_j > W_i \hspace{0.2cm}{\rm f\ddot{u}r}\hspace{0.2cm} {\rm alle}\hspace{0.2cm} i \ne j \hspace{0.05cm}.\]
  • Setzt man weiter voraus, dass alle Sendesignale si(t) die genau gleiche Energie besitzen, so kann man auf die Subtraktion von Ei/2 in allen Zweigen verzichten. In diesem Fall werden folgende Korrelationswerte miteinander verglichen (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 Ij = Ik größer als alle anderen Vergleichswerte Iik. Ist das Rauschen n(t) allerdings zu groß, so kann auch der ML–Empfänger eine Fehlentscheidung treffen.