Centre Universitaire de Mila Travaux dirigées en « Traitement d’images »
Institut: ST, Département: MI Solutions de la série d’exercices N°04
Master 1 – STIC Année universitaire 2020-2021
Exercice 01 :
Prouvez la validité du théorème de convolution discrète à une variable. Voir les équations suivantes :
Vous devrez utiliser les propriétés de la translation et inversement,
Solution :
En référence à l'énoncé du théorème de convolution, nous voulons démontrer que
et que
Donc on a l’équation suivante qui définit la convolution 1D:
et d’après la définition de la DFT, on a :
⁄
𝐹 ∑ 𝑒 0,1,2, … , 𝑁 1
On aura:
[ ] ∑ [∑ ]𝑒
∑ [∑ 𝑒 ]
∑ 𝑒
∑ 𝑒
𝐹 .
Le reste du théorème est prouvée d’une manière similaire.
Dr. Aissa Boulmerka Solutions de la Série N° 04 Page 1
Exercice 02 :
Ecrire une expression pour la convolution continue 2D.
Solution :
Soit l’équation suivante qui définit l’opération de convolution en 1D:
On pourra généraliser l’opération de convolution en 2D en utilisant l’équation suivante :
, , ∫ ∫ , ,
Exercice 03 :
(a) Prouver la validité de la propriété de translation dans l'équation suivante :
( )
, ,
(b) Prouver la validité de l'équation :
( )
, ,
Solution :
(a) On a, par définition de la DFT :
⁄ ⁄
, ∑ ∑ ,
⁄ ⁄
[ , ] ∑ ∑ [ , ]
[ ]
∑ ∑ ,
(En utilisant la propriété : 𝑒 𝑒 𝑒 )
𝐹 ,
(b) On a, par définition de la DFT inverse :
⁄ ⁄
, ∑ ∑ ,
1 ⁄ ⁄
[𝐹 , ] ∑ ∑ [ , ]
𝑁
1 [ ]
∑ ∑ ,
𝑁
(En utilisant la propriété : 𝑒 𝑒 𝑒 )
Dr. Aissa Boulmerka Solutions de la Série N° 04 Page 2
Exercice 04 :
Montrer que la transformée Radon de la forme gaussienne , 𝑒 est ,
√ 𝑒 (Indice: utiliser la symétrie pour simplifier l'intégration.)
Solution :
Soit , 𝑒 , comme , est symétrique en rotation, ses projections sont les mêmes pour tous les
angles, il suffit donc d'obtenir la projection pour 0 L'équation de la transformée de Radon devient alors
{ , } , ∫ ∫ ,
∫ ∫ ,
∫ ,
𝑒 ∫ 𝑒
En utilisant la propriété de la distribution normale (Gaussienne) :
1
∫ 𝑒 1
√2
il s'ensuit en mettant 1 2 dans cette équation que,
1
∫ 𝑒 1
√
donc
∫ 𝑒 √
et
, √ 𝑒
Exercice 05 :
(a) Montrer que la transformée de Radon de l'impulsion unitaire , est une droite verticale dans le
plan- passant par l'origine.
(b) Montrer que la transformée radon de l'impulsion , est une courbe sinusoïdale dans le
plan-ρθ.
Solution :
(a) En substituant dans l'équation de la transformée de Radon on aura :
{ , } , ∫ ∫ ,
∫ ∫ ,
∫ ∫ 1 0
1
{
0
où la troisième étape découle du fait que , est nul si et/ou ne sont pas nuls.
(b) De même, la substitution dans l'équation de la transformée de Radon,
{ , } , ∫ ∫ ,
∫ ∫ 0, 0
Dr. Aissa Boulmerka Solutions de la Série N° 04 Page 3
∫ ∫ 1 ( 0 0 )
D'après la définition de l'impulsion, ce résultat est 0 sauf si
qui est l'équation d'une courbe sinusoïdale dans le plan .
Exercice 06 :
Prouvez la validité des propriétés suivantes de la transformée de Radon:
(a) Linéarité: la transformée de Radon est un opérateur linéaire.
(b) Propriété de translation: la transformée radon de , est ,
(c) Propriété de convolution: montrer que la transformée de Radon de la convolution de deux fonctions est
égale à la convolution des transformées de Radon des deux fonctions.
Solution :
(a) Nous savons qu'un opérateur est linéaire si . D'après la définition de
la transformée de Radon, on a
∫ ∫
∫ ∫ ∫ ∫
Ce qui montre que la transformée de Radon est une opération linéaire.
(b) Soit et . Alors et . Et soit la définition de la transformée de
Radon donnée par l’équation suivante :
{ , } , ∫ ∫ ,
À partir de cette définition, la transformée de Radon de , est :
, ∫ ∫ ( 0, 0)
∫ ∫ , ( 0 0 )
∫ ∫ , [ ( 0 0 )]
(c) Du chapitre 3, nous savons que la convolution de deux fonctions et est définie comme
, , ,
∫ ∫ , ,
Dr. Aissa Boulmerka Solutions de la Série N° 04 Page 4
Nous voulons montrer que { } { } { }, où désigne la transformée de Radon. Nous faisons cela
en substituant l'expression de convolution dans l’équation de définition de Radon. Autrement dit,
{ } ∫ ∫ ,
{ } ∫ ∫ [∫ ∫ , , ]
∫ ∫ , [∫ ∫ , ]
où nous avons utilisé les indices dans les intégrales pour plus de clarté entre les intégrales et leurs variables.
Toutes les intégrales sont comprises entre et . En travaillant avec les intégrales entre parenthèses avec
et , nous avons :
∫ ∫ ,
∫ ∫ , ( [ ])
{ } ,
La seconde intégrale est connue comme la transformée de Radon de , mais au lieu d'être par rapport à et
, elle est en fonction de et . La notation de la dernière ligne est utilisée pour indiquer
«la transformée de Radon de en fonction de et ». Alors :
{ } ∫ ∫ , [∫ ∫ , ]
∫ ∫ , { } ,
où . Ensuite, en fonction des propriétés de l'impulsion, nous pouvons écrire :
{ } , ∫ { } ,
donc,
{ } ∫ ∫ , { } ,
∫ ∫ , [∫ { } , ]
∫ { } , [∫ ∫ , ]
∫ { } , { } ,
{ } { }
où la quatrième étape correspond à la définition de la transformée de Radon et la cinquième étape
correspond à la définition de la convolution. Ceci complète la preuve.
Dr. Aissa Boulmerka Solutions de la Série N° 04 Page 5