• Aucun résultat trouvé

Outils Math. pour l’info. - Licence 3 - IEM - Ann´ee 2007/2008 Outils Math´ematiques pour l’informatique

N/A
N/A
Protected

Academic year: 2022

Partager "Outils Math. pour l’info. - Licence 3 - IEM - Ann´ee 2007/2008 Outils Math´ematiques pour l’informatique"

Copied!
52
0
0

Texte intégral

(1)

Outils Math. pour l’info. - Licence 3 - IEM - Ann ´ee 2007/2008

Outils Math ´ematiques pour l’informatique

Jean-Luc Baril

Universit ´e de Bourgogne Labo. Le2i, UMR-CNRS 5158 http://www.u-bourgogne.fr/jl.baril

September 24, 2007

(2)

Th ´eorie de Fourier

Fonction (signal) `a une dimension D ´efinition

Une fonction g est p ´eriodique s’il existe T tel que : g(t+T) =g(t)pour tout t.

La plus petite constante non nulle T v ´erifiant l’ ´egalit ´e ci-dessus s’appelle la p ´eriode de la fonction.

Exemples : sin, cos, tan, ...

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(3)

3. Th ´eorie de Fourier Exemple : Sin et Cos ont une p ´eriode de 2π

(4)

3. Th ´eorie de Fourier Fonction de Dirac: δ(t) =0∀t 6=0 andδ(0) =1 Peigne de Dirac: δT(t) =

k=+∞

P

k=−∞

δ(t−kT)

0 T 2T 3T

-T -2T

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(5)

3.1 S ´eries de Fourier

Soit g une fonction p ´eriodique de p ´eriode T alors on d ´efinit la s ´erie de Fourier :

Sn(t) =a0+

n

P

k=1

(akcos(2kTπt) +bksin(2kTπt)) avec























a0 = T1

T 2

R

T2

g(t)dt

ak = T2

T 2

R

T2

g(t)cos(2kTπt)dt

bk = T2

T 2

R g(t)sin(2kTπt)dt

(6)

Vocabulaire

Fr ´equence fondamentale : f0= T1 Valeur moyenne du signal : a0 k-i `eme harmonique : 2kTπ =2kπf0

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(7)

Th ´eor `eme de Dirichlet

Si g est p ´eriodique et C1par morceaux, Alors Sn(t)tend vers

1

2(g(t+) +g(t)) avec

( t+ = lim

x→tg(t)avec x>t t = lim

x→tg(t)avec x<t Expression r ´eelle

a0+ P

k=1

(akcos(2kTπt) +bksin(2kTπt) =

= 12(g(t+) +g(t)) = lim

n→∞Sn(t)

(8)

Propri ´et ´es des coefficients

* g paire : g(−t) =g(t)∀t On a : bk =0 pour tout k

* g impaire : g(−t) =−g(t)∀t On a : ak =0∀k

* g ”demi-ondes” : g(t) =−g(−t+T2)∀t On a : a2k =b2k =0∀k ≥0

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(9)

Exemple

g(t) = 102πωt avec 0≤t2ωπ

g(t) =5−10π sin(ωt)−102π sin(2ωt)−103π sin(3ωt)−104π sin(4ωt)...

(10)

Expression complexe c0+ +∞P

k=−∞

ck.exp(2ikTπt) =

= 12(g(t+) +g(t)) = lim

n→∞Sn(t) avec

c0 =a0

ck = 12(aki.bk)si k >0 ck = 12(ak+i.bk)si k <0 Propri ´et ´e: c−k = ¯ck et donc|c−k|=|ck|.

Spectre d’amplitude:

0 f0 2f0

3f0 kf0

-kf0 -f0

|C0|

|C1|

|c2|

|ck|

|ck|

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(11)

Interpr ´etation spectre Exemple: Spectre d’amplitude de la fonction de 1

Exemple: Spectre d’amplitude de la fonction peigne

0 T 2T 3T

-T -2T

(12)

Remarque : Le spectre mesure les variations du signal dans le temps

Si le signal n’est pas ´etendu (irr ´egulier) dans le domaine temporel, alors le spectre du signal poss `ede des hautes fr ´equences

