Никвист-Шенонова теорема одабирања

Пример величине Фуријеове трансформације опсежне функције

У области дигиталне обраде сигнала, теорема узорковања је основни мост између сигнала континуалног времена и сигнала дискретног времена . Она успоставља довољан услов за брзину узорковања која дозвољава дискретни низ узорака да прикупи све информације из непрекидног сигнала коначне пропусности .

Строго говорећи, теорема се односи само на класу математичких функција која имају Фуријеову трансформацију која је нула изван коначног подручја фреквенција. Интуитивно очекујемо да када неко смањи континуирану функцију на дискретну секвенцу и интерполира натраг на континуирану функцију, верност резултата зависи од густине (или брзине узорка ) оригиналних узорака. Теорема узорковања уводи концепт брзине узорковања која је довољна за савршену верност класе функција које су ограничене на дату ширину појаса, тако да се у процесу узорковања не губе стварне информације. Изражава довољну брзину узорка у смислу пропусности за класу функција. Теорема такође води формули за савршено реконструкцију оригиналне функције непрекидног времена из узорака.

Савршена реконструкција и даље може бити могућа када критериј брзине узорковања није задовољен, под условом да су позната друга ограничења сигнала. (Види § Sampling of non-baseband signals и компресованог сензора. ) У неким случајевима (када критеријум брзине узорка није задовољен), коришћење додатних ограничења омогућава приближне реконструкције. Верност ових реконструкција може се проверити и квантификовати користећи Бохнерову теорему .

Име Никвист-Шенонова теорема узорковања одаје почаст Харију Никвисту и Клоду Шенон-у, иако је чињеница да ју је Владимир Котелников већ открио 1933. године. Теорему су такође самостално открили Е.Т. Витакер и други. Тако је позната и по именима Никвист-Шенон–Котелникова, Витакер-Шенон-Котелникова, Витакер-Никвист-Котелников-Шенонов- а и кардинална теорема интерполације .

Увод

Узорковање је процес претварања сигнала (на пример, функције непрекидног времена и / или простора) у низ вредности (функција дискретног времена и / или простора). Шенонова верзија теореме гласи:

Ако функција $x(t)$ не садржи фреквенције веће од B херца, он се у потпуности одређује тако што ће дати своје ординате у низу размакнутих тачака $1/(2B)$ секунди размака.

Довољна стопа узорковања је, дакле, већа од $2B$ узорака у секунди. Еквивалентно за дату стопу узорка $f_{s}$, загарантована је савршена реконструкција $B<f_{s}/2$ .

Када је ограничење појаве превисоко (или не постоји ограничење појаса), реконструкција показује несавршености познате као алиасинг . Модерне изјаве теореме понекад пажљиво изричу да то $x(t)$ не сме садржавати никакве синусоидне компоненте фреквенције тачно B, или да B мора бити строго мања од ½ узорка. Праг $2B$ зове се Никвистова стопа и атрибут је континуираног уноса $x(t)$ који ће бити узоркован. Брзина узорковања мора бити већа од Никвистове стопе да би узорци били довољни да представљају x(t). Праг f_с / 2 назива се Никвистовом фреквенцијом и атрибут је опреме за узорковање . Све значајне фреквенцијске компоненте правилно узоркованих x(t) постоје испод Никвистове фреквенције. Услов описан овим неједнакостима назива се Никвистов критеријум, или понекад Раабеов услов . Теорема је такође применљива на функције других домена, попут простора, у случају дигитализоване слике. Једина промена, у случају других домена, су мере које се примењују на t, f_с и B.

Нормализована sinc функција : sin(πx) / (πx) ... приказује централни врх на x = 0, а нула-прелаз на осталим целобројним вредностима к .

symbol T = 1/f_s се обично користи да представља интервал између узорака и назива се период узорка или интервал узорковања . И узорци функције x(t) су обично означени са x[n] = x(nT) (алтернативно "x_n" у старијој литератури за обраду сигнала), за све целобројне вредности н . Математички идеалан начин интерполирања низа укључује употребу синк функција . Сваки узорак у низу замењује се синк функцијом, центрираном на временску осу на оригиналном месту узорка, nТ, са амплитудом синк функције прилагођеном вредности вредности узорка, x[n]. Након тога, синk функције се сумирају у континуирану функцију. Математички еквивалентна метода је обједињавање једне синк функције са низом Диракових делта импулса, пондерисаних вредностима узорка. Ниједна метода није бројчано практична. Уместо тога, користи се нека врста апроксимације синк функција, ограничене дужине. Савршенства која се могу приписати апроксимацији позната су као грешка интерполације .

