Teorema lui Kotelnikov (în literatura engleză - teorema Nyquist - Shannon , teorema de eșantionare ) - o afirmație fundamentală în domeniul prelucrării semnalelor digitale , conectând semnale continue și discrete și afirmând că „orice funcție constând din frecvențe de la 0 la , poate fi transmise continuu cu orice precizie cu numere care se succed în mai puțin de secunde » [1] .
Când am demonstrat teorema, am luat restricții asupra spectrului de frecvență , unde [2] .
Această interpretare consideră cazul ideal când semnalul a început cu mult timp în urmă și nu se termină niciodată și, de asemenea, nu are puncte de întrerupere în caracteristica timpului . Dacă un semnal are discontinuități de orice fel în funcție de timpul său, atunci puterea sa spectrală nu dispare nicăieri. Acesta este exact ceea ce implică conceptul de „un spectru delimitat de sus de o frecvență finită ”.
Desigur, semnalele reale (de exemplu, sunetul pe un mediu digital) nu au astfel de proprietăți, deoarece sunt finite în timp și au de obicei discontinuități în caracteristica temporală. În consecință, lățimea spectrului lor este infinită. În acest caz, restabilirea completă a semnalului este imposibilă, iar următoarele corolare rezultă din teorema Kotelnikov [3] [4] :
Mai larg, teorema lui Kotelnikov afirmă că un semnal continuu poate fi reprezentat ca o serie de interpolare:
unde este funcția sinc . Intervalul de eșantionare satisface constrângerile . Valorile instantanee ale acestei serii sunt mostre discrete ale semnalului .
Deși în literatura occidentală teorema este adesea numită teorema Nyquist cu referire la lucrarea „ Cert topics in telegraph transmission theory ” 1928 , în această lucrare vorbim doar despre lățimea de bandă necesară a unei linii de comunicație pentru transmiterea unui semnal pulsat (repetarea rata trebuie să fie mai mică de două ori lățimea de bandă). Astfel, în contextul teoremei de eșantionare, este corect să vorbim doar despre frecvența Nyquist. Cam în aceeași perioadă, Karl Küpfmüller a obținut același rezultat [6] . Posibilitatea unei reconstrucții complete a semnalului original din citiri discrete nu este discutată în aceste lucrări. Teorema a fost propusă și demonstrată de Vladimir Kotelnikov în 1933 în lucrarea sa „Despre capacitatea de transmisie a eterului și a firului în telecomunicații”, în care, în special, una dintre teoreme a fost formulată după cum urmează [7] [8] : „ Orice funcție formată din frecvențe de la 0 la , poate fi transmisă continuu cu orice precizie folosind numere care urmează unul după altul în secunde » . Independent de el, această teoremă a fost demonstrată în 1949 (16 ani mai târziu) de Claude Shannon [9] , motiv pentru care în literatura occidentală această teoremă este adesea numită teorema lui Shannon. În 1999, Fundația Internațională pentru Știință Eduard Rein (Germania) a recunoscut prioritatea lui Kotelnikov acordându-i un premiu în nominalizarea „pentru cercetare fundamentală” pentru prima formulată matematic precis și dovedită în aspectul tehnologiilor de comunicare teorema de eșantionare [10] . Cercetările istorice arată, totuși, că teorema de eșantionare, atât în ceea ce privește afirmarea posibilității de reconstrucție a unui semnal analog din citiri discrete, cât și în ceea ce privește metoda de reconstrucție, a fost considerată în termeni matematici de mulți oameni de știință anterior. În special, prima parte a fost formulată încă din 1897 de către Borel [11] .
Ulterior, au fost propuse un număr mare de metode diferite de aproximare a semnalelor cu spectru limitat, generalizând teorema de eșantionare [12] [13] . Deci, în loc de o serie cardinală în funcțiile sinc , care sunt copii deplasate ale răspunsului la impuls al unui filtru trece-jos ideal, puteți utiliza serii în convoluții finite sau infinite ale funcțiilor sinc . De exemplu, următoarea generalizare a seriei Kotelnikov a unei funcții continue cu un spectru finit este valabilă pe baza transformărilor Fourier ale funcțiilor atomice [14] :
unde parametrii și satisfac inegalitatea și intervalul de discretizare:
de compresie | Metode|||||||
---|---|---|---|---|---|---|---|
Teorie |
| ||||||
Fara pierderi |
| ||||||
Audio |
| ||||||
Imagini |
| ||||||
Video |
|
Procesare digitală a semnalului | |
---|---|
Teorie | |
Subsecțiuni |
|
Tehnici |
|
Prelevarea de probe |
|