Si le signal est ´etendu (r ´egulier) dans le domaine temporel, alors le spectre du signal a tr `es peu de hautes fr ´equences

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(13)

Puissance transport ´e par une fonction p ´eriodique P est la puissance moyenne d ´elivr ´ee par g(t) `a une r ´esistance de 1 Ohm

P = T1

T

R2

T2

g(t)2dt

Th ´eor `eme de Parseval P = T1

T

R2

T2

g(t)2dt

=a02+12

P

k=1

(ak2+bk2) =

+∞

P

−∞

kckk2

(14)

POUR LES SIGNAUX NON PERIODIQUES Transform ´ee de Fourier

Directe : gˆ(f) =F(g(t)) =

+∞

R

−∞

g(t)exp(−2iπft)dt Inverse :

F(g(f)) =g(t) =

+∞R

−∞

g(fˆ )exp(2iπft)df

Condition suffisante d’existence Z+∞

−∞

g(t)dt <+∞

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(15)

Propri ´et ´es Lin ´earit ´e :

F(a.g(t) +b.h(t)) =a.g(fˆ ) +b.h(fˆ ) Similarit ´e :

F(g(a.t)) = |a|1g(ˆ af) Sym ´etrie :

Fg(t)) =g(−f)

D ´ecalage temporaire : F(g(t−t0)) =exp(−2iπft0g(f) D ´ecalage fr ´equentiel : F(g(t)exp(2iπf0t)) = ˆg(ff0)

(16)

Exemples

Transform ´ee de l’impulsion de Dirac : F(δ(t)) =1 Transform ´ee d’une constante :

F(Cste) =cste.δ(f) Transform ´ee de exp(2iπf0t):

F(exp(2iπf0t)) =δ(f −f0) Transform ´ee de cos(2πf0t):

F(cos(2iπf0t)) = 1

2(δ(f−f0) +δ(f +f0)) Transform ´ee de sin 2 f t :

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(17)

Transform ´ee bidimensionnelle

Directe :

F(g(x,y)) = ˆg(u,v)

=

+∞

R

−∞

+∞

R

−∞

g(x,y)exp(−2iπ(ux +vy))dxdy

Inverse :

Fg(u,v)) =g(x,y)

=

+∞

R

−∞

+∞

R

−∞

g(u,ˆ v)exp(2iπ(ux +vy))dudv

(18)

Transform ´ee de Fourier discr `ete On ´echantillonne la fonction g en choisissant N points

´equir ´epartis x0, x1, . . . ,xN−1.

xk =x0+k∆x

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(19)

Transform ´ee Discr `ete (1D)

Directe :

gˆ(u) =F(g(x)) =N−1P

x=0

g(x)exp(−2iπNux)avec u =0..N−1

Inverse :

Fg(u)) =g(x) =N−1P

u=0

g(u)exp(ˆ 2iπNux)avec x =0..N−1 On peut toujours calculer la transform ´ee de Fourier discr `ete

(20)

Transform ´ee discr `ete 2D

Directe :

F(g(x,y)) = ˆg(u,v)

=M−1P

x=0 N−1P

y=0

g(x,y)exp(−2iπ(uxM + vyN))

Inverse :

Fg(u,v)) =g(x,y)

=M−1P

u=0 N−1P

v=0

g(u,ˆ v)exp(2iπ(uxM +vyN))

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(21)

Transform ´ee en cosinus discr `ete 2D

Directe :

F(g(x,y)) = ˆg(u,v)

=M−1P

x=0 N−1

P

y=0

g(x,y)cos((2x+1)u2M π)cos((2y+1)v2N π)

Inverse :

