Morphologie mathématique - II
Isabelle Bloch
http://perso.telecom-paris.fr/bloch
LTCI, T ´el ´ecom ParisTech, Institut Polytechnique de Paris
Opérateurs géodésiques
Distance géodésique, conditionnelle à X : d X
x
y X
d (x,y)
d(x,y) X
• si X est fermé, il existe un arc géodésique pour toute paire de points de X
• unicité si X est simplement connexe
• X convexe ⇔ d X = d
Boule géodésique : B X (x, r) = {y ∈ X | d X (x, y) ≤ r}
Rq : B X (x, r ) ⊆ B(x, r)
Dilatation géodésique :
D X (Y, B r ) = {x ∈ R n | B X (x, r) ∩ Y 6= ∅} = {x ∈ R n | d X (x, Y ) ≤ r}
Erosion géodésique :
E X (Y, B r ) = {x ∈ R n | B X (x, r ) ⊆ Y } = X \ D X (X \ Y, B r ) Ouverture et fermeture géodésiques : par composition
Morphologie math ´ematique II – p.2/55
Propriétés et reconstruction
Propriétés :
• similaires à celles du cas euclidien
• D X (Y, B r ) ⊆ D(Y, B r )
• D X (Y, B r ) = ∩ ∞ n =1 [(Y ⊕ n r B ) ∩ X ] n Cas discret :
D X (Y, B r ) = [D(Y, B 1 ) ∩ X ] r
Reconstruction :
[D(Y, B 1 ) ∩ X] ∞ = D ∞ X (Y )
Reconstruction binaire : exemple
Morphologie math ´ematique II – p.4/55
Reconstruction binaire : exemple
Reconstruction binaire : exemple
0000 0000 0000 0000 0000 1111 1111 1111 1111 1111
0000000 0000000 0000000 0000000 0000000 1111111 1111111 1111111 1111111 1111111
Morphologie math ´ematique II – p.4/55
Erodés ultimes
EU (X) = ∪ n {E (X, B n ) \ R[E (X, B n+1 ); E(X, B n )]}
• E(X, B n ) : l’érodé de X de taille n
• R[Y ; Z] : composantes connexes de Z qui ont une intersection non vide avec Y
= ensemble des maxima régionaux de la fonction distance d(x, X C ).
Opérateurs géodésiques fonctionnels
X 1 ⊆ X 2 et Y 1 ⊆ Y 2 ⇒ D X 1 (Y 1 , B r ) ⊆ D X 2 (Y 1 , B r ) ⊆ D X 2 (Y 2 , B r )
⇒ Extension aux fonctions, pour f ≤ g, coupe par coupe : [D g (f, B r )] λ = D g λ (f λ , B r ) (avec f λ = {x, f (x) ≥ λ})
Cas discret :
D g (f, B r ) = [D(f, B 1 ) ∧ g] r
E g (f, B r ) = [E (f, B 1 ) ∨ g] r
Reconstruction numérique de f (fonction de marquage) dans g :
• par dilatation D g (f, B ∞ ) = D ∞ g (f ) : ouverture
• par érosion E g (f, B ∞ ) : fermeture
• ouverture par reconstruction : D f ∞ (f B ) (zones plates dont les contours sont certains contours de l’image originale ⇒ compression)
Morphologie math ´ematique II – p.6/55
Reconstruction numérique : exemple
Reconstruction numérique : exemple
Morphologie math ´ematique II – p.7/55
Reconstruction numérique : exemple
Reconstruction numérique : exemple
Morphologie math ´ematique II – p.7/55
Ouverture par reconstruction : exemples
Ouverture par reconstruction : exemples
Réunion d’ouvertures par des segments de longueur 20 et reconstruction
Morphologie math ´ematique II – p.8/55
Application au filtrage alterné séquentiel
Application au filtrage alterné séquentiel
FAS par un hexagone (taille maximale = 1)
Morphologie math ´ematique II – p.9/55
Application au filtrage alterné séquentiel
Application au filtrage alterné séquentiel
FAS par un hexagone (taille maximale = 5)
Morphologie math ´ematique II – p.9/55
Application au filtrage alterné séquentiel
Application au filtrage alterné séquentiel
FAS par des segments (taille maximale = 1)
Morphologie math ´ematique II – p.9/55
Application au filtrage alterné séquentiel
Application au filtrage alterné séquentiel
FAS par des segments (taille maximale = 5)
Morphologie math ´ematique II – p.9/55
Application au filtrage alterné séquentiel
Un autre exemple
Morphologie math ´ematique II – p.10/55
Un autre exemple
Un autre exemple
FAS par un hexagone (taille maximale = 3)
Morphologie math ´ematique II – p.10/55
Un autre exemple
Un autre exemple
FAS par des segments (taille maximale = 1)
Morphologie math ´ematique II – p.10/55
Un autre exemple
Un autre exemple
FAS par des segments (taille maximale = 5)
Morphologie math ´ematique II – p.10/55
Maxima régionaux
X maximum régional de f si
∀x ∈ X, f (x) = λ et X = CC (f λ )
Calcul des maxima régionaux :
f − D f ∞ (f − 1) h-maxima (dynamique des niveaux de gris) :
f − D f ∞ (f − h)
⇒ maxima robustes
Maxima régionaux : exemple
Morphologie math ´ematique II – p.12/55
Maxima robustes : exemple
Minima régionaux : exemple
Morphologie math ´ematique II – p.14/55
Squelette par zones d’influence
X = S
i X i
Zone d’influence de X i dans X C :
ZI (X i ) = {x ∈ X C | d(x, X i ) < d(x, X \ X i )}
Squelette par zone d’influence :
Skiz(X) = ( [
i
ZI (X i )) C
= diagramme de Voronoï généralisé
Propriétés :
• Skiz(X) ⊆ squelette(X C ) (cf cours sur le squelette)
• le Skiz peut être non connexe (même si X C l’est)
Squelette par zones d’influence : exemples
Morphologie math ´ematique II – p.16/55
Squelette par zones d’influence : exemples
Squelette géodésique par zones d’influence
Y = ∪ i Y i
Zone d’influence géodésique de Y i conditionnellement à X :
ZI X (Y i ) = {x ∈ X | d X (x, Y i ) < d X (x, Y \ Y i )}
Squelette géodésique par zone d’influence :
SKIZ X (Y ) = X \ [
i
ZI X (Y i )
X
SKIZ(Y)
Y 1
Y 2
Y 1
Y 2
SKIZ (Y)
X
Morphologie math ´ematique II – p.17/55
Une première application simple...
Une première application simple...
Seuillage :
Morphologie math ´ematique II – p.18/55
Une première application simple...
Erosion :
Une première application simple...
Reconstruction :
⇒ comptage des dés blancs et des points noirs sur chaque dé
Morphologie math ´ematique II – p.18/55Une première application simple...
Image seuillée − reconstruction des dés blancs puis petite ouverture
Une première application simple...
Grande fermeture (15) - SKIZ
Morphologie math ´ematique II – p.18/55
Une première application simple...
Séparation (et logique) et étiquetage
Parcellisation du cortex (thèse d’Arnaud Cachia)
Morphologie math ´ematique II – p.19/55
Parcellisation du cortex
(thèse d’Arnaud Cachia)
Filtres connectés
• Objectif : simplifier l’image
• Filtre morphologique qui
• préserve les contours
• est indépendant du contraste
• agit sur les composantes connexes
• Premier exemple : ouvertures surfaciques
γ λ (f ) = _
i
{γ B i (f ) | B i connexe et S(B i ) = λ}
Morphologie math ´ematique II – p.20/55
Filtres connectés
Filtres connectés
0000 0000 0000 0000 1111 1111 1111 1111
000 000 000 000 000 000 000 000
111 111 111 111 111 111 111 111
0000000 1111111 0000 0000
0000 1111 1111 1111
Morphologie math ´ematique II – p.20/55
Filtres connectés
Filtres connectés sur des images à niveaux de gris
• Opérations croissantes
• Application coupe par coupe
T h (f ) = {x | f (x) ≥ h}
(γ A (f ))(x) = sup{h | x ∈ Γ A (T h (f ))}
Ouverture surfacique Fermeture surfacique
Morphologie math ´ematique II – p.21/55
Représentation par arbres
Représentation par arbres
Morphologie math ´ematique II – p.22/55
Ouverture par attribut
Exemples d’application
Filtrage en fonction de l’élongation (Meijster, 2002) :
Morphologie math ´ematique II – p.24/55
Exemples d’application
Critère entropique (Salembier, 1998) :
Exemples d’application
Analyse du mouvement (Salembier, 1998) :
Morphologie math ´ematique II – p.24/55
Exemples d’application
Compression (Salembier, 2000) :
Segmentation morphologique
• Critères pour la segmentation d’images :
• simplicité
• régularité
• fidélité
• Paradigmes morphologiques :
• zones plates
• bassins versants et ligne de partage des eaux
Morphologie math ´ematique II – p.25/55
Ligne de partage des eaux (LPE)
Ligne de partage des eaux (LPE)
ligne de partage des eaux
minimum
minimum
bassins versants
Morphologie math ´ematique II – p.26/55
Ligne de partage des eaux (LPE)
LPE par conditions locales
Plusieurs solutions possibles
Morphologie math ´ematique II – p.27/55
Ligne de partage des eaux : définition
Plus grande pente :
Desc(x) = max{ f (x) − f (y)
d(x, y) , y ∈ V (x)}
Dénivelé d’un chemin π = (x 0 , ...x n ) :
T f (π) =
n
X
i=1
d(x i −1 , x i )Cout(x i −1 , x i )
avec
Cout(x, y) =
Desc(x) si f (x) > f (y)
Desc(y) si f (y) > f (x)
(Desc(x) + Desc(y))/2 si f (y) = f (x)
Ligne de partage des eaux : définition
Distance topographique
T f (x, y) = inf {T f (π), π = (x 0 = x, x 1 , ..., x n = y)}
(vaut 0 sur un plateau)
Bassin versant associé au minimum régional M i :
BV (M i ) = {x | ∀j 6= i, T f (x, M i ) + f (M i ) < T f (x, M j ) + f (M j )}
Ligne de partage des eaux :
LP E(f ) = [∪ i BV (M i )] C
Morphologie math ´ematique II – p.28/55
LPE par distance topographique
Approche par immersion
Morphologie math ´ematique II – p.30/55
Approche par immersion
Construction de la ligne de partage des eaux
f telle que f (x) ∈ [h min , h max ], f h = {x | f (x) ≤ h}
X h min = f h min
X h+1 = M inReg h+1 (f ) ∪ ZI f h+1 (X h ) BV = X h max
LP E(f ) = X h C max
Morphologie math ´ematique II – p.31/55
Illustration de l’algorithme
Illustration de l’algorithme
Morphologie math ´ematique II – p.32/55
Illustration de l’algorithme
Illustration de l’algorithme
Morphologie math ´ematique II – p.32/55
Minimum spanning forest
Ligne de partage des eaux et sur-segmentation
Morphologie math ´ematique II – p.34/55
Ligne de partage des eaux et sur-segmentation
Erosion géodésique
pour imposer des marqueurs
Morphologie math ´ematique II – p.35/55
Ligne de partage des eaux contrainte par des marqueurs
f : fonction sur laquelle on veut appliquer la ligne de partage des eaux g : fonction de marquage (sélectionne des minima régionaux)
Reconstruction : E f ∧ g (g, B ∞ ) (seulement les minima sélectionnés)
Exemple
(a) (b) (c)
(d) (e)
(a) Image originale, extraite d’une image IRM du cerveau. (b) Gradient morphologique.
(c) Ligne de partage des eaux superposée à l’image initiale. (d) Fermeture de taille 1 de l’image de gradient. (e) Ligne de partage des eaux du gradient fermé.
Morphologie math ´ematique II – p.37/55
Exemple
(f) (g) (h)
(i) (j) (k)
(f) Marqueurs donnés par les minima régionaux. (g) Reconstruction du gradient. (h)
Ligne de partage des eaux. (i) Marqueurs dans les ventricules (partie noire centrale) et
au bord de l’image. (j) Gradient reconstruit. (k) Ligne de partage des eaux donnant bien
les contours du ventricule.
Marqueurs interactifs
Morphologie math ´ematique II – p.38/55
Séparation d’objets binaires connectés
LPE par minimisation d’énergie
Minimisation d’une énergie exprimant la fidélité (Boomgard, 2000) :
E = X
i
Z Z
D i
(f (D i ) + T f (x, D i ))dx
D i = minimum local
f (D i ) = valeur du minimum local
Morphologie math ´ematique II – p.40/55
Régularisation de la LPE
• par fermeture
• watersnakes (Boomgard, 2003) : terme supplémentaire sur la longueur des contours dans l’énergie
E = X
i
Z Z
D i
(f (D i ) + T f (x, D i ))dx + β Z
∂D i
ds
• contraintes de géométrie
• innondation "visqueuse" (Vachier et Meyer)
Watersnakes : exemples (Boomgard, 2003)
Morphologie math ´ematique II – p.42/55
Watersnakes : exemples (Boomgard, 2003)
Watersnakes : exemples (Boomgard, 2003)
Morphologie math ´ematique II – p.42/55
LPE hiérarchique
Remplissage des bassins versants (peut être itéré) :
LPE hiérarchique
Morphologie math ´ematique II – p.43/55
LPE hiérarchique
LPE hiérarchique
Morphologie math ´ematique II – p.43/55
LPE hiérarchique
LPE hiérarchique
Morphologie math ´ematique II – p.43/55
LPE hiérarchique
LPE hiérarchique
Morphologie math ´ematique II – p.43/55
LPE hiérarchique
LPE hiérarchique
Morphologie math ´ematique II – p.43/55
Transformation en tout ou rien
Elément structurant : T = (T 1 , T 2 ), avec T 1 ∩ T 2 = ∅
HMT :
X ⊗ T = E (X, T 1 ) ∩ E (X C , T 2 )
Transformation en tout ou rien
Elément structurant : T = (T 1 , T 2 ), avec T 1 ∩ T 2 = ∅
HMT :
X ⊗ T = E (X, T 1 ) ∩ E (X C , T 2 )
Amincissement (si O ∈ T 1 ) :
X ◦ T = X \ X ⊗ T Epaississement (si O ∈ T 2 ) :
X ⊙ T = X ∪ X ⊗ T
Pour T ′ = (T 2 , T 1 ) :
X ◦ T = (X C ⊙ T ′ ) C
Morphologie math ´ematique II – p.44/55
Transformation en tout ou rien : exemples
Transformation en tout ou rien : exemples
Morphologie math ´ematique II – p.45/55
Squelette : exigences
• représentation compacte des objets
• lignes minces
• inclus et centré dans l’objet
• homotope à l’objet
• bonne représentation de la géométrie
• inversible (reconstruction de l’objet initial)
Squelette : cas continu
A : ensemble ouvert
s ρ (A) = ensemble des centres des boules maximales de A de rayon ρ
Squelette :
r(A) = [
ρ> 0
s ρ (A)
Caractérisation :
s ρ (A) = \
µ>0
[E (A, B ρ ) \ [E (A, B ρ )] B ¯ µ ]
r(A) = [
ρ> 0
\
µ> 0
[E(A, B ρ ) \ [E(A, B ρ )] B ¯ µ ]
Reconstruction :
A = [
ρ> 0
D(s ρ , B ρ )
Morphologie math ´ematique II – p.47/55
Propriétés du squelette continu
• s ρ (E ρ 0 (A)) = s ρ+ρ 0 (A) ⇒ r(E ρ 0 (A)) = ∪ ρ>ρ 0 s ρ (A)
• pas de formule générale pour le squelette d’un dilaté, ouvert ou fermé
• A 7→ r(A) ¯ est s.c.i. de G dans F
• A connexe ⇒ r(A) ¯ connexe
• le squelette est « fin » : son intérieur est vide
Squelette : cas discret
• Transposition directe du cas continu :
S (X ) = [
n ∈ N
[E (X, B n ) \ E (X, B n ) B ]
Propriétés :
• centres de boules maximales discrètes
• reconstuction
• mais pas de bonnes propriétés de connexité
Morphologie math ´ematique II – p.49/55
Squelette : cas discret
• Transposition directe du cas continu :
S (X ) = [
n ∈ N
[E (X, B n ) \ E (X, B n ) B ]
Propriétés :
• centres de boules maximales discrètes
• reconstuction
• mais pas de bonnes propriétés de connexité
• Squelette par amincissement homotopique
1
1 1
0 0
. .
Propriétés :
• topologie parfaite
• pas de possibilité de reconstruction
Centres des boules maximales vs amincissement
Morphologie math ´ematique II – p.50/55
Centres des boules maximales vs amincissement
Centres des boules maximales vs amincissement
Morphologie math ´ematique II – p.50/55
Centres des boules maximales vs amincissement
Centres des boules maximales vs amincissement
Morphologie math ´ematique II – p.50/55
Squelette et squelette par zones d’influence
Skiz(X) ⊆ r(X C )
Squelette et squelette par zones d’influence
Skiz(X) ⊆ r(X C )
Morphologie math ´ematique II – p.51/55
Application en imagerie cérébrale
(thèse de Jean-François Mangin)
Application en imagerie cérébrale (thèse de Jean-François Mangin)
Morphologie math ´ematique II – p.52/55
Application en imagerie cérébrale
(thèse de Jean-François Mangin)
Application en imagerie cérébrale (thèse de Jean-François Mangin)
Morphologie math ´ematique II – p.52/55
Application en imagerie cérébrale
(thèse de Jean-François Mangin)
Application en imagerie cérébrale (thèse de Jean-François Mangin)
Morphologie math ´ematique II – p.52/55
Application en imagerie cérébrale
(thèse de Jean-François Mangin)
Filtrage et segmentation topologiques
Source : G. Bertrand, M. Couprie (2007)
Morphologie math ´ematique II – p.53/55
Filtrage et segmentation topologiques
Filtrage et segmentation topologiques
Source : G. Bertrand, M. Couprie (2007)
Morphologie math ´ematique II – p.53/55Application : amincissement
Application : amincissement
Source : G. Malandain (2007)
Morphologie math ´ematique II – p.54/55