Modele de representation des images
4.2 La structure dans l'image xe
Nous donnons tout d'abord les elements formels caracterisant la structure dans l'image xe puis nous completons par des proprietes sur ces elements, particulierement sur la relation de composition et sur les types d'objets.
4.2.1 Formalisation de la structure
On decrit une image et sa structure a l'aide de quatre types d'objets, d'une relation de composition et d'un ensemble de relations spatiales. L'image est decrite par un ensemble d'objets types qui sont mis en relation d'une part par une relation de composition determinant la structure et d'autre part par des relations spatiales.
Les informations structurelles de l'image sont donc representees par deux classes d'infor-mations: la denition de la structure, notee
ST
pict, et l'instance de l'image se conformant a cette structure, noteeI
pict.La denition de la structure dans l'image
TYPE
pict est l'ensemble des types d'objets structurels d'une image. Nous allons considerer l'ensemble des types suivants pour decrire l'image: point, region, element et scene. Nous denissons plus precisement ces types et nous revenons sur les proprietes particulieres de chacun d'eux par la suite (section 4.2.3).Toutefois, nous pouvons considerer les denitions suivantes: { les objets de type point sont des pixels,
{ les objets de type region sont des ensembles de pixels connectes de l'image, { les objets de type element sont des agregations d'objets de type region representant
un objet du monde reel,
{ les objets de type scene sont des agregations d'objets de type element representant une action ou un fait particulier de l'image .
tcomp pict est la relation de sous-typage sur les types d'objets structurels denis dans l'en-semble
TY PE
pict. Il s'agit d'une relation binaire interne sur les types d'objets structu-rels: tcomp pictTY PE
pictTY PE
pict.R
sp contient la denition des relations spatiales ainsi que les contraintes speciant entre quels types d'objets ces relations sont disponibles.L'instance de l'image
I
pict= (OS
pict;
comp pict;type
pict;
sp)OS
pict : ensemble des objets structurels d'une image. Un objet structurel est un composant physique de l'image, c'est-a-dire un ensemble non vide de pixels de l'image.Un objet structurel de l'image est deni comme un element singulier de l'image sur lequel dierents types d'informations vont pouvoir ^etre denis: contenu semantique, caracteristiques physiques, ...
comp pict: relation de composition structurelle entre les objets structurels d'une image. Cette relation indique qu'un objet structurel est compose d'un autre objet structurel. Il s'agit d'une relation binaire interne sur l'ensemble
OS
pict:comp pictOS
pictOS
pict. Les proprietes et les contraintes associees a cette relation dependent du type d'objets structurels et sont decrits plus loin (section 4.2.2).type
pict est une fonction surjective d'assignation d'un type structurel a un objet structurel. Chaque objet structurel de l'ensembleOS
pict est type, et recoit donc un type pris dans l'ensemble des types structurelsTY PE
pict.type
pict:OS
pict!TY PE
pictR
sp est l'ensemble de relations spatiales denies entre des objets structurels d'une image.Ces relations sont de dierentes natures et leur application est contrainte par les types d'objets et par leurs denitions donnees dans sp de
ST
pict. Il existe des relations spatiales dans le plan de l'image et des relations spatiales dans l'espace reel des objets de l'image. Nous donnons en annexe C des complements sur ces relations.4.2.2 La relation de composition structurelle
La relation de composition structurelle est une relation binaire qui decrit la relation pere/ls dans la structure de l'image. Elle denit l'agregation des objets structurels de l'image. La notation
o
i comp picto
j signie que l'objet structurelo
i est compose de l'objet structurelo
j. En d'autres termeso
i est le pere structurel deo
j.o
i;o
j 2OS
pict;o
i comp picto
jCette relation de composition des objets structurels de l'image peut ^etre interpretee au niveau physique de la maniere suivante: sachant qu'un objet structurel est une representa-tion logique d'un ensemble non vide de pixels, si un objet
o
i est compose d'un objeto
j alors l'ensemble de pixels represente paro
j est inclus dans l'ensemble de pixels represente paro
i.La relation de composition structurelle supporte les proprietees suivantes: non re exivite, non transitivite et asymetrie.
La semantique generale de la relation de composition est liee a la composition physique des pixels de l'image. Nous distinguons plusieurs cas:
1. un objet
o
de type element compose d'objets de type elemento
i;i
= 1:::n
: la relation de composition indique qu'il existe une relation au niveau semantique entre chacun des objetso
i. Le plus souvent cette relation est une relation du type partie de. Par exemple, un objeto
1 representant une roue sera un composant d'un objeto
representant un vehicule; la roue est une partie de la voiture.2. un objet
o
de type scene compose d'objets de type elemento
i;i
= 1:::n
: la relation de composition indique les n objets de types element participent a une action ou a un fait particulier de l'image. Par exemple, dans la gure 4.2, l'objet scene 1 est compose des objets representant la personne et le casque, et cet objet scene 1 indique le fait suivant: une personne porte un casque.3. un objet
o
de type scene compose d'objets de type sceneo
i;i
= 1:::n
: la relation de composition indique que les scenes, representees par les objetso
i;i
= 1:::n
, participent a la scene representee par l'objeto
. Dans l'image de la gure 4.2 l'objet note scene 2, compose des objets element 3 et scene 1, represente une personne portant un casque (scene 1) qui fait du velo.4.2.3 Denition et proprietes structurelles des types d'objets
Dans les travaux sur les images la classication adoptee comporte le plus souvent trois types d'elements : le polygone, le segment et le point pour Mechkour [Mec95c] et la region
spatiale (areal object), le segment (lineal object) et le point (point object) pour Kankanhalli, Xunda et Wu [KXW95]. Les SGBD geographiques confrontes a des problemes de modelisation d'objets geometriques dans un plan adoptent une classication similaire composee de zones, de segments et de points [SVP+96].
Ces types tiennent uniquement compte de l'aspect 2D de l'image. Ces restrictions adoptees dans la plupart des modeles d'image [Mec95c, KXW95, Meg95] proviennent en grande partie des dicultes rencontrees pour raisonner sur les relations spatiales dans un espace a trois dimensions. Notre approche diere car nous considerons le contenu de l'image selon deux aspects combines: l'aspect physique et l'aspect semantique. Selon nous, l'image n'est pas seulement une composition d'objets identies dans l'image, mais c'est aussi une mise en relation de ces objets mettant les objets identies dans des situations particulieres. Cette vision de l'image nous a amenes a denir quatre types d'objets: le point, la region, l'element et la scene. La gure 4.3 donne les relations de sous-typage entre types d'objets. La relation de composition structurelle est alors un moyen de decrire les zones de l'image, les objets identies et leurs compositions.
élément région point Aspect Sémantique Aspect Physique scène
Figure 4.3.
Types et relations de sous-typage tcomp pictCette gure represente la relation binairecomp pictdenie sur
TY PE
pict. Nous denissons pour chaque type d'objets les contraintes associees :point
: le point est une representation logique du pixel de l'image. Les coordonnees de ce pixel dans l'image vont permettre de denir la localisation du point. De plus ce point peut ^etre caracterise par sa couleur (code dans un espace de couleur, RGB ou HSB). Le point est l'element de base dans la structure. Il ne peut donc ^etre le pere d'aucun autre objet structurel, ce qui s'exprime par:8op 2OSpic; typepic(op) =point
implique
69o2OSpic; opcomp picoregion
: un objet de type region represente un ensemble connecte de pixels de l'image. La region est decrite a l'aide d'objets de type point qui la composent et des caracteristiquesphysiques de ces objets. Ceci s'exprime de la maniere suivante:
8or2OSpic; typepic(or) =region
implique
9opi 2OSpic; i >1; orcomp picopi et typepic(opi) =point
De plus nous devons verier que l'ensemble des objets de type point composant deux objets de type region sont disjoints. Soit la fonction
Desc
pic qui fournit pour chaque objet l'ensemble des objets qui le compose:Desc
pic:OS
pic !2OSpic. La contrainte sur les ensembles d'objets composant une region s'exprime alors de la maniere suivante:8o1;o22OSpic; typepic(o1) =pointet typepic(o2) =point
implique
Descpic(o1)\Descpic(o2) =;On peut noter que tous les objets des ensembles