Thèse soutenue

FR
Auteur / Autrice : Vassilios Golfinopoulos
Direction : Dimitri PléménosGeorges Miaoulis
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2006
Etablissement(s) : Limoges
Partenaire(s) de recherche : autre partenaire : Université de Limoges. Faculté des sciences et techniques

Résumé

FR  |  
EN

La modélisation déclarative permet au concepteur de décrire, sans devoir définir les propriétés géométriques, une scène en précisant ses propriétés qui peuvent être imprécises et incomplètes. La modélisation déclarative par décomposition hiérarchique est une approche spéciale qui donne à l'utilisateur la capacité de décrire une scène par décomposition descendante (de haut en bas) à différents niveaux de détail. L'architecture du système MultiCAD met en application la modélisation déclarative par décomposition hiérarchique, elle accepte une description déclarative, elle produit un ensemble de solutions géométriques qui rencontrent la description et elle visualise les solutions par un modeleur géométrique. Le but de ce travail est d’établir le processus de rétro-ingénierie par le système RS-MultiCAD, qui est un système basé sur la connaissance, afin de coupler un modeleur déclaratif avec un modeleur géométrique classique. Le cycle de conception déclaratif de la modélisation déclarative est prolongé, afin d'inclure le processus de rétro-conception, en introduisant la phase de reconstruction et le processus itératif de conception qui est supportée par ordinateur. Pendant la phase de reconstruction, le système RS-MultiCAD reçoit une solution géométrique choisie, qui est sémantiquement comprise, il permet au concepteur d'effectuer des modifications géométriques et topologiques sur la scène et débouche sur une description déclarative qui incarne les modifications du concepteur. Cette description déclarative résultante mène à des solutions plus prometteuses et réduit l'espace initial de solutions.