ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 8. A JELFELDOLGOZÁS ALAPJAI

Hasonló dokumentumok
ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 5. A JELFELDOLGOZÁS ALAPJAI: JELEK

ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 3. MÉRÉSFELDOLGOZÁS

Fourier transzformáció

ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 6. A MINTAVÉTELI TÖRVÉNY

Fehérzajhoz a konstans érték kell - megoldás a digitális szűrő Összegezési súlyok sin x/x szerint (ez akár analóg is lehet!!!)

Shift regiszter + XOR kapu: 2 n állapot

Mérés és adatgyűjtés

Jelek és rendszerek MEMO_03. Pletl. Belépő jelek. Jelek deriváltja MEMO_03

Fourier térbeli analízis, inverz probléma. Orvosi képdiagnosztika 5-7. ea ősz

A maximum likelihood becslésről

Statisztika - bevezetés Méréselmélet PE MIK MI_BSc VI_BSc 1

Jelek és rendszerek 1. 10/9/2011 Dr. Buchman Attila Informatikai Rendszerek és Hálózatok Tanszék

DINAMIKAI VIZSGÁLAT OPERÁTOROS TARTOMÁNYBAN Dr. Aradi Petra, Dr. Niedermayer Péter: Rendszertechnika segédlet 1

Véletlen jelenség: okok rendszere hozza létre - nem ismerhetjük mind, ezért sztochasztikus.

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI

Készítette: Fegyverneki Sándor

ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 0. TANTÁRGY ISMERTETŐ

Jelfeldolgozás - ANTAL Margit. impulzusválasz. tulajdonságai. Rendszerek. ANTAL Margit. Sapientia - Erdélyi Magyar Tudományegyetem

Nagy számok törvényei Statisztikai mintavétel Várható érték becslése. Dr. Berta Miklós Fizika és Kémia Tanszék Széchenyi István Egyetem

minden x D esetén, akkor x 0 -at a függvény maximumhelyének mondjuk, f(x 0 )-at pedig az (abszolút) maximumértékének.

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI

Alap-ötlet: Karl Friedrich Gauss ( ) valószínűségszámítási háttér: Andrej Markov ( )

Kabos: Statisztika II. t-próba 9.1. Ha ismert a doboz szórása de nem ismerjük a

Kalkulus I. gyakorlat Fizika BSc I/1.

Fourier-sorok. Lengyelné Dr. Szilágyi Szilvia április 7.

1. témakör. A hírközlés célja, általános modellje A jelek osztályozása Periodikus jelek leírása időtartományban

Valószínűségi változók. Várható érték és szórás

Hatványsorok, Fourier sorok

Gibbs-jelenség viselkedésének vizsgálata egyszer négyszögjel esetén

Műveletek mátrixokkal. Kalkulus. 2018/2019 ősz

konvergensek-e. Amennyiben igen, számítsa ki határértéküket!

Sorozatok, sorok, függvények határértéke és folytonossága Leindler Schipp - Analízis I. könyve + jegyzetek, kidolgozások alapján

