Ondosimilaĵo

En matematiko, ondosimilaĵo estas ondo-simila oscilado, kies amplitudo startas je nulo, pligrandiĝas, kaj tiam malpligrandiĝas reen al nulo. Ĝi povas tipe esti videbligita kiel lakona oscilado.

Ondosimilaĵo estas osciloforma signalo de finia longo (tempodaŭro), aŭ ĝi estas de malfinia longo sed rapide proksimiĝas al nulo kiam la tempa koordinato malproksimiĝas for de la ĉefa tempodaŭro de la ondosimilaĵo.

Ĝenerale, ondosimilaĵoj estas speciale konstruataj por havi specifajn propraĵojn, kiuj faras ilin utilajn por signal-prilaborado. Ondosimilaĵoj povas esti kombinitaj per kunfaldaĵoj (ŝovo, multipliko kaj sumo) kun donita signalo por ekstrakti informon pri la signalo.

Ondosimilaĵo estas matematika funkcio uzata por disdividi donitan funkcion aŭ kontinuo-tempan signalon en malsamajn skalajn komponantojn. Kutime unu povas asigni frekvencan bendon al ĉiu skala komponanto. Ĉiu skala komponanto povas tiam esti studata kun distingokapablo respektiva al ĝia skalo. Ondosimilaĵa konverto estas la prezento de funkcio per ondosimilaĵoj. La ondosimilaĵoj estas skalataj kaj movataj kopioj (nomataj kiel filinaj ondosimilaĵoj) de la fonta ondosimilaĵo (nomata kiel la patrina ondosimilaĵo). Ondosimilaĵaj konvertoj havas iujn avantaĝojn super tradiciaj konvertoj de Fourier por prezentado de funkcioj, kiuj havas nekontinuecojn kaj akrajn kulminojn, kaj por precize malkonstrui kaj rekonstrui finiajn ne-periodajn aŭ ne-senmovajn signalojn.

 Ondosimilaĵaj konvertoj 
En formalaj terminoj, ondosimilaĵa konverto estas prezento de kvadrato-integralebla funkcio kiel serio kun respekto al plena ortonormala aro de bazaj funkcioj, aŭ kun respekto al troplena aro aŭ kadro de vektora spaco, por la hilberta spaco de kvadrataj integraleblaj funkcioj.

Ondosimilaĵaj konvertoj estas klasifikitaj en diskretaj ondosimilaĵaj konvertoj kaj kontinuaj ondosimilaĵaj konvertoj. Ambaŭ diskreta ondosimilaĵa konverto kaj kontinua ondosimilaĵa konverto estas kontinua-tempaj (analogaj) konvertoj kaj povas esti uzataj por prezenti kontinuo-tempajn (analogajn) signalojn. Kontinuaj ondosimilaĵaj konvertoj operacias super ĉiuj (reelaj) eblaj skaloj kaj movoj, dum diskretaj ondosimilaĵaj konvertoj uzas specifan subaron de skaloj kaj movoj.

eta|Ondosimilaĵo de Haareta|Ondosimilaĵo de Daubechies D4; blua - skala funkcio, ruĝa - ondosimilaĵa funkcioeta|Ondosimilaĵo de Daubechies D20; blua - skala funkcio, ruĝa - ondosimilaĵa funkcio

Ĉiu ondosimilaĵa konverto povas esti konsiderata kiel formo de tempo-frekvenca prezento por kontinuo-tempaj (analogaj) signaloj kaj do estas iel simila al konverto de Fourier. Preskaŭ ĉiu praktike utila diskreta ondosimilaĵa konverto uzas diskreto-tempajn filtrilajn bankojn. Ĉi tiuj filtrilaj bankoj estas nomataj kiel la ondosimilaĵaj kaj la skalaj koeficientoj en ondosimilaĵa nomado. Ĉi tiuj filtrilaj bankoj povas havi filtrilojn kun finia impulsa respondo aŭ malfinia impulsa respondo. La ondosimilaĵoj formantaj kontinuan ondosimilaĵan konverton estas sub la necerteca principo de respektiva diskretiga teorio de analizo de Fourier: por donita signalo kun iu evento en ĝi, oni ne povas asigni samtempe akuratajn tempon kaj frekvencon al ĉi tiu evento. La produto de la necertecoj je tempo kaj frekvenco havas suban baron. Tial, en la rezulto de kontinua ondosimilaĵa konverto de ĉi tiu signalo, la evento okupas iun regionon en la tempo-frekvenca ebeno, anstataŭ nur unu punkto. Ankaŭ, diskretaj ondosimilaĵaj bazoj povas esti konsiderataj en la ĉirkaŭteksto de la aliaj formoj de la necerteca principo.

