Calcul de plus petits produits cartésiens d'intervalles : application au problème d'ordonnancement d'atelier

par Jianyang Zhou

Thèse de doctorat en Informatique

Sous la direction de Alain Colmerauer.

    mots clés mots clés


  • Résumé

    La partie theorique de notre travail consiste a definir un modele d'execution pour resoudre les contraintes sur les entiers. (1) nous donnons la syntaxe et la semantique d'un ensemble de contraintes qui sont essentiellement des conjonctions de contraintes primitives avec d'eventuelles quantifications existentielles. (2) nous decrivons les algorithmes de resolution et d'optimisation par un ensemble de regles de reecriture. Ces regles, notamment, reduisent et coupent en deux les intervalles de valeurs attribuees aux variables. (3) enfin, nous etudions longuement la resolution de la contrainte primitive etre n entiers tous distincts dont nous avons besoin pour resoudre d'autres contraintes, comme la contrainte de tri qui dit qu'un n-uplet d'entiers est obtenu par tri d'un autre n-uplet d'entiers. La partie pratique de notre travail est consacree aux applications de notre langage de contraintes presente dans la partie theorique. (1) nous resolvons un ensemble de problemes relativement simples qui sont des benchmarks classiques dans la litterature de programmation par contraintes. (2) nous abordons le fameux probleme d'ordonnancement d'atelier, etudie depuis de nombreuses annees en raison de sa complexite (np-difficile au sens fort). Nous presentons un schema base sur la permutation d'ordre des taches, qui en niveau d'abstraction differe de la methode classique de carlier et pinson. En particulier, on precise les differences a la fois sur la facon de poser les contraintes (utilisation des contraintes de tri) et sur l'heuristique du choix des variables a instancier (coupure des intervalles d'ordre des taches). En outre, nous etudions quelques techniques speciales comme le bound trimming qui nous permettent de resoudre notamment deux exemples difficiles: la21 et la38. Les deux derniers etaient des problemes ouverts dans un papier publie par applegate et cook

  • Titre traduit

    Computing smallest cartesian products of intervals : application to the job-shop scheduling problem


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (96 f.)
  • Annexes : Bibliogr. : f.91-96

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 : 28126
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.