f(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva

RENDSZERTECHNIKA 8. GYAKORLAT

Megoldott feladatok november 30. n+3 szigorúan monoton csökken, 5. n+3. lim a n = lim. n+3 = 2n+3 n+4 2n+1

Pontműveletek. Sergyán Szabolcs Óbudai Egyetem Neumann János Informatikai Kar február 20.

Komplex számok. A komplex számok algebrai alakja

Statisztika elméleti összefoglaló

Gauss-Seidel iteráció

KÖVETKEZTETŐ STATISZTIKA

Valószínűségszámítás összefoglaló

Principal Component Analysis

Jelek és rendszerek - 4.előadás

A gyakorlat célja a fehér és a színes zaj bemutatása.

6. Előadás. Vereb György, DE OEC BSI, október 12.

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI

Eddigi tanulmányaink alapján már egy sor, a szeizmikában általánosan használt műveletet el tudunk végezni.

Mintavétel fogalmai STATISZTIKA, BIOMETRIA. Mintavételi hiba. Statisztikai adatgyűjtés. Nem véletlenen alapuló kiválasztás

Idő-frekvencia transzformációk waveletek

A fontosabb definíciók

Digitális jelfeldolgozás

Eseményalgebra. Esemény: minden amirl a kísérlet elvégzése során eldönthet egyértelmen hogy a kísérlet során bekövetkezett-e vagy sem.

MÉRÉSI EREDMÉNYEK PONTOSSÁGA, A HIBASZÁMÍTÁS ELEMEI

x, x R, x rögzített esetén esemény. : ( ) x Valószínűségi Változó: Feltételes valószínűség: Teljes valószínűség Tétele: Bayes Tétel:

ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 9. SZŰRŐK

Általánosan, bármilyen mérés annyit jelent, mint meghatározni, hányszor van meg

Mátrixok 2017 Mátrixok

Matematikai geodéziai számítások 6.

Z v 1 (t)v 2 (t τ)dt. R 12 (τ) = 1 R 12 (τ) = lim T T. ill. periódikus jelekre:

2014. november 5-7. Dr. Vincze Szilvia

4. Laplace transzformáció és alkalmazása

FFT. Második nekifutás. Czirbusz Sándor ELTE IK, Komputeralgebra Tanszék október 2.

A mérési eredmény megadása

Matematikai geodéziai számítások 6.

Milyen elvi mérési és számítási módszerrel lehet a Thevenin helyettesítő kép elemeit meghatározni?

Matematika A2 vizsga mgeoldása június 4.

1. Számsorok, hatványsorok, Taylor-sor, Fourier-sor

Az egyenlőtlenség mindkét oldalát szorozzuk meg 4 16-al:

1. előadás. Lineáris algebra numerikus módszerei. Hibaszámítás Számábrázolás Kerekítés, levágás Klasszikus hibaanalízis Abszolút hiba Relatív hiba

A mérések általános és alapvető metrológiai fogalmai és definíciói. Mérések, mérési eredmények, mérési bizonytalanság. mérés. mérési elv

Diagnosztika és előrejelzés

Elméleti összefoglaló a Valószín ségszámítás kurzushoz

ÉRZÉKELŐK ÉS BEAVATKOZÓK II. 5. DC MOTOROK SZABÁLYOZÁS FORDULATSZÁM- SZABÁLYOZÁS

PTE PMMFK Levelező-távoktatás, villamosmérnök szak

Tartalomjegyzék I. RÉSZ: KÍSÉRLETEK MEGTERVEZÉSE

Statisztikai következtetések Nemlineáris regresszió Feladatok Vége

Funkcionálanalízis. n=1. n=1. x n y n. n=1

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI

Matematika A1a Analízis

2. témakör. Sztochasztikus, stacionárius és ergodikus jelek leírása idő és frekvenciatartományban

Idő-frekvencia transzformációk waveletek

Függvények december 6. Határozza meg a következő határértékeket! 1. Feladat: x 0 7x 15 x ) = lim. Megoldás: lim. 2. Feladat: lim.

[Biomatematika 2] Orvosi biometria

Biomatematika 2 Orvosi biometria

Wavelet transzformáció

A valószínűségszámítás elemei

Leíró és matematikai statisztika el adásnapló Matematika alapszak, matematikai elemz szakirány 2016/2017. tavaszi félév

Több valószínűségi változó együttes eloszlása, korreláció

Digitális szűrők - (BMEVIMIM278) Házi Feladat

Idősorok elemzése november 14. Spektrálelemzés, DF és ADF tesztek. Idősorok elemzése

Line aris f uggv enyilleszt es m arcius 19.

Függvény határérték összefoglalás

Gauss-Jordan módszer Legkisebb négyzetek módszere, egyenes LNM, polinom LNM, függvény. Lineáris algebra numerikus módszerei

4. Az A és B események egymást kizáró eseményeknek vagy idegen (diszjunkt)eseményeknek nevezzük, ha AB=O

Centrális határeloszlás-tétel

Véletlenszám generátorok és tesztelésük. Tossenberger Tamás

Diszkréten mintavételezett függvények

VIK A1 Matematika BOSCH, Hatvan, 5. Gyakorlati anyag

Idő-frekvencia transzformációk waveletek

Populációbecslések és monitoring

Átírás:

ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 8. A JELFELDOLGOZÁS ALAPJAI Dr. Soumelidis Alexandros 2018.11.22. BME KÖZLEKEDÉSMÉRNÖKI ÉS JÁRMŰMÉRNÖKI KAR 32708-2/2017/INTFIN SZÁMÚ EMMI ÁLTAL TÁMOGATOTT TANANYAG

A Fourier transzformáció Egy x t L 1 jel Fourier-transzformáltja X ω = 1 2π A Fourier-transzformáció a Plancherel-féle elmélet értelmében kiterjeszthető x t L 2 jelekre. Ennek megfelelően: x t e iωt dt ω = 2πf körfrekvencia az x t L 2 Fourier-transzformáltja egy X ω L 2 függvény. létezik inverz transzformáció: x t = 1 2π X ω e iωt dω 2

