Thèse soutenue

Résolution par satisfaction de contraintes appliquée à l'aide à la décision en conception architecturale
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Raphaël Chenouard
Direction : Patrick Sebastian
Type : Thèse de doctorat
Discipline(s) : Informatique. Traitement du signal
Date : Soutenance en 2007
Etablissement(s) : Paris, ENSAM
Partenaire(s) de recherche : autre partenaire : Arts et Métiers ParisTech. Centre d'enseignement et de recherche (Bordeaux-Talence)

Mots clés

FR

Mots clés contrôlés

Résumé

FR

La conception architecturale de systèmes mécaniques et énergétiques permet d’étudier la faisabilité de concepts préalablement choisis pendant la phase de recherche de concepts. Elle fait partie de la phase de conception préliminaire et son achèvement vise à définir l'architecture globale qui sera étudiée pendant la phase de conception détaillée d’un produit. Les principales caractéristiques d'un produit (dimensions, choix de composants, de formes, de topologies ou de matériaux) sont alors fondamentales à ce stade de la conception. La conception architecturale nécessite aussi la prise en compte des comportements physiques et des interactions du produit, de ses composants et des milieux extérieurs, de critères économiques, environnementaux, etc. Suivant les exigences du cahier des charges fonctionnel. Le concepteur définit un modèle mathématique exprimant cette connaissance liée au produit. Ce modèle peut être traité à l’aide d’un solveur de Problèmes de Satisfaction de Contraintes numériques (CSP). Ce type de solveur traite de manière générique des problèmes formulés à l'aide de contraintes, de variables et de domaines. Nous proposons de nouveaux algorithmes et de nouvelles heuristiques qui prennent en compte des besoins spécifiques au concepteur en conception préliminaire, comme : la classification des variables, les précisions relatives aux valeurs de certaines variables, les contraintes par morceaux. Les études de faisabilité de plusieurs systèmes mécaniques et énergétiques ont été réalisées avec succès. Les nouveaux algorithmes ont permis de diminuer significativement les temps de calculs, mais ils ont aussi permis d’améliorer la qualité des solutions calculées au regard des besoins du concepteur.