Skip to Main content Skip to Navigation
Theses

Ordonnancement cumulatif en programmation par contraintes : caractérisation énergétique des raisonnements et solutions robustes

Alban Derrien 1, 2
2 TASC - Theory, Algorithms and Systems for Constraints
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Constraint programming is an approach regularly used to treat a variety of scheduling problems. Cumulative scheduling problems represent a class of problems in which non-preemptive tasks can be performed in parallel. These problems appear in many contexts, such as for example the allocation of virtual machines, the ordering process in the "cloud", personnel management or a port. Many mechanisms have been adapted and offered in constraint programming to solve scheduling problems. The various adaptations have resulted in reasoning that appear a priori significantly different. In this thesis we performed a detailed analysis of the various arguments, offering both a theoretical unified caracterization but also dominance rules, allowing a significant improvement in execution time of algorithms from the state of the art, up to a factor of seven. we also propose a new framework for robust cumulative scheduling, to find solutions that support at any time one or more tasks to be delayed while keeping a satisfactory end date of the project and without calling into question the generated scheduling. In this context, we propose an adaptation of an algorithm of the state of the art, Dynamic Sweep.
Complete list of metadata

Cited literature [50 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01242789
Contributor : Abes Star :  Contact
Submitted on : Monday, December 14, 2015 - 10:03:06 AM
Last modification on : Thursday, March 5, 2020 - 5:48:08 PM
Long-term archiving on: : Tuesday, March 15, 2016 - 11:40:52 AM

File

Derrien_A_11_2015.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01242789, version 1

Citation

Alban Derrien. Ordonnancement cumulatif en programmation par contraintes : caractérisation énergétique des raisonnements et solutions robustes. Intelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2015. Français. ⟨NNT : 2015EMNA0230⟩. ⟨tel-01242789⟩

Share

Metrics

Record views

1083

Files downloads

1033