Практични дигитално-аналогни претварачи не производе ни умањене ни закаснеле синк функције, нити идеалне Диракове импулсе . Уместо тога, они производе комадно-константни низ умањених и одложених правоуглих импулса ( задржавање нула реда ), обично праћен филтром ниске пропусности (који се назива " филтер за осликавање слике" ) за уклањање лажних високофреквентних реплика (слика) оригиналног основног сигнала.

Алиасинг

Узорци два синусна таласа могу бити идентични када је барем један од њих фреквенције веће од половине узорка.

Када $x(t)$ је функција са Фуријеовом трансформацијом $X(f)$ :

$X(f)\ \triangleq \ \int _{-\infty }^{\infty }x(t)\ e^{-i2\pi ft}\ {\rm {d}}t,$

Пуасонова формула сумирања указује да су узорци, $x(nT)$, од $x(t)$ довољни за прављење периодичног сажетка $X(f)$ . Резултат је :

$X_{s}(f)\ \triangleq \sum _{k=-\infty }^{\infty }X\left(f-kf_{s}\right)=\sum _{n=-\infty }^{\infty }T\cdot x(nT)\ e^{-i2\pi nTf},$ (Eq.1)

X(f) (у горњем делу слике означено плавом бојом) и X_А (f) (у доњем делу слике означено плавом бојом) су континуиране Фуријеове трансформације двеју различитих функција, $x(t)$ и $x_{A}(t)$ (није приказано). Када се функције узоркују брзином $f_{s}$, слике (означено зеленом бојом) се додају оригиналним трансформацијама (означено плавом бојом) када се испитују дискретне временске Фуријеове трансформације (ДТФТ) секвенци. У овом хипотетичком примеру, ДТФТ-ови су идентични, што значи да су узорковани сингали идентични, иако оригиналне континуиране претходно узорковане функције нису. Ако су то звучни сигнали, $x(t)$ и $x_{A}(t)$ можда не звучи исто. Али њихови узорци (узети брзином f_с ) су идентични и довели би до идентичних репродукованих звукова; према томе, x_А (t) је алиас од x(t) при овој брзини узорка.

која је периодична функција и њен еквивалентни приказ као Фуријеов низ, чији су коефицијенти $T\cdot x(nT).$ Ова функција је позната и као дискретна Фуријеова трансформација (ДТФТ) узорка секвенце.

Као што је приказано, копије $X(f)$ померане су умношцима од $f_{s}$ и комбиновано додавањем. За ограничени опсег  $(X(f)=0,{\text{ for all }}|f|\geq B)$  и довољно велика $f_{s},$ могуће је да копије остану различите. Али ако Никвистов критеријум није задовољен, суседне копије се преклапају и уопште није могуће разабрати недвосмислено. $X(f).$ Било која компонента фреквенције горе $f_{s}/2$ не разликује се од компоненте ниже фреквенције, зване алиас, повезане са једном од копија. У таквим случајевима уобичајене технике интерполације производе алиас, а не оригиналну компоненту. Када је стопа узорковања унапред одређена другим разматрањима (као што је индустријски стандард), $x(t)$ обично се филтрира тако да се његове високе фреквенције смање на прихватљиве нивое пре него што се узоркује. Потребна врста филтера је филтер са ниским пропустом и у овим се условима назива анти-алиасинг филтер .

Спектар, X_с(f), правилно узоркованог опсега сигнала (oзначено плавом бојом) и суседних ДТФТ слика (oзначено зеленом бојом) које се не преклапају. Филтрирани нископропусни филтер од опеке, H(f), уклања слике, оставља изворни спектар, X(f) и враћа оригинални сигнал из својих узорака.

Деривација као посебан случај сажимања Пуасона

Када се не преклапају копије (познате и као "слике") $X(f)$, $k=0$ значење израза 1 може се повратити производом :

$X(f)=H(f)\cdot X_{s}(f),$      where:

