Modélisation et résolution du problème de configuration industrielle : utilisation des techniques de satisfaction de contraintes

par Mathieu Véron

Thèse de doctorat en Systèmes industriels

Sous la direction de Daniel Noyes.

Soutenue en 2001

à Toulouse, INPT .


  • Résumé

    La configuration de produits et de services devient une fonction incontournable dans les processus de vente et de fabrication des produits adaptés ou particularisés à chaque client. L'objet de cette thèse est d'étudier le problème de configuration et d'établir dans quelle mesure le formalisme des problèmes de satisfaction de contraintes constitue une aide efficace à sa résolution. Nous proposons, dans un premier temps, une analyse de la problématique de configuration en étudiant les notions de produit configurable, de configuration et de configurateur. Ceci nous permet, d'une part, d'aboutir a�� des définitions générales couvrant la majorité des problématiques industrielles vis-à-vis des problèmes de recherche existants. Nous étudions ensuite les formalismes mis en pratique pour l'implémentation de configurateurs et particulièrement l'approche par programmation, différentes approches logiques (propositionnelle, du premier ordre et descriptive) puis les problèmes de satisfaction de contraintes (CSP). Nous nous attardons sur le formalisme CSP qui nous sert de cadre pour proposer une approche originale de modélisation et de résolution des problèmes définis dans la première partie de nos travaux. Cette approche procède par la représentation de l'état de chaque élément du probléme par une variable dédiée et par des propriétés liant structurellement les éléments du problème. Nous montrons comment cette variable peut intervenir dans le problème par le biais de contraintes. Nous concluons sur l'application logicielle dérivée de ces travaux.

  • Titre traduit

    Modelling and solving industrial configuration problems using the contraint satisfaction framework


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (157 p.)
  • Annexes : Bibliogr. p. 152-157

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure d'ingénieurs en arts chimiques et technologiques. Service de documentation.
  • Disponible pour le PEB
  • Cote : TG 2001 VER
  • Bibliothèque : Ecole nationale d'ingénieurs de Tarbes. Bibliothèque.
  • Disponible pour le PEB
  • Cote : TH VER 2001
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.