Esercizio - coseno, meno coseno e seno, base, distanza minima e ricevitore completo (esercizi del corso, cap. 3, es. 29)
In questa pagina 4
Testo (esercizi del corso di Fondamenti di Telecomunicazioni, Ing. Informatica UniPD, cap. 3, es. 29). Un sistema di trasmissione numerica utilizza i tre segnali con e s. Il rumore equivalente del sistema (canale AWGN) ha densità spettrale di potenza V/Hz.
- Determinare una base per lo spazio dei segnali.
- Disegnare la costellazione e valutare la distanza minima della segnalazione.
- Determinare l'upper bound alla probabilità d'errore basato sulla distanza minima.
- Determinare la struttura del ricevitore ottimo (schema completo: filtri, istanti di campionamento, elemento di decisione in termini di regioni di decisione).
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 →, 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 →, 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 →, 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 →.
(1) Base
Energie. è un numero intero di periodi: esattamente, e Ortogonalità. (anche qui periodi interi), e sta sulla stessa retta di . Il sottospazio ha dimensione e una base ortonormale si ottiene normalizzando coseno e seno (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 →): (energia ). Questa è la base che dà Gram-Schmidt partendo da e .
(2) Costellazione e distanza minima
Coordinate: e : Distanze: La distanza minima è V (tra e ciascuno degli altri due).
(3) Upper bound basato su
Il rumore per dimensione è Vs, cioè V. Dalla union bound, con (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 →): (Stesso risultato, in forma della soluzione del corso, con il valore .) Un controllo: la union bound completa con tutte le distanze dà , e il lower bound vale (tutti e tre i punti hanno il vicino più prossimo a ): è tra e , e il bound richiesto () è il più largo dei tre.
(4) Ricevitore ottimo
Il testo non dà le probabilità dei simboli: si assumono equiprobabili. Con AWGN il criterio è la minima distanza. Con il ricevitore più efficiente ha rami (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 alle funzioni di base. , causali (supporto ): e (perché è un multiplo intero di ), entrambi su .
- Campionamento in (fine del simbolo): , analogo. Il periodo di simbolo è (le forme d'onda durano : nessuna ISI).
- Decisione (in unità di V, con ): i confini sono gli assi dei segmenti. contro : . contro : , cioè , da cui ; per simmetria contro : . I tre confini si incontrano nel punto , equidistante dai tre punti. Si noti che non è un semipiano: è l'angolo sopra la "V" .
Grafico interattivo: Costellazione e regioni a minima distanza in unità 10⁻³ V·√s: s₁ = (1,41; 0), s₂ = (−1,41; 0), s₃ = (0; 0,71). La regione di s₃ è l'angolo sopra la V y = 2|x| − 1,06; i confini si incontrano in (0; −1,06)
Il blocco decisionale usa le regioni sopra. In alternativa (meno efficiente) si possono usare filtri adattati ai segnali , sottraendo () e prendendo il massimo.
Versione ripasso
Dati. , su , , s, ().
- intero: , , .
- , su , .
(2) Costellazione
- , .
- , .
- .
- Controlli: bound completo , lower bound .
Errori tipici
- Energia delle sinusoidi invece di .
- Usare per la regione di un semipiano: è un angolo.
- Dimenticare che cambia segno.