$H(f)\ \triangleq \ {\begin{cases}1&|f|<B\\0&|f|>f_{s}-B.\end{cases}}$

Теорема узорковања је доказана од када $X(f)$ јединствено одређује $x(t).$

Све што преостаје је да се добије формула за реконструкцију. $H(f)$ не морају бити тачно дефинисане у региону $[B,\ f_{s}-B]$ јер $X_{s}(f)$ је нула у том региону. Међутим, најгори је случај када $B=f_{s}/2,$ Никвистова фреквенција. Функција која је довољна за то и за све мање тешке случајеве је :

$H(f)=\mathrm {rect} \left({\frac {f}{f_{s}}}\right)={\begin{cases}1&|f|<{\frac {f_{s}}{2}}\\0&|f|>{\frac {f_{s}}{2}},\end{cases}}$

где је rect (•) правоугаона функција..Стога :

$X(f)=\mathrm {rect} \left({\frac {f}{f_{s}}}\right)\cdot X_{s}(f)$

$=\mathrm {rect} (Tf)\cdot \sum _{n=-\infty }^{\infty }T\cdot x(nT)\ e^{-i2\pi nTf}$    (од   Eq.1, горе).

$=\sum _{n=-\infty }^{\infty }x(nT)\cdot \underbrace {T\cdot \mathrm {rect} (Tf)\cdot e^{-i2\pi nTf}} _{{\mathcal {F}}\left\{\mathrm {sinc} \left({\frac {t-nT}{T}}\right)\right\}}.$   

Инверзна трансформација обе стране производи Витакер-Шенонову интерполацијску формулу :

$x(t)=\sum _{n=-\infty }^{\infty }x(nT)\cdot \mathrm {sinc} \left({\frac {t-nT}{T}}\right),$

који показује како узорци, $x(nT),$ може се комбиновати за реконструкцију $x(t).$

• Вредности f_s (мање вредности Т ), које се називају претерано узорковање, немају уицаја на исход реконструкције и имају предност да остављају простор за прелазни појас у којем је H(f) слободан узети интермедијарне вредности. Прекомандирање, које узрокује алиас, генерално није реверзибилна операција.
• Теоретски, интерполациона формула се може применити као филтер ниског протока, чији је импулсни одзив синк (t/Т) и чији је улаз $\textstyle \sum _{n=-\infty }^{\infty }x(nT)\cdot \delta (t-nT),$ што је функција Диракова поворка импулса модулирана узорцима сигнала. Практични дигитално-аналогни претварачи (ДАЦ) имплементирају апроксимацију као што је нулти ред . У том случају, претерано узорковање може умањити погрешку апроксимације.

Шенонов оригинални доказ

Пуасон показује да Фуријеов низ у изразу 1 производи периодично $X(f)$, без обзира на $f_{s}$ и $B$ . Шенон, међутим, изводи само коефицијенте серије за случај $f_{s}=2B$ . Готово цитирајући Шенонов оригинални рад :

Дозволити $X(\omega )$ да буде спектар $x(t).$  Онда

$x(t)={1 \over 2\pi }\int _{-\infty }^{\infty }X(\omega )e^{i\omega t}\;{\rm {d}}\omega ={1 \over 2\pi }\int _{-2\pi B}^{2\pi B}X(\omega )e^{i\omega t}\;{\rm {d}}\omega ,$

јер $X(\omega )$ претпоставља се да је нула изван опсега $\left|{\tfrac {\omega }{2\pi }}\right|<B.$  Ако дозволимо $t={\tfrac {n}{2B}},$ где $n$ било који позитивни или негативни цели број, добијамо:

$x\left({\tfrac {n}{2B}}\right)={1 \over 2\pi }\int _{-2\pi B}^{2\pi B}X(\omega )e^{i\omega {n \over {2B}}}\;{\rm {d}}\omega .$

(Израз 2)

