Conception et approches par propagation de contraintes : contribution à la mise en oeuvre d'un outil d'aide interactif

Abstract : The work presented in this thesis deals with interactive aiding design of process. The design support tool is based on a knowledge model described as a Constraint Satisfaction Problem (CSP). The search for solutions being interactive, the tool makes use of CSP filtering methods. The range of knowledge used leads us to integrate different CSP types (discrete, continuous, mixed, dynamic) as well as their filtering methods (arc-consistency, 2B-consistency, discretization). This work is based on an industrial problem relevant to the design of heat treatment operations. The first part gives the background of our works and presents the industrial problem. In the second part, a typology of the constraints necessary to build knowledge models is made. This typology allows us to identify the different CSP types to use. Each one is presented in terms of its state of art, needs and adopted solutions. Taking into account 2D graphs in constraints-based models necessitates the use of a specific data structure named a quad tree. The integration of this data structure does not raise any particular problem for the graphs described as a single numerical constraint. We extend it in order to take into account the graphs described as piecewise numerical constraints. The last part presents the general architecture of a constraint-based model built in collaboration with heat treatment experts and shows how the various filtering engines are gathered.
Document type :
Theses
Complete list of metadatas

Cited literature [68 references]  Display  Hide  Download

https://hal-mines-albi.archives-ouvertes.fr/tel-01857862
Contributor : Imt Mines Albi Ecole Nationale Supérieure Des Mines d'Albi-Carmaux <>
Submitted on : Friday, August 17, 2018 - 3:07:12 PM
Last modification on : Thursday, November 8, 2018 - 10:46:02 AM

File

These_Vareilles.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01857862, version 1

Collections

Citation

Élise Vareilles. Conception et approches par propagation de contraintes : contribution à la mise en oeuvre d'un outil d'aide interactif. Autre. Institut National Polytechnique de Toulouse, 2005. Français. ⟨NNT : 2005INPT023G⟩. ⟨tel-01857862⟩

Share

Metrics

Record views

603

Files downloads

92