Lamatematica
deisuoniedelleimmagini
suisocial
MariaFrancescaCarfora
IstitutoperleApplicazionidelCalcolo
ConsiglioNazionaledelleRicerche
intro
Matematica
applicata…
… cioè?
Previsionideltempo
Problem
iinversi
Ancona- 29Marzo2017
Segmentazione
Clustering
Classificazione
Cominciamo…
- ascoltaremusica
- inviarenotevocali
- scattarefoto/video
- condividerefoto/video
- leggerelibriegiornali
Quale
matematica
c’èdietro?
suono
Ilsuonoèprodottodalleoscillazioni,generatedauna
sorgentechevibra,chesipropaganoinunmezzo
(generalmentel’aria).Ilmeccanismosomigliaaquella
delleondedelmaregenerateperesempiodaun
oggettolanciatosullasuperficie.Un’ondasonoraèun
segnaleanalogico,cioèrappresentatodavalori
continuidellasuaampiezzaefrequenza.
Daanalogicoadigitale:ilcampionamento
Ilsuonoèunsegnaleanalogico,cioècontinuo.Pertrasferirlosui
modernidispositivi(CD)vienecampionato,solitamentea44.1KHz
(44100misurealsecondo).
Ancona- 29Marzo2017
Ognivaloreèmemorizzatoin2bytes(16bits)esuduecanali
(stereo).
Quindioccupa44100x2bytesx2=176400bytesalsecondo.
PermemorizzaresuunCDunbranodi3minutiemezzooccorrono
176400x210=37044000bcioè37Mb!
Ènecessariocomprimere…
Ideaperlacompressione:
• datouncertosuono,sitrovanotuttelesuecomponentia
diversefrequenze.
• siscartanopoilefrequenzemenoimportanti.
Pertantononvienememorizzatal’interaformadelsuono,
masololeprincipalicomponentidifrequenzapresenti.
Sipuòricostruireunsuonovicinoall’originalesommando
isegnalicorrispondentiallefrequenzememorizzate.
Adesempio,nelcasodisingolaondasinusoidale,
invecediregistrareememorizzare44.100datiper
ognisecondo,èsufficientememorizzaresolola
frequenzadell’unicaondachecomponeilsuono.
Ancona- 29Marzo2017
Brevepezzodiunacanzone
(1000campioni,circa1
centesimodisecondo)
Frequenzepresenti
AnalisidiFourier
All'iniziodelXIXsecolo,Fouriermiseapuntoilmetodoperscomporre
unfenomenoperiodicoinunaseriedifunzioniperiodichesemplici.
Lascomposizioneavvienemoltiplicandolafunzioneperiodicaperuna
funzionesinusoidale(senoocoseno)adognifrequenzaepoi
calcolandol'integraledellafunzionerisultante.Ilrisultatosarànonnullosoltantoperlefrequenzepresentinellafunzione.
ConuncalcolatoreèpossibilerealizzaredelletrasformatediFourier
discrete,sostituendocioèall'integraledellemoltiplicazioniunasomma
inunintervallodiscretoeperunnumerodicampionilimitato.Tali
trasformatesonodetteDiscreteFourierTransformsoDFT.
UnaversioneottimizzatadelleDFTsfruttaleproprietàdeinumeri
binariedellemoltiplicazionie/odivisioniperdueriducendo
notevolmentelaquantitàdicalcolinecessari.
QuestetrasformatesonochiamateFastFourierTransformsoFFT.Le
FFTsonorealizzabilisolosuunnumerodicampioni(eperunnumero
dipuntidianalisi,cioèdifrequenze)chesiaunapotenzadidue.
• PercalcolarelatrasformatadiFourier(cioètrovare
tuttelefrequenzechecompongonounsuono)occorre
unnumerodioperazionimoltoelevato
• Per1centesimodisecondo(campionedi400datidiun
suono)occorrono2x440x440operazioni(quasi
400.000!).Perunacanzonedi3minutine
occorrerebberocirca7Miliardi.
Nel1965duericercatori(CooleyeTukey)inventaronoun
algoritmopercalcolarelaTrasformatadiFourierinmodo
moltopiùveloce.L’algoritmosfruttalaridondanzanelle
sommerichiestenellatrasformataeneriduce
notevolmenteilcosto.
Questoalgoritmodicalcoloerastatoinrealtàinventato
nel1805daGausscheperònonloutilizzòmai.
L’articolodiCooleyeTukeyèilpiùcitato dellastoriadella
matematica.
SelalunghezzadelsegnaleèN,ilcalcolo
dellaDFT richiedecirca8N2 operazioni.
IlprocedimentodellaFFT leriducea
10(N/2)log2 N.
• LaFFTèancorainsufficiente perleapplicazioniintempo
reale
• SviluppatideicircuitiintegratispecializzatinellaFFT:
lavelocitàdelcalcolodipendedallavelocitàdeisegnali
elettrici
• Occorrono50microsecondiper1centesimodisecondodi
suono-->menodi1secondoperunbranodi3minuti
•L’algoritmoFFTelasuaimplementazionesu
circuitiintegratipossonoessereadattatianche
alleimmagini
•Siottienel’algoritmodicompressioneJPEG che
èlostandardriconosciutoperleimmagini
•Ilcircuitointegratoèpresenteintuttiidispositivi
dotatidimacchinefotografiche(fotocamere,
cellulari,videocamere)
Qualità 100% - 87,7 KB
Qualità 90% - 30,2 KB
Qualità 50% - 6,7 KB
Qualità
10% - 3,2 KB
Ancona- 29Marzo2017
• Moltisegnalicontengonocomponentitransitorie:unampio
intervallodifrequenzeinunpiccolointervalloditempo.
• LaclassicaanalisidiFouriernonèalloraadeguata,datoche
tutteleinformazionisullalocalizzazionetemporalediuna
datafrequenzavengonopersenellatrasformazione.
• Rappresentareunsegnalemedianteunaformad'onda
oscillantedilunghezzafinitaoadecadimentorapido(nota
comewaveletmadre).Questaformad'ondaèscalatae
traslataperadattarsialsegnaleiningresso.
Variewaveletmadre
shift
scala
Esempidiapplicazioni:
Compressionedelleimpronte
digitali
Dal1924,l’FBIhaarchiviato200
milionidiimprontedigitali.La
ricercainquestodatabasee
l’identificazionesonomolto
laboriose.L’FBIhaquindiadottato
unalgoritmodicodificadelle
immaginibasatosullewavelets.
Ilprogetto LIGO (Laser
Interferometer
Gravitational-Wave
Observatory)dellaNSF
perilrilevamentodionde
gravitazionaliutilizza
l’analisiwaveletsperi
dati.
JPEG2000
Eilfuturo?
campionamento
«abbondante»
compressione
compressedsensing
campionamento
«sparso»
ricostruzione
compressedsensing
• èunatecnicamatematicaperricostruireunsegnaleadalta
risoluzionedauncampioneabassarisoluzione
• Puòessereusataperrestaurarevecchieincisioni,immaginio
pellicole,perricostruiremessaggiintercettatiparzialmente,per
ottenerescansioniMRImoltopiùinfretta
• Adesempio,perricostruireun’immaginedi1Mpixels,misurosolo
100.000pixelsacasoepoisfruttolasparsità:un’immagineè
costituitadapochielementisempliciechiari(linee,blocchidicolore)
Quellochenonèentrato…
•
•
•
•
•
Morphing
Warping
Motioncapture
Animazione3D
…
Ancona- 29Marzo2017
Grazieperl’attenzione!