На левој страни су вредности од $x(t)$ на тачкама узорковања. Интеграл с десне стране биће препознат се као суштински n-ти коефицијент у ширењу функције Фоуриер-ове серије $X(\omega ),$ узимајући интервал $-B$ до $B$ као темељни период. То значи да су вредности узорака $x(n/2B)$ одредити Фуријеове коефицијенте у серијском ширењу $X(\omega ).$  Тако они одређују $X(\omega ),$ Од $X(\omega )$ је нула за фреквенције веће од B, а за ниже фреквенције $X(\omega )$ одређује се ако су утврђени његови Фуријеови коефицијенти. Али $X(\omega )$ одређује оригиналну функцију $x(t)$ у потпуности, јер се функција одређује ако је познат њен спектар. Због тога оригинални узорци одређују функцију $x(t)$ у потпуности.

Шенонов доказ теореме је довршен у том тренутку, али он наставља да разматра реконструкцију преко синк функција, што сада називамо Витакер-Шеноновом интерполационом формулом као што је горе дискутовано. Он не изводи или не доказује својства синк функције, али то би било познато инжењерима који су у то време читали његова дела, будући да је однос Фуријеовог пара између rect (правоугла функција) и синк био добро познат.

Дозволити $x_{n}$ да буде н-ти узорак. Тада функција $x(t)$ представља:

$x(t)=\sum _{n=-\infty }^{\infty }x_{n}{\sin \pi (2Bt-n) \over \pi (2Bt-n)}.$

Као и у другом доказу, претпоставља се постојање Фуријеове трансформације изворног сигнала, тако да доказ не каже да ли се теорема узорковања проширује на ограничене стационарне случајне процесе.

Примена на мултиваријабилне сигнале и слике

Подврста слике која приказује Моаров узорак

Правилно узоркована слика

Теорема узорковања се обично формулише за функције једне променљиве. Сходно томе, теорема је директно применљива на сигнале који зависе од времена и нормално је формулисана у том контексту. Међутим, теорема узорковања може се директно проширити на функције произвољно многих променљивих. Слике у сивим тоновима, на пример, често су представљене као дводимензионални низови (или матрице) стварних бројева који представљају релативни интензитет пиксела (елемената слике) смештених на пресецима места узорака реда и ступаца. Као резултат, слике захтевају две независне променљиве или индексе да јединствено одреде сваки пиксел - један за ред и један за колону.

Слике у боји се обично састоје од композиције од три одвојене слике у сивим тоновима, од којих једна представља сваку од три основне боје - црвену, зелену и плаву или RGB(Red, Green, Blue) укратко. Остали простори у боји који користе 3 вектора за боје укључују HSV(Hue, Saturation, Value), CIELAB, XYZ итд. Неки простори боја попут цијан, магента, жута и црна (CMYK) могу представљати боју у четири димензије. Све ово се третира као функције векторске вредности преко дводимензионалног узоркованог домена.

Слично као једнодимензионални дискретни временски сигнали, слике такође могу да трпе алиасинг ако је резолуција узорковања или густина пиксела неадекватна. На пример, дигитална фотографија пругасте кошуље са високим фреквенцијама (другим речима, удаљеност између пруга је мала) може проузроковати отуђење кошуље када је узоркује сензор слике камере. Алиасинг се појављује као моаров узорак . "Решење" већег узорковања у просторном домену у овом случају би било да се приближи кошуљи, користи сензор веће резолуције или оптички замагли слику пре него што је добије са сензором.

Други пример је приказан десно у узорцима од опеке. Горња слика приказује ефекте када није задовољено стање теореме узорковања. Када софтвер поново подешава величину слике (исти поступак који ствара сличицу приказану на доњој слици), она, у ствари, прво покрене слику кроз филтер ниских пропусница, а затим изврши пример слике како би се добила мања слика која не показује моарову текстуру . Горња слика је оно што се догађа када слика није приказана у узорку без филтрирања са малим пролазима: алиасинг резултата.

Теорема узорковања се примењује на системе камера, где сцена и сочиво представљају аналогни извор просторног сигнала, а сензор слике је уређај за просторно узорковање. Сваку од ових компоненти карактерише функција преноса модулације (МТФ), која представља прецизну резолуцију (просторна ширина појаса) која је доступна у тој компоненти. Ефекти ублажавања или замагљивања могу се појавити када се МТФ сочива и МТФ сензори не поклапају. Када оптичка слика коју узоркује сензорски уређај садржи веће просторне фреквенције од сензора, под узорковањем делује као филтер ниских пролаза да би се смањио или елиминисао отуђење. Када површина места узорковања (величина сензора пиксела) није довољно велика да обезбеди довољно просторног анти-алиасинг-а, у систем камере може бити укључен одвојени филтер за ублажавање (оптички филтер са малим пролазом) како би се смањио МТФ оптичке слике. Уместо да захтева оптички филтер, јединица за графичку обраду фотоапарата на паметном телефону врши дигиталну обраду сигнала ради уклањања алиаса са дигиталним филтером. Дигитални филтери такође примењују оштрење како би појачали контраст објектива на високим просторним фреквенцијама, који иначе брзо пада на дифракцијским границама.

