Recherche Avancée

Thèse soutenue

Modélisation et résolution de systèmes de contraintes : application au problème de placement des arrêts et de la production des réacteurs nucléaires d'EDF

FR  |  
EN
Auteur / Autrice : Mohand Ou Idir Khemmoudj
Direction : Hachemi Bennaceur
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2007
Etablissement(s) : Paris 13

Mots clés

FR

Mots clés contrôlés

Entretien et réparations
Personnel
Centrales nucléaires -- France

Résumé

FR

Les recherches présentées dans cette thèse portent sur la modélisation et la résolution de systèmes de contraintes, en considérant aussi bien l'aspect théorique que l'aspect pratique. La partie théorique a comme objectif de proposer des méthodes génériques qui exploitent des techniques de la Programmation Par Contraintes et de la Programmation Mathématique pour modéliser et résoudre des systèmes de contraintes binaires. Nous avons proposé une formulation linéaire agrégée pour les CSP binaires et une méthode de filtrage combinant la relaxation Lagrangienne et la consistance d'arc. Pour les CSP sur-contraints, nous avons introduit la notion d'inégalité binaire valide. Nous avons également montré comment exploiter cette notion pour améliorer les bornes inférieures qui se basent sur la consistance d'arc et proposer de nouvelles bornes inférieures ainsi qu'une technique de prétraitement de WCSP. Dans la partie appliquée, nous avons traité le problème de placement des arrêts et de la production des réacteurs nuclaires d'Electricité de Fance(EDF). Nous avons amélioré la modélisation mathématique actuelle de certaines contraintes du problème et nous avons proposé une nouvelle modélisation en Programmation Par Contraintes pour tout le problème. Nous avons, par la suite, conçu le solveur OSOPAN pour la satisfaction et l'optimisation de ce problème. Ce solveur fait coopérer la Programmation Par Contraintes, la Programmation Mathématique ainsi que la Recherche Locale.