Programmation déclarative en C. A. O. : application à la théorie des mécanismes
par Cédric Hutt
Thèse de doctorat en Automatique
Sous la direction de André Clément.
Soutenue en 1990
- Conception assistée par ordinateur
- Intelligence artificielle
- Conception technique -- Informatique
- Mécanismes
mots clés
-
Résumé
Une étude des systèmes informatiques d'aide à la conception met en lumière la nécessité d'une mise en oeuvre variée de connaissances hétérogènes. Dans ce contexte, l'utilisation de techniques de programmation déclarative se révèle particulièrement bien adaptée. Dans le cadre de la conception d'ensembles mécaniques, il est primordial de modéliser les contacts et les connaissances géométriques afin de pouvoir automatiser les raisonnements géométriques. De tels raisonnements permettent de calculer et de modifier les dimensions et les positions relatives des pièces constituant un mécanisme et peuvent être exploitées pour assister la cotation de ce mécanisme.
-
Titre traduit
Declarative programming in C. A. D. Applications in mechanism theory
-
Pas de résumé disponible.
