Raisonnement géométrique : application à la conception d’échafaudages

par Christophe Poix

Thèse de doctorat en Informatique et automatique appliquées

Sous la direction de Robert Laurini.

Soutenue en 1992

à Lyon, INSA , dans le cadre de Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) , en partenariat avec LISI - Laboratoire d'Ingénierie des Systèmes d'Information (Lyon, INSA) (laboratoire) .

mots clés

• Modèles géométriques
• Intelligence artificielle -- Logiciels
• Échafaudages tubulaires

Résumé

La conception des échafaudages, notamment ceux pour les bâtiments complexes comme les centrales nucléaires ou les usines chimiques nécessite une connaissance précise de leur géométrie. On a alors à faire à un problème de raisonnement géométrique spécifique. En effet, dans la plupart des problèmes concrets, les aspects géométriques côtoient les aspects non géométriques. Cela implique l'insuffisance des systèmes experts classiques fondés sur la logique du premier ordre. Dans la perspective de développement d'outils dédiés à la conception des échafaudages, cette thèse apporte une contribution dans les axes suivants : - en définition d'un langage de contraintes et d'une modélisation géométrique - proposition d'un outil d'inférence géométrique permettant le "modelage" d'une structure à partir d'un système de contraintes, - développement d'outils de contrôle et d'aide à la conception, relatifs aux aspects géométrie et sécurité. Les résultats obtenus conduisent à penser qu'il serait intéressant de généraliser l'emploi des outils de raisonnement géométrique dans les systèmes d'aide à la conception.

Titre traduit

= Geometric Reasoning : Application to Scaffolding Design

Résumé

Scaffolding design, especially for complex buildings such as nuclear power-station or chemical plants requires a precise knowledge of their geometry. Then we face a specific geometric reasoning problem. Indeed, in most concrete problems, the geometric aspects keep close to the non geometric aspects. This implies the insufficienc of the classical expert systems based on the first order logic. In the perspective of the development of tools dedicated to scaffolding design, this work brings its contribution in the following directions : the definition of a language of constraints and a geometric modelling, the proposition of a geometric inference tool allowing a structure from a constraints system, the development of tools for control and aided design related to the aspects of geometry and security. The results of this work allow to think that it would be interesting to generalize the use of geometric reasoning tools in computer aided design systems.