A Fourier transzformáció tulajdonságai Bizonyítás nélkül felsoroljuk a Fourier transzformáció néhány fontosabb tulajdonságát (a Fourier transzformációra vonatkozó fontosabb tételt). Az f függvény Fourier transzformáltja F ω 0, ha ω + vagy. (Riemann-Lebesgue lemma) Az f függvény F ω Fourier transzformáltja egyenletesen folytonos R-ben. Ha f függvény és f deriváltja létezik, és mindkettő L 1 R vagy L 2 R térbe tartozó függvény, akkor Eltolás időtartományban: F f t = iωf f t. F f t T = e iωt F f t. Eltolás frekvenciatartományban: F ω Ω = F f t e iωt. (időtartományban moduláció sin/cos-szal szorzás) 3

A konvolució Definíció: f és g L 1 R térhez tartozó függvények konvolúcióján a következő h függvényt értjük: A konvolúció műveletére igaz: Kommutativitás f g = g f h t = f g t = f t τ g τ dτ Asszociativitás f g e = f g e Kérdés: létezik egységelem? Azaz létezik-e d L 1 R, hogy f d = f f L 1 R Absztrakt módon kifejezve: az L 1 R tér elemei vajon csoportot alkotnak-e a konvolúció műveletére nézve? 4

A konvolúció A válasz: nem! Nem létezik ilyen L 1 R beli függvény, sőt egyáltalán nem létezik ilyen függvény. Azaz a f τ h t τ dτ = f t formulát egyetlen egy h függvény sem elégíti ki. A δ t Dirac-delta (δ-disztribúció) bevezetésével formálisan igaz: f τ δ t τ dτ = f t Azaz a δ t Dirac-delta a konvolúcióra nézve egységelem, de nem eleme a térnek sőt, nem is függvény. 5

A Dirac-delta Néhány formális definíció / összefüggés: δ t dt = 1 f t δ t dτ = f 0 f τ δ t τ dτ = f t e iωt dt az 1 függvény Fourier transzformáltja δ t e iωt dt = 1 δ t Fourier transzformáltja = δ ω e iωt dω = δ t 6

A Dirac-delta Néhány formális definíció / összefüggés: δ t dt = 1 f t δ t dτ = f 0 f τ δ t τ dτ = f t δ t Fourier transzformáltja δ t e iωt dt = 1 e iωt dt = δ ω e iωt dω = δ t 7

A Dirac-delta A Fourier transzformáció eltolási tétele alapján: 1 2 δ ω Ω e iωt dω = e iωt δ ω Ω + δ ω + Ω e iωt dω = eiωt + e iωt 2 Így a cos ill. sin függvény Fourier transzformáltja: cos Ωt e iωt dω sin Ωt e iωt dω = 1 2 = 1 2i δ ω Ω + δ ω + Ω δ ω Ω δ ω + Ω = cos Ωt 8

A konvolúció Fourier transzformáltja Tétel: Legyen f, g az L 1 R térbe tartozó függvények, és jelöljük a Fourier transzformáltjaikat. -vel. Ekkor f g ω = f ω g ω Tehát a konvolúció szorzásba megy át: Bizonyítás: f g ω = f t τ g τ dτ e iωt dt = konvolúció szorzás F. f t τ e iωt dt g τ dτ = felcseréljük az integrálások sorrendjét Fubini tétele / eltolt Fourier transzformált = f ω e iωτ g τ dτ = f ω g τ e iωτ dτ = f ω g ω 9

L 2 R jelek Fourier transzformáltja Legyen f az L 2 R térbe tartozó függvény, ennek közelítése L 1 R -beli függvényekkel: f T t = f t 0 ha t T/2 egyébként f T t : kivágjuk f t egy T szélességű darabját, tetszőleges T mellett ez L 1 R -beli függvény, illetve f T t L 1 R L 2 R Definiáljuk a w T t függvényt négyszögletes ablakfüggvény vagy karakterisztikus függvény: w T t = 1 0 ha t T/2 egyébként f T t = f t w T t f T ω = f ω w T ω konvolúció w T közelítő konvolúciós egységelem 10

