Esercizio - segnalazione ternaria con due segnali ortogonali e un opposto, regioni, union bound e QPSK (esercizi del corso, cap. 3, es. 34)
In questa pagina 6
Testo (esercizi del corso di Fondamenti di Telecomunicazioni, Ing. Informatica UniPD, cap. 3, es. 34). Un sistema di trasmissione usa la segnalazione ternaria (simboli equiprobabili) su canale AWGN: con V e periodo di simbolo s. La varianza del rumore per dimensione nel punto di decisione è Vs.
- Rappresentare lo schema a blocchi del ricevitore ottimo più efficiente per il sistema considerato.
- Determinare le regioni di decisione sia in forma grafica sia analitica.
- Indicare la più stretta maggiorazione (upper bound) alla probabilità di errore sul simbolo del sistema.
- Si consideri un sistema che usa quattro segnali, di cui tre definiti come sopra e il quarto . Disegnare la nuova costellazione.
- Determinare la del sistema del punto 4.
Teoria usata: Spazio dei segnali - base ortonormale, coordinate e Gram-SchmidtI segnali a energia finita formano uno spazio vettoriale con prodotto interno $\langle x,y\rangle=\int x(t)y(t),dt$, norma $\lVert x\rVert=\sqrt{E_x}$ e distanza $d(x,y)=\lVert x-y\rVert$. Le $M$ forme d'onda di una segnalazione generano un sottospazio, di cui si costruisce una base ortonormale ${\phi_1,\dots,\phi_I}$ con $I\le M$ (procedura di Gram-Schmidt). Ogni segnale diventa il vettore delle coordinate $s_i=\langle s,\phi_i\rangle$: somme, prodotti per scalari, energie ($E_s=\sum s_i^2$) e distanze si calcolano uguali sui vettori. L'insieme dei vettori ${\mathbf s_1,\dots,\mathbf s_M}$ è la costellazione.Spazio dei segnali - base ortonormale, coordinate e Gram-Schmidt →, Ricevitore ottimo - banco di correlatori e filtri adattatiIl ricevitore ottimo calcola le coordinate $r_i[k]=\int r(t),\phi_i(t-kT),dt$ con un banco di $I$ correlatori (moltiplicatore, integratore sul simbolo, campionatore) e le passa a un blocco di decisione MAP, ML o MD. Ogni correlatore è equivalente a un filtro adattato con risposta impulsiva $\phi_i(t_0-t)$, causale se $t_0$ è la fine del supporto, campionato in $t_0+kT$. Alternativa senza base: $M$ filtri adattati ai segnali $s_m(T-t)$ e decisione $\arg\max_m\left[\langle r,s_m\rangle-\frac{E_m}2\right]$ (MD), che conviene se $M=I$. Per $M=2$ basta un solo ramo, lungo $s_1-s_2$, con una soglia.Ricevitore ottimo - banco di correlatori e filtri adattati →, Regioni di decisione - criteri MAP, ML e minima distanzaLe regioni di decisione $\mathcal R_1,\dots,\mathcal R_M$ sono una partizione dello spazio $\mathbb R^I$: se il vettore ricevuto cade in $\mathcal R_m$ si decide $\hat a_0=m$. La probabilità di decisione corretta è $P[C]=\sum_m\int_{\mathcal R_m}D(\boldsymbol\rho;m),d\boldsymbol\rho$ con $D=P_{a_0}(m),p_{\mathbf r|a_0}(\boldsymbol\rho|m)$, ed è massima assegnando ogni $\boldsymbol\rho$ al $m$ che massimizza $D$: criterio MAP. Con simboli equiprobabili è il ML; con in più rumore AWGN diventa la minima distanza (MD), $\hat a_0=\arg\min_m\lVert\boldsymbol\rho-\mathbf s_m\rVert$, con confini che sono gli assi dei segmenti tra i punti. Con probabilità diverse i confini si spostano verso i punti meno probabili.Regioni di decisione - criteri MAP, ML e minima distanza →, Modulazioni M-arie - ortogonali, PPM, biortogonali e union boundCon $M>2$ segnali ogni simbolo porta $\log_2M$ bit. La probabilità d'errore si limita con la union bound: $P[E\mid m]\le\sum_{m'\ne m}Q\left(\frac{d_{m',m}}{2\sigma_I}\right)$, da cui $\frac{N_{\min}}{M},Q\left(\frac{d_{\min}}{2\sigma_I}\right)\le P[E]\le(M-1),Q\left(\frac{d_{\min}}{2\sigma_I}\right)$ ($d_{\min}$ distanza minima della costellazione, $N_{\min}$ numero di punti che hanno un vicino a quella distanza). Modulazioni ortogonali (PPM): $d=\sqrt{2E_s}$ per ogni coppia, $P[E]\le(M-1)Q\left(\sqrt{\frac{E_s}{2\sigma_I^2}}\right)$. Biortogonali ($M/2$ ortogonali più i loro opposti): $P[E]\le(M-2)Q\left(\sqrt{\frac{E_s}{2\sigma_I^2}}\right)+Q\left(\sqrt{\frac{E_s}{\sigma_I^2}}\right)$.Modulazioni M-arie - ortogonali, PPM, biortogonali e union bound →, Modulazione QAM - costellazioni, energia e probabilità d'erroreLa QAM trasmette due PAM indipendenti su due portanti in quadratura: $s_m(t)=\alpha_{m,I}h_{Tx}(t)\cos(2\pi f_0t)-\alpha_{m,Q}h_{Tx}(t)\sin(2\pi f_0t)$ con $\alpha\in{\pm1,\pm3,\dots}$ e $M=2^{2b}$ ($2b$ bit per simbolo). La base è $\phi_{1,2}\propto h_{Tx}\cos,,-h_{Tx}\sin$ con energia $\frac{E_h}2$, i punti stanno su una griglia $\sqrt M\times\sqrt M$ con $d_{\min}=\sqrt{2E_h}$ ed $E_s=\frac{M-1}{3}E_h$. Con $q=Q\left(\sqrt{\frac{E_h}{2\sigma_I^2}}\right)$: $P[E]=4\left(1-\frac1{\sqrt M}\right)q-4\left(1-\frac1{\sqrt M}\right)^2q^2$, con $\frac{E_h}{2\sigma_I^2}=\frac{E_s}{\sigma_I^2}\frac{3}{2(M-1)}$. Con Gray su ogni asse $P_{bit}\simeq\frac{P[E]}{\log_2M}$.Modulazione QAM - costellazioni, energia e probabilità d'errore →.
Base e costellazione
vale V nella seconda metà (rect centrato in , larghezza ), vale V nella prima metà , . Supporti disgiunti: ; è sulla stessa retta di . Le energie sono uguali: La base ha dimensione : su e su (energia ✓). Punti: Distanze: e .
(1) Ricevitore più efficiente
Con e conviene lo schema a due rami, uno per funzione di base (Ricevitore ottimo - banco di correlatori e filtri adattatiIl ricevitore ottimo calcola le coordinate $r_i[k]=\int r(t),\phi_i(t-kT),dt$ con un banco di $I$ correlatori (moltiplicatore, integratore sul simbolo, campionatore) e le passa a un blocco di decisione MAP, ML o MD. Ogni correlatore è equivalente a un filtro adattato con risposta impulsiva $\phi_i(t_0-t)$, causale se $t_0$ è la fine del supporto, campionato in $t_0+kT$. Alternativa senza base: $M$ filtri adattati ai segnali $s_m(T-t)$ e decisione $\arg\max_m\left[\langle r,s_m\rangle-\frac{E_m}2\right]$ (MD), che conviene se $M=I$. Per $M=2$ basta un solo ramo, lungo $s_1-s_2$, con una soglia.Ricevitore ottimo - banco di correlatori e filtri adattati →): filtri adattati a e con risposte impulsive (si possono anche scrivere ), campionati in ; i due campioni entrano nel blocco di decisione a minima distanza. Lo schema alternativo con filtri sui segnali, che sottrae in ogni ramo (tutte uguali: si omette) e prende il massimo, richiede un ramo in più.
(2) Regioni di decisione
Simboli equiprobabili e AWGN: minima distanza. Per , , , , confini = assi dei segmenti:
- -: la retta (bisettrice, per simmetria rispetto agli assi);
- -: la retta ;
- -: la retta (con ; per è coperta dal punto ).
Sono tre regioni a spicchio che si incontrano nell'origine; è l'angolo di sopra le due bisettrici, e coprono ciascuna . (Verificato numericamente contro il criterio del punto più vicino.)
Grafico interattivo: Costellazione ternaria s₁ = (7,07; 0), s₂ = (0; 7,07), s₃ = (−7,07; 0): R₂ è l'angolo sopra le bisettrici y = ±x; R₁ sta a destra e sotto y = x, R₃ a sinistra e sotto y = −x
(3) Upper bound
La più stretta tra le maggiorazioni studiate è la union bound con tutte le distanze (Modulazioni M-arie - ortogonali, PPM, biortogonali e union boundCon $M>2$ segnali ogni simbolo porta $\log_2M$ bit. La probabilità d'errore si limita con la union bound: $P[E\mid m]\le\sum_{m'\ne m}Q\left(\frac{d_{m',m}}{2\sigma_I}\right)$, da cui $\frac{N_{\min}}{M},Q\left(\frac{d_{\min}}{2\sigma_I}\right)\le P[E]\le(M-1),Q\left(\frac{d_{\min}}{2\sigma_I}\right)$ ($d_{\min}$ distanza minima della costellazione, $N_{\min}$ numero di punti che hanno un vicino a quella distanza). Modulazioni ortogonali (PPM): $d=\sqrt{2E_s}$ per ogni coppia, $P[E]\le(M-1)Q\left(\sqrt{\frac{E_s}{2\sigma_I^2}}\right)$. Biortogonali ($M/2$ ortogonali più i loro opposti): $P[E]\le(M-2)Q\left(\sqrt{\frac{E_s}{2\sigma_I^2}}\right)+Q\left(\sqrt{\frac{E_s}{\sigma_I^2}}\right)$.Modulazioni M-arie - ortogonali, PPM, biortogonali e union bound →); con il rapporto vale per le coppie a distanza e per quella a : (Il bound grezzo è meno stretto.)
(4) Costellazione con quattro segnali
Con si aggiunge il punto : quattro punti sugli assi, a distanza dall'origine, uno per semiasse. Sono due coppie di segnali opposti, ciascuna ortogonale all'altra: una modulazione biortogonale con ( segnali ortogonali più gli opposti). Geometricamente è un quadrato ruotato di : coincide con una 4-QAM (QPSK) con energia media (Modulazione QAM - costellazioni, energia e probabilità d'erroreLa QAM trasmette due PAM indipendenti su due portanti in quadratura: $s_m(t)=\alpha_{m,I}h_{Tx}(t)\cos(2\pi f_0t)-\alpha_{m,Q}h_{Tx}(t)\sin(2\pi f_0t)$ con $\alpha\in{\pm1,\pm3,\dots}$ e $M=2^{2b}$ ($2b$ bit per simbolo). La base è $\phi_{1,2}\propto h_{Tx}\cos,,-h_{Tx}\sin$ con energia $\frac{E_h}2$, i punti stanno su una griglia $\sqrt M\times\sqrt M$ con $d_{\min}=\sqrt{2E_h}$ ed $E_s=\frac{M-1}{3}E_h$. Con $q=Q\left(\sqrt{\frac{E_h}{2\sigma_I^2}}\right)$: $P[E]=4\left(1-\frac1{\sqrt M}\right)q-4\left(1-\frac1{\sqrt M}\right)^2q^2$, con $\frac{E_h}{2\sigma_I^2}=\frac{E_s}{\sigma_I^2}\frac{3}{2(M-1)}$. Con Gray su ogni asse $P_{bit}\simeq\frac{P[E]}{\log_2M}$.Modulazione QAM - costellazioni, energia e probabilità d'errore →). Le regioni sono i quadranti delimitati dalle bisettrici .
Grafico interattivo: Con s₄ = −s₂ i quattro punti stanno sugli assi a distanza 7,07 dall'origine: è un quadrato ruotato di 45°, cioè una QPSK; le regioni di decisione sono delimitate dalle bisettrici y = x e y = −x
(5) del sistema a quattro segnali
Si ruota il riferimento di : e (stesso rumore, ancora indipendente con per la rotazione ortogonale). Nelle nuove coordinate i punti sono e le regioni sono i quadranti. Con la mappatura di Gray , , , (due punti adiacenti differiscono in un solo bit), un bit è il segno di e l'altro il segno di , e ciascuno è sbagliato con probabilità : con e . La probabilità d'errore di simbolo è , ed è il doppio di (con bit per simbolo e un solo bit sbagliato per errore, a meno di ). La soluzione del corso riporta , vicino ma non uguale a . Rispetto al sistema ternario l'aggiunta di non cambia la distanza minima () ma aggiunge un bit per simbolo.
Versione ripasso
Dati. V su , V su , , s, Vs.
- , . sulle due metà. , , .
- , .
(1)-(2) Ricevitore e regioni (Ricevitore ottimo - banco di correlatori e filtri adattatiIl ricevitore ottimo calcola le coordinate $r_i[k]=\int r(t),\phi_i(t-kT),dt$ con un banco di $I$ correlatori (moltiplicatore, integratore sul simbolo, campionatore) e le passa a un blocco di decisione MAP, ML o MD. Ogni correlatore è equivalente a un filtro adattato con risposta impulsiva $\phi_i(t_0-t)$, causale se $t_0$ è la fine del supporto, campionato in $t_0+kT$. Alternativa senza base: $M$ filtri adattati ai segnali $s_m(T-t)$ e decisione $\arg\max_m\left[\langle r,s_m\rangle-\frac{E_m}2\right]$ (MD), che conviene se $M=I$. Per $M=2$ basta un solo ramo, lungo $s_1-s_2$, con una soglia.Ricevitore ottimo - banco di correlatori e filtri adattati →, Regioni di decisione - criteri MAP, ML e minima distanzaLe regioni di decisione $\mathcal R_1,\dots,\mathcal R_M$ sono una partizione dello spazio $\mathbb R^I$: se il vettore ricevuto cade in $\mathcal R_m$ si decide $\hat a_0=m$. La probabilità di decisione corretta è $P[C]=\sum_m\int_{\mathcal R_m}D(\boldsymbol\rho;m),d\boldsymbol\rho$ con $D=P_{a_0}(m),p_{\mathbf r|a_0}(\boldsymbol\rho|m)$, ed è massima assegnando ogni $\boldsymbol\rho$ al $m$ che massimizza $D$: criterio MAP. Con simboli equiprobabili è il ML; con in più rumore AWGN diventa la minima distanza (MD), $\hat a_0=\arg\min_m\lVert\boldsymbol\rho-\mathbf s_m\rVert$, con confini che sono gli assi dei segmenti tra i punti. Con probabilità diverse i confini si spostano verso i punti meno probabili.Regioni di decisione - criteri MAP, ML e minima distanza →)
- rami: , campionati in .
- MD: .
- (il bound è meno stretto).
- Quattro punti sugli assi: biortogonale, quadrato ruotato di = QPSK con ; regioni: quadranti delimitati da .
- Ruotando di i punti sono ; Gray: un bit per segno di e di . (il corso riporta ), .
Passaggi utili
- su (energia ); , campione in .
- Gray per la QPSK ruotata: , , , (un bit per il segno di , uno per quello di ); coordinate .
- , , .
Errori tipici
- Dire che è il semipiano : il confine con è .
- Usare rami quando bastano .
- con quattro punti: ogni errore di simbolo sbaglia un solo bit (Gray), quindi .
Teoria collegata
- Spazio dei segnali - base ortonormale, coordinate e Gram-Schmidt
- Ricevitore ottimo - banco di correlatori e filtri adattati
- Regioni di decisione - criteri MAP, ML e minima distanza
- Modulazioni M-arie - ortogonali, PPM, biortogonali e union bound
- Modulazione QAM - costellazioni, energia e probabilità d'errore