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

Constraint temporal networks constraints satisfaction tasks organization

• Auteur / Autrice : Saïd Belhadji
• Direction : Gérard Plateau
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1998
• Etablissement(s) : Paris 13

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.