Ondosimilaĵaj konvertoj estas larĝe dividita en tri klasifikaĵojn: kontinuaj, diskretaj kaj multdistingokapablo-bazitaj.

 Kontinuaj ondosimilaĵaj konvertoj 
Kontinuaj ondosimilaĵaj konvertoj havas kontinuajn ŝovan kaj skalan parametrojn.

En kontinua ondosimilaĵa konverto, donita signalo de finia energio estas projekciita sur kontinuan familion de frekvencaj bendoj (aŭ similaj subspacoj de la Lp funkcia spaco ).
Ekzemple la signalo povas esti prezentita sur ĉiu frekvenca bendo de formo [f, 2f] por ĉiuj pozitivaj frekvencoj f>0. Tiam, la originala signalo povas esti rekonstruita per taŭga integralado tra ĉiuj rezultantaj frekvencaj komponantoj.

La frekvencaj bendoj aŭ subspacoj (sub-bendoj) estas skalitaj versioj de subspaco je skalo 1. Ĉi tiu subspaco laŭvice estas en plejparto de situacioj generata per la ŝovoj de unu generanta funkcio , la patrina ondosimilaĵo. Kiel ekzemplo ĉi tiu funkcio por frekvenca bendo [1, 2] povas esti



kun la (ununormigita) funkcio sinc. La aliaj ekzemploj de patrinaj ondosimilaĵoj estas:

 eta|Ondosimilaĵo de Meyer eta|Ondosimilaĵo de Morlet eta|Meksikia ĉapela ondosimilaĵo

La subspaco de skalo a aŭ frekvenca bendo [1/a, 2/a] estas generata per la funkcioj (iam nomataj kiel infanaj ondosimilaĵoj)



kie a estas pozitiva kaj difinas la skalon kaj b estas iu reela nombro kiu difinas la ŝovon. La paro (a, b) difinas punkton en la dekstra duonebeno  R+×R .

La projekcio de funkcio x sur la subspacon de skalo a tiam havas formon



kun ondosimilaĵaj koeficientoj



 Diskretaj ondosimilaĵaj konvertoj 
 Diskretaj ondosimilaĵaj konvertoj havas diskretajn ŝovan kaj skalan parametrojn.

Estas kompute neeble analizi signalojn uzante ĉiujn ondosimilaĵajn koeficientojn. Tamen iam sufiĉas preni diskretan subaron de la supra duonebeno povi rekonstrui signalon surbaze de la respektivaj ondosimilaĵaj koeficientoj. Unu tia sistemo estas la afina sistemo por iuj reelaj parametroj a>1, b>0. La respektiva diskreta subaro de la duonebeno konsistas el ĉiuj punktoj (am, namb) kun entjeroj m kaj n. La respektivaj infanaj (idaj) ondosimilaĵoj estas tiam donataj kiel



Sufiĉa kondiĉo por la rekonstruado de ĉiu signalo x de finia energio per la formulo

estas ke la funkcioj  formas striktan kadron de .

 Multdistingokapablaj diskretaj ondosimilaĵaj konvertoj 
En ĉiu diskreta ondosimilaĵa konverto, estas nur finia kvanto de ondosimilaĵaj koeficientoj por ĉiu barita ortangula regiono en la supra duonebeno. Ankoraŭ, ĉiu koeficiento postulas la pritakson de integralo. Por eviti ĉi tiun ciferecan komplikecon, oni bezonas iun helpan funkcion, la patran ondosimilaĵon . Plu, oni devas limigi a al esti entjero. Tipa elekto estas a=2 kaj b=1. La plej fama paro de patro kaj patrinaj ondosimilaĵoj estas la 4-frapa ondosimilaĵo de Daubechies.

