J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I .

1
- Traitement dimage
- Treillis
- Rsidus
- Mesures
-
-
Traitement
Traitement
di
dimage
- Treillis
- Rsidus
- Mesures
Chapitre I
Notions de Base
Chapitre I
Notions de Base
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 2
Traitement d' Images (I)
Traitement d' Images (I)
=> L'analyse d'images peut se diviser en trois grands types de problmes :
Codification, Extraction de caractristiques et Segmentation.
1- Codification :
La codification inclut tous les modes de reprsentation des images. Il
s'agit en particulier de:
Acquisition: Transformation
d'une image relle en nombres
Compression: Modification de la
reprsentation de l'image.
Synthse: Cration d'une image
partir d'une reprsentation plus
symbolique.
Image relle
Image
numrique
Acquisition
Image
numrique
compression
Image
synthse
Image
numrique
numrique
Nombres
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 3
Traitement d' Images (II)
Traitement d' Images (II)
2- Extraction de Caractristiques :
L'objectif est l'amlioration de la qualit
d'une image ou la mise en vidence de
quelques unes de ses caractristiques. Ceci
inclut l'extraction de paramtres et la
restauration d'images prsentant du bruit
ou des dfauts.
3- Segmentation :
La segmentation consiste construire une
reprsentation symbolique de l'image. C'est
dire, dfinir une carte de l'image qui
dcrit les rgions homognes selon un
critre tabli a priori.
I mage2
I mage1
Extraction de
paramtres et
mesures
Nombres
Pixels
Rgions
Segmentation
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 4
Quatre dmarches en traitement dimage
Quatre dmarches en traitement dimage
Morphologique:
Filtrage
Hirarchies
( ex. Granulomtries)
Ensembles alatoires
Ligne de partage des eaux
Linaire:
Convolution,
Fourier, ondelettes
Tomographie
Krigeage, Splines
Statistique:
Analyse multivarie
Rseaux neuronaux
Strologie
Syntactique:
dmarches smantiques
Grammaires
Indexation
Espace Gomtrique Espaces abstraits
Linaire
Non
linaire
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 5
Dfinitions de la Morphologie Mathmatique
Dfinitions de la Morphologie Mathmatique
Mathmatique Physique
I nformatique
Algbre des Treillis
Gomtries ensembliste et intgrale
Strologie
Modles topologico-probabilistes
Dmarche fonde sur la thorie
des ensembles destine lier
proprits physiques des objets
et textures des structures.
Algorithmes et programmes
permettant d'effectuer des
traitements d'image sur
ordinateur ou sur matriel
spcialis.
Traitement du signal
Techniques non linaires de
traitement du signal reposant sur
des oprations de sup. et d'inf.
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 6
Structures de Base
Structures de Base
Traitement linaire du signal
La structure fondamentale dans le
cas linaire est l' espace vectoriel
ensemble de vecteurs V
ensemble de scalaires K,
tels que:
1) V, muni de l'addition, est un
groupe commutatif
2) K est un corps,
3) Il existe une loi de
multiplication externe entre
scalaires et vecteurs.
Morphologie mathmatique
La structure fondamentale est le treillis
complet, ou ensemble L tel que:
1) L est muni de l'ordre partiel :
2) Pour toute famille d'lments
{X
i
}L, il existe, dans L, un
supremumet un infimumi.e.:
Inf: plus grand minorant ! !! ! { X
i
}
Sup: plus petit majorant " "" " { X
i
}
a a
a b, b a => a = b
a b, b c => a c
{
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 7
Morphologie Mathmatique:
=> La structure de travail est le treillis (ordre) et
les lois fondamentales sont le supremum et
l'infimum :
Les transformations premires sont celles
qui prservent ces lois de base du treillis.
Prservation de l'ordre:
X Y (X) (Y) croissance
Commutativit avec Sup.:
(" "" "X
i
) = " "" " (X
i
) dilatation
Commutativit avec Inf.:
(! !! !X
i
) = ! !! ! (X
i
) rosion
Concepts Premiers
Concepts Premiers
Traitement linaire:
=> La structure de travail
est l'espace vectoriel
et la loi fondamentale
est l'addition .
La transformation de
base est celle qui
prserve la structure
de travail et commute
avec la loi .
(# ## #
i
f
i
) = # ## #
i
(f
i
)
C'est la convolution.
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 8
Exemples de treillis
Exemples de treillis
X
Y
Sup
X
Y
Y

X
Treillis des ensembles convexes deR
n
:
Ordre dfini par la relation d'inclusion
sup : enveloppe convexe de la runion
Inf : intersection
-

O
r
d
r
e

+
Treillis P PP P(E) des parties d'un
ensemble E:
L'ordre est dfini sur P(E) par
la relation d' inclusion
Sup: $
Inf : %
Ordre partiel
Extrmes : E,
Extrmes : -& && &, +& && &
Treillis des rels ou entiers:
Ordre numrique sur N ou R
Sup: " (sens usuel)
Inf : !
Ordre total
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 9
Treillis de Fonctions
Treillis de Fonctions
E tant un ensemble arbitraire, et T dsignant R, Z ou une de leurs parties fermes, les
fonctions f : E T forment leur tour un treillis , not T
E
, pour l'ordre produit :
f g ssi f(x) g(x) pour tous x E ,
et o le sup et l'inf drivent des sup et inf numriques, i.e.
( (( (" "" " f
i
)(x) = " "" " f
i
(x) (! !! ! f
i
)(x) = ! !! ! f
i
(x) .
On convient de noter 0 la fois le minimum dans T et dans T
E
Dans T
E
, les fonctions impulsions :
k
x,t
(y) = t si x = y ; k
x,t
(y) = 0 si x y
sont sup-gnratrices i.e. tout f : E T est un supremum d'impulsions.
La dmarche prcdente s' tend directement aux produits de treillis de type T, c'est dire
aux fonctionsmultivaries( e.g. couleur).
E tant un ensemble arbitraire, et T dsignant R, Z ou une de leurs parties fermes, les
fonctions f : E T forment leur tour un treillis , not T
E
, pour l'ordre produit :
f g ssi f(x) g(x) pour tous x E ,
et o le sup et l'inf drivent des sup et inf numriques, i.e.
( (( (" "" " f
i
)(x) = " "" " f
i
(x) (! !! ! f
i
)(x) = ! !! ! f
i
(x) .
On convient de noter 0 la fois le minimum dans T et dans T
E
Dans T
E
, les fonctions impulsions :
k
x,t
(y) = t si x = y ; k
x,t
(y) = 0 si x y
sont sup-gnratrices i.e. tout f : E T est un supremum d'impulsions.
La dmarche prcdente s' tend directement aux produits de treillis de type T, c'est dire
aux fonctionsmultivaries( e.g. couleur).
_ __ _ _ __ _
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 10
Treillis des partitions
Treillis des partitions
Dfinition : On appelle Partition dun espace
E toute application D: E 'P(E) telle que
(i) x E , x D(x)
(ii) (x, y) E,
soit D(x) = D(y)
soit D(x) % %% % D(y) =
Les partitions de E forment un treillis D DD D
pour lordre selon lequel D D' quand
chaque classe de D est incluse dans une
classe de D'. Le plus grand lment de Dest
E lui-mme, et le plus petit celui qui
pulvrise E en la totalit de ses points.
Dfinition : On appelle Partition dun espace
E toute application D: E 'P(E) telle que
(i) x E , x D(x)
(ii) (x, y) E,
soit D(x) = D(y)
soit D(x) % %% % D(y) =
Les partitions de E forment un treillis D DD D
pour lordre selon lequel D D' quand
chaque classe de D est incluse dans une
classe de D'. Le plus grand lment de Dest
E lui-mme, et le plus petit celui qui
pulvrise E en la totalit de ses points.
Lesup des deux types de cellules
est le pentagone o leurs
frontires concident.
Leur inf, plus simple, sobtient
par intersection des cellules.
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 11
Une partie L d un treillis L est un sous treillissi elle est stable pour les
" et ! , et si elle contient les deux lments extrmes 0 et m de L.
Un treillis L est complmentquand pour tout a L , il existe au moins un
b L tel que
a " "" " b = m ; a ! !! ! b = 0 .
Un lment a , non nul, dun treillis L est un atomesi
x a ( (( ( x = 0 ou x = a .
Un lment x L est dit co-premier quand
x a " "" " b ( (( ( x a ou x b .
De plus, l lment x L est fortement co-premier quand pour toute
famille {b
i
, iI} , finie ou non, l on a
x { b
i
, i I } ( (( ( x b pour un b { b
i
} .
Une partie L d un treillis L est un sous treillissi elle est stable pour les
" et ! , et si elle contient les deux lments extrmes 0 et m de L.
Un treillis L est complmentquand pour tout a L , il existe au moins un
b L tel que
a " "" " b = m ; a ! !! ! b = 0 .
Un lment a , non nul, dun treillis L est un atomesi
x a ( (( ( x = 0 ou x = a .
Un lment x L est dit co-premier quand
x a " "" " b ( (( ( x a ou x b .
De plus, l lment x L est fortement co-premier quand pour toute
famille {b
i
, iI} , finie ou non, l on a
x { b
i
, i I } ( (( ( x b pour un b { b
i
} .
Atomes , Co-premiers et Complment
Atomes , Co-premiers et Complment
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 12
Sup-gnrateurs ; Distributivit
Sup-gnrateurs ; Distributivit
Un treillis L est sup-gnrquand il possde un sous-ensemble X ) L, dit sup-gnrateur,
tel que tout lment a L est le supremum des lments de X quil majore:
a = " "" " { x X , x a }
Quand les sup-gnrateurs sont co-premiers (resp. atomiques) , L est qualifi de co-premier
(resp. atomique) .
Le treillis L est distributif quand, pour tout a , y , z L
a ! !! ! ( y " "" " z ) = ( a ! !! ! y ) " "" " ( a ! !! ! z ) ou, de faon quivalente
a " "" " ( y ! !! ! z ) = ( a " "" " y ) ! !! ! ( a " "" " z ) .
Quand ces conditions stendent linfini, L est dit infiniment distributif
a ! !! ! (" "" " y
i
i I ) = " "" " { ( a ! !! ! y
i
) i I }
a " "" " (! !! ! y
i
i I ) = ! !! ! { ( a " "" " y
i
) i I }
( NB : Les deux conditions ne sont plus quivalentes!)
Un treillis L est sup-gnrquand il possde un sous-ensemble X ) L, dit sup-gnrateur,
tel que tout lment a L est le supremum des lments de X quil majore:
a = " "" " { x X , x a }
Quand les sup-gnrateurs sont co-premiers (resp. atomiques) , L est qualifi de co-premier
(resp. atomique) .
Le treillis L est distributif quand, pour tout a , y , z L
a ! !! ! ( y " "" " z ) = ( a ! !! ! y ) " "" " ( a ! !! ! z ) ou, de faon quivalente
a " "" " ( y ! !! ! z ) = ( a " "" " y ) ! !! ! ( a " "" " z ) .
Quand ces conditions stendent linfini, L est dit infiniment distributif
a ! !! ! (" "" " y
i
i I ) = " "" " { ( a ! !! ! y
i
) i I }
a " "" " (! !! ! y
i
i I ) = ! !! ! { ( a " "" " y
i
) i I }
( NB : Les deux conditions ne sont plus quivalentes!)
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 13
Caractrisation des treillis P PP P(E)
Caractrisation des treillis P PP P(E)
Thorme( G.Matheron): Les quatre noncs suivants sont quivalents
L est complmentet gnr par la classe Q de ses co-premiers;
L est atomique( de classe Q
a
) et gnr par la classe Q
s
de ses co-premiersforts ;
L est isomorphe un treillis de type P PP P(E) ;
L est isomorphe au treillis P PP P(Q) .
Quand ils sont vrifis, Lest alors infiniment distributif et lon a
Q = Q
a
= Q
s
.
Autrestreillis:
Le treillis de fonctions T
E
est infiniment distributif mais pas complement. Les
impulsions y sont des co-premiers sup-gnrateurs, et mme forts quand Test discret
(T fini, T = Z ), mais pas des atomes .
Le treillis g des partitions est sup-gnr, mais ni distributif ni complement.
Thorme( G.Matheron): Les quatre noncs suivants sont quivalents
L est complmentet gnr par la classe Q de ses co-premiers;
L est atomique( de classe Q
a
) et gnr par la classe Q
s
de ses co-premiersforts ;
L est isomorphe un treillis de type P PP P(E) ;
L est isomorphe au treillis P PP P(Q) .
Quand ils sont vrifis, Lest alors infiniment distributif et lon a
Q = Q
a
= Q
s
.
Autrestreillis:
Le treillis de fonctions T
E
est infiniment distributif mais pas complement. Les
impulsions y sont des co-premiers sup-gnrateurs, et mme forts quand Test discret
(T fini, T = Z ), mais pas des atomes .
Le treillis g des partitions est sup-gnr, mais ni distributif ni complement.
_
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 14
Notion de Dualit
Notion de Dualit
Avec la structure de
treillis , on a dfini
deux lois, Sup. et Inf.,
qui jouent des rles
symtriques .
Toute involution qui
permute Sup. et Inf.
engendre une dualit .
Dfinition: Deux
oprateurs et *
sont duaux vis vis
de l' involution (c) si,
pour tout X
Exemples d'involution:
Treillis des parties d'un ensemble : L'involution
est la complmentation :
Treillis des fonctions f : E [0,M] : L'involution
est la symtrie par rapport M/2.
Ensembles
Compl.
Involution
0
M
0
M
E E
( ( ( ( X
c
) = [ (X)]
c
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 15
Autodualit
Autodualit
Dmarche linaire :
La convolution est auto-
duale , c'est dire duale
d'elle- mme:
f * (-g) = - (f * g)
Cela signifie que les
composantes claires et
sombres sont toujours
traites de manire
symtrique.
Dmarchemorphologique :
La dualit fondamentale entre le sup. et l'inf. se
transmet tous les outils de la morphologie
mathmatique.
En gnral, les transformations vont par paires qui se
correspondent par dualit, par exemple rosion et
dilatation, ouverture et fermeture
Cependant , on trouve aussi des oprateurs
- autoduaux, i.e.
( X
c
) = [ (X)]
c
( le centre morphologique)
- ou invariants par dualit, i.e.
( X
c
) = (X) (ex : la frontire dans R
n
)
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 16
Comparaison entre Entre et Sortie
Comparaison entre Entre et Sortie
Extensivit, anti-extensivit: Une transformation est extensive si son
rsultat est toujours plus grand que l'original. On dfinit la notion
d'anti-extensivit par dualit.
Extensivit : X (X) anti-extensivit : X (X) X
Ensembles (extensivit) Fonctions (extensivit)
I dempotence: Une transformation est dite idempotente lorsquelle est
invariante par itration.
X
(X)
f
(f)
Idempotence: [ (X) ] = (X)
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 17
Treillis d' oprateurs
Treillis d' oprateurs
A tout treillis L est associ la classe L' des oprations : LL . Or, L' est son
tour un treillis o:
(dans L' )
* ** * (A) (A) pour tout A L
(" "" "
i
) (A) = " "" "
i
(A)
(! !! !
i
) (A) = ! !! !
i
(A) (dans L' ) (dans L ) (dans
L' ) (dansL)
Par exemple, les applications : L L qui sont:
croissantes, ou extensives, ou anti-extensives
sur L sont autant de sous-treillis de L' ;
Plus gnralement, nous rencontrerons les treillis
des ouvertures; des filtres ; de l'activit etc...
A tout treillis L est associ la classe L' des oprations : LL . Or, L' est son
tour un treillis o:
(dans L' )
* ** * (A) (A) pour tout A L
(" "" "
i
) (A) = " "" "
i
(A)
(! !! !
i
) (A) = ! !! !
i
(A) (dans L' ) (dans L ) (dans
L' ) (dansL)
Par exemple, les applications : L L qui sont:
croissantes, ou extensives, ou anti-extensives
sur L sont autant de sous-treillis de L' ;
Plus gnralement, nous rencontrerons les treillis
des ouvertures; des filtres ; de l'activit etc...
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 18
Notion de Rsidu en Morphologie
Notion de Rsidu en Morphologie
La thorie du filtrage
morphologique met l'accent
sur les proprits de
croissance et d'idempotence
ainsi que sur les relations
d'ordre entre transformations .
On peut aussi s'intresser aux
diffrences entre deux (ou
plus) transformations. On
parle alors de rsidus.
Rsidu
Primitive:

Primitive:

Diffrence
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 19
Classification des rsidus
Classification des rsidus
Les rsidus que l'on utilise en pratique peuvent tre regroups en trois catgories :
1- Les rsidus de deux primitives
2- Les rsidus de deux familles de primitives
3- Les rsidus provenant de transformations en tout ou rien
Deux familles de primitives:
{ }, { } { }, { } { }, { } { }, { }
Rsidus provenant de
transformations
en tout ou rien
Rsidus
Deux primitives: , , , ,
Exemples:
Gradient
Top hat
Exemples:
Erosion ultime
Squelette
Bissectrice conditionnelle
Exemples:
Amincissement
Epaississement
SKIZ
i i
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 20
Transformations morphologiques et homothties
Transformations morphologiques et homothties
Il est souvent ncessaire de modifier l'chelle de travail, c'est dire de procder une
homothtie X X. On peut distinguer deux types de transformations:
1- Oprations invariantes par homothtie:
(X) = (1 / ) ( X)
Exemples: Frontire, squelette, centre de gravit.
2- Familles de transformations compatibles avecl'homothtie:

1
( X) = (1 / )

( X)
Exemple: granulomtrie, FAS, associs des lments structurants homothtiques
B() = B. On a alors
B
(X) = (1/ )

( X).
N.B. 1/ Cest la famille prise globalement qui devient invariante selon les homothties.
2/ Mutatis mutandis, les notions ci-dessus stendent aux fonctions.
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 21
Mesures et Courbes
Mesures et Courbes
Toute analyse dimage se termine soit par une image nouvelle (ex. filtrage),
soit par une mesure, cest dire des nombres.
Mesures
La plus simple, et sans doute la plus frquente des mesures est lindicateur
de prsence-absence. La seconde est la mesure de Lebesgue, ou ses
versions digitales. Il en existe quelques autres, topologiques ou mtriques
Familles dpendant dun paramtre positif
Les deux reprsentations courantes dans ce cas consistent
Associer une mesure chaque transformation de la famille et obtenir une
courbe dpendant du paramtre . Exemples : histogramme, fonction
de distributiongranulomtrique.
ou considrer la famille de transformations comme les sections d'une
fonction numrique. Exemple : fonction distance.
Toute analyse dimage se termine soit par une image nouvelle (ex. filtrage),
soit par une mesure, cest dire des nombres.
Mesures
La plus simple, et sans doute la plus frquente des mesures est lindicateur
de prsence-absence. La seconde est la mesure de Lebesgue, ou ses
versions digitales. Il en existe quelques autres, topologiques ou mtriques
Familles dpendant dun paramtre positif
Les deux reprsentations courantes dans ce cas consistent
Associer une mesure chaque transformation de la famille et obtenir une
courbe dpendant du paramtre . Exemples : histogramme, fonction
de distributiongranulomtrique.
ou considrer la famille de transformations comme les sections d'une
fonction numrique. Exemple : fonction distance.
J . Serra Ecole des Mines de Paris ( 2000 ) CoursMorpho I . 22
Rfrences
Rfrences
Sur les origines :
La morphologie mathmatique a pour racines principales la thorie des treillis et la gomtrie
alatoire. Cre par G. Matheron et J.Serra en 1964, elle a t connue par trois publications de
base de ces derniers, savoir :
{MAT75}, qui porte sur les ensembles ( cadre topologique, ensembles alatoires, modle
boolen, convexit, granulomtries, reprsentation des transformations croissantes) ,
{SER82}, ax sur les transformations invariantes par translation (extension aux fonctions,
morphologie discrte, amincissements, combinaison doprateurs),
{SER88}, qui tend la dmarche au cadre des treillis (dilatation, theorie du filtrage
morphologique, connexit, squelette, fonctions boolennes). Cette dmarche a t poursuivie
par H.Heijmans et Ch. Ronse {HEI90} {RON91}.
Il existe par ailleurs trois excellents traits sur le sujet {COS89} {SCH93} {HEI 94}. On
trouvera enfin de significatives introductions la morphologie mathmatique dans
{SER87},{HAR87},{GIA88},{DOU92b} et {SER97}.
Sur les origines :
La morphologie mathmatique a pour racines principales la thorie des treillis et la gomtrie
alatoire. Cre par G. Matheron et J.Serra en 1964, elle a t connue par trois publications de
base de ces derniers, savoir :
{MAT75}, qui porte sur les ensembles ( cadre topologique, ensembles alatoires, modle
boolen, convexit, granulomtries, reprsentation des transformations croissantes) ,
{SER82}, ax sur les transformations invariantes par translation (extension aux fonctions,
morphologie discrte, amincissements, combinaison doprateurs),
{SER88}, qui tend la dmarche au cadre des treillis (dilatation, theorie du filtrage
morphologique, connexit, squelette, fonctions boolennes). Cette dmarche a t poursuivie
par H.Heijmans et Ch. Ronse {HEI90} {RON91}.
Il existe par ailleurs trois excellents traits sur le sujet {COS89} {SCH93} {HEI 94}. On
trouvera enfin de significatives introductions la morphologie mathmatique dans
{SER87},{HAR87},{GIA88},{DOU92b} et {SER97}.