Beruflich Dokumente
Kultur Dokumente
Jol Le Roux
29 mars 2005
1.1
1.2
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
Objectifs du cours . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Description succinte des chapitres . . . . . . . . . . . . . . . . . . . . . . . . . . . .
La transforme de Fourier 2D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
La transforme inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Interprtation de la transforme de Fourier 2D . . . . . . . . . . . . . . . . . . . .
2.3.1 Interprtation d'une sinusode . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.2 Interprtation globale de l'image . . . . . . . . . . . . . . . . . . . . . . . .
2.3.3 Sur l'information contenue dans une image . . . . . . . . . . . . . . . . . .
Transforme de Fourier et propagation d'ondes en optique cohrente ou en lectromagntisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.1 Franges d'interfrence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.2 Relations avec l'holographie . . . . . . . . . . . . . . . . . . . . . . . . . . .
Proprits de la transforme de Fourier 2D . . . . . . . . . . . . . . . . . . . . . .
Transforme de Fourier d'une convolution 2D . . . . . . . . . . . . . . . . . . . . .
2.6.1 Convolution bidimensionnelle . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.2 Expression dans le domaine des frquences . . . . . . . . . . . . . . . . . .
Transforme de Fourier de fonctions sparables . . . . . . . . . . . . . . . . . . . .
2.7.1 Cas d'une fonction d'une seule variable . . . . . . . . . . . . . . . . . . . .
Le thorme de projection de Radon . . . . . . . . . . . . . . . . . . . . . . . . . .
Eet de halo : Phnomne de Gibbs, tche d'Airy, diraction de Fraunhofer . . . .
3.3
3.4
3.5
3.6
le cas de l'chantillonnage
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
bidimensionnelle . . . . .
. . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
carr
. . . .
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
4
5
5
5
5
6
7
10
10
10
11
14
14
14
15
15
16
16
17
17
17
17
18
20
20
20
22
22
23
23
24
25
25
25
25
25
26
J. Le Roux
4.2
4.3
4.4
4.5
5.4
5.5
5.6
5.7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7.2
7.3
7.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Propagation de signaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.1.1 Equation de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.1.2 Propagation de signax en gophysique . . . . . . . . . . . . . . . . . . . . .
7.1.3 Analyse par formation de voie . . . . . . . . . . . . . . . . . . . . . . . . . .
Cas o les signaux sont chantillonns et les capteurs aligns et rgulirement espacs
7.2.1 Formation de voies et transforme de Radon . . . . . . . . . . . . . . . . .
7.2.2 Rsolution des quations de Maxwell utilisant la transforme de Fourier en
compatibilt avec le thorme d'chantillonnage . . . . . . . . . . . . . . . .
Filtrage d'ondes sismiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Reconstitution d'images partir de projections . . . . . . . . . . . . . . . . . . . .
26
26
27
27
29
29
29
29
31
32
32
33
33
34
35
35
35
35
35
36
36
37
37
38
38
39
40
40
40
42
42
42
43
48
48
48
48
49
49
49
51
53
53
53
53
54
55
56
56
57
58
Signaux bidimensionnels
7.5
7.6
7.7
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
58
59
60
61
63
63
65
65
66
67
69
69
70
70
70
70
J. Le Roux
1 Introduction
1.1 Objectifs du cours
Les mthodes prsentes dans ces notes cours s'utiliseront surtout dans les aspects des problmes
de traitement des signaux multidimensionnels et des images o l'interprtation frquentielle est
importante : ltrage et prtraitement des images pralable leur interprtation, problmes de propagation d'ondes, . . . par opposition aux problmes de reconnaissance et d'interprtation d'images.
Elles ne sont que des extensions des techniques monodimensionnelles comme l'analyse de Fourier
et le ltrage linaire que nous supposerons connues. Les extensions des notions fondamentales
sont dtailles dans les premiers chapitres (1,2,3 et 4). Je n'insiste pas beaucoup sur les signaux
alatoires 2D dont le traitement est une transcription directe des traitements des signaux alatoires monidimensionnels fonde sur les outils vus dans les quatre premiers chapitres. Les derniers
chapitres dcrivent des applications pour lesquelles les mthodes expliques dans ce document (essentiellement ltrage linaire et transforme de Fourier) sont les outils fondamentaux. Le cours ne
prtend pas la rigueur mathmatique. Son objectif est surtout de donner l'tudiant les moyens
de comprendre et de mettre en oeuvre les techniques lmentaires de traitement numrique des
images ou plus gnralement de signaux bidimensionnels ou multidimensionnels.
Le document de rfrence principal utilis pour rdiger ces notes de cours est l'ouvrage de D.
E. Dudgeon and R. M. Mersereau, Multidimensional digital signal processing, dit par Prentice
Hall en 1984. D'autres ouvrages utiles sont ceux de R. C. Gonzales et R. E. Woods, Digital image
processing publi chez Addison & Westley en 1992, A. K. Jain, Fundamentals of digital image
processing dit par Prentice Hall en 1989 et de J. C. Russ, The image processing handbook,
dit par CRC en 1992.
Signaux bidimensionnels
(Dans certaines prsentations la quantit scalaire ux + vy est donne sous la forme d'un produit
scalaire ~u.~v ; on obtient alors une criture similaire dans les cas mono et multidimensionnels). Cette
formule permet de calculer l'amplitude de la composante du signal f (x, y) la frquence spatiale
(u, v).
ux + vy = + 2k
(3)
J. Le Roux
(c)
v
6
-
(b)
v
6
-
(a)
v
6
-
() que la frquence
monodimensionnel dont la pulsation est u2 + v 2 . C'est dans cette direction
parait la plus leve. Dans une autre direction , la frquence apparente est u2 + v 2 cos( ).
En particulier un signal tel que v = 0 ne dpend pas de y : les points de phase constante de la tle
ondule sont situs sur des parallles l'axe des ordonnes. L'impulsion de Dirac est alors situe
au point (u, 0) du domaine des frquences c'est dire sur l'axe des abscisses dans ce domaine.
(u, v) (, )
(4)
Signaux bidimensionnels
v
6
hautes frquences
- u
basses frquences
Figure 3: Les basses frquences ( petit) et les hautes frquences ( grand) dans une image
la valeur de F ( cos , sin ) pour un couple (, ) donne l'amplitude d'une sinusode complexe de
pulsation dans la direction . Pour de nombreuses images, la moyenne (au sens des probabilits)
de l'amplitude est indpendante de la direction et dcroit rgulirement en fonction de . Si
on diminue l'amplitude des hautes frquences (ltrage passe bas en fonction de pour toutes les
valeurs de ) l'image apparait oue, les contours sont moins nets. Si au contraire on augmente
l'amplitude aux hautes frquences on rehausse les contours mais l'image parait plus bruite (il y a
un grain plus important). La gure 4 illustre cette rpartition dans le cas d'une image trs simple:
un disque de niveau constant auquel on a ajout une fonction alatoire.
J. Le Roux
(a)
(b)
(c)
Figure 4: Les basses frquences et les hautes frquences dans une image: (a) image originale;
(b)la composante basses frquences; (c) la composante hautes frquences (ici les fonctions
bidimensionnelles sont montres en perspectives, l'image serait vue en intensit la verticale
Signaux bidimensionnels
10
J. Le Roux
q
1
(5)
fk (u, v, z, t) = sk exp j[t
(u xk )2 + (v yk )2 + (z zk2 )]
c
Nous avons nglig les facteurs traduisant la diminution de l'intensit en fonction de la distance qui
ont un eet secondaire dans le phnomne tudi ici. Nous supposerons que le signal est observ sur
un plan z = 0 trs loign de la source k , et que la source k est situe sur une sphre x2k +yk2 +zk2 = R.
Si u et v sont beaucoup plus petits que R, on peut remplacer fk (u, v, z, t) par l'approximation
r
2uxk ) + (2vyk
fk (u, v, 0, t) = sk exp(jt) exp j [R 1 +
]
(6)
c
R2
o on a aussi suppos que les termes en u2 + v 2 sont ngligeables par rapport (uxk + vyk )
2uxk ) + (2vyk
fk (u, v, 0) = sk exp(jt) exp j [R(1 +
)]
c
2R2
R
uxk + vyk
exp j [
]
c
c
R
L'`enveloppe (le facteur de exp jt) est proportionnelle
fk (u, v, 0) = sk exp(jt) exp j
uxk + vyk
gk (u, v, 0) = sk exp j [
]
c
R
(7)
(8)
(9)
h(u, v) = 2 cos[
(uxk + vyk )
]
cR
(11)
Signaux bidimensionnels
11
Figure 6: Les franges d'interfrences obtenues partir de deux sources ponctuelles cohrente apparait comme un signal sinusodal dont la frquence est proportionnelle la distance sparant les
deux sources. Si la distance d'observation est grande, on obtient ainsi la transforme de Fourier de
l'image source
les proprits des fonctions de Green, la formule de la diraction de Raylegh-Sommerfeld s'exprime
de la manire suivante:
Si l'amplitude complexe de l'onde f (u, v, 0) est connue dans un plan z = 0, on peut en dduire
l'amplitude en un point de coordonnes (x, y, z) en calculant
i
h p
Z Z
2 + (y v)2 + z 2
(x
u)
z
exp
j
1
f (x, y, z) =
dudv
(13)
f (u, v, 0)
j
(x u)2 + (y v)2 + z 2
Si une lumire cohrente monochromatique claire un objet qui la rchit, cette lumire rchie
interfrera avec la lumire incidente. On peut alors enregistrer sur une plaque photographique sensible ces interfrences entre lumire incidente et lumire rchie. Si par la suite on claire la plaque
photographique avec la lumire cohrente, en la regardant, on observera l'image de l'objet qui a
engendr les interfrences. Si la personne qui regarde la plaque se dplace, elle verra l'objet sous un
angle dirent, ce qui donne une impression de relief remarquable des hologrammes. L'holographie
permet en particulier de calculer et de visualiser la transforme de Fourier bidimensionnelle (si la
plaque d'enregistrement est situe une grande distance de l'objet et dans une direction donne);
toutefois la nature tridimensionnelle n'apparait plus dans ce cas. Une prsentation complte est
donne dans l'ouvrage de J. W. Goodman, Introduction to Fourier optics, publi par McGraw
Hill en 1968.
(14)
Si f (x, y) est relle et f (x, y) = f (x, y) , alors F (u, v) est aussi relle et F (u, v) = F (u, v).
Si f (x, y) est relle et f (x, y) = f (x, y) , alors F (u, v) est imaginaire et F (u, v) = F (u, v).
La translation d'un signal se traduit par un dphasage linaire: si f (x, y) a pour transforme
F (u, v), alors g(x, y) = f (x x0 , y y0 ) a pour transforme
(15)
(16)
12
J. Le Roux
..
..
..
..
.
... ........
.
.
.....
.
.
...
...
Figure 7: Schma de l'enregistrement et de la visualisation d'un objet par hologramme: Les ondes
mises par la source lumineuse cohrente interfrent avec les ondes rchies. Ces interfrences sont
enregistres sur une plaque. Lorsqu'on illumine cette plaque par la source cohrente, l'observateur
qui la regarde voit l'image de l'objet clair.
Signaux bidimensionnels
13
G(u, v) =
(17)
(18)
soit
1 u
F ( , v)
(19)
k k
La dilatation d'une image se traduit par une homothtie inverse de la variable correspondante (une
rduction) dans le plan des frquence. Si on eectue la mme dilatation d'un facteur k dans les
deux directions g(x, y) = f (kx, ky) (dilatation sans dformation de l'image), il y a contraction 1/k
de la transforme de Fourier
u v
G(u, v) = F ( , )
(20)
k k
Rotation d'une image
G(u, v) =
(21)
(22)
x cos + y sin ,
x sin + y cos
(23)
s cos t sin ,
s sin + t cos
(24)
x =
y =
On obtient
(25)
(26)
G (u, v) =
soit
G (u, v) =
La rotation se traduit donc par une rotation identique dans le plan des frquences.
Inclinaison d'un signal : soit une image incline
g(x, y) = f (x my, y)
Sa transforme de Fourier est
G(u, v) =
Z
G(u, v) =
ejvy
f (x my, y)ejux dx dy
Z
jvy
juz+jumy
G(u, v) =
e
f (z, y)e
dz dy
(27)
(28)
(29)
(30)
14
J. Le Roux
ejvy+jumy
G(u, v) =
f (z, y)ejuz dz dy
(31)
La transforme d'un signal inclin est par rapport l'axe vertical subit une inclinaison identique
mais par rapport l'axe horizontal. Si la fonction est incline suivant une pente m, sa transforme
de Fourier est incline suivant une pente 1/m
g(x, y) =
(33)
On remarquera que le rsultat de la convolution d'une fonction f (x, y) avec une impulsion de Dirac
l'origine (x)(y) est la fonction elle mme.
La convolution de par une impulsion de Dirac dcale (x x0 )(y y0 ) produit une fonction
translate f (x x0 , y y0 )
(34)
Nous admettrons que les conditions autorisant la modication de l'ordre de calculs des intgrales
sont vries. En eectuant le changement de variable
x0
y0
=
=
(35)
xs
y t,
(36)
on obtient
G(u, v) =
(37)
Signaux bidimensionnels
15
G(u, v) =
j[us+vt]
0
0
f (s, t)dsdt h(x0 , y 0 )ej[ux +vy ] dx0 dy 0
(38)
ou encore
G(u, v) =
Z
f (s, t)dsdt
j[us+vt]
h(x , y )e
j[ux0 +vy 0 ]
dx dy
(39)
La transforme de Fourier d'une convolution est le produit des transformes de Fourier des fonctions
convolues.
Comme la transforme de Fourier inverse a une forme identique la transforme, la transforme
de Fourier d'un produit f (x, y).h(x, y) est le produit de convolution des transformes des deux
facteurs.
f (x, y) = g(x)h(y)
Z
F (u, v) =
f (x)h(y)ej[ux+vy] dxdy
Z
g(x)ejux
F (u, v) =
(42)
h(y)ejvy dy dx
(43)
Elle est donc gale au produit des transformes G(u) et H(v) de g(x) et h(y):
F (u, v) =
g(x)e
jux
Z
dx
h(y)e
jvy
dy
(44)
(45)
F (u, v) = G(u)H(v)
f (x, y) = g(x)
Z
F (u, v) =
Z
g(x)ejux dx
ejvy dy
(47)
F (u, v) = G(u)(v)
(48)
F (u, v) est nulle partout sauf lorsque v = 0 o elle est donne ( un facteur multiplicatif prs) par
la transforme de Fourier de g(x).
16
J. Le Roux
ce qui correspond une intgration de la fonction f (x, y) le long d'une oblique de pente m passant
par le point de coordonnes (t, 0). Sa transforme de Fourier monodimensionnelle est
Z Z
Gm () = m
f [x, m(t x)]ejt dxdt
(50)
(51)
F (0, v) =
est
G0 () = F (0, )
(53)
(54)
(55)
C'est la composante basses frquences le long de l'axe des ordonnes dans le plan des frquences.
On retrouve le rsultat pour une projection d'angle quelconque en appliquant le thorme sur l'eet
d'une rotation sur la transforme de Fourier.
Signaux bidimensionnels
17
ce qui correspond
(x, y) = (x)(y)
(56)
(57)
On peut considrer que l'chantillonnage est obtenu en faisant le produit du signal par une brosse
b(x, y) d'impulsions de Dirac.
X
m=
(x mx)(y ny)
(58)
18
J. Le Roux
(b)
(a)
Figure 9: Les reprsentations spatiales d'une image chantillonne: (a) reprsentation sous forme
d'impulsions en cohrence avec l'interprtation du thorme d'chantillonnage; (b)reprsentation
habituelle sous forme de pixels de niveau constant
Cette brosse b(x, y) peut tre considre comme le produit de deux peignes tendus l'un dans
la direction Ox soit px (x, y) de priode x et l'autre dans la direction Oy soit py (x, y) de priode
y .
X
px (x, y) =
(x mx)
(59)
m=
py (x, y) =
(60)
(y ny)
n=
(x mx)
m=
(y my)
(61)
n=
Px (u, v) = (v)
(u k/x)
(62)
k=
Ov
La Transforme de Fourier Py (u, v) de py (x, y) est un peigne de priode 2/y situ sur l'axe
Py (u, v) = (u)
(v `/y)
(63)
`=
La Transforme du produit des deux peignes tendus (la brosse) est donc une convolution de
deux peignes perpendiculaires, c'est--dire une brosse : La transforme de Fourier de p(x, y) est la
convolution de ces deux fonctions
Signaux bidimensionnels
19
(a)
(f)
(b)
(e)
(c)
(d)
Figure 10: Illustration de l'chantillonage dans le domaine des frquences(a) brosse d'chantillonage
dans le domaine spatial; (b)peigne tendu suivant l'axe des abscisse; (c)peigne tendu suivant l'axe
des ordonnes; (d)peigne transforme du peigne tendu suivant l'axe des ordonnes; (e)peigne
transforme du peigne tendu suivant l'axe des abscisses; (f)transforme de la brosse: c'est aussi
une brosse obtenue par convolution des deux peignes dans le domaine des frquences
20
J. Le Roux
En eet, la convolution d'une fonction et d'une impulsion de Dirac situe au point (u, v) est
gale la translation de cette fonction de l'origine au point (u, v). La convolution d'une fonction
dnie uniquement sur l'axe 0u et d'un peigne dni sur l'axe 0v est donc la rptition de cette
fonction par une suite de translations suivant 0v . Si la fonction convolue est un peigne suivant
l'axe Ou, le rsultat de la convolution sera une suite de reproductions de ce peigne horizontal le
long de l'axe vertical
G(u, v) =
F (u k/x, v `/y)
(64)
k= `=
(65)
Cette mthode correspond aux cas les plus simples. On peut l'aner pour traiter certains cas un
peu plus complexes.
Si cette hypothse est vrie, pour retrouver F (u, v) il faut slectionner la composante de
G(u, v) intrieure au rectangle
/x <
/y <
u
v
< /x
< /y.
(66)
(67)
h(x, y) =
sin x sin y
x
y
(68)
f (x, y) =
m= n=
g(m, n)
sin (x m) sin (y n)
(x m)
(y n)
(69)
Notons que cette approche rigoureuse supposant un ltrage passe-bas avant l'chantillonnage
n'est pas ncessairement utilises dans toutes les applications en traitement numrique des images;
en particulier les tudes qui portent sur les dtections de contours et de rgions n'apprcient pas
toujours les oscillations parasites de ce ltrage passe-bas. Toutefois, il n'est pas interdit de penser
que cet chantillonage correct peut tre envisag mme dans ce type d'applications.
Signaux bidimensionnels
21
22
J. Le Roux
Figure 14: Deux pavages rguliers du plan: l'un sous la forme d'un paralllogramme, l'autre sous
la forme d'un hexagone
Signaux bidimensionnels
23
Figure 15: Rponse impulsionnelle d'un ltre ralisant l'interpolation linaire par morceaux
peut tre intressant lorsque le support de la transforme de Fourier de l'image F (u, v) est un
disque.
L'hexagone rgulier circonscrit ce disque est plus petit que le carr. Le rapport des surfaces
est 23 (plus les dimensions du support spectral de la fonction chantillonner sont petites, plus
les dimensions du motif d'chantillonnage peuvent tre grandes)
24
J. Le Roux
d'un hexagone Dans le cas d'un chantillonnage en losange, on obtient une formule analogue mais
avec un support losange.
Signaux bidimensionnels
25
(70)
Dans le cas d'une fonction chantillonne dnie sur tout le plan, la transforme s'obtient par
sommation
X
X
f (m, n)zxm zyn
(71)
F (zx , zy ) =
Elle est dnie dans un domaine o la somme converge, en gnral une couronne contenant le tore
produit des deux cercles zx = zy = 1 de rayon un. Sur ce domaine, elle prend la forme d'une
transforme de Fourier
X
X
F (eju , ejv ) =
f (m, n)ej(ux+vy)
(72)
f (x, y) = h(x)g(y)
(73)
F (zx , zy ) =
h(x)zxm
(74)
zx
zy
= exp(ju)
= exp(jv)
(75)
(76)
la transforme en z s'crit
F (zx , zy ) =
(77)
C'est la transforme de Fourier du signal chantillonnn (de la brosse d'impulsions de Dirac dont
les amplitudes sont f (x, y)).Elle est donc priodique et obtenue par addition des rptition de la
transforme de Fourier du signal analogique. La priodicit est de 2 pour chacune des variables
car on a choisi un pas d'chantillonnage entier dans les deux directions.
26
J. Le Roux
(78)
Les intgrations se faisant sur un contour ferm autour de l'origine intrieur au domaine de dnition de la transforme. On vrie la validit de cette expression en la reportant dans la dnition
de la transforme en z (cf. le cas des fonctions monodimensionnelles).
Son utilisation pratique ne se fait que gure que dans le cas de la transforme de Fourier
1
f (x, y) =
4 2
(79)
f (x, y) =
(80)
g(s, t)h(x s, y t)
et sa transforme en z
F (zx , zy ) =
(81)
x= y= s= t=
En introduisant articiellement
(82)
F (zx , zy ) =
(83)
x= y= s= t=
le changement de variable
x0
y0
=
=
xs
yt
(84)
F (zx , zy ) =
(85)
x0 = y 0 = s= t=
"
X
X
X
0
0
0 0 x y
F (zx , zy ) =
h(x , y )zx zy
x0 =
y 0 =
#
g(s, t)zxs zyt
(86)
s= t=
(87)
Signaux bidimensionnels
27
F (zx , zy ) =
(88)
(89)
x= y=
Dans cette expression on peut crire h(x, y) en fonction de sa transforme H(zx , zy ). Nous ne
considrons que le cas particulier
1
h(x, y) =
4 2
(90)
ou encore
Z Z
1 X X
jr jw jrx jwy
F (e , e ) =
g(x, y)
H(e e )e , e drdw ejux , ejvy
4 2 x= y=
ju
jv
X X
1
F (eju , ejv ) =
H(ejr , ejw )
g(x, y)ej(ur)x , ej(vw)y drdw
4 2
x= y=
La somme double est la transforme en z de g(x, y) calcule en zx = ej(ur) ,zy = ej(vw)
Z Z
1
F (eju , ejv ) =
H(ejr , ejw )G(ej(ur) , ej(vw) )drdw
4 2
(91)
(92)
(93)
G(eju , ejv ) et H(eju , ejv ) sont des fonctions priodiques de u et v . F (eju , ejv ) est la gnralisation
bidimensionnelle d'une convolution circulaire.
4.2.3
L'application directe du thorme de projection n'a pas d'intrt dans le cas des signaux chantillonns. Elle ne peut tre envisage que dans le cas du signal ltr passe-bas ( fonction continue
de x et de y , avant chantillonnage). Si le domaine occupe par le signal dans le plan des frquences
est (, ) (, ), une projection suivant un angle (que nous supposerons infrieur /4)
cos
, cos et nulle ailleurs. Ce sera donc
h(t) =
sin t cos
t cos
(95)
cos
La fonction projete de sinxx sinyy sera donc sinttcos
. Plutt que d'chantillonner la projection
suivant l'axe 0t avec un pas d'chantillonnage cos , on peut la calculer sur l'axe Ox avec un pas
d'chantillonnage gal un. En eet la projection mesure le long de l'axe 0t a un support dans le
28
J. Le Roux
v
6
u
-
Figure 16: Support de la transforme de Radon pour un signal bande spectrale limite support
carr
y
6
x
-
Signaux bidimensionnels
29
des frquences sera (, ) (thorme sur la transforme de Fourier d'une fonction dilate), on
pourra donc l'chantillonner suivant un pas de un. L'image analogique est la convolution de la
squence des chantillons f (m, n) avec s(x, y) et la fonction projete s'crit
g (x) =
XX
m
f (m, n)
(96)
|f (x, y)|2 =
x= y=
1
4 2
(97)
F (e
2ju
T
2jv
T
)=
T
1 T
1
X
X
f (x, y)e2j
ux+vy
T
(98)
x=0 y=0
f (x, y) =
T 1 T 1
2jv
ux+vy
2ju
1 XX
F (e T e T )e2j T
T 2 u=0 v=0
(99)
Remarque: il ne faut pas oublier que cette transforme de Fourier discrte est la transforme
d'une fonction priodique en x et en y dans le domaine spatial, ce qui implique son chantillonnage
(sa discrtisation) dans le domaine des frquences. Comme f (x, y) est une fonction chantillonne
dans le domaine spatial, elle est priodique dans le domaine des frquences. Les deux fonctions
2ju
2jv
f (x, y) et F (e T e T ) sont toutes les deux des fonctions priodiques et chantillonnes.
(N 1, 0),. . .,( N2 + 1, 0)
30
J. Le Roux
T 16
T /2
?
6
6
T /2
6
0
6
T 1
(N 1, N 1) ( N2 + 1, N 1)
(1, 1)
( N2 1, 1)
..
..
..
..
..
..
(100)
.
.
.
.
.
.
(N 1, 1)
( N2 + 1, 1)
(1, N 1)
( N2 1, N 1)
On peut utiliser ces symtries pour conomiser des calculs ou de la place mmoire ; elles peuvent
aussi tre trs utiles pour eectuer des vrications de validit pour des traitements dont la programmation n'est pas immdiate. Les composantes aux frquences dont une coordonne est gale
N/2 doivent en principe tre nulles si les conditions d'chantillonnage sont respectes.
Signaux bidimensionnels
31
F (e
2ju
T
,e
2jv
T
)=
T
1
X
"T 1
X
y=0
x=0
#
2j ux
T
f (x, y)e
vy
e2j T
(101)
Dans la sommation sur x, y est x : on peut y reconnatre une transforme discrte monodimensionnelle sur chacune des lignes du tableau des T T valeurs de f (x, y). Cette transforme
monodimensionnelle peut se calculer grce l'algorithme de transforme de Fourier rapide monodimensionnelle et transforme la ligne numro y en une ligne de T lments de la forme G(e2ju/T , y)
pour u = 0, . . . , T 1.
G(e
2ju
T
, y) =
T
1
X
f (x, y)e2j
ux
T
(102)
x=0
F (e
2ju
T
,e
2jv
T
)=
T
1
X
G(e
2ju
T
vy
, y)e2j T
(103)
y=0
On applique ainsi 2T fois l'algorithme de transforme de Fourier rapide. Cet algorithme ncessite
de l'ordre de 2T log2 T calculs lmentaires. Le calcul de la transforme de Fourier bidimensionnelle
bidimensionnelle se fait en eectuant de l'ordre de 2T 2 log2 T 2 calculs lmentaires. C'est la mme
quantit de calculs que dans le cas o les T 2 valeurs seraient ranges en une colonne pour permettre
le calcul d'une transforme monodimensionnelle mais les calculs ne sont pas identiques.
Remarque l'attention des lecteurs connaissant les mcanismes de l'algorithme de transforme
de Fourier rapide monodimensionnelle
Il est possible de rduire de T 0.75T le nombre de calculs lmentaires en combinant les calculs
en colonne et en ligne : la transforme rapide monodimensionnelle est une succession de log2 T
tapes lmentaires (` = 1, 2, 4, . . . , T 1). Dans la transforme bidimensionnelle, il est possible
d'eectuer l'tape ` sur la variable v immdiatement aprs l'tape ` sur la variable u, avant l'tape
` + 1 portant sur u. Nommons F` (u, v),F` (u + `, v),F` (u, v + `),F` (u + `, v + `) les quatre donnes
utilises dans une tape lmentaire F2` (u, v),F2` (u + `, v),F2` (u, v + `),F2` (u + `, v + `) les rsultats
de cette tape lmentaire. Si on eectue une tape de la transforme rapide sur les lignes, puis
l'tape identique sur les colonnes, la squence de ces 2 oprations lmentaires (papillon) de la
transforme peut s'crire sous forme matricielle en posant a = e2j/T
F2` (u, v)
1 0 av
0
1 au 0
0
F` (u, v)
u
F2` (u + `, v) 0 1
0
av
0
0
1 a
F` (u + `, v)
u
F2` (u, v + `) = 1 0 av
0
0
0
1 a
F` (u, v + `)
v
u
F2` (u + `, v + `)
0 1
0
a
0
0
1 a
F` (u + `, v + `)
(104)
ce qui ncessite quatre multiplications lmentaires. Si on eectue le produit des deux matrices
avant d'eectuer le produit du vecteur de droite par une matrice, on obtient
F2` (u, v)
F` (u, v)
1 au
av
au+v
F2` (u + `, v) 1 au av au+v F` (u + `, v)
(105)
F2` (u, v + `) = 1 au av au+v F` (u, v + `)
u
v
u+v
1 a
a
a
F2` (u + `, v + `)
F` (u + `, v + `)
Il sut, pour eectuer le mme calcul, de trois oprations lmentaires, ce qui conduit l'conomie
de calculs, si on suppose que les lments des matrices de la forme au ont t pralablement
mmoriss.
32
J. Le Roux
- x
Figure 19: Image chantillonne suivant un motif paralllogramme
v
6
Signaux bidimensionnels
33
v
6
2
- u
Figure 21: Prsentation habituelle des rsultats de la transforme de Fourier discrte des signaux
bidimensionnelle: les composantes basses frquences sont clates aux quatre coins de l'image
v
6
Figure 22: Prsentation des rsultats de la transforme de Fourier discrte des signaux bidimensionnelle: les composantes basses frquences sont regroupes au centre de l'image
une image en eectuant la transformation en cosinus de cette image puis en codant judicieusement
les hautes frquences : par exemple le nombre de bits de codage de l'amplitude dcroit linairement
de 6 0 en fonction de u + v , les amplitudes aux frquences situes au del d'une certaine valeur
sont considres comme nulles. La reconstitution de l'image se faisant par transforme de Fourier
inverse.
2
F (u, v) =
T
(u)+(v) TX
1 T
1
X
f (x, y) cos
x=0 y=0
(2x + 1)u
(2y + 1)v
sin
T
T
(106)
o (u) vaut zro pour u 6= 0 et (1) = 0. La transforme inverse est donne par
f (x, y) =
T
1 T
1
X
X
u=0 v=0
(u)+(v)
F (u, v) cos
(2x + 1)u
(2y + 1)v
sin
T
T
(107)
34
J. Le Roux
Signaux bidimensionnels
35
Figure 23: Eet d'talement spatial du fait de l'application d'une opration de convolution
f (x, y) =
g(s, t)h(x s, y t)
(108)
t= s=
(109)
36
J. Le Roux
y
6
y
6
y
6
Signaux bidimensionnels
37
T
T
t<
2
2
T
T
t<
2
2
T
T
t<
2
2
f1 (t) = cos t
f1 (t) = 0.5 + 0.5 cos 2t
f1 (t) = 0.54 + 0.46 cos 2t
(P apoulis)
(111)
(Hann)
(112)
(Hamming)
(113)
T
T
x, y < f (x, y) = cos(x) cos(y)
2
2
(114)
(116)
La valeur de la rponse en frquence sera alors la mme pour tous les points (u, v ) situs sur
des courbes concentriques
cos u/2 cos v/2 = constante
(117)
qui sont des carrs aux coins arrondis (se rapprochant de plus en plus d'un cercle lorsque leur
diamtre se rduit.
La reconstitution de la rponse impulsionnelle du ltre bidimensionnel peut s'expliquer de la
manire suivante
La rponse impulsionnelle du ltre monodimensionnel est h(t). On suppose que cette rponse
est symtrique en t
La rponse en frquence s'crit
H(ej ) = h(0) + 2
T
X
h(t) cos(t)
(118)
t=1
La fonction cos t peut s'crire sous la forme d'un polynme de degr t en cos
cos t = Pt (cos )
(119)
H(ej ) = h(0) + 2
T
X
t=1
h(t)Pt (cos )
(120)
38
J. Le Roux
1X
h(t)Pt (2 2[cos u + cos v] [cos(u + v) + cos(u v)])
4 t=1
(121)
ou encore
T /2
1X
h(t)Pt (1 cos u cos v cos u cos v)
2 t=1
(122)
Cette rponse en frquence s'crit ainsi sous la forme d'un polynme de deux variables en
fonction des T premires puissances de cos u et de cos v . La transforme de Fourier inverse de cette
rponse en frquence est une fonction de de deux variables f (x, y) dont les chantillons sont nuls en
dehors du carr (T /2, . . . , T /2) (T /2, . . . , T /2) et dont les chantillons de coordonnes (x, y )
ont pour valeur la moiti de celle du coecient de cos(ux + vy). Ce coecient peut se calculer
grce l'expression de la transforme de Fourier inverse.
Synthse par minimisation
Il est aussi possible de minimiser l'cart au sens des moindres carrs entre la transforme de
Fourier de la rponse impulsionnelle qui est de la forme
F (eju , ejv ) =
T /2
X
T /2
X
f (x, y)ej(ux+vy)
(123)
x=T /2 yx=T /2
et la rponse en frquence idale G(eju , ejv ). Les coecients de f (x, y) correspondent donc
la minimisation de
Z Z
1
|F (eju , ejv ) G(eju , ejv )|2 P (eju , ejv )dudv
(124)
4 2
en tenant ventuellement compte d'une fonction de pondration P (eju , ejv ).
Si cette fonction de pondration est constante, le minimum de l'cart est obtenu lorsque les
chantillons de la rponse impulsionnelle nie du ltre ont pour valeur celle des chantillons de la
transforme de Fourier inverse de la rponse en frquence idale l'intrieur du support o ils sont
dnis. (Ils sont bien entendus nuls en dehors de ce support).
Cette troncature brutale se traduit en gnral par l'apparition d'oscillations parasites qui
peuvent introduire une dformation non ngligeable de l'image ltre.
Signaux bidimensionnels
39
6y
Figure 25: Domaine du plan correspondant au pass (disques blancs) et au futur (disques noirs),
le prsent tant l'origine du plan
6y
Figure 26: Points du plan pour lesquels il faut connaitre les conditions initiales an de pourvoir
calculer la rponse d'un ltre rcursif bidimensionnel
la causalit est trop restrictive: il y a par exemple des formes de ltres qui ne peuvent pas tre
synthsiss. La dnition la plus gnrale, (et, de mon point de vue, la seule correcte) de la causalit
est donne par la notion de demi-plan asymtrique : le prsent est l'origine du plan ; le futur est
l'ensemble des lignes dont l'ordonne est positive complt par les chantillons d'ordonne nulle et
d'abscisse positive ; le pass est symtrique du futur par rapport l'origine. Cette dnition est
compatible avec les applications vido o il y a balayage de l'image ligne par ligne au cours du
temps.
m,nD
Le support D est un support ni appartenant au pass strict (prsent exclu) . Pour calculer la
sortie du ltre, il faut donc connaitre les conditions initiales de la fonction g(x, y). Supposons par
exemple que le support D est un carr de ct T dont on a ot le coin l'origine, pour calculer
la sortie du ltre pour x 0 et y 0, il faudra connaitre la valeur de g(x, y) sur une bande
horizontale T < y < 0 ainsi que sur une bande verticale T < x < 0.
La transforme en z de la rponse impulsionnelle du ltre (ou encore la fonction de transfert)
s'crit
P
b(0, 0) + m,nD b(m, n)zxm zyn
H(zx , zy ) =
(126)
P
1 + m,nD a(m, n)zxm zyn
40
J. Le Roux
|zx | > 1
|zy | > 1
(128)
On peut dduire de cette condition une condition susante de stabilit: Nous supposerons que
le domine D est un rectangle
y<0
T1 x T2
(129)
y=0
T1 x < 0
(130)
(132)
zx = eju et zy = ejv
(133)
A ma connaissance, il n'y a pas de mthode systmatique recommande pour faire ce test. On peut
dans la plupart des cas, s'assurer que la fonction A(eju , ejv ) n'est pas nulle sur les noeuds d'un
maillage assez n et vrier ensuite par continut qu' intrieur des mailles la fonction ne peut
pas s'annuler ou qu'elle s'annule ncessairement. Toutefois cette approche ne permet pas de traiter
les cas dlicats. La seconde revient tester si un ltre monodimensionnel est stable, ce qui peut se
faire en utilisant l'algorithme de Schur Cohn.
Signaux bidimensionnels
41
Im(z)
6
Im(z)
Re(z)
Im(z)
Im(z)
Re(z)
Re(z)
Re(z)
Figure 27: Quatre congurations de lieux des racines: le ltre est stable dans le cas (c) et instable
dans les cas (a), (b) et (d)
(134)
z=
1 + bejv
a
(135)
(136)
Stabilisation d'un ltre rcursif instable Nous prsentons cette mthode sans la dmontrer.
On peut dvelopper sa preuve en utilisant les projections de Radon.
Soit le polynme A(zx , zy ). On peut calculer les chantillons de sa fonction d'autocorrlation
ce sont les coecients de
XX
r(x, y)zxx , zyy
(138)
R(zx , zy ) = A(zx , zy )A(zx1 , zy1 ) =
x
qui est une fonction support ni. Pour factoriser R(zx , zy ), on en construit une fonction monodimensionnelle en plaant l'une aprs l'autre les lignes de r(x, y) qu'on suppose de longueur 2L
(L < y < L). Il peut tre ncessaire de construire des lignes trs longues (L grand) dans le cas
o le lieu des racines de A(zx , zy ) coupe le cercle de rayon un.
On applique cette autocorrlation monodimensionnelle l'algorithme de Schur de factorisation
spectrale, qui garantit que le facteur spectral est minimum de phase. A partir de ce facteur
monodimensionnel on reconstruit le facteur bidimensionnel en rangeant les tronons de longueur
2L les uns au dessous des autres.
42
J. Le Roux
(139)
H()
(140)
= B( + )
On analyse le signal f (t) en lui appliquant B() et en en prlevant un chantillon sur deux soit
fB (2t); la synthse de la composante passe-bas se fait en intercalant des valeurs zro entre les
chantillons du signal soit
gB (2t) = fB (2t)gB (2t + 1) = 0
(141)
Le fait d'intercaler des zros implique un repliement spectral.
L'analyse de la composante hautes-frquences se fait en appliquant f (t) le ltre B() et en
prlevant un chantillon sur deux soit fB (2t). La synthse de la composante passe-haut se fait aussi
un intercalant un chantillon zro entre ces chantillons, soit gH (t), ce qui implique ici aussi un
repliement spectral. On ltre les deux composantes gB (t) et gH (t) par des ltres BR () et HR ()
avant de les additionner. Si les fonctions de reconstruction BR () et HR () sont judicieusement
chosies, la reconstruction donne exactement le signal initial f (t). Les conditions de reconstruction
exacte doivent tre telles que la somme des deux rponses en frquences soit constante. L'eet du
ltre d'analyse, du sous-chantillonage et de l'intercalage de zros donne une rponse en frquence
BA () + BA ( + )
dans les basses frquences et
HA () + HA ( + )
dans les hautes frquences. Il faut construire des ltres de reconstruction BR () et HR () tels que
[BA () + BA ( + ] BR () + [HA () + HA ( + )] HR () = 1
(142)
On peut prendre
BR () = BA ()/2
(143)
HA () = BA ( + )
HR () = BA ( + )/2
(144)
(145)
Signaux bidimensionnels
43
(146)
BR () = ej BA ()/2
HA () = ej BA ( )
HR () = BA ( + )/2
(147)
(148)
(149)
(150)
Il peut tre intressant d'tablir le lien entre cette approche et le deuxime thorme de Nyquist
sur l'chantillonnage des signaux en transmission numrique : on peut retrouver directement les
chantillons d'un signal malgr une dformation par un ltre linaire si la rponse en frquence
G() de ce ltre vrie
X
G( + 2m) = 1
(151)
m=
condition que
5.7.2 Ondelettes
On se donne une fonction modle symtrique bA (t) de transforme de Fourier relle et paire BA ().
Le choix de cette fonction est arbitraire. Il faut toutefois que sa transforme de Fourier dcroisse
assez vite avec la frquence. A partir de cette fonction qui est dans le cas du codage d'images un
ltre passe-bas, on construit le ltre passe-haut associ hA (t) dont les coecients seront prciss
plus loin Ces deux ltres serviront dduire de l'image initiale deux images, l'une ltre passe-bas
et l'autre ltre passe-haut qui seront sous-chantillonne. Toutefois deux ltres complmentaires
de ce type ne peuvent pas tre utiliss pour la reconstruction de l'image sans dformation des
hautes frquence due un dphasage non linaire. On calcule pour eectuer la reconstruction deux
ltres bR (t) et hR (t) dont les transformes de Fourier sont respectivement BR () et HR () qui
vrient
BA ()BR ( + ) + HA ()HR ( + ) = cste
(152)
Les ltres passe haut sont relis aux ltres passe-bas par une translation de dans le domaine des
frquences soit par une modulation dans le domaine temporel
hA (t) = (1)t bR (t 1)
(153)
hR (t) = (1)t bA (t 1)
(154)
HA () = ej BR ( + )
(155)
HR () = ej BA ( + )
(156)
Remarque le ltre de synthse passe-haut se dduit du ltre d'analyse passe-bas; le ltre d'analyse
passe-haut se dduit du ltre de synthse passe-bas.
L'intrt de l'analyse fonde sur les ondelettes biorthogonales de ce type est de garantir la
symtrie des rponses impulsionnelles et des rponses en frquences (relles) des ltres. Ainsi, les
composantes frquencielles ne sont pas dphases, et les images ne sont pas dformes. Un exemple
de quadruplet des fonctions assez compactes proposes par Antonini et al. est donn dans la table
1
44
J. Le Roux
Tableau 1: Exemple de fonction d'analyse bA (t) et hA (t) et de reconstruction bR (t) et hR (t) utilises
pour l'analyse par ondelettes biorthogonales
t
-4
-3
-2
-1
0
1
2
3
4
5
bA (t) 0.038 -0.024 -0.111
0.377
0.853 0.377 -0.111 -0.024
0.038
0
bR (t)
0
-0.065 -0.041
0.418
0.788 0.418 -0.041 -0.065
0
0
hA (t)
0
0.038 +0.024 -0.111 -0.377 0.853 -0.377 -0.111
0.024
0.038
hR (t)
0
0
+0.065 -0.041 -0.418 0.788 -0.418 -0.041 +0.065
0
-sous chant.
-sous chant.
sur chantillonnage
-...............
- intercalage de zros
entre les chantillons
sur chantillonnage
-...............
- intercalage de zros
entre les chantillons
Figure 28: Schma d'une dcomposition en ondelettes biorthogonales : ltrage passe-bas bA (t) et
sous-chantillonnage et ltrage passe-haut hA (t) et sous chantillonage l'analyse ; surchantillonnage des deux composantes par intercalage de zros, puis ltrage de ces composantes par les ltres
bR (t) pour la composante basses-frquences et hR (t) pour la composante hautes-frquences de sorte
que la somme des deux signaux ainsi reconstitus soit identique au signal initial
Enchanement des oprations d'analyse Le signal analyser f0 (x, y) est ltr passe-bas
ligne par ligne par bA (x) puis rchantillonn en y prlevant un chantillon sur deux
X
sb (x, y) =
bA (k)f0 (2x k, y)
(157)
On eectue la mme opration sur les colonnes, ce qui produit le signal comprim
X
sbb (x, y) =
bA (k)sb (x, 2y `)
(158)
On eectue les oprations similaires avec le ltre bA (x) et hA (y), ce qui produit un signal sbh (x, y)
ltr passe-bas sur les lignes et passe-haut sur les colonnes;
On eectue les oprations similaires avec le ltre hA (x) et bA (y), ce qui produit un signal
shb (x, y) ltr passe-haut sur les lignes et passe-bas sur les colonnes;
On eectue les oprations similaires avec le ltre hA (x) et hA (y), ce qui produit un signal
sbh (x, y) ltr passe-haut sur les lignes et sur les colonnes.
Les mmes oprations sont appliques au signal basse-frquence f1 (x, y) = sbb (x, y)
s0bb (x, y), s0bh (x, y), s0hb (x, y) et s0hh (x, y)
. On applique sur ces images les ltres de reconstruction soit
bR (x) et bR (y) s0bb (x, y)
bR (x) et hR (y) s0bh (x, y)
hR (x) et bR (y) s0hb (x, y)
hR (x) et hR (y) s0hh (x, y)
et on ajoute ces quatre images, ce qui reconstitue l'image initiale.
Signaux bidimensionnels
45
(a)
(b)
1.2
1.2
1.0
1.0
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0.0
(c) -3
-2
-1
-0
0.0
1.0 -3
(d)
-2
-1
-0
-2
-1
-0
0.9
1.0
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0.0
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
-3
-2
-1
-0
0.0
(e)
-3
0.5
0.3
0.1
-3
-2
-1
-0
Figure 29: Ondelettes: Reprsentation en module dans le domaine des frquences des eets des
ltres d'analyse et de reconstruction et de l'chantillonage: (a) Filtres passe-bas d'analyse BA ()
(o) et de reconstruction BR () (); (b) Filtres passe-haut d'analyse HA () (o) et de reconstruction
HR () (); (c) Filtres passe-bas d'analyse BA () (o) et de reconstruction BR () () aprs surchantillonnage: il y a ddoublement de la transforme de Fourier; (d) Filtres passe-haut d'analyse
HA () (o) et de reconstruction HR () (); aprs surchantillonnage: il y a ddoublement de la
transforme de Fourier; (e) Eet combin des ltres d'analyse (o) et de reconstruction () ; la
rponse en frquence de leur somme est constante: le signal reconstruit est identique au signal
original
46
J. Le Roux
ltre
ligne bf
ltre - sous-ech.col
col bf
ltre - sous-ech.col
col hf
sous-ech.
ligne
-
ltre - sous-ech.col
col bf
sous-ech.
ligne
ltre
ligne hf
ltre - sous-ech.col
col hf
Figure 30: Enchanement des oprations d'analyse monodimensionnelles ligne par ligne et colonne
par colonne pour raliser les traitements bidimensionnels
- sur-ech. col
ltre col bf
- sur-ech. col
ltre col bf
- sur-ech. col
ltre col bf
- sur-ech. col
ltre col bf
sur-ech.
ligne
ltre
ligne bf
sur-ech.
ligne
ltre
ligne hf
Figure 31: Enchanement des oprations de synthse monodimensionnelles colonne par colonne et
ligne par ligne pour reconstituer les signaux bidimensionnels
Signaux bidimensionnels
47
Relation entre les ltres en quadratures et les ondelettes Comme on le voit dans les ob-
jectifs (sous-chantillonnage) et les formes des fonctions, les ondelettes sont une extension directe
des ltres en quadrature, dont l'intrt rside dans le fait qu'elles n'induisent pas de modication
de phase et donc pas de distorsion des images ltres. Toutefois, la rcursivit de l'analyse multirsoltion n'est pas ncessairement fondamentale en codage; l'intrt rside surtout dans l'analyse
en sous-bandes de frquences o les signaux se prtent apparamment mieux une rduction de
dbit.
48
J. Le Roux
(159)
(160)
qui est aussi la convolution de la fonction f (x, y) avec sa propre autocorrlation. Dans le cas
des signaux alatoires, on calcule la corrlation d'ordre trois comme une moyenne
(161)
et le bispectre est la transforme de Fourier de cette fonction d'autocorrlation, qu'on peut estimer
comme une moyenne dans le domaine des frquences partir d'estimations F 0 (u, v) de F (u, v)
(162)
(163)
r(m, n) = r(m, n)
(164)
(165)
(166)
Signaux bidimensionnels
49
f (x, y) = cos(
x
y
) cos( )
2T
2T
(167)
X1
X
x=X y=X
h(x, y) = 1
(168)
50
J. Le Roux
On connait la fonction d'autocorrlation r(x, y) du processus alatoire fmod (x, y) obtenu par
modulation du signal original,
(169)
pour un nombre ni d'chantillons X < x, y < X . Le signal basse frquence (thoriquement
constant) dont on cherche mesurer l'amplitude (ou l'nergie) est le rsultat g(x, y) du ltrage de
fmod (x, y) par h(x, y)
X1
X X1
X
g(x, y) =
fmod (x s, y t)h(s, t)
(170)
s=X t=X
Eg 2 = E
X1
X
X1
X
fmod (x s, y t)h(s, t)
s=X t=X
X1
X
X1
X
fmod (x p, y q)h(p, q)
(171)
p=X q=X
En changeant l'ordre des sommations et en appliquant le calcul de l'esprance aux seuls termes
alatoires
Eg 2 =
X1
X
X1
X
X1
X
X1
X
(172)
Le problme d'estimer le mieux possible l'amplitude la frquence 0 peut alors tre interprt
de la manire suivante : quelle est la rponse impulsionnelle de dure nie h(x, y) et dont le gain
vaut 1 la frquence (0, 0) telle que l'amplitude des autres composantes frquentielles soient les
plus petites possible ? Si la contrainte est telle que le gain du ltre vaut 1 la frquence 0,
l'nergie de la composante cette frquence est la mme pour tous les ltres : les variations sur
les coecients des autres ltres modieront les nergies des autres composantes. Il s'agit donc de
minimiser l'nergie en sortie du ltre sans modier l'amplitude la frquence (0, 0) : ceci revient
minimiser la forme quadratique Eg2 sous la contrainte
X1
X
X1
X
(174)
h(x, y) = 1
x=X y=X
X1
X1
X X1
X X1
X X1
X
X X1
X
h(s, t)h(p, q)r(p s, q t) + 1
h(x, y)
(175)
s=X t=X p=X q=X
x=X y=X
Le minimum est obtenu lorsque pour x,y = -X, . . . , X-1 (4X 2 quations)
X1
X
X1
X
h(p, q)r(p x, q y) =
(176)
p=X q=X
La solution h(x, y) cherche est la solution d'un systme linaire de 4X 2 quations 4X 2 inconnues.
(Cette solution est d'abord calcule la constante multiplicative prs, ensuite la valeur de est
calcule a posteriori de manire ce que la somme des chantillons de h(x, y) soit gale 1.)
Signaux bidimensionnels
51
r(x, y, p, q) = r(p x, q y)
(177)
associe au systme linaire rsoudre a une inverse R1 dont l'lment serait (x, y, p, q), les
chantillons de la rponse impulsionnelle du ltres seront
X1
X X1
X
h(p, q) =
(x, y, p, q)
(178)
p=X q=X
X1
X
X1
X
1
(x, y, p, q)
(179)
p=X q=X
R(z) =
2
A(z)A(z 1 )
(180)
Les choses ne se prsentent pas si bien dans le cas bidimensionnel : on peut trouver les 2p2+ 2p+1
coecients d'un ltre prdicteur A(zx , zy ) de support carr permettant de prdire les coecients
d'autocorrlation. Mais les extensions des quations de Yule Walker font apparatre de l'ordre de
4p2 valeurs de la fonction d'autocorrlation. Dans ces conditions il n'est gnralement pas possible
d'armer que l'extension de l'autocorrlation sous la forme dnie positive
R(zx , zy ) =
2
A(zx , zy )A(zx1 , zy1 )
(181)
52
J. Le Roux
y=0 : 0<x<X
y > 0 : X < x < X
(184)
(185)
. Les contraintes de concidence ne peuvent pas toujours tre respectes lorsque les degrs en zx
et zy sont faibles, et il faut donc envisager de modliser le signal grce des fonctions de transfert
d'ordre lev. On peut chercher une solution du problme en deux temps : d'abord en cherchant
les coecients de A(zx , zy )A(zx1 , zy1 ) puis en factorisant ce polynme fonction de deux variables
( condition que cette factorisation soit possible). Une mthode pour calculer les coecients de
A(zx , zy )A(zx1 , zy1 ) peut tre une technique itrative de recherche de maximum: le nombre de
paramtres trouver tant suprieur au nombre de contraintes, on se place en un point du sousespace des paramtres o les contraintes sont vries et on cherche minimiser l'entropie tout en
restant dans ce sous-espace, ce qui ne garantit pas l'obtention d'un maximum absolu.
Signaux bidimensionnels
53
1 2 f (x, y, z, t)
2 f (x, y, z, t) 2 f (x, y, z, t) 2 f (x, y, z, t)
+
+
=0
x2
y 2
x2
c2
t2
(186)
(187)
(188)
s(x, t) =
1
(2)4
(190)
Un signal est ainsi reprsent comme une superposition d'ondes planes d'amplitude S(~u, ) de
la forme
(u.x)
)]
(191)
= c(constante)
(192)
|~u|
.
Dans cet espace des signaux se propageant dans la mme direction appartiennent un hyperplan
passant par l'origine et contenant l'axe des frquences .
54
J. Le Roux
f (t) =
K1
1 X
gk hk (t k )
K
(193)
k=0
Le choix appropri des gains et des retards permet d' orienter le rseau de capteurs dans une
direction donne et de slectionner une frquence particulire.
Supposons que le signal capt soit une sinusode
(194)
f (t) =
K1
1 X
gk exp j[t k (~
.x~k )]
K
(195)
(196)
k=0
Supposons que les retards k soient relis aux positions xk de manire slectionner une onde
plane se propageant dans la direction
~ 0 la vitesse 1/|~
0 |
k = (~
0 .x~k )
(197)
f (t) =
K1
1 X
gk exp j[t + ((~
0
~ ).x~k )]
K
(198)
k=0
G(~
0 ,
~) =
K1
1 X
gk exp j[(~
0
~ ).x~k )]
K
(199)
k=0
~u = (~
0
~)
(200)
le rseau est ainsi caractris par la transforme de Fourier de sa conguration prenant en compte
la position des capteurs et le gain aect chacun d'entre eux
G(~u) =
K1
1 X
gk exp j[(~u.x~k )]
K
k=0
(201)
Signaux bidimensionnels
55
y
6
- xk
Figure 32: Propagation d'ondes mesures par des capteurs aligns et rgulirement espacs
Si le rseau est orient dans la direction a de l'onde et slectionne uniquement les ondes se
propageant la vitesse c = 1/|~a| , le signal temporel obtenu en sortie du rseau sera une sinusode
dont le gain sera donn par la valeur de G(u) pour u = 0, soit G(0).
Ceci est vrai quelquesoit la pulsation temporelle du signal se propageant avec une vitesse
donne et dans une direction donne : par addition, on en dduit que le signal n'est pas dform
par le rseau de capteur lorsque ses paramtres de retard sont correctement ajusts.
L'eet de la gomtrie du rseau est analogue celui d'une fentre de pondration d'analyse
spectrale.
Remarques sur la formation de voies
Une onde plane sinusodale de pulsation w se propage dans un plan x0y une vitesse c en
provenance de la direction q. On capte cette onde par une ligne de capteurs rgulirement espacs
situs sur l'axe Ox.
Le signal reu par le capteur de position (=kd, o d est la distance entre deux capteurs voisins,
c'est dire le pas d'chantillonnage dans le domaine spatial) est
Dans le plan des frquences ( , w), ce signal est reprsent par une impulsion de Dirac situe
au point de coordonnes (- w cosq/c, w). Dans ce plan tous les signaux sinusodaux provenant de
la direction q et se propageant la vitesse c sont situs sur la droite de pente - c/cos q. Si on
considre la projection de Radon dans le domaine spatio-temporel (x, t) sur la droite de pente cos
q/c, on obtient donc le signal dont la transforme de Fourier est situe sur cette droite de pente c/cos q dans le plan des frquences. Ce signal a pour expression
il peut donc tre approxim par formation de voie : c'est le signal obtenu en additionnant
les signaux reus par les capteurs aprs qu'ils aient t retards d'un temps kd cosq/c. Le gain g
associ au capteur k agit comme l'chantillon k de la rponse impulsionnelle d'un ltre passe-bas
slectionnant la frquence spatiale 0. Comme le nombre d'chantillons de ce ltre est ni, la forme
de cette rponse impulsionnelle peut tre celle d'une fentre
~
On cherche reconstituer le signal se propageant avec une vitesse c dans une direction )
faisant l'angle avec l'axe Ox portant les capteurs. Le signal reu par le capteur k est
fk (t) = f0 (t
k
cos )
c
(203)
Nous traiterons seulement le cas o l'espace de propagation des ondes est un espace deux
dimensions. Dans le cas o les signaux se propagent dans un espace trois dimensions, il faut
56
J. Le Roux
tendre la mthode au cas o les capteurs forment un rseau bidimensionnel dont l'orientation
dpendra de deux paramtres (gisement et azimuth). Le signal reu par les capteurs est une fonction
de deux variables (k, t). Comme toutes les ondes se propagent vitesse constante, sa transforme
de Fourier bidimensionnelle a pour support l'axe du plan (u, )
= cu cos
(204)
Donc une manire de reconstituer le signal temporel cherch est de calculer la transforme
de Fourier bidimensionnelle de g(k, t) = fk (t) et d'estimer par interpolation la valeur de cette
transforme de Fourier le long de l'axe (204). Comme la transforme de Fourier est obtenue par
utilisation de transforme rapide, les valeurs en sont connues pour un nombre ni de points dans
le plan des frquences et elles sont calcules partir d'un nombre ni de points dans le domaine
spatio-temporel. On se heurte alors une double dicult :
L'interpolation suppose que les variations dans le domaine spectral soient relativement lentes
et donc que les supports des signaux dans le domaine spatio-temporel soient de petite dimension
(signaux brefs et peu tendus dans l'espace) .
Le calcul de la transforme de Fourier partir d'un nombre ni d'chantillons pose de plus
le problme de la fentre de pondration. On sait en eet que l'analyse d'une frquence pure se
traduit par une dispersion de ce signal sinusodal en fonction de la transforme de la fentre de
pondration.
Dans le cas d'une onde plane sinusodale se propageant dans le plan x0y la vitesse c et dans
la direction le signal reu par le capteur de position (x = k ) est
k
cos )
(206)
c
Dans le plan des frquences (u, ), ce signal est reprsent par une impulsion de Dirac situe
au point de coordonnes ( cos /c, ). Dans ce plan tous les signaux sinusodaux provenant de
la direction et se propageant la vitesse c sont situs sur la droite de pente c/ cos . Si on
considre la projection de Radon dans le domaine (x, t) sur la droite de pente cos /c, on obtient
donc le signal dont la transforme de Fourier est situe sur cette droite de pente c/ cos dans le
plan des frquences. Ce signal a pour expression
Z
k
f (t) =
f (x, t +
c)dx
(207)
cos
f (k, t) = f (0, t
il peut tre approxim par formation de voie : c'est le signal obtenu en additionnant les signaux
reus par les capteurs aprs qu'ils aient t retards d'un temps k cos /c. Le gain g associ au
capteur k agit comme l'chantillon k de la rponse impulsionnelle d'un ltre passe-bas slectionnant
la frquence spatiale 0. Comme le nombre d'chantillons de ce ltre est ni, la forme de cette rponse
impulsionnelle peut tre celle d'une fentre de pondration utilise en synthse de ltres numrique
et en analyse spectrale.
Signaux bidimensionnels
57
2 f (x, y, t) 2 f (x, y, t)
1 2 f (x, y, t)
+
=0
x2
y 2
c2
t2
(208)
La valeur de cette fonction est mesure au niveau du sol : f (x, 0, t) et donne une condition aux
limite caractrisant la solution de l'quation direntielle. On cherche dduire de ces mesures la
valeur de l'onde en profondeur . Ce calcul revient simuler la propagation rtrograde de l'onde
par une succession d'extrapolations.
On peut crire f (x, y, t) partir de la transforme de Fourier bidimensionnelle de l'onde la
profondeur y
Z
Z
F (u, y, ) =
en utilisant la transforme inverse
f (x, y, t) =
1
4 2
(209)
(210)
u2 F (u, y, ) +
2 F (u, y, ) 2 2 F (u, y, )
2
=0
y 2
c
t2
(211)
Le problme de rtropropagation consiste donc rsoudre cette quation direntielle en fonction de la profondeur y connaissant les conditions initiales en y = 0. La forme de la solution de
cette quation direntielle linaire coecients constants (u et sont xs) dpend du signe
2
du coecient de F (u, y, ) soit (u2 c2 ) . Si ce coecient est positif, la solution de l'quation
direntielle est une exponentielle relle et son nergie est nie : elle s'amortit rapidement et ne
se propage gure. Si ce coecient est ngatif, la solution est une exponentielle complexe et il y a
propagation de l'onde en fonction de y : on peut crire
(212)
k 2 = w2 /c2 u2
(213)
La solution complte devrait tre de la forme d'une somme de deux exponentielles de phases
opposes, mais on peut interprter cette somme comme la combinaison d'une onde se propageant
vers le haut (k > 0) et d'une onde se propageant vers le bas (k < 0) ; or on s'intresse la
propagation de l'onde ascendente qu'on cherche reconstituer, on ne garde donc qu'une des deux
exponentielles possibles.
La propagation peut s'interprter comme un ltrage linaire en fonction de la profondeur y .
Les composantes des signaux f (x, 0, t) dont les frquences (u, ) impliquent l'amortissement
rapide ne seront pas donc propages et doivent donc tre ltres (limines). Les autres sont
propages sans pertes mais avec un dphasage
q : elles sont donc ltres par un ltre de gain unit et
2
58
J. Le Roux
R
?
? R
Figure 33: Trois projections d'un objet compos de deux points permettent par de retrouver la
forme de l'objet, c'est dire les coordones des deux points dans l'espace x0y
(214)
Lorsqu'il se propage le long d'un parcours linaire l'amplitude du signal se rduit en suivant la loi
" Z
#
Y
f (y)dy
Y
(215)
On suppose que l'amplitude du signal avant son attnuation par l'objet travers est A(Y ) et que
l'attnuation f (y) est nulle en dehors de l'objet analys, (en dehors de l'intervalle [Y, Y ])
Dans un espace deux dimensions, on peut analyser une rgion du plan caractris par une
attnuation f (x, y) en dplaant le signal vertical le long de l'axe des abscisses
" Z
#
Y
f (x, y)dy
Y
(216)
a(, Z) = A exp[
(217)
Signaux bidimensionnels
59
y
6
-x
En supposant A connu, on dispose pour chaque analyse dans une direction d'une fonction a ().
Le problme de la reconstitution du signal est alors le suivant :
Est-il possible, connaissant les valeurs des fonctions projetes a () de retrouver la fonction
f (x, y)? On peut rpondre par l'armative cette question grce au thorme suivant
g(, ) =
(On suppose ici que le capteur et l'metteur sont situs l'inni et que A vaut 1)
La transforme de Fourier de cette fonction est
Z
G(, ) =
g(, ) exp(j)d
(219)
G(, ) =
(218)
(220)
cos z sin
sin + z cos
=
=
x
y
(221)
(222)
correspondant une rotation d'un angle des axes, l'lment d'intgration devient dxdy . Si on
remplacet par sa valeur en fonction de x et de y ;
= x cos + y sin
Z
G(, ) =
(223)
(224)
u =
cos
(225)
sin
(226)
soit
(227)
60
J. Le Roux
(228)
v cos = u sin
1
r(, ) = f ( cos , sin ) =
2
Z
0
1
2
(235)
Signaux bidimensionnels
61
On commence par calculer la reconstitution partielle dans le domaine spatial pour tous les
points tels que
cos( ) = constante
(236)
ce sont des points situs sur une droite. On eectue ainsi une "rtro-projection" , la valeur
Z
1
h(, ) =
G(, ) exp j(cos( )||d
(237)
2
est calcule en fonction de ( est x). Elle est assigne tous les points de la droite
cos( ) = constante
(238)
. Ce calcul de h(, ) est rpt pour direntes valeurs de ; on ralise ensuite pour chacune
de ces valeurs de la rtroprojection et on additionne les rsultats partiels pour obtenir l'image
reconstitue, ce qui correspond la sommation sur .
Le calcul de h(, ) est celui de la transforme de Fourier du produit de G(, ) par ||. Il
peut donc s'interprter comme une convolution et tre eectu dans le domaine spatial (monodimensionnel) plutt que dans le domaine des frquences. Il s'agit alors de ltrer g (r), c'est dire
la fonction projete par le ltre dont la rponse en frquence est ||. En thorie, ce calcul pose
quelques dicults: La rponse en frquence du ltre s'crit signe(). On ne peut pas crire
formellement la rponse impulsionnelle correspondante car c'est une fonction gnralise . Mais on
peut exprimer les deux oprations qu'il faut eectuer sur gq(r) pour obtenir h(, ) :
Il faut calculer la transforme de Hilbert de gq(r) puis driver cette expression
d
h(, ) =
d
g (s)
ds
rs
(239)
<
4
4
(240)
<
4
4
(241)
Dans les deux cas, la frquence d'chantillonnage sur les projections sera toujours gale 2 et
le pas d'chantillonnage sera toujours gal un pour toutes les valeurs de . Eectuer la ltrage
par le ltre dont la rponse en frquence est ||. On peut calculer la rponse impulsionnelle de ce
ltre mais il est prfrable de faire les calculs dans le domaine des frquences our pouvoir eectuer
directement le calcul des rtroprojections. Le calcul des rtroprojections revient dcaler h (t)
d'une valeur proportionnelle l'ordonne
h (x, y) = h (x y cos )
(242)
On fait ensuite la sommation pour les dirents angles. On rpte cette squence d'oprations
pour les projections eectues sur l'axe des ordonnes et on additionne les rsultats. On peut aussi
eectuer
les additions de rtroprojections sans ltrer les projections et appliquer un ltrage passe
haut u2 + v 2 l'image reconstitue
62
J. Le Roux
Figure 34: Rponse en frquence du ltre appliquer aux projections avant rtroproction
Optimisation du rsultat On remarque que les oprations utilises sont des oprations linaires
invariantes par translations. L'eet du calcul des projections et de la reconstruction peut donc
tre caractris par la rponse impulsionnelle de cet ensemble d'oprateurs, soit p(x, y). Lorsque le
nombre de projections est ni, on voit que la reconstruction est imparfaite: la reconstruction n(x, y)
est le rsultat de la convolution de l'image initiale et du ltre p(x, y). (Bien sr, la reconstruction
s'amliore lorsqu'on augmente le nombre de projections.) Amliorer la reconstruction revient
rsoudre cette quation de convolution bidimensionnelle.
On peut aussi aboutir cette formulation en se fondant sur une interprtation dans le domaine
des frquences: Si la transforme de Fourier de l'objet analys m(x, y) est M (u, v) (nous supposons
que l'objet est de support ni)
L/21
M (u, v) =
L/21
(243)
x=L/2 y=L/2
M ( cos , sin ) = G ()
(244)
L/21
(245)
u=L/2 v=L/2
m=np
(246)
Signaux bidimensionnels
63
~
dM
~ B
~
= M
dt
(247)
~c = ~a ~b
(248)
cx
cy
cz
=
=
=
ay bz az by
az bx ax bz
ax by ay bx
(249)
Les aimants s'alignent dans la direction de ce champ et oscillent autour de ce champ avec une
frquence 0 (frquence de Larmor).
~
~0 = B
(250)
Si on rajoute ce champ xe une onde lectromagntique dont la frquence est la frquence propre
(de rsonance) 0 , il se produit une modication de l'tat des protons dans le noyau, la direction des
aimants que sont ces noyaux . Lorsqu'on arrte l'mission de l'onde lectromagntique, les protons
reviennent leur tat d'quilibre (comme des aimants orients dans l'axe du champ xe) selon une
~ . Cette
une sinusode amortie dont la frquence est la frquence propre du noyau dans le champ B
frquence 0 est identique ou au moins proche de la frquence d'exciation si la frquence des ondes
radiolectriques a t choisie dans le voisinage de la frquence de rsonnance. Cette volution du
champ magntique est capte par l'antenne qui a gnr le champ oscillant et se traduit sous la
forme d'une fonction temporelle, le FID (free induction decay). L'volution de ce signal s'crit en
fonction du temps
x(t) =
y(t) =
z(t) =
x0 e T2 cos(0 t)
Tt
x0 e
(251)
(252)
sin(0 t)
z0 + (z z0 )e
Tt
(253)
L'amortissement de la composante dans l'axe du champ B n'oscille pas et a une constante de temps
T1 ; celui de la composante orthogonale B tourne la frquence 0 a une constante de temps
T2 . T1 est nettement plus grande que T2 . Ces deux constantes de temps sont caractristiques des
lments tudis. La frquence de la sinusode amortie du retour l'tat d'quilibre pourra tre
dirente de la frquence des oscillations appliques par la source lectromagntique externe. T1
64
J. Le Roux
1.0
-0.2
0.5
-0.5
-0.0
-0.8
-0.5
200
600
1000
200
600
1000
Figure 35: Illustration du retour l'quilibre (FID) dans le sens du champ magntique xe des
moments magntiques aprs suppression de l'excitation radiolectrique: (a), (b), (c)
Signaux bidimensionnels
65
etT2 peuvent varier en fonction du matriau analys. La frquence 0 est la frquence de rsonance
du moment magntique. Elle est fonction de l'lment chimique tudi et de la relation entre le
noyau et les noyaux des atomes qui se trouvent dans son voisinage. elle est aussi proportionnelle
au champ magntique appliqu. Pour l'analyse chimique, on cherchera raliser des champs magntiques constants dans la portion d'espace o on place l'objet analyser pour ne pas avoir de
dgradation des mesures du fait des uctuations de ce champ. En visualisation bidimensionnelle
ou tridimensionnelle, les objectifs sont dirents:
~
B(x,
y, z)
x
~
B(x,
y, z)
y
~
B(x,
y, z)
z
= Gx
(254)
= Gy
(255)
= Gz
(256)
Z Z Z
t
s(t) =
(x, y, z) exp + j(xGx + yGy + zGz )t dxdydz
(257)
T2
On remarque que s(t) exp Tt2 est la valeur de la transforme de Fourier de (x, y, z) calcule la
frquence spatiale trois composantes Gx t, Gy t,Gz t. Une mesure RMN avec un choix de la
direction du gradient donne ainsi la valeur de la transforme de Fourier 3D le long d'un axe dont
la direction est donne par celle du gradient. On peut ainsi remplir l'espace des frquences en
eectuant des squences de mesures pour lesquelles on modie la direction du gradient. On a le
mme type de donnes que celles utilises en tomographie et on peut eectuer une reconstruction
d'images soit par ltrage et rtroprojection, soit par reconstruction dans le domaine des frquences.
Les images ainsi obtenues sont d'une qualit remarquable.
66
J. Le Roux
(B A )
qui ne dpend que de l'image analyse et non pas du temps. Toutefois, lors de mesures travers
l'atmosphre prsentant une agitation thermique, une perturbation alatoire
B (t) A (t)
est ajoute cette dirence de phase. Elle ne peut donc pas tre mesure directement.
Cependant, il est possible d'liminer ces dphasages alatoires de la manire suivante:
On considre trois points A, B et C , et on nomme , et les vecteurs AB , BC et CA. On a
++ =0
(258)
(259)
(260)
(261)
On eectue le produit de ces trois valeurs, qu'on appelle bispectre et que nous nommerons
R(u , v , u , v )
. Il ne fait intervenir que les variables
u , v , u , v
car les deux autres variables se dduisent des quatre premires d'aprs l'q. (258), les trois termes
de dphasage alatoires ds aux perturbations atmosphriques se compensent. Cette proprit est
connue sous le nom de cloture (parfois de fermeture)de phase. D'aprs l'q. (258)
u = (u + u )
v = (v + v )
(262)
(263)
(264)
et le bispectre s'crit
(265)
(266)
Signaux bidimensionnels
67
On a ainsi limin les perturbations alatoires. En eectuant cette opration on a aussi limin les
ventuels composantes linares de la forme (u + v) prsentes dans les phases (u , v ), (u , v )
et (u , v ). Cette limination n'a pas de consquences majeures car un dphasage linaire se
traduit dans le domaine spatial par une translation mais ne dforme pas l'image analyse. Si on
excepte cette translation, le bispectre contient l'information F (u, v). Il faut bien sr trouver des
moyens de dduire F (u, v) de R(u , v , u , v )
En pratique, il existe des techniques indpendantes de la mesure du bispectre pour calculer
l'amplitude de la transforme de Fourier de l'image ; le bispectre est surtout utile pour la reconstitution de la phase de cette transforme et on sait que cette de phase est trs informative dans la
reprsentation de la forme de l'image cherche.
En ce qui concerne la recherche de la phase de F (u, v) partir de la phase (u , v , u , v )
de R(u , v , u , v ), on peut utiliser l'algorithe suivant on peut initialiser un algorithme en se
xant a priori et arbitrairement (par exemple 0) deux premires valeurs de la phase (u , v ),
(u , v ). Ce choix arbitraire revient simplement se xer la translation que subira l'image, et
cette translation n'a pas d'importance dans le problme tudi o on s'intresse la forme d'un
objet . Si on a mesur (u , v , u , v ), on peut donc en dduire la phase en un troisime point
du plan des frquences
(u u , v v ) = (u , v , u , v ) + (u , v ) + (u , v )
(267)
(u, v) = (u, v)
(268)
r(x, y) =
1
2
F (u) exp(jux)du
1
2
(269)
(270)
F (v)F (u v) exp(jvy)dv
(271)
La transforme de Fourier inverse du produit de deux fonctions F ()G() est une convolution
Z
Z
1
F ()G() exp(jt)d =
f ( )g(t )d
(272)
2
G(v) = F (u v),
(273)
68
J. Le Roux
on obtient
g(t) =
1
2
(274)
F (u v) exp(jvt)dv
g(t) =
1
2
v+u=w
(275)
(276)
On peut reporter cette valeur de g(t) dans la convolution transforme de Fourier inverse du produit
(272)
Z
Z
1
F (v)F (u v) exp(jvy)dv =
f ( )f ( y) exp j(u uy)d
(278)
2
F (u) exp(jux)
Z
Z
1
r(x, y) =
f ( )f ( y)
F (u) exp j(ux + u uy)du d
2
En posant
cette expression devient
(279)
(280)
(281)
(282)
y =z
(283)
(284)
r(x, y) =
Signaux bidimensionnels
69
f (x, y) =
gk (x, y) + bk (x, y)
(285)
En gnral la fonction gk (x, y) est une fonction variations lentes (basses frquences) qu'on crira
par exemple sous la forme d'une combinaison linaire de fonctions de base dont on cherchera les
coecients ak (m, n) par une technique paramtrique comme la minimisation au sens des moindres
carrs.
gk (x, y) =
ak (m, n) exp
m,n
2j
(mx + ny)
N
(286)
Les valeurs maximales de m et de n sont fonction de la complexit qu'on tolre sur la forme de la
rgion. Il est parfois prfrable d'envisager une reprsentation sur un base de fonctions polynmiales
(plans, coniques, etc...) qui peuvent tre mieux adaptes un problme donn. bk (x, y) est un bruit.
Il y a deux tapes dans la procdure d'assignation des pixels une rgion. Ces tapes sont en
gnral ritres jusqu' la convergence vers une dcoupe de l'image peu prs stable (il peut y
avoir des oscillations dans la procdure itrative).
La premire tape consiste ractualiser les paramtres ak (m, n) caractrisant la rgion rk (x, y) ;
la seconde consiste rassigner certains pixels du fait de la rvaluation des paramtres des rgions.
Si on connait les pixels d'une rgion rk (x, y), la minimisation d'un critre quadratique
[f (x, y)
x,yrk (x,y)
ak (m, n) exp
m,n
2j
(mx + ny)]2
N
(287)
(x, y) rk (x, y)
(288)
70
si
J. Le Roux
(289)
k 0 6= k
(290)
pour tout
Cette nouvelle raectation des pixels permet une nouvelle valuation des paramtres des rgions.
Il existe toutefois des pixels qui ne correspondent pas ncessairement ce modle simple : ce
sont les pixels situs au voisinage d'un contour, c'est dire d'une sparation entre deux rgions.
Nous avons vu que l'chantillonnage d'une image suppose un ltrage passe-bas pralable, si on veut
respecter les conditions d'application du thorme d'chantillonnage (ce qui n'est pas obligatoire
dans les problmes de la sparation en rgions et de la dtection de contours). En gnral, il y a
toujours un ltrage passe-bas plus ou moins explicite. Ce ltrage se traduit par un lissage de f (x, y)
au voisinage des contours. On peut envisager de tenir compte de ces caractristiques particulires
dans la procdure itrative prcdente.
Il apparait que pour des images complexes, ce type de procdure conduit un nombre de rgions
excessif. Dans d'autre cas, on peut au contraire manquer de nesse dans la dcoupe en rgion.
7.7.3 Textures
Les rgions homognes d'une image ne sont pas ncessairement des rgions d'intensit constante
ou des rgions o les variations spatiales de l'intensit sont lentes. Il peut s'agir de rgions o les
caractristiques statistiques (en particulier les caractristiques spectrales ne varient pas ou varient
peu). On peut ainsi caractriser ces rgions par un nombre de paramtres plus levs (par exemple
les paramtres obtenus par analyse spectrale paramtrique). Ainsi c'est le vecteur des paramtres
qui varie lentement en fonction des coordonnes spatiales.
Morphologie mathmatique Il s'agit d'un ensemble d'oprations suivant des rgles de voisinage
pour tendre et rduire des rgions, qui aboutissent un lissage des contours des rgions.
Transforme de Hough La transforme de Hough est une mthode systmatique pour trouver
dans une image des formes donnes, par exemple une rgion dont le support a une forme donne
(disque, croissant, angle, etc...) On calcule sur toute l'image l'intercorrlation entre l'objet cherch
et l'image puis on recherche les maxima de cette fonction d'intercorrlation ; il s'agit d'une variante de ltrage adapt dans le cas de la dtection de signaux monodimensionnels. Cette mthode
ncessite une grande quantit de calculs, on peut parfois l'acclrer en utilisant la transforme de
Fourier (il s'agit, du moins dans les cas simples, d'eectuer des corrlations, donc des convolutions
qui deviennent des produits dans le domaine des frquences.)
Signaux bidimensionnels
71
(a)
0.1
-0
0.0
(b)
-1
-0.1
-2
-32
-16
16
32
-32
-16
16
32
Figure 36: Rponse impulsionnelle et rponse en frquence (partie imaginaire) du ltre de Canny
forme sparable: ltrage monodimensionnel ligne par ligne puis colonne par colonne. La rponse
impulsionnelle monodimensionnelle de ce ltre est
h(x) = x exp(|x|
(291)
Ce ltre qui est un ltre passe-bande a un double objectif: slectionner les frquences relativement
leves pour mettre en vidence les variations rapides dans l'image, car ces variations rapides correspondent en gnral aux contours; tout en ltrant autant que possible le bruit dont l'importance
relative est plus grande dans les hautes frquences. Le paramtre doit tre rgl en fonction
de l'application envisage. L'implmentation sparable est par exemple celle de Deriche (ltre de
Canny-Deriche) sous la forme d'un ltre rcursif traitant chaque ligne ou chaque colonne dans un
sens puis dans l'autre. Cette forme sparable ne conserve pas l'isotropie: un ltre ne traite pas de
la mme manire les verticales ou les horizontales que les obliques. Pourtant, si on l'application autorise le traitement par transforme de Fourier, il est possible de raliser le ltrage dans le domaine
des frquences bidimensionnelles.
L'expression du ltre de Canny dans le domaine des frquences est
H() =
4j
(2 + 2 )2
(292)
C'est sur l'image ltre ligne par ligne puis colonne par colonne que sont dtectes les variations
rapides du signal qui sont interprtes comme un contour ou comme du bruit.
On peut donner une forme bidimensionnelle de ce ltre en imposant la symtrie et l'invariance
par rotation
ju v
H(u, v) = 4 2
(293)
( + u2 + v 2 )2
La rponse en frquence de ce ltre a pour module
(u, v) = 4
et pour phase
sqrt(u2 + v 2
(2 + u2 + v 2 )2
(294)
(295)
Ce ltre produit un signal ltr complexe : la partie relle donne la composante du gradient
suivant l'axe des abscisses et la partie imaginaire la composante suivant l'axe des ordonnes. Le
module du gradient est le module de ce nombre complexe.
Courbure d'un contour La ralisation d'un ltre bidimensionnel dans le domaine des frquences permet d'eectuer certains calculs dont la ralisation serait plus fastidieuse dans le domaine
spatial.
72
J. Le Roux
(a)
(b)
(c)
Figure 37: Module, coupe du module et phase du ltre de Canny bidimensionnel
Soit f (x, y) l'image analyser de transforme de Fourier F (u, v). Pour calculer une drive
f
partielle f
x , y on peut calculer dans le domaine des frquences juF (u, v) et jvF (u, v). Il faut bien
entendu tenir compte de l'ventuelle amplication du bruit dans le domaine des hautes frquences.
Les transformes des drives secondes
2f
2f
x2 , xy
et
2f
y 2
sont respectivement
(296)
On peut aussi, partir des drives secondes calculer le rayon de courbure d'un contour (x0 , y0 ):
(x0 , y0 ) =
i3/2
h
f 2
2
( f
x ) + ( y )
2 f f 2
x2 ( y )
f f f
2 xy
x y +
|
2 f f 2 x=x0 ,y=y0
y 2 ( x )
(297)
L'appartenance d'un point un contour correspond en gnral une valeur leve de l'amplitude
du gradient
f 2
2
( f
x ) + ( y )
et tel que l'intersection de la fonction analyse f (x, y) avec le plan vertical perpendiculaire la
tangente horizontale au contour
Signaux bidimensionnels
73
f f
x , y , 0
2 f f 2
2 f f f
2 f f 2
(
)
+
2
+
( ) =0
x2 x
xy x y
y 2 y
(298)
Bien sr cette mthode est particulirement sensible au bruit car la double drivation amplie
considrablement les hautes frquences.