De la patrina kaj patra ondosimilaĵoj oni konstruas la subspacojn

 , kie 

kaj

 , kie 

De ĉi tiuj oni postulas, ke la vico



formas multdistingokapablan analitikon de  kaj ke la subspacoj ..., W1, W0, W-1, ... estas la perpendikularaj diferencoj de la pli supra vico, kio estas ke Wm estas la perpendikulara komplemento de Vm ene de la subspaco Vm-1. En analogeco al la diskretiga teoremo oni povas konkludi, ke la spaco Vm kun diskretiga distanco 2m plimalpli kovras la frekvencan bazan bendon de 0 al 2−m−1. Kiel perpendikulara komplemento, Wm proksimume kovras la bendon [2−m−1, 2−m].

De tiuj inkluzivecoj kaj ortecaj rilatoj sekvas la ekzisto de vicoj  kaj  kiuj kontentigas la identojn

  kaj 

kaj

 kaj 

La dua idento de la unua paro estas bonmaniereca ekvacio por la patra ondosimilaĵo φ.
Ambaŭ paroj de identoj formas la bazon por la algoritmo de la rapida ondosimilaĵa konverto.

 Patrina ondosimilaĵo 
Por praktikaj aplikoj, oni preferas kontinue diferencialeblajn funkciojn kun kompakta subteno kiel patrinaj (prototipaj) ondosimilaĵaj funkcioj. Tamen, por kontentigi analitikajn postuloj (en la kontinua ondosimilaĵa konverto) kaj ĝenerale por teoriaj kaŭzoj, oni elektas la ondosimilaĵajn funkciojn de subspaco de la spaco . Ĉi tiu estas la spaco de mezureblaj funkcioj kiu estas absolute kaj kvadrate integraleblaj:

  kaj 

Estado en ĉi tiu spaco certiĝas ke oni povas formuli la kondiĉoj de nula meznombro



kaj kvadrata normo 1



Por ke ψ estu ondosimilaĵo por la kontinua ondosimilaĵa konverto, la patrina ondosimilaĵo devas kontentigi kriterion de taŭgebleco (kio estas, lakse parolante, speco de duono-derivebleco) por ricevi stabilan inversigeblan konverton.

Por la diskreta ondosimilaĵa konverto, oni bezonas almenaŭ la kondiĉon ke la ondosimilaĵa serio estas prezento de la idento en la spaco . Plejparto de konstruoj de diskretaj ondosimilaĵaj konvertoj uzas la multdistingokapablan analitikon, kiu difinas la ondosimilaĵon per skala funkcio. Ĉi tiu skala funkcio mem estas solvaĵo de funkcia ekvacio.

En plejparto de situacioj estas utile al limigi ψ al esti kontinua funkcio kun pli granda kvanto M de nulaj momantoj, kio estas ke por ĉiu entjero m<M



Iuj ekzemplaj patrinaj ondosimilaĵoj estas:

 eta|Meyer eta|Morlet eta|Meksikia ĉapelo

La patrina ondosimilaĵo estas skalata (aŭ plilarĝigita) je faktoro a kaj ŝovata je b por doni (en originala formulaĵo de Morlet):



Por la kontinua ondosimilaĵa konverto, la paro (a, b) varias super la plena duonebeno  R+×R ; por la diskreta ondosimilaĵa konverto ĉi tiu paro varias super diskreta subaro de ĝi, kiu estas ankaŭ nomata kiel afina grupo.

Ĉi tiuj funkcioj estas ofte malĝuste nomataj kiel la bazaj funkcioj de la (kontinua) konverto. Fakte, same kiel en la kontinua konverto de Fourier, ne estas bazo en la kontinua ondosimilaĵa konverto. Tempo-frekvenca ekzegezo uzas malmulte malsaman formulaĵon (post Delprat).

 Komparo kun kontinuo-tempa konverto de Fourier 