Теорема узорковања се такође примењује на дигиталне слике после обраде, попут узорковања нагоре или надоле. Ефекти отуђивања, замагљивања и оштрења могу се прилагодити дигиталним филтрирањем имплементираним у софтверу, које нужно слиједи теоријске принципе.

Критична фреквенција

Да би илустровали неопходност $f_{s}>2B$, размотримо породицу синусоида генерисаних различитим вредностима $\theta$ у овој формули :

$x(t)={\frac {\cos(2\pi Bt+\theta )}{\cos(\theta )}}\ =\ \cos(2\pi Bt)-\sin(2\pi Bt)\tan(\theta ),\quad -\pi /2<\theta <\pi /2.$

Породица синусоида на критичној фреквенцији, а сви имају исте секвенце узорака наизменичних +1 и –1. То јест, сви су они међусобно алиаси, иако њихова учесталост није већа од половине узорка.

Са $f_{s}=2B$ или слично $T=1/2B$, узорке дају :

$x(nT)=\cos(\pi n)-\underbrace {\sin(\pi n)} _{0}\tan(\theta )=(-1)^{n}$

без обзира на вредност $\theta$ . Оваква двосмисленост разлог је строге неједнакости услова теореме узорковања.

Узорковање сигнала који изван опсега

Шенонова расправа гласи:

Сличан резултат је тачан ако опсег не почиње на нултој фреквенцији, али на некој вишој вредности, а може се доказати линеарним преводом (физички одговара модулацији са једноструком појавом ) случаја нулте фреквенције. У овом случају, елементарни импулс се добија од sin (x) /x једносмерном модулацијом.

То јест, довољан услов без губитка за узорковање сигнала који немају компоненете сигнала основог појаса јесте да укључује ширину фреквенцијског интервала ненултом насупрот њене највише компоненте фреквенције. Погледајте Узорковање (обрада сигнала) за више детаља и примера.

На пример, у узорковању ФМ радио сигнала у фреквенцијском опсегу 100–102   MHz, није потребно узорковање на 204 MHz (двоструко већа од фреквенције), али је довољно да се узоркује на 4   MHz (двострука ширина интервала фреквенције).

Услов опсега је да је X(f) = 0, за све ненегативне f изван отвореног опсега фреквенција:

$\left({\frac {N}{2}}f_{\mathrm {s} },{\frac {N+1}{2}}f_{\mathrm {s} }\right),$

за неки негативни цели број N. Ова формулација укључује нормално стање основног опсега као случај N=0.

Одговарајућа интерполациона функција је импулсни одзив идеалног опружног филтра од зидова од опеке (за разлику од претходно употребљеног идеалног филтера за зид од опеке) са пресецима на горњим и доњим ивицама наведеног опсега, што је разлика између пара нископропусних импулса:

$(N+1)\,\operatorname {sinc} \left({\frac {(N+1)t}{T}}\right)-N\,\operatorname {sinc} \left({\frac {Nt}{T}}\right).$

Могуће су и друге генерализације, на пример на сигнале који заузимају више непрекинутих опсега. Чак ни најопштенији облик теореме узорковања нема доказано истиниту супротност. Односно, не може се закључити да се информације нужно губе само зато што нису испуњени услови теореме узорковања; из инжењерске перспективе, међутим, генерално је сигурно претпоставити да ако теорема узорковања није задовољена, информације ће највероватније бити изгубљене.

Неуједначено узорковање

Теорија узорковања Шенона може се генерализовати за случај неуједначеног узорковања, односно узорака који нису узети једнако распоређени у времену. Шенонова теорија узорковања за неједнако узорковање каже да се сигнал ограничен у опсегу може савршено реконструисати из његових узорака ако просечна брзина узорковања задовољава услов Никвиста. Стога, иако једнолико распоређени узорци могу резултирати лакшим алгоритмима обнове, то није неопходан услов за савршену реконструкцију.

