Study and implementation of a knowledge-based reverse engineering system for declarative scene modelling

• Auteur / Autrice : Vassilios Golfinopoulos
• Direction : Dimitri Pléménos, Georgios 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

Mots clés

Mots clés contrôlés

Modélisation tridimensionnelle

Rétro-ingénierie (informatique)

Systèmes experts (informatique)

Conception assistée par ordinateur

Mots clés libres

Modélisation déclarative

Résumé

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.

Declarative modelling allows the designer to describe a scene, without the need to define the geometric properties, by specifying its properties which can be imprecise and incomplete. Declarative modelling by hierarchical decomposition is a special approach which gives the user the ability to describe a scene by top-down decomposition at different levels of detail. The MultiCAD system architecture implements the declarative modelling by hierarchical decomposition, accepting a declarative description, generating a set of geometric solutions that meet the description and visualizing the solutions through a geometric modeller. The aim of the present work is to settle the reverse engineering process through the RS-MultiCAD system, which is a knowledge-based system, in order to couple a declarative with a traditional geometric modeller. The declarative conception cycle of declarative modelling is extended, in order to include the reverse engineering process, by introducing the reconstruction phase and the iterative design process becomes automated. During the reconstruction phase, RS-MultiCAD receives a selected geometric solution, which is semantically understood, permits the designer to perform geometric and topological modifications on the scene and results a declarative description which embodies the designer modifications. That resultant declarative description leads to more promising solutions and reduces the initial solution space.