Digitalsignalübertragung/Binary Symmetric Channel (BSC): Unterschied zwischen den Versionen

Aus LNTwww
Wechseln zu:Navigation, Suche
 
(11 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
Zeile 6: Zeile 6:
 
}}
 
}}
  
== Fehlerkorrelationsfunktion des BSC–Modells ==
+
== Binary Symmetric Channel – Modell und Fehlerkorrelationsfunktion==
 
<br>
 
<br>
Die linke Grafik zeigt mit dem BSC&ndash;Modell das einfachste Modell eines digitalen Übertragungssystems.<br>
+
Die linke Grafik zeigt mit dem BSC&ndash;Modell das einfachste Modell eines digitalen Übertragungssystems.&nbsp;
  
[[Datei:P ID1828 Dig T 5 2 S1 version1.png|BSC–Modell und zugehörige Fehlerkorrelationsfunktion|class=fit]]<br>
+
Der Name steht für&nbsp; "'''Binary Symmetric Channel'''"&nbsp; und besagt,&nbsp; dass dieses Modell nur bei Binärsystemen mit symmetrischen Verfälschungseigenschaften angewendet werden kann.&nbsp; Weiter gilt:  
  
Der Name steht für Binary Symmetric Channel und besagt, dass dieses Modell nur bei Binärsystemen mit symmetrischen Verfälschungseigenschaften angewendet werden kann. Weiter gilt:
+
[[Datei:P ID1828 Dig T 5 2 S1 version1.png|right|frame|BSC–Modell und zugehörige Fehlerkorrelationsfunktion|class=fit]]
  
*Das BSC&ndash;Modell eignet sich für die Untersuchung und Erzeugung einer Fehlerfolge mit statistisch unabhängigen Fehlern. Man nennt einen solchen Kanal auch <i>gedächtnisfrei</i> und es existiert nur ein einziger Kanalzustand.<br>
+
*Das BSC&ndash;Modell eignet sich für die Untersuchung und Erzeugung einer Fehlerfolge mit statistisch unabhängigen Fehlern.&nbsp;
*Die beiden Symbole (zum Beispiel <b>L</b> und <b>H</b>) werden jeweils mit der gleichen Wahrscheinlichkeit <i>p</i> verfälscht, so dass auch die mittlere Fehlerwahrscheinlichkeit <i>p</i><sub>M</sub> gleich <i>p</i> ist, und zwar unabhängig von den Symbolwahrscheinlichkeiten <i>p</i><sub>L</sub> und  <i>p</i><sub>H</sub>.<br><br>
 
  
Die rechte Grafik zeigt die Fehlerkorrelationsfunktion (FKF)
+
*Man nennt einen solchen Kanal&nbsp; "gedächtnisfrei".&nbsp; Im Unterschied zu den&nbsp; [[Digitalsignalübertragung/Bündelfehlerkanäle|"Bündelfehler&ndash;Kanalmodellen"]]&nbsp; existiert hier nur ein einziger Kanalzustand.<br>
  
:<math>\varphi_{e}(k) =  {\rm E}[e_{\nu} \cdot e_{\nu + k}] =
+
*Die beiden Symbole&nbsp; $($zum Beispiel&nbsp; $\rm L$&nbsp; und &nbsp;$\rm H)$&nbsp; werden jeweils mit der gleichen Wahrscheinlichkeit&nbsp; $p$&nbsp; verfälscht,&nbsp; so dass auch die mittlere Fehlerwahrscheinlichkeit&nbsp; $p_{\rm M} = p$&nbsp; ist,&nbsp; und zwar unabhängig von den Symbolwahrscheinlichkeiten&nbsp; $p_{\rm L}$&nbsp; und&nbsp;  $p_{\rm H}$.<br><br>
 +
 
 +
Die rechte Grafik zeigt die&nbsp; "Fehlerkorrelationsfunktion"&nbsp; $\rm (FKF)$&nbsp; des BSC&ndash;Modells:
 +
 
 +
