[Home bibliotech]
Home > Les thèses en ligne de l'INP

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

Van Oudenhove de Saint Géry, Thomas (2006) Contribution à l'élaboration d'un formalisme gérant la pertinence pour les problèmes d'aide à la conception à base de contraintes. (Contribution to the development of a constraint-based formalism managing the relevance to assist design tasks.)

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1.18 Mo

Abstract

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. ABSTRACT : 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.

Department or laboratory:Centre de Recherche en Génie Industriel (Albi, France)
Directeur de thèse:Aldanondo, Michel
Uncontrolled Keywords:Conception - Configuration - Programmation par contraintes - Filtrage - Résolution - Arbres syntaxiques. KEYWORDS : Design - Configuration - Constraint programming - Filtering - Resolution - Syntaxic trees
Subjects:Industrial engineering > Systèmes industriels
Deposited On:26 March 2007

Archive Staff Only: edit this record


Contacts | Infos légales | Plan du site | Intranet

(c)INP de Toulouse 2012 - Tous droits réservés. -  INP Communication