Contribution à l'élaboration d'un formalisme gérant la pertinence pour les problèmes d'aide à la conception à base de contraintes

par Thomas Van- Oudenhove de Saint Géry

Thèse de doctorat en Systèmes industriels

Sous la direction de Michel Aldanondo.

Soutenue en 2006

à Toulouse, INPT .


  • Résumé

    Les travaux présentés dans cette thèse portent sur l'aide à la conception et à la configuration. Une intégration de différents concepts existant dans les domaines de la programmation par contraintes a été réalisée. Cette intégration a pu être testée sur une implémentation basée sur des arbres syntaxiques représentant un CSP (problème de satisfaction de contraintes) modélisant un problème de conception ou configuration. La première partie de la thèse présente les domaines de la conception et de la configuration, et en fait ressortir les besoins pour l'aide à la décision : paramètres discrets et continus, organisation hiérarchique et éléments optionnels. Différentes approches à base de contraintes permettant de répondre à ces besoins sont ensuite détaillées. La seconde partie présente les RCSP (CSP gérant la pertinence), qui intègrent les différents mécanismes vus dans la première partie. Des préconisations de modélisation pour les problèmes de conception et de configuration sont établies. L'outil réalisé est ensuite présenté, dans un premier temps pour le traitement de problèmes CSP et dans un deuxième temps pour le traitement de RCSP

  • Titre traduit

    Contribution to the development of a constraint-based formalism managing the relevance to assist design tasks


  • Résumé

    The research work presented in this thesis deals with assistance to design and configuration tasks. An integration of different existing concepts of constraint programming has been achieved. This integration has been tested on an implementation based upon syntaxic trees. The syntaxic trees allow to express different kinds of CSP (Constraint Satisfaction Problem) which model design or configuration problems. The first part presents the fields of design and configuration, and aims at identifying the needs for decision aid: different kinds of parameters (discrete and continuous), hierarchical organisation and optionnal elements. Different constraint-based approaches which may fulfill any need are then detailed. The second part presents the RCSP (Relevancy CSP), which are an integration of different CSP from the literature seen in the first part. Some recommendations for modeling design or configuration problems are set up. The implementation is then presented, on the one hand for CSP processing and on the other hand for RCSP processing

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (149 p.)

Où se trouve cette thèse ?

  • Bibliothèque : École nationale supérieure d'ingénieurs en arts chimiques et technologiques. Médiathèque.
  • Disponible pour le PEB
  • Cote : TG 2006 OUD
  • Bibliothèque : IMT Mines Albi. Centre de documentation.
  • Disponible pour le PEB
  • Cote : M250-VAN
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.