::<math>\varphi_{e}(k) =  {\rm E}\big[e_{\nu} \cdot e_{\nu + k}\big] =
 
  \left\{ \begin{array}{c} p \\
 
  \left\{ \begin{array}{c} p \\
 
  p^2 \end{array} \right.\quad
 
  p^2 \end{array} \right.\quad
Zeile 25: Zeile 28:
 
\\  f{\rm \ddot{u}r }\hspace{0.25cm} k > 0 \hspace{0.05cm}.\\ \end{array}</math>
 
\\  f{\rm \ddot{u}r }\hspace{0.25cm} k > 0 \hspace{0.05cm}.\\ \end{array}</math>
  
Bitte beachten Sie:
+
{{BlaueBox|TEXT= 
*Beim BSC&ndash;Modell wird also der FKF&ndash;Endwert (Quadrat der mittleren Fehlerwahrscheinlichkeit), der bei anderen Modellen erst für <i>k</i> &#8594; &#8734; gültig ist, bereits bei <i>k</i> = 1 exakt erreicht.<br>
+
$\text{Fazit:}$&nbsp;
 +
*Beim BSC&ndash;Modell wird der FKF&ndash;Endwert&nbsp; $($Quadrat der mittleren Fehlerwahrscheinlichkeit$)$,&nbsp; der bei anderen Modellen erst für&nbsp; $k \to \infty$&nbsp; gültig ist,&nbsp; bereits bei&nbsp; $k = 1$&nbsp; exakt erreicht und bleibt dann konstant.<br>
  
*Das BSC&ndash;Modell gehört zur Klasse der erneuernden Kanalmodelle (<i>Renewal Channels</i>). Bei einem erneuernden Kanalmodell sind die Fehlerabstände statistisch voneinander unabhängig und die Fehlerkorrelationsfunktion kann in einfacher Weise iterativ berechnet werden:
+
*Das BSC&ndash;Modell gehört zur Klasse der&nbsp; "erneuernden Kanalmodelle"&nbsp;&nbsp; $($englisch:&nbsp; "renewal channels").&nbsp; Bei einem erneuernden Kanalmodell sind die Fehlerabstände statistisch voneinander unabhängig und die Fehlerkorrelationsfunktion kann in einfacher Weise iterativ berechnet werden:
  
 
::<math>\varphi_{e}(k) = \sum_{\kappa = 1}^{k} {\rm Pr}(a = \kappa) \cdot
 
::<math>\varphi_{e}(k) = \sum_{\kappa = 1}^{k} {\rm Pr}(a = \kappa) \cdot
\varphi_{e}(k - \kappa) \hspace{0.05cm}.</math>
+
\varphi_{e}(k - \kappa) \hspace{0.05cm}.</math>}}
  
== Fehlerabstandsverteilung des BSC–Modells ==
+
== Binary Symmetric Channel &ndash; Fehlerabstandsverteilung==
 
<br>
 
<br>
Betrachten wir nun die <i>Fehlerabstandsverteilung</i> (FAV). Die Wahrscheinlichkeit für den Fehlerabstand <i>a</i> = <i>k</i> ergibt sich aus der Bedingung von <i>k</i> &ndash; 1 fehlerfreien Symbolen und eines Übertragungsfehlers zum Zeitpunkt <i>&nu;</i> + <i>k</i>, vorausgesetzt, dass zum Zeitpunkt <i>&nu;</i> ein Fehler aufgetreten ist. Man erhält:
+
Wir betrachten nun die&nbsp; "Fehlerabstandsverteilung"&nbsp; $\rm (FAV)$.&nbsp; Die Wahrscheinlichkeit für den Fehlerabstand&nbsp; $a=k$&nbsp; ergibt sich aus der Bedingung von&nbsp; $k-1$&nbsp; fehlerfreien Symbolen und eines Übertragungsfehlers zum Zeitpunkt&nbsp; $\nu +k$,&nbsp; vorausgesetzt,&nbsp; dass der letzte Fehler zum Zeitpunkt&nbsp; $\nu$&nbsp; aufgetreten ist.&nbsp; Man erhält:
  
:<math>{\rm Pr}(a = k) = (1-p)^{k-1}\cdot p \hspace{0.05cm}.</math>
+
::<math>{\rm Pr}(a = k) = (1-p)^{k-1}\cdot p \hspace{0.05cm}.</math>
  
 
Daraus folgt:
 
Daraus folgt:
*Der Fehlerabstand <i>a</i> = 1 tritt beim BSC&ndash;Modell stets mit der größten Wahrscheinlichkeit auf, und zwar für jeden Wert von <i>p</i>.<br>
+
*Der Fehlerabstand&nbsp; $a = 1$&nbsp; tritt beim BSC&ndash;Modell stets mit der größten Wahrscheinlichkeit auf,&nbsp; und zwar für jeden Wert von&nbsp; $p$.<br>
*Dieser Sachverhalt ist auf den ersten Blick etwas überraschend. Mit <i>p</i> = 0.01 ergibt sich zum Beispiel der mittlere Fehlerabstand E[<i>a</i>] = 100. Trotzdem sind zwei aufeinanderfolgende Fehler (<i>a</i> = 1) um den Faktor 0.99<sup>99</sup> &asymp; 2.7 wahrscheinlicher als der Fehlerabstand <i>a</i> = 100.<br><br>
+
 
 +
*Dieser Sachverhalt ist auf den ersten Blick etwas überraschend: <br>Mit&nbsp; $p = 0.01$&nbsp; ergibt sich zum Beispiel der mittlere Fehlerabstand&nbsp; ${\rm E}\big[a\big] = 100$.&nbsp; Trotzdem sind zwei aufeinanderfolgende Fehler&nbsp; $(a = 1)$&nbsp; um den Faktor&nbsp; $0.99^{99} \approx 2.7$&nbsp; wahrscheinlicher als der Fehlerabstand&nbsp; $a = 100$.<br>
 +
 
 +
*Die Fehlerabstandsverteilung ergibt sich entsprechend der&nbsp; [[Digitalsignalübertragung/Beschreibungsgrößen_digitaler_Kanalmodelle#Fehlerabstandsverteilung|"allgemeinen Definition"]]&nbsp; durch Summation:
 +
 
 +
::<math>V_a(k) =  {\rm Pr}(a \ge k) = 1 - \sum_{\kappa = 1}^{k}  (1-p)^{\kappa-1}\cdot p = (1-p)^{k-1}\hspace{0.05cm}.</math>
 +
 
 +
{{GraueBox|TEXT= 
 +
$\text{Beispiel 1:}$&nbsp; Die linke Grafik zeigt&nbsp; $V_a(k)$&nbsp; in linearer Darstellung für
 +
[[Datei:P ID1829 Dig T 5 2 S2 version1.png|right|Fehlerabstandsverteilung beim BSC–Modell in linearer und logarithmischer Darstellung.|class=fit]]
 +
 
 +
*$p = 0.1$&nbsp; (blaue Kurve), und&nbsp;
 +
*$p = 0.02$&nbsp; (rote Kurve).
 +
 
 +
 
 +
&rArr; &nbsp; Der Abfall erfolgt mit steigendem&nbsp; $k$&nbsp; exponentiell und ist umso steiler,&nbsp; je kleiner&nbsp; $p$&nbsp; ist.<br>
 +
 
 +
&rArr; &nbsp; Die rechte Grafik zeigt die logarithmische Darstellung.&nbsp; Hier verläuft der Abfall linear entsprechend
 +
 
 +
::<math>{\rm lg} \hspace{0.15cm}V_a(k) =  (k - 1) \cdot {\rm lg} \hspace{0.15cm}(1-p)\hspace{0.05cm}.</math>}}<br>
 +
 
 +
== Anwendungen des BSC–Modells ==
 +
<br>
 +
Das BSC&ndash;Modell ist das&nbsp; "digitale Äquivalent"&nbsp; zum einfachsten analogen Modell &nbsp; &#8658; &nbsp; [[Digitalsignal%C3%BCbertragung/Struktur_des_optimalen_Empf%C3%A4ngers#Einige_Eigenschaften_des_AWGN-Kanals|"AWGN"]]&nbsp; für ein zeitinvariantes Digitalsystem entsprechend der folgenden Grafik.
 +
#Einzige Beeinträchtigung ist das Rauschen.
 +
#Es gibt keine Verzerrungen.<br>
 +
 
 +
[[Datei:P ID1830 Dig T 5 2 S3 version1.png|right|frame|Zur Verwendung des BSC–Modells|class=fit]]
 +
 
 +
 
 +
Um das BSC&ndash;Modell anwenden zu können,&nbsp; muss das Digitalsystem folgende Voraussetzungen erfüllen:
 +
*Redundanzfreie Binärcodierung &nbsp; &#8658; &nbsp; keine Kanalcodierung und &ndash;decodierung,<br>
  
Die Fehlerabstandsverteilung ergibt sich entsprechend der allgemeinen Definition durch Summation:
+
*Störung entsprechend dem AWGN&ndash;Modell &nbsp; &#8658; &nbsp; additiv, weiß und gaußverteilt,<br>
  
:<math>V_a(k) =  {\rm Pr}(a \ge k) = 1 - \sum_{\kappa = 1}^{k}  (1-p)^{\kappa-1}\cdot p = (1-p)^{k-1}\hspace{0.05cm}.</math>
+
*keine Verzerrungen durch die Bauteile von Sender und Empfänger,<br>
  
Die linke Grafik zeigt <i>V<sub>a</sub></i>(<i>k</i>) in linearer Darstellung für die Parameter <i>p</i> = 0.1 (blaue Kurve) und <i>p</i> = 0.02 (rote Kurve). Der Abfall erfolgt mit steigendem <i>k</i> exponentiell und ist umso steiler, je kleiner <i>p</i> ist.<br>
+
*Schwellenwertentscheider mit symmetrischer Entscheiderschwelle,<br>
  
[[Datei:P ID1829 Dig T 5 2 S2 version1.png|Fehlerabstandsverteilung beim BSC–Modell in linearer und logarithmischer Darstellung.|class=fit]]<br>
+
*keine Fremdeinflüsse wie: <br>Nebensprechen,&nbsp; Wählimpulse,&nbsp; elektromagnetische Störfelder ...<br>
  
Die rechte Grafik zeigt die logarithmische Darstellung. Hier verläuft der Abfall linear entsprechend
 
  
:<math>{\rm lg} \hspace{0.15cm}V_a(k) = (k - 1) \cdot {\rm lg} \hspace{0.15cm}(1-p)\hspace{0.05cm}.</math><br>
+
Bei einem&nbsp; "Funksystem"&nbsp;  mit direkter Sichtverbindung&nbsp; "Sender &ndash; Empfänger"
 +
*ist die Anwendung des BSC&ndash;Modells oft gerechtfertigt,
 +
*nicht jedoch,&nbsp; wenn Fadingeinflüsse &nbsp; $($[[Digitalsignalübertragung/Trägerfrequenzsysteme_mit_nichtkohärenter_Demodulation#Rayleigh.E2.80.93_und_Riceverteilung|"Rayleigh oder Rice"$)$]]&nbsp; eine Rolle spielen
 +
*oder wenn Echos  auftreten können &nbsp; &#8658; &nbsp;[[Mobile_Kommunikation/Mehrwegeempfang_beim_Mobilfunk|"Mehrwegeempfang"]].<br>
  
  
 +
&rArr; &nbsp; Bei&nbsp; "leitungsgebundener Übertragung"&nbsp; $($zum Beispiel&nbsp; [[Beispiele_von_Nachrichtensystemen/Allgemeine_Beschreibung_von_DSL|"DSL"]],&nbsp;  aber auch bei optischer Übertragung$)$&nbsp; sind dagegen nach Aussagen von Netzbetreibern statistisch unabhängige Fehler eher die Ausnahme.
 +
 +
&rArr; &nbsp; Treten bei der Datenübertragung über das Fernsprechnetz Fehler auf,&nbsp; dann meist gehäuft.&nbsp; Man spricht in diesem Fall von so genannten&nbsp; "Bündelfehlern",&nbsp; die im nächsten Kapitel behandelt werden.<br>
 +
 +
==Aufgaben zum Kapitel==
 +
<br>
 +
[[Aufgaben:Aufgabe_5.3:_AWGN-_und_BSC-Modell|Aufgabe 5.3:&nbsp;  AWGN- und BSC-Modell]]
 +
 +
[[Aufgaben:5.3Z_Analyse_des_BSC-Modells|Aufgabe 5.3Z:&nbsp;  Analyse des BSC-Modell]]
  
 +
[[Aufgaben:5.4 Ist das BSC-Modell erneuernd?|Aufgabe 5.4:&nbsp; Ist das BSC-Modell erneuernd?]]
  
 +
[[Aufgaben:5.5 Fehlerfolge und Fehlerabstandsfolge|Aufgabe 5.5:&nbsp; Fehlerfolge und Fehlerabstandsfolge]]
  
  
 
{{Display}}
 
{{Display}}

Aktuelle Version vom 5. September 2022, 14:07 Uhr

Binary Symmetric Channel – Modell und Fehlerkorrelationsfunktion


Die linke Grafik zeigt mit dem BSC–Modell das einfachste Modell eines digitalen Übertragungssystems. 

Der Name steht für  "Binary Symmetric Channel"  und besagt,  dass dieses Modell nur bei Binärsystemen mit symmetrischen Verfälschungseigenschaften angewendet werden kann.  Weiter gilt:

BSC–Modell und zugehörige Fehlerkorrelationsfunktion
  • Das BSC–Modell eignet sich für die Untersuchung und Erzeugung einer Fehlerfolge mit statistisch unabhängigen Fehlern. 
  • Man nennt einen solchen Kanal  "gedächtnisfrei".  Im Unterschied zu den  "Bündelfehler–Kanalmodellen"  existiert hier nur ein einziger Kanalzustand.
  • Die beiden Symbole  $($zum Beispiel  $\rm L$  und  $\rm H)$  werden jeweils mit der gleichen Wahrscheinlichkeit  $p$  verfälscht,  so dass auch die mittlere Fehlerwahrscheinlichkeit  $p_{\rm M} = p$  ist,  und zwar unabhängig von den Symbolwahrscheinlichkeiten  $p_{\rm L}$  und  $p_{\rm H}$.

Die rechte Grafik zeigt die  "Fehlerkorrelationsfunktion"  $\rm (FKF)$  des BSC–Modells:

\[\varphi_{e}(k) = {\rm E}\big[e_{\nu} \cdot e_{\nu + k}\big] = \left\{ \begin{array}{c} p \\ p^2 \end{array} \right.\quad \begin{array}{*{1}c} f{\rm \ddot{u}r }\hspace{0.25cm}k = 0 \hspace{0.05cm}, \\ f{\rm \ddot{u}r }\hspace{0.25cm} k > 0 \hspace{0.05cm}.\\ \end{array}\]

$\text{Fazit:}$ 

  • Beim BSC–Modell wird der FKF–Endwert  $($Quadrat der mittleren Fehlerwahrscheinlichkeit$)$,  der bei anderen Modellen erst für  $k \to \infty$  gültig ist,  bereits bei  $k = 1$  exakt erreicht und bleibt dann konstant.
  • Das BSC–Modell gehört zur Klasse der  "erneuernden Kanalmodelle"   $($englisch:  "renewal channels").  Bei einem erneuernden Kanalmodell sind die Fehlerabstände statistisch voneinander unabhängig und die Fehlerkorrelationsfunktion kann in einfacher Weise iterativ berechnet werden:
\[\varphi_{e}(k) = \sum_{\kappa = 1}^{k} {\rm Pr}(a = \kappa) \cdot \varphi_{e}(k - \kappa) \hspace{0.05cm}.\]

Binary Symmetric Channel – Fehlerabstandsverteilung


Wir betrachten nun die  "Fehlerabstandsverteilung"  $\rm (FAV)$.  Die Wahrscheinlichkeit für den Fehlerabstand  $a=k$  ergibt sich aus der Bedingung von  $k-1$  fehlerfreien Symbolen und eines Übertragungsfehlers zum Zeitpunkt  $\nu +k$,  vorausgesetzt,  dass der letzte Fehler zum Zeitpunkt  $\nu$  aufgetreten ist.  Man erhält:

\[{\rm Pr}(a = k) = (1-p)^{k-1}\cdot p \hspace{0.05cm}.\]

Daraus folgt:

  • Der Fehlerabstand  $a = 1$  tritt beim BSC–Modell stets mit der größten Wahrscheinlichkeit auf,  und zwar für jeden Wert von  $p$.
  • Dieser Sachverhalt ist auf den ersten Blick etwas überraschend:
    Mit  $p = 0.01$  ergibt sich zum Beispiel der mittlere Fehlerabstand  ${\rm E}\big[a\big] = 100$.  Trotzdem sind zwei aufeinanderfolgende Fehler  $(a = 1)$  um den Faktor  $0.99^{99} \approx 2.7$  wahrscheinlicher als der Fehlerabstand  $a = 100$.
\[V_a(k) = {\rm Pr}(a \ge k) = 1 - \sum_{\kappa = 1}^{k} (1-p)^{\kappa-1}\cdot p = (1-p)^{k-1}\hspace{0.05cm}.\]

$\text{Beispiel 1:}$  Die linke Grafik zeigt  $V_a(k)$  in linearer Darstellung für

Fehlerabstandsverteilung beim BSC–Modell in linearer und logarithmischer Darstellung.
  • $p = 0.1$  (blaue Kurve), und 
  • $p = 0.02$  (rote Kurve).


⇒   Der Abfall erfolgt mit steigendem  $k$  exponentiell und ist umso steiler,  je kleiner  $p$  ist.

⇒   Die rechte Grafik zeigt die logarithmische Darstellung.  Hier verläuft der Abfall linear entsprechend

\[{\rm lg} \hspace{0.15cm}V_a(k) = (k - 1) \cdot {\rm lg} \hspace{0.15cm}(1-p)\hspace{0.05cm}.\]


Anwendungen des BSC–Modells


Das BSC–Modell ist das  "digitale Äquivalent"  zum einfachsten analogen Modell   ⇒   "AWGN"  für ein zeitinvariantes Digitalsystem entsprechend der folgenden Grafik.

  1. Einzige Beeinträchtigung ist das Rauschen.
  2. Es gibt keine Verzerrungen.
Zur Verwendung des BSC–Modells


Um das BSC–Modell anwenden zu können,  muss das Digitalsystem folgende Voraussetzungen erfüllen:

  • Redundanzfreie Binärcodierung   ⇒   keine Kanalcodierung und –decodierung,
  • Störung entsprechend dem AWGN–Modell   ⇒   additiv, weiß und gaußverteilt,
  • keine Verzerrungen durch die Bauteile von Sender und Empfänger,
  • Schwellenwertentscheider mit symmetrischer Entscheiderschwelle,
  • keine Fremdeinflüsse wie:
    Nebensprechen,  Wählimpulse,  elektromagnetische Störfelder ...


Bei einem  "Funksystem"  mit direkter Sichtverbindung  "Sender – Empfänger"

  • ist die Anwendung des BSC–Modells oft gerechtfertigt,
  • nicht jedoch,  wenn Fadingeinflüsse   $($"Rayleigh oder Rice"$)$  eine Rolle spielen
  • oder wenn Echos auftreten können   ⇒  "Mehrwegeempfang".


⇒   Bei  "leitungsgebundener Übertragung"  $($zum Beispiel  "DSL",  aber auch bei optischer Übertragung$)$  sind dagegen nach Aussagen von Netzbetreibern statistisch unabhängige Fehler eher die Ausnahme.

⇒   Treten bei der Datenübertragung über das Fernsprechnetz Fehler auf,  dann meist gehäuft.  Man spricht in diesem Fall von so genannten  "Bündelfehlern",  die im nächsten Kapitel behandelt werden.

Aufgaben zum Kapitel


Aufgabe 5.3:  AWGN- und BSC-Modell

Aufgabe 5.3Z:  Analyse des BSC-Modell

Aufgabe 5.4:  Ist das BSC-Modell erneuernd?

Aufgabe 5.5:  Fehlerfolge und Fehlerabstandsfolge