L 2 R jelek Fourier transzformáltja w T közelítő konvolúciós egységelem a frekvenciatartományban: w T t w T ω = w T t e iωt dt T 2 = e iωt dt T 2 = e iωt T 2 iω T 2 T = eiω 2 e iωt 2 iω = T sin ω T 2 ω T 2 T növekedésével ez egy egyre csúcsosodó és egyre keskenyedő pulzus, határértékben δ ω 11

L 2 R jelek Fourier transzformáltja Ha T, akkor bizonyos értelemben vett határátmenettel (Cauchy) f T t f t és f T ω f ω Ilyen módon határátmenetként értelmezhető az L 2 R térhez tartozó függvények Fourier transzformáltja. Ennek precíz kifejtése a Plancherel elmélet (tétel). Ennek értelmében a Fourier transzformáció Inverze szintén F: L 2 R L 2 R F 1 L 2 R L 2 R leképezés (operátor). 12

A Parseval egyenlőség Az L 2 R egy fontos tulajdonsága: a Parseval egyenlőség vagy Plancherel formula. Tétel: Minden az f, g L 2 R függvényre érvényes az alábbi egyenlőség: f, g = 1 2π f, g. jelöli a Fourier transzformáltat,.,. pedig az L 2 R Hilbert térben definiált belső szorzatot: f, g = f(t) g t dt 1 függvényre alkalmazva: a normákra érvényes egyenlőség f, g = f (ω) g ω dω f, f = f 2 = 1 2π f 2 13

Fourier transzformált: fizikai értelmezés x L 2 R jel esetében x 2 = x t 2 dt ~ E a jel által hordozott teljes energiával arányos mennyiség A Parseval egyenlőség szerint (a Fourier transzformált X ω L 2 R ) x t 2 dt = 1 2π X ω 2 dω ~ E Egy ω 0 körfrekvencia körüli ω szélességű sávban képviselt energia E 0 ~ 1 π ω 0 + ω 2 ω 0 ω 2 X ω 2 dω X ω 2, azaz egy jel Fourier transzformáltjának négyzete energiasűrűség függvény 14

APSD: fizikai értelmezés Sztochasztikus jelek spektrális leírása az autokorreláció (kovariancia) függvény Fourier transzformáltján alapul. G x ω = R x τ e iωτ dτ Stacionárius ergodikus folyamatok esetén az autokorreláció függvény számítása időátlag alapján: R x τ 1 = lim T T T 2 T 2 x t x t + τ dt Nézzük meg, mit jelent G x ω dω ill. ω 0 + ω 2 ω 0 ω 2 G x ω dω. 15

APSD: fizikai értelmezés 1 2π G x ω dω = 1 2π G x ω e iωτ dω τ=0 = R x 0 inverz Fourier transzformáció R x 0 1 = lim T T T 2 x 2 t dt Ez egy teljesítmény jellegű mennyiség egységnyi időre eső energiamennyiség. T 2 az R x τ re vonatkozó formula szerint, ha τ = 0 16

APSD: fizikai értelmezés G x ω dω = 2πR x 0 ~ P a jel által képviselt teljes teljesítmény P 0 ~ 1 π ω 0 + ω 2 G x ω dω ω 0 körfrekvencia körüli ω szélességű sávban képviselt teljesítmény ω 0 ω 2 G x ω teljesítménysűrűség függvény G x ω -t tehát jogosan nevezzük az x jel auto-teljesítménysűrűség (APSD Auto Power Spectral Density) függvényének 17

Becslések Jelek paramétereinek meghatározása: Pontosan általában nem határozhatók meg, a jelfeldolgozási módszerek általában hibával terheltek. A jelfeldolgozási módszerek általában becslések. A hibák okai (a teljesség igénye nélkül): sztochasztikus jelleg, zajok, véges mintaregisztrátum, véges számábrázolási pontosság x valóságos érték x becsült érték Az eltérés kifejezése: x = x x egyszerű különbség x = x x abszolút hiba MSE x = E x x 2 négyzetes középhiba 18

A becslések hibái A négyzetes középhiba (Mean-Square Error): MSE x = E x x 2 A becsült érték általában ismeretlen hibával terhelt A négyzetes középhiba alkalmazásának indokai: valószínűségi változónak tekinthető. Igen régi fogalom: a "legkisebb négyzetek" (Least Square - LS) elve Carl Friedrich Gauss (XVIII-XIX. század). Az átlagos négyzetes eltérés energia jellegű mennyiség, közel áll az L 2 normához. Az L 2 -térbeli skaláris szorzat révén definiálható a merőlegesség fogalma. A négyzetes kifejezésekkel egyszerű számolni folytonos differenciálhatóság, optimalizálás. 19

