Icsip2009 D 36
Icsip2009 D 36
Icsip2009 D 36
net/publication/320980196
CITATIONS READS
0 126
1 author:
Boukrouche Abdelhani
Université 8 mai 1945 - Guelma
75 PUBLICATIONS 498 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Boukrouche Abdelhani on 29 September 2019.
Résumé—La déconvolution des images ayant subi des permet de traiter aisément de nombreux problèmes dont
dégradations (flou, bruit, . . .) est un problème inverse mal-posé certains sont exprimés sous forme variationnelle, d'aborder
car le processus d’inversion est instable. Plusieurs approches de relativement sereinement des problèmes non-linéaires,
régularisation sont proposées dans la littérature traduisant d'obtenir dans de nombreux cas des résultats d'existence et
l’introduction d’informations a priori au modèle d’inversion d'unicité de solution, voire des schémas de résolution
afin de le rendre stable. Nous proposons et examinons un numérique très efficaces. Nombreuses sont les techniques à
modèle algorithmique simple pour la déconvolution d’images à
base des EDP qui ont été récemment proposées pour prendre
partir d’une observation floue et bruitée basé sur la
régularisation de la variation totale. Une technique rapide de en compte les problèmes de l’élimination du bruit, du
minimisation alternative, permet de construire un procédé réhaussement et de la restauration d’images réelles. Parmi la
itératif avec la résolution alternative d’une paire de sous- myriade de recherche nous pouvons citer la méthode de
problèmes associés aux valeurs de paramètre de pénalité. Pour régularisation de la variation totale a été présentée par
voir l’efficacité de l’algorithme, nous présentons des résultats Rudin, Osher, et Fatemi dans [18], et est devenu une
numériques dont lesquels nous montrons une implémentation technique standard ces dernières années [1,12,15,16,20,13].
simple de notre algorithme. Récemment, le champ des applications des méthodes à base
Mots Clés : Déconvolution d’images, restauration, de la variation totale a été développé avec succès, la
problème mal posé, problème inverse, variation totale. déconvolution aveugle [7], et le traitement des images
multivaluées [10]. En fait, La régularisation de la variation
I. INTRODUCTION totale permet de préserver des discontinuités (contours) tout
D ÉCONVOLUTION d’image est une tâche importante en lissant le bruit [16,18]. Les discontinuités dans les images
dans le traitement d’images dont le but de construire ou sont les contours et les frontières d'objet, et sont souvent les
de récupérer une image, qui a été dégradée en ayant a caractéristiques les plus importantes à maintenir et capturer
priori connaissance du phénomène de dégradation. La dans le traitement d'images. En outre, la régularisation de la
déconvolution d'image est apparue dans beaucoup de variation totale est convexe, non différentiable, de ce fait
domaines d'application tels que la télédétection, l’imagerie ouvrant la porte à la recherche des algorithmes efficaces
médicale, l'imagerie satellitaire, l’astronomie [2]…etc. pour les solutions optimales [4,3,25].
Comme la plupart des applications au traitement d’images
elle est qualifiée parmi les problèmes inverses mal posés au I.1. FORMULATION DU PROBLEME
sens d’Hadamard. La méthode d’inversion directe est La dégradation par un système linéaire et invariant par
difficile à cause de l’opérateur qui entre « linéaire » n’est translation, et un bruit additif, est constatée dans de
pas nécessairement inversible car un peu de bruit sur les nombreux instruments de mesure en imagerie contrôle non
données rend la solution instable. Il est alors nécessaire de destructif, médicale, satellite, multi-spectrale, etc.
régulariser le problème en imposant des contraintes sur la L’équation (1) représente le modèle mathématique direct de
solution, en essayant de formaliser les connaissances a priori l’observation :
que l'on a de l'image à reconstruire. Cela permet non
I 0 = HI + v (1)
seulement d'obtenir une solution plus stable, mais aussi de
construire une image acceptable, au sens où elle possède Où I une image originale, initialement régulière, on
bien les propriétés voulues. Ce type de problème a donné suppose qu’elle a été dégradée par un bruit additif v et
naissance à un grand nombre d'approches de régularisation. transformée via un opérateur linéaire H , on a alors l’image
Nombreuse des recherches, et beaucoup d’algorithmes, observée I 0 .
basés sur des formulations variationnelles ou stochastiques,
Nous supposons que les hypothèses de linéarité,
tentent de résoudre ce problème mal posé, nous pouvons
d’indépendance, et de stationnarité sont vérifiées,
citer les techniques à base d’équations aux dérivées
l’opérateur de flou peut être exprimé sous forme de
partielles, en abrégé EDP. Cet outil, dont l'introduction en
traitement des images date de quelques années seulement convolution suivante:
ICSIP'09
problème », tout en assurant la cohérence des résultats, c'est- I , avec I différentiable. Notons que, généralement la
à-dire en garantissant la proximité de la solution choisie fonction de variation totale n’est pas nécessairement
avec la solution idéale. Cependant, pour résoudre différentiable [27]. Cependant, nous sommes intéressés à la
numériquement le problème ci-dessus, on est amené à résolution du problème (1) dans un domaine discret pour le
introduire un terme de régularisation et à considérer le traitement d'image numérique, nous pouvons assurer
problème : implicitement le différentiabilité de I en utilisant
⎛ ⎞ l’expression ∇I ( x ) dx .
Min ⎜⎜ ∫ HI ( x ) − I 0 ( x ) dx + R (I )⎟⎟ (4) ∫
2
I
⎝Ω ⎠ Ω
L’intérêt de tel choix pour la fonction de régularisation
R(I ) = ∇I
2
Le terme de régularisation classique
provient du fait que la variation totale en deux dimension
(régularisation de Tikhonov) [21] n’est pas adapté au autorise les discontinuités sur les courbes, et donc en
problème de restauration d’images : l’image restaurée I est particulier la présence des bords dans l’image restaurée.
alors beaucoup lissée (en particulier, les bords sont érodés). Ainsi, même si numériquement l’approche s’avère plus
Pour contourner cet inconvénient, les auteurs Rudin et Osher délicate, la régularisation par la variation totale s’est
[17] ont proposé une approche beaucoup plus efficace, qui imposée comme une bonne approche en traitement
est une régularisation basée sur la variation totale, c'est-à- d’images.
dire à prendre R (I ) = ∇ I .
∫ En pratique, la solution numérique est calculée à partir de
Ω l’équation d’Euler-Lagrange associée à la fonctionnelle (6),
Le but est donc de trouver I sachant I 0 . Pour résoudre laquelle est un problème de minimisation convexe. Ces
équations s'écrivent formellement sous la forme suivante :
ce problème il est nécessaire d’avoir un minimum
d’information sur l’opérateur H et sur le bruit additif v .
∇I
L’approche de Rudin et Osher consiste à résoudre le ∇. − λH ∗
(HI − I0 )= 0 (7)
∇I
problème de minimisation de la variation totale sous
contraintes: Avec une condition de Neumann homogène aux bords. La
norme euclidienne n'est pas différentiable à zéro. Cependant,
Minimiser ∇I
Ω
∫ pour éviter les difficultés liées au non-différentiabilité, on
Sous les contraintes : et peut approximer par:
∫ HI = ∫ I
Ω Ω
0
∇I
∫ HI − I 0
2
=σ 2 (5) ∇. − λH ∗
(HI − I0 )= 0 (8)
Ω
∇I a
Où σ est l’écart type. La première contrainte supposons 2
que le bruit v est de moyenne nulle et la seconde que son
Où . = . + a 2 pour une certaine valeur petit
a
écart type est égale à σ . A. Chambolle et P.L. Lions [5] ont de a > 0 , et H ∗ est l'opérateur adjoint de H .
présenté des résultats d’existence et d’unicité pour ce Pour résoudre l’équation (8), Rudin et Osher [18] ont
modèle. Ils ont prouvé aussi, que le problème de reconstruire appliqué la méthode de descente de gradient :
ICSIP'09
intérieures et les méthodes lagrangiennes augmentées. Où β > 0 est le paramètre de pénalité. On sait bien que
Vogel et Oman, [23] ont proposé un schéma « lagged lorsque β → ∞ , la solution du problème de minimisation
diffusivity » qui a résolu les équations suivantes
(n +1) convexe (14) converge à celui (13).
itérativement pour I : Dans la pratique, il suffit de trouver une solution de (14)
⎛ ∇ I ( n +1 ) ⎞
⎟ − λ H ∗ (HI ( n +1 ) − I ) = 0 pour un β suffisamment trop grand afin d'approximer la
∇ .⎜ (12)
⎜ ∇ I (n ) ⎟ 0
solution de (1), pour des raisons de stabilité numérique.
⎝ a ⎠
Pour définir le problème (14) dans la forme discrète. On
Avec une condition de Neumann homogène aux bords.
pose I 0 ∈ R NxN ,(l’espace euclidien) est un matrice
I.2. CONTRIBUTION représentant une image numérique de niveau de gris, et
Dans cet article, nous proposons un algorithme simple et I ∈ R NxN est la matrice représentant l'image inconnue
rapide pour la résolution de l’équation (1). Cependant, Nos qu’on veut restaurée.
contributions principales: la dérivation d'un nouveau modèle Donc, l’équation définie ci-dessus, écrite sous la forme
quadratique et l'algorithme d’accompagnement, l'analyse des discrète suivante :
⎛ N β N ⎞
(∂I )ij − W ij + λ ∫ HI − I 0 2F ⎟⎟
propriétés de la convergence de l'algorithme, et l’évaluation
min ⎜⎜ ∑ W ij + ∑
2
∈ R2
⎜ (∂ 2 I ) ⎟ ⎜ I i , j +1 − I i j ⎟ M in ⎜ T F ( h ) .T F ( I ) − T F ( I ) + γ ⎜ ⎟⎟
2 1 1 F
⎝ ij ⎠ ⎝ ⎠ I
⎜ 0 F
⎜ + T F ( ∂ I ) .T F ( I ) − T F ( w ) ⎟ ⎟ 2
⎝ ⎝ 2 ⎠⎠ 2 F
différence finie.
(19)
II.2 ALGORITHME DE MINIMISATION ALTERNEE Où « . » désigne la produit simple, et γ = β λ .
Pour résoudre le problème (15) consiste à minimiser Après la solution du problème ci-dessus pour TF (I ) , on
alternativement la fonction objective par rapport W à I prend une transformée de Fourier discrète inverse,
fixé et vice versa. Donc, on a besoin de résoudre les deux TF −1 (I ) pour obtenir la solution de sous problème I (19)
sous problème à la foie. L’algorithme de minimisation dans l'espace d'image, c'est-à-dire :
alternée comporte donc deux étapes :
I = TF ⎜−1
*
0 (
⎛ TF ( h ) .TF ( I ) + γ TF ( ∂ I ) .TF ( w ) + TF ( ∂ I ) .TF ( w )
1
*
1 2
*
2 ) ⎞⎟ (20)
Une étape de minimisation en sous problème W à I fixé,
donnée par : ⎝
*
(
⎜ TF ( h ) .TF ( h ) + γ TF ( ∂ I ) .TF ( ∂ I ) + TF ( ∂ I ) .TF ( ∂ I )
1
*
1 2
*
2 ) ⎟⎠
⎛ N β N 2 ⎞
Où « ∗ » dénote le conjugué complexe.
Min ⎜⎜ ∑ W ij + ∑ W ij − (∂ I )ij ⎟⎟ (16) Pour n'importe quelle valeur de β > 0 donnée, nous
W
⎝ i , j =1 2 i , j =1 ⎠
résoudrons le problème (15) en appliquant les formules (18)
On observe que la fonction objective qui comporte les
deux premiers termes dans (15), est séparable pour chaque et (20) alternativement, à partir d'un I initiale.
Pour le cas convexe, la convergence de cette procédure de
Wij .
minimisation alternatif a été prouvée [22].
Une autre étape de minimisation en sous problème I à
W fixé, donnée par : II.3. IMPLEMENTATION D’ALGORITHME DE DECONVOLUTION
⎛λ 2 β 2 β 2 ⎞ Comme on vient de le voir, le problème est de trouver
Min ⎜ HI − I 0 + ∂ 1 I − w1 + ∂ 2 I − w2 ⎟
I
⎝2
F
2 F
2 F
⎠ l’image idéale I à partir de l’image observée I 0 ,
(17) mathématiquement cela revient à résoudre l’équation (1).
Où ∂ 1 I = [(∂ I ) ]∈ R
1 ij
NXN
et w1 = [(w ) ]∈ R
1 ij
NXN Cette opération se constitue à la déconvolution, qui fait
partie de problème inverse mal posé. Pour faire face à la
Il est facile de voir que la fonction objective ci-dessus est résolution de problème, il faut résoudre le nouveau critère
juste une autre expression des deux derniers termes dans (15) qui est un équivalant de critère (13). L’approximation
(15). Évidemment, l'efficacité essentielle de notre approche de la solution de problème est dépend de l'importance de β
alternative de minimisation ci-dessus, est comment peut on qui détermine la quantité de pénalité appliquée à la
résoudre les deux sous problèmes de façon très rapide.
différence entre ∇I et W en distance carré L .
2
Alors, nous démontre maintenant la résolution de sous
problèmes par des procédures très rapides. En pratique, la valeur de β ne peut pas être trop petite
La solution de ce sous problème W est approximée [24] car elle laisse de ∇I = W à se violer excessivement. Bien
par la forme suivante: qu'il puisse tenter de prendre une valeur de β très grand au
⎛ 1 ⎞ (∂ I )ij début pour forcer W à une approximation précise à ∇I .
W ij = max ⎜⎜ (∂ I )ij − , 0 ⎟⎟ (18)
⎝ β ⎠ (∂ I )ij Elle doit être claire que la mise à jour du W est faite par la
1 ≤ i, j ≤ N . formule (15), lorsqu’on donne β une valeur trop grand,
Le sous problème I est un problème des moindres carrés afin que la quantité de la mise à jour s'applique à W est
linéaire avec une structure spéciale; c'est-à-dire, les trois diverge à I , ça implique que la minimisation des étapes de
opérateurs linéaires, H , ∂ 1 I et ∂ 2 I sont tous des l’algorithme a besoin beaucoup plus d'itérations pour la
convergence. Par conséquence, on doit choisir la valeur de
convolutions discrètes.
La propriété la plus intéressante du produit de convolution β d'une manière à avoir l’équilibre de la vitesse de
a lieu dans l’espace de Fourier : son image est un produit convergence. On réalise ceci en augmentant la valeur de β
simple. Ce produit simple étant d’expression moins graduellement à un niveau désiré, alors en utilisant la
complexe que le produit de convolution, cette propriété nous solution approximative relative à la valeur courante de β
permettra des simplifications en passant dans l’espace de
Fourier. comme référence initiale pour le prochain valeur de β.
On dénote que TF (I ) la transformée de Fourier discrète
ICSIP'09
Pour examiner la fiabilité de notre algorithme proposé, on Pour valider notre résultat, on a appliqué différents tests sur
choisit de mettre en implémentation une version plus les trois images avec d’autres méthodes de déconvolution
fondamentale dans le cadre de restauration d’images, qu’on ([14],[6],[28]) pour évaluer les résultats obtenus par notre
l’appelle « déconvolution rapide par variation totale ». Cette méthode en terme de qualité et SNR des images restaurées.
procédure contient deux boucles d’itérations où chaque La mesure de performance de l’algorithme de
itération correspond à valeur fixe de β . On peut facilement déconvolution en terme de qualité visuelle de l’image
modifier l’algorithme pour le rendre plus flexible. Par restaurée se fait généralement en calculant le rapport
exemple, on peut mettre en application une tolérance signal/bruit noté SNR, défini par :
adaptative qui fait changer avec la valeur de β d'une
itération externe à l'autre, ou on peut utiliser un autre critère ~ 2
Δ I0 −I
d’arrêt pour les itérations intérieures. SNR = = 10 * log10 2
I0 −I
III. ÉVALUATION DES RÉSULTATS 0 ~
Où I est l’image originale et I est l’image restaurée.
Un algorithme de déconvolution est jugé bon si la valeur de
III.1. IMPORTANCE DU CHOIX D’HYPERPARAMETRES
SNR est élevée.
La qualité de l’image restaurée dépend sensiblement du
choix des hyperparamètres. On commence par le paramètre Table 1 : SNR obtenu par l’algorithme proposé, comparé
de régularisation λ qui contrôle la quantité de pénalité avec quelques d’autres méthodes.
2
appliquée au distance carrée L entre HI et I 0 . Un λ
Méthodes SNR (dB)
trop grand entraîne une sur-régularisation: on obtient une Lena Thorax cameramen
image noyée par un bruit, éventuellement encore plus floue Notre méthode 16.75 25.12 20.53
que l’image que l’on cherche à corriger! Par contre, si λ est [14] 14.13 22.56 13.00
trop faible, cela entraîne la disparition des détails les plus [6] 14.07 22.59 12.84
fins de l’image restaurée. Donc, il faut choisir le paramètre [28] 12.96 20.90 10.66
λ de telle sorte qu’il donne un meilleur rapport signal/bruit.
Dans nos expériences, on a utilisé la formule
λ = 0.05 max (σ 2 ,10 −12 ) pour des images avec
22
−4
tol = 5.0 x10 . À la fin de chaque itération, on a doublé 15
la valeur du β . Ceci dans la version de base de
0 2 4 6 8 10 12 14 16 18 20
Beta
l'implémentation, s'est avérée suffisamment efficace pour Fig.1 : Evolution de SNR par rapport le paramètre pénalité β
atteindre l'objectif essentiel du notre algorithme.
On peut également appliqué notre algorithme de
déconvolution sur une image de IRM (Imagerie par
III.2. RESULTATS EXPERIMENTAUX Résonance Magnétique) de taille 469x341, l’image
On a appliqué l’algorithme de déconvolution par originelle est dégradée par un flou gaussien et bruitée par un
régularisation de la variation totale sur trois images en bruit blanc gaussien d’un écart type σ = 1.e −3 .
niveau de gris de « Lena, Thorax et cameramen ». Dans un
premier temps, on a limité les intensités des images
originelles entre 0 et 1. Ensuite, on a dégradé les images par
un flou gaussien de taille 15x15 et d’un écart type d’ordre 9,
et distorées par un bruit blanc gaussien de moyenne nulle et
d’un écart type σ = 1.e −3 .
ICSIP'09