La ondosimilaĵa konverto estas ofte komparata kun la konverto de Fourier, en kiu signaloj estas prezentataj kiel sumoj de sinusaj funkcioj. La ĉefa diferenco estas ke ondosimilaĵoj estas lokigataj en ambaŭ tempo kaj frekvenco, sed la norma konverto de Fourier estas lokigata nur en frekvenco. La mallongo-tempa konverto de Fourier estas pli simila al la ondosimilaĵa konverto, en tio ke en ĝi estas ambaŭ tempa kaj frekvenca lokigo, sed estas problemoj kun la frekvenca kaj tempa distingokapablo. Ondosimilaĵoj ofte donas pli bonan prezenton de signaloj per multdistingokapabla analitiko, kun balancita distingokapablo je momenteco kaj frekvenco.

La diskreta ondosimilaĵa konverto estas ankaŭ malpli kompute komplika, bezonante tempon O(N) kompare al O(N log N) por la rapida konverto de Fourier. Ĉi tiu komputa avantaĝo estas ne imanenta al la konverto, sed reflektas la elekton de logaritma divido de frekvenco, en kontrasto al la egale spacitaj frekvencaj dividoj ĉe la konverto de Fourier. Estas ankaŭ grave noti ke ĉi tiu komplikeco nur aplikas kiam amplekso de la filtrilo ne dependas de amplekso de la signalo. Ondosimilaĵo sen kompakta subteno kiel la ondosimilaĵo de Shannon devus postuli tempon O(N2). Simile, logaritma konverto de Fourier ankaŭ ekzistas kun komplikeco O(N), sed por ĝi la originala signalo devas esti specimenata logaritme en tempo, kio estas utila nur por certaj specoj de signaloj.

 Difino de ondosimilaĵo 
Estas pluraj manieroj difini ondosimilaĵon aŭ ondosimilaĵan familion.

 Skalanta filtrilo 
Perpendikulara ondosimilaĵo estas plene difinata per la skalanta filtrilo - malalta-pasiganta finia impulsa responda filtrilo de longo 2N kaj sumo 1. En duperpendikularaj ondosimilaĵoj, apartaj malkomponaĵa kaj rekonstrua filtriloj estas difinataj.

Por analitiko kun perpendikularaj ondosimilaĵoj la alta-pasiganta filtrilo estas kalkulita kiel la kvadratura spegula filtrilo de la malalta-pasiganta, kaj la rekonstrua filtrilo estas la tempa dorsflankigo de la malkomponaĵa filtrilo.

Ondosimilaĵoj de Daubechies kaj Symlet povas esti difinitaj per la skalanta filtrilo.

 Skalanta funkcio 
Ondosimilaĵo estas difinita per la ondosimilaĵa funkcio ψ(t) (kio estas la patrina ondosimilaĵo) kaj skalanta funkcio φ(t) (kio estas la patra ondosimilaĵo) en la tempa domajno.

La ondosimilaĵa funkcio estas efike bendo-pasiganta filtrilo kaj skaligo de ĝi por ĉiu nivelo duonigas la bendlarĝon. Ĉi tio kreas la problemon, ke por kovri la tutan spektron, malfinia kvanto de la niveloj devus esti bezonata. La skalantaj funkcioj filtras la plej suban nivelon de la konverto kaj certiĝas, ke ĉiu spektro estas kovrita.

Por ondosimilaĵo kun kompakta subteno, φ(t) povas esti konsiderata finia en longo kaj estas ekvivalento al la skalanta filtrilo g.

Ondosimilaĵoj de Meyer povas esti difinitaj per skalantaj funkcioj.

 Ondosimilaĵa funkcio 
La ondosimilaĵo nur havas prezenton en tempa domajna kiel la ondosimilaĵa funkcio ψ(t).

Meksikiaj ĉapelaj ondosimilaĵoj povas esti difinitaj per ondosimilaĵa funkcio.

 Aplikoj 
