Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+ - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+

Résumé

Dans ce papier, nous considérons les problèmes d'ordonnancement à ressources cumulatives en présence d'un adversaire. Il s'agit pour l'ordonnanceur de gérer les ressources disponibles de façon à rester en deçà d'une date limite, tandis qu'un adversaire peut modifier certains paramètres - comme par exemple la consommation en ressources de certaines tâches - dans une limite donnée. La question est donc de savoir s'il existe un ordonnancement robuste, c'est à dire dont le déroulement est garanti, quelque soit le comportement de l'adversaire. Nous proposons une modélisation de ce problème en QCSP+, un formalisme voisin des problèmes de satisfaction de contraintes quantifiées dans lequel la quantification peut être restreinte. Nous présentons la résolution de différentes instances au moyen du solveur QeCode.
Fichier principal
Vignette du fichier
pages-087-94-article53.pdf (346.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00290945 , version 1 (26-06-2008)

Identifiants

  • HAL Id : inria-00290945 , version 1

Citer

Marco Benedetti, Arnaud Lallouet, Jeremie Vautard. Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.87-94. ⟨inria-00290945⟩
86 Consultations
86 Téléchargements

Partager

Gmail Facebook X LinkedIn More