A becslések hibái A becslés négyzetes középhibája: MSE x = E x x 2 = E x E x + E x x 2 = Elvégezzük a négyzetre emelést és tagonként képezzük E. -t: = E x E x 2 + 2E x E x E x x + E E x x 2 A középső tag: E x E x E x x = E xe x E x E x xx + E x x = = E x E x E x E x E xx + E x E x = E x E x E xx A becsült érték statisztikailag független az eredeti értéktől, így E xx = E x E x a középső tag 0. 20

A becslések hibái Tehát MSE x = E x E x 2 + E E x x 2 A becsült érték várható értékének eltérése a valóságostól: torzítás (bias) A becsült érték eltérése saját várható értékétől: variancia A négyzetes középhiba felbontása: MSE x = b 2 x + var x = b 2 x + σ 2 x torzítási hiba és variancia hiba összege. A négyzetgyöke: RMS (Root Mean Square) RMS x = b 2 x + var x 21

A becslések hibái Torzítás b x = E x E x 2 + E E x x 2 A hiba determinisztikus része, azonos feltételek mellett mindig ugyanaz: Ha nagysága ismert: rendszeres hiba korrigálni lehet. Sok esetben nem ismert: ismeretlen feltételek, tekintetbe nem vett (nem modellezett) hatások eredményeként keletkezik. Variancia ill. szórás σ x = E E x x 2 var x = E E x x 2 A hiba véletlen komponense, a becslés minden realizációjában különböző. 22

A becslések tulajdonságai A becslések jóságát kifejező jellemzők Torzítatlan (unbiased) becslés E x = x Hatásosság (efficiency) Legyen x 1 és x 2 két becslése x paraméternek. x 1 hatásosabb becslés mint x 2, ha E x 1 x 2 < E x 2 x 2 Konzisztencia Egy becslés konzisztens, ha N mintaterjedelmet tekintve lim P x x > ε = 0 ε > 0 N Tehát egy becslés konzisztens, ha növekvő mintanagyságra a hiba 0-tól való eltérésének valószínűsége egyre kisebb (erős konzisztencia). 23

Becslési eljárások: középérték és variancia Jel középértékének becslése véges N mintaterjedelmre: x = E x x = 1 N N k=1 Torzítatlan konzisztens becslés. Konzisztencia a központi határeloszlás tételek alkalmazásával. Jel varianciájának becslése véges N mintaterjedelmre: var x = σ x 2 = E x E x 2 var x = 1 N x k N k=1 x k x 2 Torzítatlan konzisztens becslés. Konzisztencia a központi határeloszlás tételek alkalmazásával. Probléma: a középérték egzakt módon általában nem áll rendelkezésre. 24

Becslési eljárások: középérték és variancia Ha a középértéket torzítatlan becslésével vesszük figyelembe: s x 2 = 1 N N k=1 x k 1 N 2 N x j j=1 E s 2 x = 1 N N k=1 E x k 1 N N x j j=1 2 Vezessük be a következő jelölést: x = x + x, ahol x a középérték. E s x 2 = 1 N N E x k + x 1 N N x j + x 2 = 1 N N E x k 1 N N x j 2 k=1 j=1 k=1 j=1 = 1 N N E x k 2 2 N N E x k x j + 1 N 2 N N E x i x j k=1 j=1 j=1 i=1 A mérési adatok függetlensége miatt E x i x j = δ ij σ 2 x, ahol δ ij a Kronecker szimbólum: δ ij = 1 0 ha i = j egyébként 25

Becslési eljárások: középérték és variancia Tehát E s x 2 = 1 N N k=1 σ x 2 1 2 N + 1 N = N 1 N σ x 2 ami egy torzított becslése a varianciának. Torzítás: ismert rendszeres hiba korrigálható, N N 1 -szeresét véve. A minta-variancia empirikus becslése véges N mintaterjedelemre: s x 2 = 1 N 1 N k=1 x k x 2, ahol x = 1 N Ez már torzítatlan (és konzisztens) becslés. N k=1 x k 26

Becslési eljárások: korreláció-függvények Autokorreláció függvény becslése: R x τ = E x t x t + τ R x k = 1 N k N k x j x j+k j=1 Torzítatlan konzisztens becslés. Az autokorreláció függvény páros, így R x k = 1 N k N k j=1 x j x j+ k alakban is kifejezhető, így elegendő a függvényt k 0 indexekre kiszámolni. Egy torzított, de a gyakorlat számára jelentős becslés: R x k = 1 N N k j=1 x j x j+ k E R x k = 1 k N R x k háromszögletű ablakkal szorzott alak 27