Ĝenerale, diskretaj ondosimilaĵaj konvertoj estas uzataj por datuma kunpremo se signalo estas jam specimenita, kaj kontinuaj ondosimilaĵaj konvertoj estas uzataj por signala analizo. Tial, diskretaj ondosimilaĵaj konvertoj estas kutime uzataj en inĝenierado kaj komputiko, kaj la kontinuaj ondosimilaĵaj konvertoj estas kutime uzataj en scienca esploro.

 Ĝeneraligitaj konvertoj 
eta|280px|Ondosimilaĵo (supre dekstre), lineara frekvenca modulado (supre maldekstre), ĉirposimilaĵo (malsupre dekstre)

Estas pluraj ĝeneraligitaj konvertoj, ĉe kiuj la ondosimilaĵa konverto estas speciala okazo.

Ekzemple, Joseph Segman aldonis skalon en la grupon Heisenberg, donante kontinuan konvertan spacon kiu estas funkcio de tempo, skalo, kaj frekvenco. La kontinua ondosimilaĵa konverto estas du-dimensia tranĉaĵo tra la rezultanta 3-dimensia tempo-skalo-frekvenca volumeno.

Alia ekzemplo de ĝeneraligita konverto estas la ĉirposimilaĵa konverto en kiu la kontinua ondosimilaĵa konverto estas ankaŭ dudimensia tranĉaĵo de la ĉirposimilaĵa konverto.

Grava aplika areo por ĝeneraligitaj konvertoj engaĝas sistemojn, en kiuj altfrekvenca rezolucio estas krita.

Frakciaj ondosimilaĵaj konvertoj estas bazitaj sur skalantaj funkcioj kiuj, malsimile al la normala kvazaŭ entjera ondosimilaĵa konverto, povas havi malfinian subtenon. Tamen, ili permesas ne tranĉadon de bazaj funkcioj, akuratan konsideron de randoj, kaj perfektan rekonstruon.

 Listo de ondosimilaĵoj 
 Diskretaj ondosimilaĵoj 
 Ondosimilaĵo de Beylkin
 BNC-ondosimilaĵo
 Ondosimilaĵo de Cohen-Daubechies-Feauveau, iam nomata kiel CDF N/P aŭ duperpendikulara ondosimilaĵo de Daubechies
 Ondosimilaĵo de Daubechies
 Ondosimilaĵo de Haar
 Ondosimilaĵo de Mathieu
 Ondosimilaĵo de Legendre
 Ondosimilaĵo de Villasenor

 Kontinuaj ondosimilaĵoj 
 Reelo-valoraj 
 Beta ondosimilaĵo
 Hermita ondosimilaĵo
 Hermita ĉapela ondosimilaĵo
 Meksikia ĉapela ondosimilaĵo
 Ondosimilaĵo de Shannon

 Komplekso-valoraj 
 Kompleksa meksikia ĉapela ondosimilaĵo
 Ondosimilaĵo de Morlet
 Ondosimilaĵo de Shannon
 Modifita ondosimilaĵo de Morlet

 Historio 
La evoluo de ondosimilaĵoj komenciĝis de kelkaj apartaj pensoj, startante de laboro de Alfréd Haar en komenco de la 20-a jarcento, kun la ondosimilaĵo de Haar (1909).

Rimarkindaj kontribuoj al ondosimilaĵa teorio estis malkovro de la kontinua ondosimilaĵa konverto de George Zweig en 1975 (originale nomata kiel la orela helika konverto kaj esplorata dum studado de reago de orelo al sono); formulaĵo de kiu estas nun sciata kiel la kontinua ondosimilaĵa konverto de Pierre Goupillaud, Alex Grossman kaj Jean Morlet (1982); frua laboro pri diskretaj ondosimilaĵoj de Jan-Olov Strömberg (1983); perpendikularaj ondosimilaĵoj kun kompakta subteno de Ingrid Daubechies (1988); multdistingokapabla kadro de Stephane Mallat (1989); tempo-frekvenco ekzegezo de la kontinua ondosimilaĵa konverto de Nathalie Delprat (1991), harmona ondosimilaĵa konverto de Newland (1993).

