Modélisation et propagation de contraintes temporelles pour la planification

par Jean-François Rit

Thèse de doctorat en Informatique

Sous la direction de Jean-Claude Latombe et de Gérard Veillon.

Soutenue en 1988

à Grenoble, INPG .


  • Pas de résumé disponible.

  • Titre traduit

    Modelling and propagating temporal constraints for scheduling


  • Résumé

    La définition et la résolution d'un problème d'occurrences contraintes sont abordées. Celui-ci est pose en considérant un graphe dont les nœuds sont des domaines d'occurrences possibles et les arcs des relations temporelles symboliques entre intervalles et disjonctives. Résoudre le problème c'est éliminer, en réduisant les domaines, les occurrences rendues impossibles par les contraintes relationnelles. Ceci peut être fait partiellement au moyen d'un algorithme de propagation de contraintes, dit de dérivation locale

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 129 f
  • Annexes : Bibliogr. p. 126-129

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 88/INPG/0023
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1988-RIT

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : MF 88 INPG Rit
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.