Raisonnement géométrique : application à la conception d’échafaudages
Auteur / Autrice : | Christophe Poix |
Direction : | Robert Laurini |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique et automatique appliquées |
Date : | Soutenance en 1992 |
Etablissement(s) : | Lyon, INSA |
Ecole(s) doctorale(s) : | Ecole doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon ; 1992-2008) |
Partenaire(s) de recherche : | Laboratoire : LISI - Laboratoire d'Ingénierie des Systèmes d'Information (Lyon, INSA) |
Mots clés
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.