Fg(u,v)) =g(x,y)

=

M−1

P

x=0 N−1

P

y=0

g(u,ˆ v)cos((2x+1)u2M π)cos((2y+1)v2N π)

Application dans la compression d’image (fichier jpeg par exemple)

(22)

Transform ´ee discr `ete 2D

Exemple:

F(g(x,y)) = ˆg(u,v)

=M−1P

x=0 N−1P

y=0

g(x,y)exp(−2iπ(uxM + vyN))

avec M =N=2 et g(x,y) =

0 1 1 0

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(23)

Spectre d’une Transform ´ee discr `ete 2D

0 10

20 30

40

50 0

10 20 30

40 50

0 200 400 600 800 1000 1200 1400 1600 1800

Image assez r ´eguli `ere donc on a des basses fr ´equences et pas

(24)

Spectre d’une Transform ´ee discr `ete 2D

0 5

10 15

200 2

4 6

8 10

12 14

16 18

20

0 5 10 15 x 105

vue 3D d une partie de la tf

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(25)

Spectre d’une Transform ´ee discr `ete 2D

0 10

20 30

40 0 5 10 15 20 25 30 35 40

0 0.5 1 1.5 2 x 106

(26)

Spectre d’une Transform ´ee discr `ete 2D

0 10

20 30

40 500

10 20

30 40

50 0

0.5 1 1.5 2 x 107

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(27)

Interpr ´etation spectre

(28)

Interpr ´etation du spectre 2D

Si le signal n’est pas ´etendu dans le domaine spatial (fortes variations) alors

le spectre de l’image est ´etendu jusqu’aux hautes fr ´equences

Si le signal est ´etendu dans le domaine spatial (faibles variations) alors

le spectre de l’image n’est pas ´etendu jusqu’aux hautes fr ´equences

Le spectre donne ´egalement les directions GLOBALES des images (perpendiculaire)

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(29)

La transform ´ee de Fourier discr `ete bidimensionnelle est la compos ´ee des deux transform ´ees de Fourier

unidimensionnelles en abscisse et en ordonn ´ees.

La complexit ´e est au plus de l’ordre de O(M2N2) On supposera M =N dans toute la suite

(30)

Filtrage dans le domaine fr ´equentiel

Prétraitement Transformation de Fourier

Filtre H(u,v)

Transformation de Fourier

inverse

Posttraitement

f(x,y) g(x,y)

Image en entrée Image améliorée

F(u,v) H(u,v).F(u,v)

G(u,v) =H(u,v).F(u,v) g(x,y) =F(G(u,v))

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(31)

Pourquoi utiliser le filtrage dans le domaine fr ´equentiel?

* Approche diff ´erente de l’image

- Utilisation des fr ´equences => ´etude des variations du signal

- D ´etection d’une ”direction de l’image”

- Taoutage d’image - Compression d’image

* Les filtrages sont plus rapides en utilisant Fourier

(32)

Filtre passe-haut

Un filtre passe-haut est un filtre qui laisse passer les hautes fr ´equences et bloque les basses

accentue les d ´etails - rehaussement de contours Si D(u,v)est la distance d’un point(u,v) `a l’origine:

D(u,v) =p

u2+v2 On pose : H(u,v) =

0 si D(u,v)Cste 1 sinon

u

v 1

cste

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(33)

Filtre de Butterworth

Un filtre de Butterworth est un filtre passe haut qui donne des r ´esultats plus harmonieux car on garde un peu de basses fr ´equences:

H(u,v) = 1

1+D(u,v)Cste 2n

−1

−0.5 0

0.5 1

−1

−0.5 0 0.5 1 0 2 4 6 8 10 12

Fx Fy

Magnitude

(34)

Filtre passe-bas

Un filtre passe-bas est un filtre qui laisse passer les basses fr ´equences et bloque les hautes

att ´enue donc les d ´etails

