| Popis: |
Les travaux présentés dans cette thèse s'inscrivent dans une problématique d'aide à la conception interactive de procédés. L'outil d'aide à la conception réalisé repose sur un modèle de connaissances décrit comme un problème de satisfaction de contraintes (CSP). La recherche de solutions étant interactive, cet outil exploite les méthodes de filtrage des CSPs. La diversité des connaissances à exploiter nous conduit à intégrer différents types de CSPs (discrets, continus, mixtes, dynamiques) ainsi que leurs méthodes de filtrage (arc-cohérence, 2B-cohérence, discrétisation). Une problématique de conception d'opérations de traitement thermique constitue le support industriel de ces travaux. La première partie de la thèse positionne nos travaux et expose la problématique industrielle. Dans la deuxième partie, une typologie des contraintes indispensables à la construction des modèles de connaissances est réalisée. Cette typologie permet d'identifier les différents types CSPs à utiliser. Chacun d'entre eux est présenté en termes d'état de l'art, de besoins rencontrés et de solutions apportées. La prise en compte d'abaques expérimentaux 2D dans les modèles à base de contraintes nécessite l'utilisation d'une structure de données nommée arbre quaternaire. L'intégration de cette structure de données ne pose pas de problème particulier pour les abaques décrits par des contraintes numériques continues. Nous l'étendons pour prendre en compte les abaques décrits par des contraintes numériques définies par morceaux. Le dernier chapitre présente l'architecture générale d'un modèle de connaissances réalisé avec les experts en traitement thermique et le fonctionnement général du moteur de propagation. |