Општу теорију за неуобичајене узорке и неуједначене узорке развио је 1967. године Хенри Ландау . Доказао је да просечна стопа узорковања (једнолична или на неки други начин) мора бити двоструко заузета ширина опсега сигнала, претпостављајући да је а приори познато колики део спектра је заузет. Крајем 1990-их, овај рад је делимично проширен како би се покрили сигнали када је била позната количина заузетог опсега, али стварни заузети део спектра није био познат. Током 2000-их развијена је комплетна теорија (види одељак Узорковање испод Никвистове стопе под додатним ограничењима у даљем тексту) користећи компримовано откривање . Конкретно, теорија је користећи језик обраде сигнала описана у овом раду за 2009. годину. Они показују, између осталог, да ако су локације фреквенције непознате, потребно је узорковати најмање два пута никвистичке критеријуме; другим речима, морате да сносите последице бар фактора 2 због незнања локације спектра . Имајте на уму да минимални захтеви за узорковање не гарантују нужно стабилност .

Узорковање испод стопе Никвиста под додатним ограничењима

Теорема узорковања Никвист-Шенон даје довољан услов за узорковање и реконструкцију сигнала ограниченог опсега. Када се реконструкција врши путем интерполационе формуле Витакер-Шенон, Никвистов критеријум је такође неопходан услов да се избегне ванземаљац, у смислу да ако се узорци узимају спорије од двоструке границе опсега, постоје неки сигнали који неће бити исправно реконструисани. Међутим, ако се у сигналу наметну додатна ограничења, онда Никвистов критеријум више не може бити неопходан услов .

Нетривијални пример искоришћавања додатних претпоставки о сигналу дат је у недавном пољу компресованог сензора, који омогућава потпуну реконструкцију са подНиквистовим узорковањем. То се посебно односи на сигнале који су ретки (или компресибилни) у неком домену. Као пример, компримовано детектовање бави се сигналима који могу имати мали проток преко читавог опсега (рецимо, ефективна ширина опсега ЕB ), али локације фреквенција су непознате, пре него све заједно у једном опсегу, тако да се техника пропусног опсега не примењује. Другим речима, фреквенцијски спектар је мали. Традиционално, потребна стопа узорковања је, дакле, 2B. Коришћењем техника компримованог откривања, сигнал се може савршено реконструисати ако се узоркује брзином мањом од 2 ЕB . Код овог приступа реконструкција се више не даје формулом, већ решењем програма линеарне оптимизације .

Други пример где је подНиквистово узорковање оптимално настаје под додатним ограничењем да се узорци квантизирају на оптималан начин, као у комбинованом систему узорковања и оптималној компресији губитака . Ово подешавање је релевантно у случајевима када треба узети у обзир заједнички ефект узорковања и квантизације и може пружити доњу границу за минималну грешку реконструкције која се може постићи узорковањем и квантизирањем случајног сигнала . За стационарне Гаусове случајне сигнале, та се доња граница обично постиже брзином подНиквистичког узорковања, што указује да је подНиквистичко узорковање оптимално за овај модел сигнала под оптималном квантизацијом .

Историјска позадина

Теорема узорковања подразумевала је рад Харија Никвиста из 1928. године, у којем је показао да се до 2B независни импулсни узорци могу послати путем система пропусне ширине B; али није изричито размотрио проблем узорковања и реконструкције континуираних сигнала. Отприлике у исто време, Карл Купфмулер показао је сличан резултат и расправљао о синк функцији на импулсни одзив филтера за ограничавање опсега, преко његовог интегрисаног, синусног интеграла корака-одзива; овај филтар за ограничавање и реконструкцију, који је толико битан за теорему узорковања, понекад се назива и Купфмулер филтер.

Теорема узорковања, у основи двоструки резултат Никувиста, доказао је Клод Е. Шенон . В.А Котелников је објавио сличне резултате 1933, као и математичар Е.Т. Витакер 1915, Ј.М. Витакер 1935, и Габор 1946 („Теорија комуникације“). Фондација Едуард Рајн је 1999. године Котелникову доделила награду за основно истраживање „за прву теоријски тачну формулацију теореме о узорковању“.

