Quantizzazione uniforme - saturazione, errore granulare e SNR di quantizzazione
In questa pagina 8
Dopo il campionamento (Campionamento e interpolazione - mantenimento, lineare e idealeIl campionamento ricava da s(t) la sequenza s_c(mT) = s(mT); l'interpolazione ricostruisce s(t) = Σ s_c(mT) h(t − mT) con la risposta impulsiva h dell'interpolatore: mantenimento (rect su [0,T]), lineare (triangolo) o ideale h(t) = sinc(t/T). Il teorema del campionamento garantisce la ricostruzione esatta con la sinc se T è abbastanza piccolo, cioè F_s = 1/T ≥ 2B per un segnale di banda B. La coppia campionatore-interpolatore è una codifica-decodifica di sorgente senza perdite se il teorema è rispettato.Campionamento e interpolazione - mantenimento, lineare e ideale →) ogni campione è ancora un numero reale, cioè un'informazione infinita. Per memorizzarlo o trasmetterlo con bit lo si arrotonda a uno tra valori: è la quantizzazione, e la differenza tra il valore vero e quello arrotondato è un errore che non si può eliminare, ma solo rendere piccolo. Qui si studia il quantizzatore uniforme, e si arriva alla formula che lega i bit alla qualità. La versione per le altre lauree è in 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 → e 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 → (Ing. Elettronica) e Quantizzazione e rumore di quantizzazioneIl quantizzatore mappa ogni campione reale su uno dei $L=2^b$ livelli. Il quantizzatore uniforme mid-riser ha passo $\Delta=\frac{2v_{sat}}{L}$, soglie multiple di $\Delta$ e livelli multipli dispari di $\frac\Delta2$. L'errore $e_q=a_q-a$ è granulare (in $[-\frac\Delta2,\frac\Delta2]$, circa uniforme, potenza $\frac{\Delta^2}{12}$) o di saturazione (fuori da $[-v_{sat},v_{sat}]$, trascurabile se $P_{sat}$ è piccola). L'SNR è $\Lambda_q=\frac{M_a}{M_{e_q}}$ e, con saturazione trascurabile, $[\Lambda_q]{dB}=6{,}02,b+4{,}77-20\log{10}\frac{v_{sat}}{\sigma_a}$: $+6$ dB per ogni bit.Quantizzazione e rumore di quantizzazione → (Ing. delle Telecomunicazioni). Per le variabili aleatorie usate: Variabili aleatorie continue - uniforme, gaussiana, esponenziale e funzione QUna v.a. continua ha funzione di distribuzione F_x(a) = P(x ≤ a) e densità f_x(a) = dF_x/da ≥ 0 con integrale 1; P(A ≤ x ≤ B) = F_x(B) − F_x(A) = ∫_A^B f_x e P(x = A) = 0. Uniforme U([a,b]): densità 1/(b−a), media (a+b)/2, varianza (b−a)²/12. Esponenziale unilatera di media m: (1/m)e^(−a/m), a ≥ 0. Gaussiana N(m, σ²): P(x ≥ A) = Q((A − m)/σ), con Q(A) coda della gaussiana standard. Somme di gaussiane indipendenti sono gaussiane (medie e varianze si sommano); teorema del limite centrale.Variabili aleatorie continue - uniforme, gaussiana, esponenziale e funzione Q →; per energie e decibel: Energia, potenza e rapporto segnale-rumore in decibelL'energia di un segnale è E_s = ∫s²(t)dt (a tempo discreto Σs²(mT)), si misura in V²s, vale α²E_s se il segnale è moltiplicato per α; un impulso triangolare di altezza A e base B ha E = A²B/3, un rettangolo di altezza A e durata T ha A²T. La potenza media si usa per segnali che durano sempre (sinusoide: A²/2). Con simboli aleatori si calcola l'energia media pesando con le probabilità. Sul canale AWGN l'energia media del rumore su [0,T] è σ²T e SNR = E_su/E_w = A²E_sTx/E_w, che in decibel è 10log₁₀ del rapporto (A² vale 20log₁₀A dB; dBW e dBm sono potenze rispetto a 1 W e 1 mW).Energia, potenza e rapporto segnale-rumore in decibel →.
Che cos'è un quantizzatore
Un quantizzatore converte un segnale a valori continui (in ) in un segnale a valori discreti, presi da un alfabeto finito : È una trasformazione istantanea: il valore quantizzato dell'istante dipende solo dal campione di quell'istante, non dai precedenti. Il quantizzatore è uniforme se i valori dell'alfabeto sono spaziati linearmente, , e è il passo di quantizzazione.
Funzione caratteristica
La funzione caratteristica disegna in funzione di : è una scala a gradini. Si usa il tipo mid-rise (il livello non esiste: l'origine è una soglia di decisione). Con livelli:
- soglie in e range , cioè ;
- livelli (valori che il quantizzatore restituisce, uno per intervallo, al centro): ;
- fuori da l'uscita resta ferma sul livello più esterno: è la saturazione.
I livelli si etichettano con bit nella mappatura modulo e segno: il primo bit è il segno ( per i positivi, per i negativi) e gli altri bit il modulo. Per : , , , . Per (, ):
| livello | ||||||||
|---|---|---|---|---|---|---|---|---|
| bit |
La forma compatta disegna solo l'asse reale con le soglie (tratti verticali) e i livelli (crocette) al centro di ogni intervallo, con vicino la parola di codice.
Grafico interattivo: Funzione caratteristica del quantizzatore uniforme mid-rise con L = 4 livelli e Δ = 1 (v_sat = 2): livelli ±0,5 e ±1,5; fuori da [−2, 2] l'uscita satura sul livello più esterno
L'errore di quantizzazione
L'errore di quantizzazione è Ha due componenti molto diverse (si vedono bene nel grafico di contro : dente di sega dentro il range, retta fuori).
Grafico interattivo: Errore di quantizzazione e = x − Q(x) per L = 4 e Δ = 1: dentro [−2, 2] è un dente di sega limitato a ±Δ/2 = ±0,5 (errore granulare), fuori cresce senza limite (errore di saturazione)
- Errore di saturazione. Se l'errore ha ed è illimitato (cresce con la distanza da ). Se è aleatorio bisogna fare in modo che la probabilità di saturazione sia piccola.
- Errore granulare. Se l'errore sta in , ed è piccolo se è piccolo, cioè se è grande.
Scelta di e probabilità di saturazione
L'obiettivo è la che dà la voluta.
- Segnale a valori limitati in : con si ha . Prendere non serve a niente, e fa solo aumentare senza ridurre la saturazione. Quindi il valore ottimo è .
- Gaussiana : non esiste con . Per avere si impone, usando le due code, Esempi: ; .
- Una densità qualunque (esponenziale, laplaciana, a tratti): si risolve , spesso un'equazione in una sola incognita (Quantizzazione non uniforme, companding e conversione A-DIn un quantizzatore non uniforme gli intervalli I_i hanno larghezze diverse (stretti dove la densità è alta) e la potenza dell'errore è M_e = Σ M_{e_i} P(x ∈ I_i), con M_{e_i} = E[(x − a_qi)² | x ∈ I_i]. Si realizza con il companding (compressore μ(x), quantizzatore uniforme, espansore) o raggruppando gli intervalli di un quantizzatore uniforme fine. Nella conversione A-D con campionamento ogni T_s e b bit per campione, T_b = T_s/b e R_b = b/T_s bit/s. Esempio completo con densità esponenziale a due lati: v_sat, b, bit rate e periodo di simbolo della 16-QAM.Quantizzazione non uniforme, companding e conversione A-D → ha un esempio completo).
Errore granulare: potenza
Se ci sono molti intervalli, è piccolo e dentro ogni intervallo la densità è praticamente costante. Allora, condizionando al fatto che cada in uno specifico intervallo, è uniforme attorno al livello: (La stessa conclusione vale esattamente se la densità è costante a tratti sugli intervalli di quantizzazione.) L'errore è dunque a media nulla e potenza La potenza è la stessa in ogni intervallo, quindi è anche la potenza dell'errore granulare totale. Il valore quantizzato è il segnale più un errore additivo: . Nella lezione si scrive , ma il segno non cambia nulla perché è simmetrico attorno a .
SNR di quantizzazione
Si misura la qualità con il rapporto segnale-rumore di quantizzazione, tra la potenza del segnale e quella dell'errore: Per un segnale a media nulla (varianza); con media non nulla va usata la potenza . Con e il passo (il range diviso in intervalli uguali): In decibel, con e : Cosa dice la formula:
- ogni bit in più dà dB: raddoppia , dimezza , divide per la potenza dell'errore;
- l'SNR dipende dal rapporto : a fissato, un segnale "debole" rispetto alla dinamica del quantizzatore viene quantizzato peggio (ogni dimezzamento di costa dB). Per questo si usano quantizzatori non uniformi (Quantizzazione non uniforme, companding e conversione A-DIn un quantizzatore non uniforme gli intervalli I_i hanno larghezze diverse (stretti dove la densità è alta) e la potenza dell'errore è M_e = Σ M_{e_i} P(x ∈ I_i), con M_{e_i} = E[(x − a_qi)² | x ∈ I_i]. Si realizza con il companding (compressore μ(x), quantizzatore uniforme, espansore) o raggruppando gli intervalli di un quantizzatore uniforme fine. Nella conversione A-D con campionamento ogni T_s e b bit per campione, T_b = T_s/b e R_b = b/T_s bit/s. Esempio completo con densità esponenziale a due lati: v_sat, b, bit rate e periodo di simbolo della 16-QAM.Quantizzazione non uniforme, companding e conversione A-D →);
- la formula vale con l'errore granulare: vale se è piccola e grande.
Progetto del numero di bit. Per garantire si pone e si risolve : Si arrotonda per eccesso perché è intero (con più piccolo la specifica non è rispettata).
Esempio 1 (gaussiana, dB). Segnale , , dB.
- .
- .
- , e quindi livelli, .
- Verifica: con , dB ; con sarebbe dB, insufficiente.
Esempio 2 (uniforme). Se si sceglie e , quindi e : e (per esempio dB con bit). È il caso migliore: tutto il range è sfruttato.
Esempio 3 (probabilità dei livelli). Gaussiana con e , quindi . La probabilità di un livello è l'area della densità sul suo intervallo (il primo e l'ultimo intervallo comprendono anche la coda di saturazione): valori per ciascuno dei due livelli di segno opposto (somma ). Le probabilità sono molto diverse: l'entropia di questa uscita è bit, meno dei bit di una codifica a lunghezza fissa, quindi si può comprimere con un codice di sorgente (Entropia - informazione di un evento, disuguaglianza di Jensen e valore massimoL'informazione di un evento di probabilità $P$ è $i=\log_2\frac1P$ bit (zero per l'evento certo, additiva per eventi indipendenti). L'entropia di una variabile aleatoria discreta è l'informazione media, $H(x)=E[i_x(x)]=\sum_aP_x(a)\log_2\frac1{P_x(a)}$; vale $0\le H(x)\le\log_2M$ con $M$ cardinalità dell'alfabeto, e il massimo $\log_2M$ si raggiunge se e solo se i simboli sono equiprobabili (dimostrazione con la disuguaglianza di Jensen, perché il logaritmo è strettamente concavo).Entropia - informazione di un evento, disuguaglianza di Jensen e valore massimo →, Codici di Shannon, Huffman ed Elias e codifica aritmeticaIl codice di Shannon(-Fano) assegna alla parola $i$ lunghezza $l_i=\lceil-\log_{M_y}p_i\rceil$, soddisfa Kraft-McMillan e ha $H\le L_y<H+1$; è ottimo solo se le probabilità sono potenze di $\frac1{M_y}$. Il codice ottimo (lunghezza media minima) dà parole più lunghe ai simboli meno probabili e ha almeno due parole di lunghezza massima che differiscono solo nell'ultimo simbolo: lo costruisce la procedura di Huffman, che unisce a ogni passo i due nodi meno probabili. Il codice di Elias prende le prime $l_i=\lceil-\log_2p_i\rceil+1$ cifre del punto medio dell'intervallo di ampiezza $p_i$ in $[0,1)$: è a prefisso ma subottimo ($H+1\le L_y<H+2$), e si adatta alla codifica aritmetica adattativa.Codici di Shannon, Huffman ed Elias e codifica aritmetica →).
Esercizi svolti
Temi d'esame in cui la prima domanda è la quantizzazione uniforme:
- Esercizio - quantizzatore per densità esponenziale limitata tra -1 e 1, codice di Shannon e Huffman (esame del 23 gennaio 2024, es. 173)
- Esercizio - quantizzatore con densità a gradini, codice di Shannon e segnalazione quaternaria (esame dell'8 febbraio 2024, es. 176)
- Esercizio - quantizzatore a due livelli, canale a quattro uscite e codice di Huffman delle coppie (esame del 30 agosto 2024, es. 182)
- Esercizio - quantizzatore con densità a tratti, 4-QAM di Gray e quantizzatore non uniforme (primo compitino del 29 novembre 2024, es. 184)
- Esercizio - quantizzatore con densità mista uniforme e triangolare, 4-QAM e canale a cancellazione (esame dell'11 febbraio 2025, es. 190)
- Esercizio - quantizzatore per densità triangolare e 16-QAM con impulso a rampa (primo compitino del 21 novembre 2025, es. 194)
- Esercizio - quantizzatore con densità esponenziale a due lati, codice di Shannon, 64-QAM e Hamming (compito del 23 gennaio 2026, es. 198)
Domande d'esame
- Che cos'è l'errore di saturazione e come si limita? Che cos'è l'errore granulare e quanto vale la sua potenza? Per l'errore è illimitato: si sceglie con piccola (gaussiana: ). Per , potenza .
- Ricavare . con , poi .
- Quanti bit servono per dB con ? ; .
Versione ripasso
- (istantaneo) su alfabeto finito. Uniforme: livelli spaziati di (passo).
- Mid-rise con livelli: range , , livelli Con : . Mappatura modulo e segno: bit di segno ( positivi, negativi) e modulo; : , , , .
Errore
- Saturazione (): , illimitato. Granulare (): .
- . Limitato in : , . Gaussiana: (: ; : ).
- Con (o densità costante a tratti): , , (Variabili aleatorie continue - uniforme, gaussiana, esponenziale e funzione QUna v.a. continua ha funzione di distribuzione F_x(a) = P(x ≤ a) e densità f_x(a) = dF_x/da ≥ 0 con integrale 1; P(A ≤ x ≤ B) = F_x(B) − F_x(A) = ∫_A^B f_x e P(x = A) = 0. Uniforme U([a,b]): densità 1/(b−a), media (a+b)/2, varianza (b−a)²/12. Esponenziale unilatera di media m: (1/m)e^(−a/m), a ≥ 0. Gaussiana N(m, σ²): P(x ≥ A) = Q((A − m)/σ), con Q(A) coda della gaussiana standard. Somme di gaussiane indipendenti sono gaussiane (medie e varianze si sommano); teorema del limite centrale.Variabili aleatorie continue - uniforme, gaussiana, esponenziale e funzione Q →).
SNR di quantizzazione
- (media nulla; altrimenti ).
- : dB per bit; peggiora se .
- Progetto: , (per eccesso).
- Gaussiana, , dB: , , , , dB. Uniforme in : , .
Probabilità dei livelli
- ; gli estremi includono la saturazione. Gaussiana , : per ciascun segno; entropia bit (Entropia - informazione di un evento, disuguaglianza di Jensen e valore massimoL'informazione di un evento di probabilità $P$ è $i=\log_2\frac1P$ bit (zero per l'evento certo, additiva per eventi indipendenti). L'entropia di una variabile aleatoria discreta è l'informazione media, $H(x)=E[i_x(x)]=\sum_aP_x(a)\log_2\frac1{P_x(a)}$; vale $0\le H(x)\le\log_2M$ con $M$ cardinalità dell'alfabeto, e il massimo $\log_2M$ si raggiunge se e solo se i simboli sono equiprobabili (dimostrazione con la disuguaglianza di Jensen, perché il logaritmo è strettamente concavo).Entropia - informazione di un evento, disuguaglianza di Jensen e valore massimo →).
Passaggi da saper rifare
- (errore uniforme perché la densità è costante nell'intervallo).
- ; , .
- Alla lavagna : con il segno corretto è , ma è simmetrico e non cambia nulla.
- Domanda tipo: e dB: , .
Errori tipici
- invece di per un range simmetrico.
- Una sola coda in (sono due) e invece di .
- Non arrotondare per eccesso, o usare con segnale a media non nulla.
- Usare ignorando la saturazione quando non è piccola.
Esercizi su questo argomento
- Esercizio - Kraft-McMillan, Huffman, due canali binari alternati e codice di Hamming (15,11) (compito del 13 febbraio 2026, es. 201)
- Esercizio - Kraft-McMillan, Huffman, Hamming (7,4) e attenuazione massima con 16-QAM (secondo compitino del 12 gennaio 2024, es. 170)
- Esercizio - quantizzatore a due livelli, canale a quattro uscite e codice di Huffman delle coppie (esame del 30 agosto 2024, es. 182)
- Esercizio - quantizzatore con densità a gradini, codice di Shannon e segnalazione quaternaria (esame dell'8 febbraio 2024, es. 176)
- Esercizio - quantizzatore con densità a tratti, 4-QAM di Gray e quantizzatore non uniforme (primo compitino del 29 novembre 2024, es. 184)
- Esercizio - quantizzatore con densità esponenziale a due lati, codice di Shannon, 64-QAM e Hamming (compito del 23 gennaio 2026, es. 198)
- Esercizio - quantizzatore con densità mista uniforme e triangolare, 4-QAM e canale a cancellazione (esame dell'11 febbraio 2025, es. 190)
- Esercizio - quantizzatore per densità esponenziale limitata tra -1 e 1, codice di Shannon e Huffman (esame del 23 gennaio 2024, es. 173)
- Esercizio - quantizzatore per densità triangolare e 16-QAM con impulso a rampa (primo compitino del 21 novembre 2025, es. 194)
Teoria collegata
- Campionamento e interpolazione - mantenimento, lineare e ideale
- Codici a prefisso - Kraft-McMillan e limiti di Shannon sulla lunghezza media
- Energia, potenza e rapporto segnale-rumore in decibel
- Quantizzazione non uniforme, companding e conversione A-D
- Segnali a tempo continuo - sinusoidi, rect e trasformazioni dell'asse dei tempi
- Variabili aleatorie continue - uniforme, gaussiana, esponenziale e funzione Q