La vorto ondosimilaĵo estas de Jean Morlet kaj Alex Grossman en komenco de la 1980-aj jaroj. Ili uzis la francan vorton ondelette, kies signifo estas "malgranda ondo".

 Vidu ankaŭ 

 Kontinua ondosimilaĵa konverto
 Diskreta ondosimilaĵa konverto
 Rapida ondosimilaĵa konverto
 Senmova ondosimilaĵa konverto
 Frakcia ondosimilaĵa konverto
 Ondosimilaĵa paketa malkomponaĵo
 Ĉirposimilaĵa konverto
 Filtrila banko
 Konverto de Fourier
 Frakcia konverto de Fourier
 Mallongo-tempa konverto de Fourier
 Multdistingokapabla analizo, multdistingokapabla analitiko
 Skala spaco
 Onda paketo
 Ondosimilaĵa spaco
 Dimensia malpligrandiĝo
 Fourier-rilatantaj konvertoj

 Eksteraj ligiloj 
 Pri ondosimilaĵoj
 Notoj pri la ondosimilaĵoj
 Ondosimilaĵaj konvertoj

 Michael Unser, Thierry Blu, "Frakciaj laŭpartaj interpolaj funkcioj kaj ondosimilaĵoj", SIAM recenzo, volumo. 42, Ne. 1 (Mar., 2000), pp. 43-67, Socio por Industria kaj Aplikita Matematiko, Stabila URL: 
 http://scienceworld.wolfram.com/biography/Zweig.html Biografio de George Zweig en Scienceworld.wolfram.com
 Difinado per skalanta funkcio
 Ondosimilaĵoj de Gilbert Strang, Amerika Sciencisto 82 (1994) 250-255. (tre mallonga enkonduko)
 Ondosimilaĵa digesto 
 Signala procezilo trajtanta ondosimilaĵajn manierojn de NASA . Priskribo de signala & bilda procezada programaro de NASA kaj ligo por elŝuto
 1-a NJIT Simpozio pri ondosimilaĵoj (30-a de aprilo, 1990) (Unua Ondosimilaĵa Konferenco en Usono)
 Dutermo-QMF ondosimilaĵoj, ondosimilaĵoj de Daubechies 
 Ondosimilaĵoj farita Simpla
 Kurso sur Ondosimilaĵoj donita je UC Santa Barbara, 2004
 La ondosimilaĵa lernilo de Polikar 
 Malfermita C++ kodo pri ondosimilaĵoj
 Enkonduko al ondosimilaĵoj 
 Ondosimilaĵoj 
 Kolekto de ligoj pri ondosimilaĵoj
 Akustika kaj elektromagnetaj ondosimilaĵoj de Gerald Kaiser
 Gvidilo al ondosimilaĵoj
 Ondosimilaĵo-bazita bilda prilaboro 
 Tre baza ekspliko de ondosimilaĵoj kaj kiel konverto de Fourier rilatas al ĝi 
 Praktika gvidilo al ondosimilaĵo analizo kaj la ondosimilaĵa programaro en Fortran ktp. Notu, ke la dekliva ondosimilaĵa pova spektro devas esti rektigita.
 Vortaro de ondosimilaĵaj nomoj
 Pitona ondosimilaĵa konverta pakaĵo - fonta kodo por komputado de 1D kaj 2D diskretaj ondosimilaĵaj konvertoj, senmovaj ondosimilaĵaj konvertoj kaj ondosimilaĵaj paketaj malkomponaĵoj.
 GNU-permesila biblioteko por n-dimensiaj diskretaj ondosimilaĵaj konvertoj
 La frakcia laŭparta interpola funkcia ondosimilaĵa konverto

 I. Daubechies: De kie ondosimilaĵoj venis , Artikolo 74, Proceedings of the IEEE, Speciala eldono pri ondosimilaĵoj 84 (no. 4), pp. 510-513, aprilo 1996

Kategorio:Funkcionala analitiko
Kategorio:Cifereca signal-prilaborado