Introduction des flots et tensions en programmation logique par contraintes. Une application a l'optimisation de reseaux

par Manh Cuong Nguyen

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Jean-François Maurras.

Soutenue en 1995

à Aix-Marseille 2 , en partenariat avec Université d'Aix-Marseille II. Faculté des sciences (autre partenaire) .

    mots clés mots clés


  • Résumé

    Le travail presente dans ce memoire porte sur une integration d'algorithmes de recherche operationnelle dans l'environnement de la programmation logique par contraintes. L'origine est la necessite d'introduire des outils d'optimisation qui ont a la fois la puissance des methodes de la recherche operationnelle et la souplesse de la programmation logique par contraintes pour piloter differents scenarios dans l'optimisation de reseaux. Ce domaine etant tres vaste, nous proposons de limiter notre etude aux algorithmes de resolution des problemes qui se formalisent en termes de flot et de tension sur des graphes. Son objectif vise a decrire des algorithmes qui sont capables de traiter les contraintes de flot et de tension de facon incrementale d'une part, et adaptes a la technique de retour-arriere de la propagation de contraintes d'autre part. Le principe de la methode consiste a: ? decomposer le probleme global en une suite de sous-problemes de maniere incrementale par contraintes ; ? resoudre les sous-problemes par un algorithme base sur une variante de la methode du simplexe en variables bornees avec des techniques de traitement des graphes: ? integrer la resolution precedente dans le mecanisme de retour-arriere en introduisant une methode de deduction systematique des contextes. Une application de ces algorithmes est etudiee sur des problemes d'admissibilite dans les reseaux et d'ordonnancement

  • Titre traduit

    Introduction of flows and tensions into constraint logic programming. An application to network optimization


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (154 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 149-154

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : L24822
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.