Etude et réalisation d'un système de rétro-conception basé sur la connaissance pour la modélisation déclarative de scènes

Discipline

Informatique

Classification

Informatique

Mots-clés libres

conception assistée par ordinateur, modélisation 3D, modélisation déclarative

Mots-clés

Modélisation tridimensionnelle - Thèses et écrits académiques,

Conception assistée par ordinateur - Thèses et écrits académiques,

Systèmes experts (informatique) - Thèses et écrits académiques,

Rétro-ingénierie (informatique) - Thèses et écrits académiques

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.