Réseaux de contraintes temporels satisfaction de contraintes, ordonnancement des tâches

par Saïd Belhadji

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Plateau.

Soutenue en 1998

à Paris 13 .

    mots clés mots clés


  • Résumé

    Notre travail s'inscrit dans le cadre de la resolution de problemes d'ordonnancement de taches par des techniques de satisfaction de contraintes temporelles (tcsp) et discretes (csp binaires). Plus precisement, il concerne l'etude de deux problemes classiques d'ordonnancement de taches : le job shop et les problemes a fenetres de temps fixes (fsp). Aussi apres avoir evoque quelques modeles et techniques de resolution de ces problemes nous proposons une modelisation de contraintes disjonctives et la situons par rapport a d'autres modeles de la litterature (partie 1). Nous definissons dans la partie 2 une restriction des tcsp suffisamment expressive pour modeliser tout probleme d'ordonnancement d'ateliers et proposons un algorithme original de resolution du job shop. La partie 3 concerne l'etude du probleme d'ordonnancement de taches a fenetres de temps fixes (fsp). Nous le modelisons en un probleme de satisfaction de contraintes binaires (au sens csp classique). Sa resolution est faite par un algorithme qui hybride les techniques de csp avec la recherche de stables dans les graphes. Des experiences realisees sur des instances classiques de la litterature valident l'ensemble des algorithmes proposes.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 125 p.
  • Annexes : 182 REF.

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