1948. и 1949. године, Клод Е. Шенон, објавио је - 16 година после Владимира Котелникова - два револуционарна чланка у којима је основао теорију информација. Код Шенона теорема узорковања из 1948. формулисана је као „Теорема 13“: Нека f (t) не садржи фреквенције преко В. Затим

$f(t)=\sum _{n=-\infty }^{\infty }X_{n}{\frac {\sin \pi (2Wt-n)}{\pi (2Wt-n)}},$ где $X_{n}=f\left({\frac {n}{2W}}\right)$ .

Тек што су објављени ови чланци, теорема позната као „Шенонова теорема узорковања“ постала је заједничко својство међу инжењерима комуникација, мада сам Шенон пише да је то чињеница која је опште позната у комуникацијској уметности. Ипак, неколико редoва даље, он додаје: „али упркос очигледној важности, изгледа да се он није експлицитно појавио у литератури теорије комуникације“.

Остали проналазачи

О другим који су самостално открили или имали улоге у развоју теореме узорковања расправљали су, на пример, у неколико историјских чланака, Јери и Лук. На пример, Лук истиче да је Х. Раабе, асистент Купфмулер-а, теорему доказао у својој докторској дисертацији из 1939. године; термин Раабе условио је да се повезује са критеријумом за недвосмислену репрезентацију (брзина узорковања већа од двоструке опсега). Мејринг у параграфу и пару фуснота помиње неколико других проналазача и имена:

Као што је указао Хигинс [135], теорему узорковања заиста треба размотрити у два дела, као што је горе учињено: први наводи чињеницу да је опсежна функција потпуно одређена њеним узорцима, а други описује како реконструисати функцију помоћу њених узорака. Оба дела теореме узорковања дао је у нешто другачијем облику Ј.М. Витакер [350, 351, 353], а пре њега и Огура [241, 242]. Они вероватно нису били свесни чињенице да је први део теореме изјавио Борел још 1897. године [25]. ²⁷ Као што смо видели, Борел је у то време користио и оно што је постало познато као кардинална серија. Међутим, чини се да није успоставио везу [135]. У каснијим годинама постало је познато да је Котелников руској комуникацијској заједници пре Шенона представио теорему о узорковању [173]. У имплицитнијем, вербалном облику, Раабе је то такође описао у немачкој литератури [257]. Неколико аутора [33, 205] поменуло је да је Сомеиа [296] увео теорему у јапанску литературу паралелно са Шеноном. У енглеској литератури, Вестон [347] га је увео независно од Шенона отприлике у исто време. ²⁸

²⁷ Неколико аутора, пратећи Блека [16], тврди да је овај први део теореме узорковања изјавио Коши још раније, у раду [41] објављеном 1841. Међутим, рад Кошија не садржи такву изјаву, како је указао Хигинс [135].

²⁸ Као последица открића неколико независних увода теореме узорковања, људи су почели да се позивају на теорему укључивањем имена горе поменутих аутора, што је резултирало таквим реченицама као "Витакер-Котелников-Шенонова (ВКШ) теорема узорковања" [155] или чак „теорема о узорковању Витакер – Котелников–Раабе– Шенон – Сомеиа“ [33]. Да бисте избегли забуну, можда је најбоље да се то односи на теорему узорковања, „уместо да се покушава наћи наслов који би правдао свим подносиоцима захтева“ [136].

Зашто Никвист?

Тачно како, када или зашто је Хари Никвист своје име прикачио уз теорему узорковања остаје нејасно. Израз Никвист-Шенонова Теорема (тако великим словом) појавио се већ 1959. године у књизи његовог бившег послодавца, Бела Лабс, а поново се појавио 1963. године, и није употребљен великим словом 1965. године. Теоремом Шеноновог узорковања названа је већ 1954. али и само теорема о узорковању у неколико других књига почетком 1950-их.

Године 1958, Блекман и Туки навели су Никвистов чланак из 1928. као референцу за теорему узорковања теорије информација , иако тај чланак не третира узорковање и реконструкцију непрекидних сигнала као што су то чинили други. Њихов глосар појмова укључује ове уносе:

