Nantilus
Approche déclarative de la modélisation de courbes
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 c...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Collectivités auteurs : | , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Approche déclarative de la modélisation de courbes / Vincent Rossignol; sous la direction de Marc Daniel |
| Publié : |
2001 |
| Description matérielle : | 1 vol. (218 p.) |
| Note de thèse : | Thèse de doctorat : Informatique : Nantes : 2001 |
| Sujets : | |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
| Résumé : | 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. |
|---|---|
| Bibliographie : | Bibliogr. 58 réf. |