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

par Mohand Ou Idir Khemmoudj

Thèse de doctorat en Informatique

Sous la direction de Hachemi Bennaceur.

Soutenue en 2007

à Paris 13 .


  • Résumé

    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.

  • Titre traduit

    Constraint system modeling and solving : application to the power plant outages scheduling and production problem of EDF


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (144 p.)
  • Annexes : Bibliogr. p. 147-154

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TH 2007 021
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.