Becslési eljárások: korreláció-függvények Autokovariancia függvény becslése: C x τ = E x t x x t + τ x 1 C x k = N k N k j=1 x j x x j+ k x Torzítatlan konzisztens becslés. Hasonlóan egy hasznos torzított becslés: C x k = 1 N N k j=1 x j x x j+ k x E C x k = 1 k N C x k háromszögletű ablakkal szorzott alak 28

Becslési eljárások: korreláció-függvények Kereszt-kovariancia függvény becslése: 2N + 1 mintaterjedelemre C xx τ = E x t x y t + τ y C xy k = 1 2N k + 1 N k j= N+k x j x y j+k y Nem páros függvény! Torzítatlan konzisztens becslés. Hasonlóan az előzőkhöz értelmezhető a keresztkorreláció becslés, ill. a háromszögletű ablakkal torzított becslés is. 29

Becslési eljárások: korreláció-függvények A korreláció-becslésekről általában: 1 N k N k j=1 x j x j+ k Igen munkaigényes eljárások, N 2 -tel arányos számú összeadást és szorzást igényelnek. A gyakorlatban inkább kerüljük a kiszámításukat. A gyakorlatban inkább megvalósítható eljárás: az FFT alapú spektrumanalízisen keresztül lásd később. 30

A diszkrét Fourier transzformáció Kiindulás: X f = x t e i2πft dt 1.lépés: véges mintaregisztrátum T időtartam T 2 X f x t e i2πft dt T 2 2.lépés: mintavétel t periódussal, legyen T = n t N 2 1 X f t x j t e i2πfj t j= N 2 Az integrálást véges szummával helyettesítjük. 31

A diszkrét Fourier transzformáció 3. lépés: frekvenciában is mintavételezünk f N, f N tartományban N minta A véges Fourier transzformált periodikus: az f N, f N tartomány egy periódusnak felel meg, f N a Nyquist frekvencia. f = 2 f N N 2f N f = 1 2f f = 1 N = 1 t N t A diszkrét frekvencia- ill. időpontokra alkalmazzuk a f k = k f és a t k = j t jelöléseket: N 2 1 X f k = t x t j e i2πjk N j= N 2 k = N 2,, 0,, N 2 1 Ezt a formát nevezzük diszkrét Fourier transzformáltnak (DFT). 32

A diszkrét Fourier transzformáció A gyakorlatban k = 0,1,2,, N 1 indexelést alkalmazunk, ekkor N 2 1 X k = t x j e i2πjk N j= N 2 l = j + N 2 helyettesítéssel X k = t N 1 l=0 l N 2 k i2π x l N 2 e N = N 1 = e i2πk 2 t x l N 2 e i2πlk N l=0 Ez egyenértékű N 2 mintával való időtartománybeli eltolással, ill. a kiszámított spektrum jobb- és baloldali felének felcserélésével. 33

A gyors Fourier transzformáció A diszkrét Fourier transzformáció X k = t N 1 j=0 x j e i2πjk N (k = 0,1,2, N 1) kiszámítása N 2 műveletet (szorzás-összeadás együttese) igényel. Bizonyos szimmetriák figyelembevételével ez N log 2 N műveletre redukálható: gyors Fourier transzformáció Fast Fourier Transform (FFT) 34

A gyors Fourier transzformáció Gyorsítás: a műveletek számának csökkentése FFT algoritmus Történelem: a köztudat szerint J.W. Cooley és J.W. Tukey dolgozta ki első formáját 1965-ben, azonban kiderült hogy Carl Friedrich Gauss már 1805 környékén alkalmazott hasonló elvek alapján működő algoritmust. Cooley Tukey algoritmus: oszd meg és uralkodj elv kisebb egységekre osztjuk a számítandókat és a közös részeket figyelembe véve csökkenthető a számításigény. 35

A gyors Fourier transzformáció A Cooley Tukey-féle FFT algoritmust a XX. Század 10 legjelentősebb algoritmusai közé választották. (Computing in Science and Engineering, 2000) 36

