Esercizio 4quantizzatore a 6 livelli, bit aggiuntivi e codice non decodificabile (tema d'esame agosto 2025)
In questa pagina 6
Testo (tema d'esame agosto 2025, esercizio 1). Si consideri un segnale di tensione analogico con distribuzione gaussiana , a media nulla e densità spettrale che viene campionato a frequenza e quantizzato con un quantizzatore uniforme simmetrico a livelli e range dinamico . Al segnale quantizzato si applica una codifica di sorgente: A) a lunghezza fissa oppure B) secondo la mappa
| valore quantizzato | ||||||
|---|---|---|---|---|---|---|
| parola di codice |
- (2p) Qual è la minima frequenza di campionamento? Giustifica.
- (2p) Si calcolino le soglie e la probabilità di saturazione del quantizzatore.
- (3p) Mantenendo invariata la probabilità di saturazione, quanti bit aggiuntivi servono per aumentare l'SNR di quantizzazione di almeno dB?
- (3p) Si calcoli la probabilità associata a ciascun simbolo , , e l'efficienza della sorgente se si applica la codifica a lunghezza fissa A).
- (3p) È conveniente utilizzare la codifica B)? (Suggerimento: si consideri la trasmissione e decodifica dei simboli .)
Teoria usata: Conversione A-D e D-A - campionamento, anti-aliasing e interpolazionePer trasmettere un segnale analogico in forma digitale lo si campiona (a frequenza $F_s\ge2B$, dopo un filtro anti-aliasing), lo si quantizza su $L=2^b$ livelli e si trasforma ogni livello in $b$ bit. Il bit-rate nominale è $R_b=F_s,b$. Al ricevitore si fa il percorso inverso e si interpola (con un filtro con risposta $T_s,\mathrm{rect}\frac f{2B}$ in teoria, con un mantenitore di ordine zero in pratica). La quantizzazione è l'unica operazione che introduce un errore irreversibile.Conversione A-D e D-A - campionamento, anti-aliasing e interpolazione →, Quantizzatore uniforme - livelli, mid-riser ed erroriUn quantizzatore mappa i campioni reali su $L=2^b$ livelli. Quello uniforme (PCM) sceglie un range dinamico $[-V_{sat},V_{sat}]$ e un passo $\Delta=\frac{2V_{sat}}L$; nel tipo mid-riser i livelli sono $\pm\frac\Delta2,\pm\frac{3\Delta}2,\dots$ e non c'è lo zero. L'errore $e_q=a_q-a$ ha una parte granulare (in $[-\frac\Delta2,\frac\Delta2]$, circa uniforme, potenza $\frac{\Delta^2}{12}$) e una di saturazione (fuori range). Per renderlo piccolo servono $P_{sat}$ piccola e $L$ grande.Quantizzatore uniforme - livelli, mid-riser ed errori →, SNR di quantizzazione e progetto del quantizzatoreL'SNR di quantizzazione è $\Lambda_q=\frac{M_a}{M_e}$. Con errore granulare uniforme e saturazione trascurabile vale $\Lambda_q=\frac{\sigma^2}{\Delta^2/12}=3\frac{\sigma^2}{V_{sat}^2},2^{2b}$, cioè $[\Lambda_q]{dB}=6{,}02,b+4{,}77+20\log{10}\frac\sigma{V_{sat}}$: ogni bit in più dà $+6$ dB. Per progettare: $V_{sat}$ dalla probabilità di saturazione ($V_{sat}=\sigma,Q^{-1}\left(\frac{P_{sat}}2\right)$ per un gaussiano), poi $b$ dall'SNR richiesto, arrotondando per eccesso.SNR di quantizzazione e progetto del quantizzatore →, Informazione ed entropiaL'informazione di un evento di probabilità $p$ è $\log_2\frac1p$ bit; l'entropia $H(x)=\sum p\log_2\frac1p$ è l'informazione media e misura l'incertezza della sorgente: $0\le H\le\log_2M$, con il massimo quando i simboli sono equiprobabili. Per più simboli: $H(x,y)\le H(x)+H(y)$ (uguaglianza se indipendenti), $H(x|y)=H(x,y)-H(y)$. Per una sorgente con $F_s$ simboli al secondo il rate di informazione è $F_sH_s$, il rate nominale $F_s\log_2M$ e l'efficienza $\eta=\frac{H_s}{\log_2M}$.Informazione ed entropia →, Codifica di sorgente - codici a prefisso e teorema di ShannonLa codifica di sorgente riduce il numero di bit mappando le parole della sorgente in parole di lunghezza variabile (più corte per le più probabili), senza perdere informazione. Il codice deve essere decodificabile; i codici a prefisso (nessuna parola è prefisso di un'altra) lo sono. Kraft-McMillan: se il codice è decodificabile $\sum M_y^{-L(b)}\le1$. Teorema di Shannon: $L_y\ge\frac{H(x)}{\log_2M_y}$ e esiste un codice a prefisso con $L_y\le\frac{H(x)}{\log_2M_y}+1$; l'efficienza è $\eta=\frac{H(x)}{L_y\log_2M_y}$.Codifica di sorgente - codici a prefisso e teorema di Shannon →.
(1) Frequenza di campionamento
La PSD è un rettangolo , nullo per : il segnale è a banda limitata con Hz. Per il teorema del campionamento (Teorema del campionamento, interpolazione e aliasingTeorema di Shannon: un segnale a banda limitata $\omega_M$ si ricostruisce esattamente dai campioni se $T_c<\pi/\omega_M$ (frequenza di campionamento maggiore di quella di Nyquist $2f_{\max}$), con la formula di interpolazione ideale $x(t)=\sum_nx(nT_c)\operatorname{sinc}\left(\frac{t-nT_c}{T_c}\right)$. Sotto Nyquist c'è aliasing: le frequenze alte si confondono con quelle basse e l'informazione è persa.Teorema del campionamento, interpolazione e aliasing →) si ricostruisce senza errore se :
(2) Soglie e probabilità di saturazione
Il segnale è gaussiano a media nulla con varianza uguale alla potenza, cioè all'integrale della PSD: Il range è V con livelli: V. Le soglie interne (cinque, per sei livelli) sono i multipli di : con i livelli (mid-riser) in V; oltre V si satura. La probabilità di saturazione (due code): Con di questo ordine l'errore granulare domina, ma la saturazione non è trascurabile del tutto: dB (solo granulare).
(3) Bit aggiuntivi per dB
A (cioè ) invariata, l'SNR è proporzionale a : . Guadagnare almeno dB (un fattore in potenza) richiede Con la codifica a lunghezza fissa i livelli occupano bit. Si deve avere , cioè bit (): con bit () l'aumento sarebbe dB (non basta); con bit dB. Servono quindi 2 bit aggiuntivi (da a ). Lo stesso risultato dalla regola dei dB per bit: bit.
(4) Probabilità dei simboli ed efficienza
I livelli (con le regioni) sono simmetrici; con gli estremi in unità di sono e l'ultima regione si estende all'infinito (comprende la saturazione). Per ciascun livello con segno:
| Simbolo | Livello | Regione | Probabilità |
|---|---|---|---|
| , | V | ||
| , | V | ||
| , | V |
(somma .) L'entropia è Con la codifica A) a lunghezza fissa ogni livello usa bit, quindi (Rispetto al massimo teorico di un quantizzatore a livelli, bit, si avrebbe .)
(5) La codifica B)
Le parole sono .
- Kraft-McMillan: : nessun codice binario decodificabile può avere queste lunghezze.
- Ambiguità concreta (come suggerisce il testo): è prefisso di : la sequenza si decodifica sia come () sia come (); e creano lo stesso problema ( come oppure ).
- Contro-prova con Shannon: la lunghezza media del codice B) con le probabilità trovate sarebbe bit, inferiore all'entropia bit: un codice decodificabile non può scendere sotto (Codifica di sorgente - codici a prefisso e teorema di ShannonLa codifica di sorgente riduce il numero di bit mappando le parole della sorgente in parole di lunghezza variabile (più corte per le più probabili), senza perdere informazione. Il codice deve essere decodificabile; i codici a prefisso (nessuna parola è prefisso di un'altra) lo sono. Kraft-McMillan: se il codice è decodificabile $\sum M_y^{-L(b)}\le1$. Teorema di Shannon: $L_y\ge\frac{H(x)}{\log_2M_y}$ e esiste un codice a prefisso con $L_y\le\frac{H(x)}{\log_2M_y}+1$; l'efficienza è $\eta=\frac{H(x)}{L_y\log_2M_y}$.Codifica di sorgente - codici a prefisso e teorema di Shannon →).
Non è conveniente: non si può usare, perché non è decodificabile. Un codice a lunghezza variabile corretto è quello di Huffman (Codici di Shannon-Fano e di HuffmanIn un codice ottimo le parole più probabili non sono più lunghe di quelle meno probabili e le due parole più lunghe differiscono solo per l'ultimo simbolo. Shannon-Fano costruisce l'albero dall'alto dividendo ripetutamente i simboli in due gruppi di probabilità quasi uguali; Huffman lo costruisce dal basso unendo ogni volta i due simboli meno probabili ed è sempre ottimo tra i codici a prefisso. La lunghezza media $L_y$ è la somma delle probabilità dei nodi uniti, l'efficienza è $\eta=\frac{H}{L_y}$.Codici di Shannon-Fano e di Huffman →): unendo i due meno probabili si ottengono le lunghezze (assegnate a ) con le parole (a prefisso), bit, contro del codice A.
(Verificato: V, , bit, Kraft , bit, Huffman bit.)
Errori comuni
- Dimenticare che le soglie sono cinque (non sei) per livelli.
- Calcolare i bit aggiuntivi con invece di : l'SNR cresce come .
- Contare i bit di come senza arrotondare quando si parla di parole a lunghezza fissa.
- Usare un codice per cui una parola è prefisso di un'altra senza controllare Kraft o l'ambiguità.
Versione ripasso
Testo. ( V²/Hz, Hz), mid-riser su V; codice B: : minima, soglie e , bit per dB, ed , convenienza di B (agosto 2025).
- (1) Hz.
- (2) V², ; ; soglie V; .
- (3) (SNR di quantizzazione e progetto del quantizzatoreL'SNR di quantizzazione è $\Lambda_q=\frac{M_a}{M_e}$. Con errore granulare uniforme e saturazione trascurabile vale $\Lambda_q=\frac{\sigma^2}{\Delta^2/12}=3\frac{\sigma^2}{V_{sat}^2},2^{2b}$, cioè $[\Lambda_q]{dB}=6{,}02,b+4{,}77+20\log{10}\frac\sigma{V_{sat}}$: ogni bit in più dà $+6$ dB. Per progettare: $V_{sat}$ dalla probabilità di saturazione ($V_{sat}=\sigma,Q^{-1}\left(\frac{P_{sat}}2\right)$ per un gaussiano), poi $b$ dall'SNR richiesto, arrotondando per eccesso.SNR di quantizzazione e progetto del quantizzatore →) : ( bit: dB, : dB): 2 bit in più.
- (4) ; ; ; bit; .
- (5) (Codifica di sorgente - codici a prefisso e teorema di ShannonLa codifica di sorgente riduce il numero di bit mappando le parole della sorgente in parole di lunghezza variabile (più corte per le più probabili), senza perdere informazione. Il codice deve essere decodificabile; i codici a prefisso (nessuna parola è prefisso di un'altra) lo sono. Kraft-McMillan: se il codice è decodificabile $\sum M_y^{-L(b)}\le1$. Teorema di Shannon: $L_y\ge\frac{H(x)}{\log_2M_y}$ e esiste un codice a prefisso con $L_y\le\frac{H(x)}{\log_2M_y}+1$; l'efficienza è $\eta=\frac{H(x)}{L_y\log_2M_y}$.Codifica di sorgente - codici a prefisso e teorema di Shannon →) Kraft : non decodificabile (); . Huffman: , .
- Errori: cinque soglie; e non ; per la lunghezza fissa.
Teoria collegata
- Conversione A-D e D-A - campionamento, anti-aliasing e interpolazione
- Quantizzatore uniforme - livelli, mid-riser ed errori
- SNR di quantizzazione e progetto del quantizzatore
- Informazione ed entropia
- Codifica di sorgente - codici a prefisso e teorema di Shannon
- Teorema del campionamento, interpolazione e aliasing
- Codici di Shannon-Fano e di Huffman