Si D(u,v)est la distance d’un point(u,v) `a l’origine:

D(u,v) =p

u2+v2 On pose : H(u,v) =

1 si D(u,v)Cste 0 sinon

−1

−0.5 0

0.5 1

−1

−0.5 0 0.5 1 0 2 4 6 8 10 12

Fy Fx

Magnitude

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(35)

Filtre passe-bande On d ´efinit deux fr ´equences de coupures Cste1 et Cste2 et on coupe tout le reste

(36)

Transform ´ee en cosinus discr `ete 2D

Application `a la compression des fichiers jpeg : On d ´ecoupe l’image en blocs de 8×8

On calcule la transform ´ee en cosinus de chaque bloc On Quantifie chaque bloc, cad on applique un coefficient de perte

(ex: ”annulera” ou diminuera des valeurs de hautes fr ´equences - filtre passe-bas )

Compression avec la m ´ethode d’Huffman

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(37)

Translations

D ´ecalage fr ´equentiel g(x,y).exp(−2iπ

N (u0x+v0y))←→g(uˆ −u0,vv0) D ´ecalage spacial (temporel)fr ´equentiel

g(xx0,yy0)←→g(u,ˆ v).exp(−2iπ

N (ux0+vy0))

(38)

Cons ´equences

* P ´eriodicit ´e de la transform ´ee de Fourier

* D ´ecalage fr ´equentiel

g(x,y).(−1)x+y ←→g(uˆ −N

2,vN 2)

* Recentrage deg(u,ˆ v)

* Valeur moyenne d’une image : N12g(0,ˆ 0)

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(39)

* Facteur d’ ´echelle

g(ax,by)←→ 1 abg(ˆ u

a,v b)

* Rotation angle quelconque Si g(r, θ)←→g(ω, φ)ˆ alors

g(r, θ+α)←→g(ω, φˆ +α)

(40)

* Laplacien - d ´etecteur de contours sensible au bruit

2g(x,y) = δg(x,y)

δx2 +δg(x,y) δy2

alors si g(x,y)←→ˆg(u,v)alors

2g(x,y)←→ −(2π)2(u2+v2g(u,v)

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(41)

Convolution de f par g f(x)⋆g(x) =

N−1

X

n=0

f(n)g(x−n)

f(x,y)g(x,y) =

M−1

X

m=0 N−1

X

n=0

f(m,n)g(xm,yn)

(42)

Propri ´et ´es de la convolution Sym ´etrie : fg =gf

Associativit ´e : f ⋆(g⋆h) = (fg)h Distributivit ´e : f ⋆(g+h) =fg+fh Dirac : δ(x)⋆f(x) =f(x)⋆ δ(x) =f(x)

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(43)

Th ´eor `eme de convolution

F(f ⋆g) = ˆf.gˆ F(f.g) = ˆfgˆ

La multiplication dans le domaine fr ´equentiel correspond au produit de convolution dans le domaine spatial.

(44)

Formulation matricielle

Si A et B sont deux matrices de tailles respectives M1et M2 pour le nombres de lignes et N1et N2pour les colonnes alors

la taille de AB est M1+M21 pour les lignes et N1+N2−1 pour les colonnes

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(45)

Exemple - Formulation matricielle

f(x,y)= 1 2

3 4 et g(x,y)= -1 1 -2 2

f’(x,y)=

1 2 0

3 4 0

0 0 0

et g’(x,y)=

-1 1 0 -2 2 0

0 0 0

(46)

Exemple - Formulation matricielle

h’(x,y)=

-1 0 1 0 0 0 -2 0 2

1 -1 0 0 0 0 2 -2 0

0 1 -1 0 0 0 0 2 -2

-2 0 2 -1 0 1 0 0 0

2 -2 0 1 -1 0 0 0 0

0 2 -2 0 1 -1 0 0 0

0 0 0 -2 0 2 -1 0 1

0 0 0 2 -2 0 1 -1 0