Теорема узорковања (теорије информација)

Резултат Никвиста да изједначени подаци, са две или више тачака по циклусу највише фреквенције, омогућавају реконструкцију функција ограничених опсега. (Види кардинал теорема. )

Кардинал теорема (о теорији интерполације)

Прецизна изјава услова под којима се вредности дате у двоструко бесконачном скупу једнако распоређених тачака могу интерполирати тако да се добије континуирана функција ограничена у опсегу уз помоћ функције

${\frac {\sin(x-x_{i})}{x-x_{i}}}.$

Тачно оно што називају „Никвистов резултат“ остаје тајанствено.

Када је Шенон изјавио и доказао теорему узорковања у свом чланку из 1949. године, према Мејрингу, "он се осврнуо на критични интервал узорковања $T={\frac {1}{2W}}$ као интервал Никвиста који одговара појасу В, у знак признања Никвистовог открића суштинске важности овог интервала у вези са телеграфијом ". Ово објашњава Никвистово име на критичном интервалу, али не и на теореми.

Слично томе, Никвист-ово име је Харолд С. Блек приписао стопи Никвиста 1953. године:

"Ако је есенцијални фреквенцијски опсег ограничен на 'B' 'циклусе у секунди, Никвист је дао 2B као максимални број кодних елемената у секунди који се могу недвосмислено разрешити, претпостављајући да је вршна интерференција мања од пола квантни корак. Ова брзина се генерално назива "сигнализирање на Никвистовој стопи" "", а ${\frac {1}{2B}}$ назван је "никвистичким интервалом" "." (подебљано за истицање; курзив као у оригиналу)"

Према ОЕД, ово може бити извор термина Никвистове стопе . У Блековој употреби није брзина узорковања, већ брзина сигнализације.

Види још

• 44,100 Hz, уобичајена брзина која се користи за узорковање звучних фреквенција заснива се на границама људског слуха и теореми узорковања
• Балиан-Лоу теорема, слична теоријска доња граница за брзине узорковања, али која се односи на временске фреквенције трансформација
• Чунг–Марксова теорема која одређује услове у којима обнављање сигнала из теореме узорковања може постати лоше постављено
• Хартлијев закон
• Никвистов ИСИ критеријум
• Реконструкција са нула прелаза
• Задржавање нула

Додатна литература

• Higgins, J.R.: Five short stories about the cardinal series, Bulletin of the AMS 12(1985)
• Küpfmüller, Karl, "Utjämningsförlopp inom Telegraf- och Telefontekniken", ("Transients in telegraph and telephone engineering"), Teknisk Tidskrift, бр. 9 стр. 153–160 и 10 стр. 178–182, 1931. [1] [2]
• Marks, R.J.(II): Introduction to Shannon Sampling and Interpolation Theory, Springer-Verlag, 1991.
• Marks, R.J.(II), Editor: Advanced Topics in Shannon Sampling and Interpolation Theory, Springer-Verlag, 1993.
• Marks, R.J.(II), Handbook of Fourier Analysis and Its Applications, Oxford University Press, (2009), поглавља 5-8. Google books
• Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), „Section 13.11. Numerical Use of the Sampling Theorem”, Numerical Recipes: The Art of Scientific Computing (3rd изд.), New York: Cambridge University Press, ISBN 978-0-521-88068-8, Архивирано из оригинала 11. 08. 2011. г., Приступљено 12. 12. 2019 
• Unser, Michael: Sampling-50 Years after Shannon Архивирано на сајту Wayback Machine (9. јул 2006), Proc. IEEE, vol. 88, бр. 4, стр. 569–587, април 2000

Спољашње везе

• Учење помоћу симулација Интерактивна симулација ефеката неадекватног узорковања
• Интерактивна презентација узорковања и реконструкције на веб-демо Институту за телекомуникације Универзитета у Штутгарту
• Подвлачење и његова примена
• Теорија узорковања за дигитални аудио
• Часопис посвећен теорији узорковања
• Теорема узорковања са сталним импулсом променљиве ширине импулса
• Lüke, Hans Dieter (април 1999). „The Origins of the Sampling Theorem” (PDF). IEEE Communications Magazine. 37 (4): 106—108. CiteSeerX 10.1.1.163.2887 . doi:10.1109/35.755459.