A gyors Fourier transzformáció A legegyszerűbb esettel foglalkozunk (Cooley és Tukey eredetileg általánosabb esetet írt le). Tegyük fel, hogy N 2 egész hatványa, azaz N = 2 P, ahol P R. Válasszuk szét a bemeneti adatokat két egyenlő részre páros és páratlan indexű elemekre: N 2 1 X n = x 2l e i2π N l=0 N 2 1 = x 2l e l=0 2l n i 2π N 2 ln N 2 1 + x 2l+1 e i2π N l=0 N 2 1 + e i2π N n x 2l+1 e l=0 2l+1 n i 2π N 2 ln A páros indexű elemek N 2 méretű DFT-je A páratlan indexű elemek N 2 méretű DFT-je 37

A gyors Fourier transzformáció Jelöljük a páros ill. páratlan indexű elemekre vonatkozó DFT-ket az angol even és odd kifejezések alapján E n -nel illetve O n nel, ezekkel X n = E n + e i2π N n O n Az N 2 méretű DFT a n indexben N 2 szerint periodikus sorozat, így elegendő az E n és O n tagokat 0 n < N 2 indexekre kiszámolni, mivel E n+n 2 = E n O n+n 2 = O n n = 0,1,2,, N 2-1 Ugyanakkor O n tag szorzótényezőjére e i2π N n+n 2 = e i2π N n e iπ = e i2π N n érvényes. 38

A gyors Fourier transzformáció Ezeknek megfelelően a DFT értéke k = 0,1,, N 1 indexekre X n = E n + e i2π N n O n ha 0 n < N 2 E n N 2 + e i2π N n N 2 O n N 2 ha N 2 n < N Kiszámításához N művelet szükséges. Ha folytatjuk az eljárást: az N 2 méretű DFT-ket felosztjuk két N 2 méretű DFT-re ezek számítására is N művelet szükséges. Iteratívan folytatjuk az eljárást az egyedi elemek szintjéig: minden szint számításan műveletet igényel. A szintek száma log 2 N. Az igényelt összes művelet száma: (szintek száma) (az egy szinten elvégzendő műveletek száma) N log 2 N 39

A gyors Fourier transzformáció A gyors Fourier transzformáció (FFT) megvalósításához szükséges műveletek száma N log 2 N Az ismertetett eljárást az alkalmazott felezési stratégia miatt Radix-2 eljárásnak nevezzük Radix: a felosztás rendje jelen esetben 2. Nem ez a leghatékonyabban realizálható eljárás: A Radix-4 algoritmus 4 csoportba osztás szintenként, Változó alapú (mixed radix) algoritmusok hatékonyabbak. A mixed radix algoritmusok alkalmazhatók, ha N nem egész hatványa 2-nek. Vannak a Cooley-Tukey-tól eltérő FFT algoritmusok: pl. Winograd, Rader, Lánczos algoritmusai. 40

A gyors Fourier transzformáció Az előzőkben bemutatott számítási sémában sűrűn előforduló forma: A = a + W N n b B = a W N n b ahol W N = e i2π N az N dik egységgyök. Elnevezése: butterfly pillangó A W N n szorzót twiddle faktornak is nevezik. twiddle babrálni, bütykölni 41

A gyors Fourier transzformáció Egy 8-pontos FFT Radix-2, Decimation-In-Time (DIT) séma 42

Spektrumbecslési eljárások Az auto-teljesítménysűrűség függvény becslése A definíció szerinti módszer G x f = R x τ e i2πfτ dτ ahol R x τ = E x t x t + τ Véges 2N mintaterjedelemre: 1. Az autokorreláció (autokovariancia) függvény becslése 1 R x k = N k N k j=1 x j x j+ k 2. Diszkrét Fourier transzformáció végrehajtása FFT N 1 G x k = t R x j e i2πjk N j= N k = N,, 0,, N 1 Torzított, de konzisztens becslés. 43

Spektrumbecslési eljárások A véges mintaregisztrátum hatása Végtelen integrálási határok helyett a gyakorlatban: T G x f = R x τ e i2πfτ dτ T w T τ egy un. ablakfüggvény, nevezetesen egy négyszögletes ablakfüggvény: véges kiterjedésű (véges tartójú), korlátos függvény. = w T τ R x τ e i2πfτ dτ w T τ = Ablakfüggvénnyel való szorzás időtartományban 1 ha T τ < T 0 egyébként konvolúció a Fourier transzformáltakra: G x f = W T f G x f ezért a teljesítménysűrűség függvény becslése torzított. 44

Spektrumbecslési eljárások A négyszögletű ablak w T τ W T f log W T f Ha T, a Fourier transzformált δ ω a konvolúció a pontos Fourier transzformáltat állítja elő konzisztencia 45