0 0 0 0 2 -2 0 1 –1

. 1 2 0 3 4 0 0 0 0

= -1 -1 2 -5 -3 8 -6 -2 8

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(47)

donc

f(x,y)g(x,y)=

-1 -1 2 -5 -3 8 -6 -2 8

(48)

La convolution correspond au filtrage classique dans le domaine spatial.

Exemple: ——-

f(x,y)=

0 1 2 3 4

0 1 2 3 4

0 1 2 3 4

0 1 2 3 4

0 1 2 3 4

g(x,y)=

0 -1 0

-1 4 -1

0 -1 0

filter 2(g,f)=

-1 1 2 3 9

-1 0 0 0 5

-1 0 0 0 5

-1 0 0 0 5

-1 1 2 3 9

0 0 -1 -2 -3 -4 0

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(49)

Application `a l’image - M ´ethode fr ´equentielles g(x,y) =h(x,y)⋆f(x,y) f(x,y)est l’image d’origine

g(x,y) est l’image transform ´ee

h(x,y)est un op ´erateur (ind ´ependant de la position x et y ) alors d’apr `es le th ´eor `eme de convolution

g(u,ˆ v) = ˆh(u,v).ˆf(u,v)

(50)

4. Application `a l’image

4.1 Transform ´ee de Fourier rapide 1D

Par une d ´ecomposition en arbre binaire, on peut ramener le calcul de la transform ´ee de Fourier discr `ete de N2 `a N.log2(N).

Cette r ´eduction de complexit ´e suffit pour permettre de r ´esoudre un bon nombres de probl `emes.

L’id ´ee est la suivante:

Pour calculer une transform ´ee de Fourier pour N points, on se ramene au calcul de deux transform ´ees de Fourier pour N/2 points.

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

(51)

4. Application `a l’image

4.1 Transform ´ee de Fourier rapide 2D Passage de N4 `a 2∗N2.log2N

Le gain est ´enorme.

(52)

4. Application `a l’image

M ´ethodes fr ´equentielles

* Domaine spatial←→Domaine fr ´equentiel

* Fonction porte sur[0,1]←→Sinus cardinal sin(x)x

* Moyenne←→h(x,y) = λ12 si(x,y)∈[−λ/2,+λ/2]2

Jean-Luc Baril Outils Math ´ematiques pour l’informatique

Références

Documents relatifs

Exercice 7 Montrer qu’il existe un algorithme pour reconnaˆıtre un langage contexte-sensitif, c’est-` a-dire r´ epondant oui si le mot d’entr´ ee est dans le langage, et non

Dans la pratique, il suffit donc de d´ eterminer la dimension du noyau ou celle de l’image d’une application lin´ eaire pour avoir les deux dimensions..

– Ilias Amrani hilias.amrani@epfl.chi – Jan Brunner hjan.brunner@epfl.chi – Ratiba Djelid hratiba.djelid@epfl.chi – M´elanie Favre hmelanie.favre@epfl.chi – Nicolas

* Image JPEG (.jpg): Fichier fortement compress ´es, mauvaise conservation de la qualit ´e de l’image (Huffman) Exemple de la phrase COMMENT CA MARCHE... Echantillonage R

Pour calculer des int´ egrales g´ en´ eralis´ ees, on peut utiliser l’int´ egration par parties. La seule m´ ethode simple et efficace est de faire cette int´ egration par

Exercice 7.9 Montrer que l’ensemble des endomorphismes cycliques est un ouvert connexe (que le corps soit R ou C ).. Montrer que l’ensemble des applications lin´ eaires continues,

Dans cette premi` ere partie, on va rappeler les diff´ erents points de syntaxe Scilab permettant de d´ efinir et de repr´ esenter graphiquement des fonctions d’une variable.. (a)

Universit´ e Pierre et Marie Curie Licence de Math´ ematiques LM 383 Ann´ ee universitaire 2006-2007. Premi` ere s´