Thèse soutenue

Approche déclarative de la modélisation de courbes
FR
Accès à la thèse
Auteur / Autrice : Vincent Rossignol
Direction : Marc Daniel
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2001
Etablissement(s) : Nantes
Partenaire(s) de recherche : autre partenaire : Université de Nantes. Faculté des sciences et des techniques

Mots clés

FR

Mots clés contrôlés

Résumé

FR

L'approche déclarative de la modélisation de courbe permet à l'utilisateur de construire des courbes en fournissant au système des propriétés géométriques ou fonctionnelles. La mise au point d'un tel système passe par la création d'un formalisme de description, la traduction de ce formalisme vers un modèle intermédiaire, la construction des courbes puis leur manipulation. Pour permettre l'entrée des propriétés voulues sur une courbe, l'étude de celles-ci ainsi que des différentes méthodes permettant de les déclarer a été réalisée. Cette étude a débouché sur un formalisme de description dans un langage pseudo-naturel. L'analyse de cette description produit alors un réseau sémantique contenant toutes les caractéristiques nécessaires à la construction de la courbe. Ces aspects font l'objet de la première partie. La deuxième partie du document ne s'intéresse pas directement à la production des courbes à partir du réseau sémantique mais étudie un formalisme permettant à l'utilisateur de manipuler les solutions produites par la phase de génération des courbes. Ainsi nous décrivons un modèle nommé B-splines contraintes qui associe à chaque point définissant la courbe une zone (dynamique) de validité. Nous étudierons ensuite des algorithmes permettant d'améliorer la qualité des courbes ou de réduire le nombre de points de contrôle en conservant les propriétés. Enfin, nous aborderons la construction des courbes elles-mêmes. Cette phase consiste à traduire le réseau sémantique dans le modèle introduit précédemment. Pour un ensemble de propriétés données, il existe dans les cas les plus intéressants plusieurs classes de solutions contenant chacune une quantité indénombrable de courbes, le modèle de B-splines contraintes permettant de parcourir chaque classe. Le travail est illustré par des exemples.