Spektrumbecslési eljárások Az ablakfüggvény hatása: Torzítás: megváltozik a függvény alakja a csúcsok kiszélesednek, magasságuk csökken. Oldalági szivárgás (sidelobe leakage): az oldalágakon 0-tól különböző érték, hullámzás. Csökken a felbontóképesség: összeolvadnak a szomszéd csúcsok. Az ablakfüggvény hatásának csökkentése: Válasszunk minél nagyobb mintaterjedelmet konzisztencia: a nagyobb minta csökkenti a torzítást. Válasszunk a négyszögletűtől eltérő alakú ablakfüggvényt. Ablakfüggvények: Háromszögletű, koszinuszos, és még sok más (a felfedezőjükről nevezik el általában) 46

Spektrumbecslési eljárások A háromszögletű ablak w T τ W T f log W T f A korrelációfüggvény korábban említett torzított becslése háromszögletű ablakot eredményez. 47

Spektrumbecslési eljárások Hamming ablak w T τ W T f log W T f w n = 0.5 1 cos 2π n N 0 n < N 48

Spektrumbecslési eljárások Blackman ablak w T τ W T f log W T f w n = 0.42 0.5 cos 2π n N 1 + 0.08 cos 4π n N 1 0 n < N 49

Spektrumbecslési eljárások Auto-teljesítménysűrűség függvény egy másik becslése Direkt Fourier transzformációs (periodogramm) módszer G x f = 1 T X T f 2 ahol X T f egy T hosszúságú minta Fourier transzformáltja. Torzított, de konzisztens becslés. Előnyei: Nincs szükség az autokorreláció függvény előzetes becslésére. Hatékony, gyors algoritmussal számolható FFT. Hátrányai: Torzítás: nem rosszabb, mint a definíció szerinti módszer esetében. Variancia: nagyon nagy 100 % relatív variancia a módszer önmagában használhatatlan. 50

Spektrumbecslési eljárások A periodogramm módszer torzítása: E G x f = E 1 T X T f 2 = 1 T E x u eiωu du = 1 T 0 T 0 T E x u x v 0 T e iωu e iωv dudv = 1 T 0 T 0 T T 0 x v e iωv dv = R x u v eiω u v dudv Vezessük be a τ = u v helyettesítést, az új változók τ és u. 0 T T T τ = 1 T R x τ e iωτ dudτ + R x τ e iωτ dudτ = T τ 0 0 0 T = 1 T T + τ R x τ e iωτ dτ + T τ R x τ e iωτ dτ T 0 51

Spektrumbecslési eljárások Összevonva a tagokat és elvégezve a T-vel osztást: T E G x f = 1 τ T R x τ e iωτ dτ T Ez egy háromszögletű ablakkal való szorzás, tehát a becslés torzított. Ugyanakkor, ha T, a háromszögletű ablak egyre jobban közelíti azonosan 1 függvényt, tehát a becslés konzisztens. 52

Spektrumbecslési eljárások A periodogramm módszer varianciája: Kimutatható, hogy normális eloszlású jelek esetén a becslés N-szabadságfokú χ 2 eloszlást mutat amelynek relatív varianciája 1. A variancia csökkentésének módja: átlagolás. Több mint (10-100) spektrumának átlagát képezzük. A direkt Fourier transzformációs (periodogramm) módszert mindig átlagolás mellett használjuk. Az átlagolás módja: Egyszerű átlagolás az egymás utáni minták Fourier transzformáltját pontonként átlagoljuk: Bartlett módszer. Átlagolás átlapolással: Welch módszer. Az átlapolás lehet pl. 25, 50 vagy akár 75 %-os. 53

Korreláció függvény becslés Egy hatékony gyakorlati módszer a korreláció függvények becslésére: A jel teljesítménysűrűség függvényének becslése direkt módszerrel (FFT alkalmazása) A korreláció függvény meghatározása inverz Fourier transzformáció alkalmazásával (szintén FFT-vel). Előnyei: Az FFT révén gyors végrehajtás, minimális műveletszám. A torzítás nem rosszabb, mint a hagyományos korreláció becslés esetén, a becslés pedig konzisztens. 54

BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM Dr. Soumelidis Alexandros email: soumelidis@mail.bme.hu BME KÖZLEKEDÉSMÉRNÖKI ÉS JÁRMŰMÉRNÖKI KAR 32708-2/2017/INTFIN SZÁMÚ EMMI ÁLTAL TÁMOGATOTT TANANYAG