Conception d'un logiciel en traitement interactif de problemes d'emploi du temps et d'ordonnancement

par MALIKA BABES

Thèse de doctorat en Sciences appliquées

Sous la direction de A. QUILLIOT.

Soutenue en 1995

à Clermont Ferrand 2 .

    mots clés mots clés


  • Résumé

    L'objectif principal de cette these est d'etablir un ensemble d'algorithmes et de methodes de traitement des contraintes temporelles gerant tout probleme de planification. Elle est subdivisee en trois grandes parties qui se completent totalement. En premiere partie, nous traitons un probleme d'emploi du temps, ou nous avons formalise et resolu trois types de contraintes. Les moyens de resolution adoptes conjuguent le formalisme mathematique et quelques techniques d'i. A. Le probleme considere en deuxieme partie est celui de la satisfaction de contraintes (csp). Une telle problematique a ete recemment soulevee en i. A, mais elle trouve egalement ses applications en optimisation combinatoire. Le moyen de traitement mis au point est une simulation d'un jeu-poursuite. La troisieme partie s'attaque a un probleme d'ordonnancement d'un ensemble de processus soumis a des contraintes, entre autres, celles qui portent sur leurs fenetres de temps d'execution. Nous avons mis au point des regles d'inference pour verifier le caractere non antagoniste de ces contraintes. A base de l'ensemble des solutions admissibles obtenu, nous avons defini un ordonnancement favorisant a chaque etape le processus le plus urgent


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 148 P.
  • Annexes : 107 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Clermont Université (Aubière). Section Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Université Blaise Pascal. Département de physique. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : INF33
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.