Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+
| Autor: | Benedetti, Marco, Lallouet, Arnaud, Vautard, Jeremie |
|---|---|
| Přispěvatelé: | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Ecole Nationale Supérieure d'Ingénieurs de Bourges-Université d'Orléans (UO), LINA - Université de Nantes - Ecole des Mines de Nantes, Gilles Trombettoni, Session 09 : applications (Youssef Hamadi), Inria Sophia Antipolis-Méditerranée / I3s, Service Ist |
| Jazyk: | francouzština |
| Rok vydání: | 2008 |
| Předmět: | |
| Zdroj: | JFPC 2008-Quatrièmes Journées Francophones de Programmation par Contraintes 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 |
| Popis: | National audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|