Nantilus
Automates et programmation par contraintes pour la planification de personnel
Dès lors qu une structure est organisée, la capacité de placer les bonnes personnes au bon moment devient cruciale pour satisfaire les besoins d un service, d une école ou d une entreprise. On définit les problèmes de planification de personnel comme le procédé consistant à construire de manière opt...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Collectivités auteurs : | , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Automates et programmation par contraintes pour la planification de personnel / Julien Menana; sous la direction de Jussien Narendra |
| Publié : |
[S.l.] :
[s.n.]
, 2011 |
| Accès en ligne : |
Accès Nantes Université
|
| Note de thèse : | Thèse de doctorat : Informatique : Nantes : 2011 |
| Sujets : | |
| Documents associés : | Reproduction de:
Automates et programmation par contraintes pour la planification de personnel |
| LEADER | 05140clm a2200445 4500 | ||
|---|---|---|---|
| 001 | PPN163528608 | ||
| 003 | http://www.sudoc.fr/163528608 | ||
| 005 | 20240829055200.0 | ||
| 029 | |a FR |b 2011NANT2074 | ||
| 035 | |a (OCoLC)1247825183 | ||
| 100 | |a 20120820d2011 k y|frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||v 00||| | ||
| 135 | |a |r||||||||||| | ||
| 200 | 1 | |a Automates et programmation par contraintes pour la planification de personnel |b Ressource électronique |f Julien Menana |g sous la direction de Jussien Narendra | |
| 210 | |a [S.l.] |c [s.n.] |d 2011 | ||
| 230 | |a Données textuelles | ||
| 320 | |a Références bibliographiques | ||
| 325 | 1 | |a La thèse papier est la seule version officielle | |
| 328 | |b Thèse de doctorat |c Informatique |e Nantes |d 2011 | ||
| 330 | |a Dès lors qu une structure est organisée, la capacité de placer les bonnes personnes au bon moment devient cruciale pour satisfaire les besoins d un service, d une école ou d une entreprise. On définit les problèmes de planification de personnel comme le procédé consistant à construire de manière optimisée les emplois du temps de travail du personnel. La motivation de cette thèse est de proposer un moyen d exprimer ces problèmes de manière simple et automatique, sans avoir à intervenir ensuite dans le processus de résolution. Pour cela, nous proposons de rassembler le pouvoir de modélisation des automates avec la capacité de la programmation par contraintes à résoudre efficacement des problèmes complexes. Le caractère expressif des automates est ainsi utilisé pour modéliser des règles de séquencement complexes. Puis, afin d intégrer ces automates multi-pondérés dans un modèle de programmation par contraintes, nous introduisons un nouvel algorithme de filtrage basé sur la relaxation lagrangienne : multicost-regular. Nous présentons également une version souple de cette contrainte permettant de pénaliser les violations d une règle modélisée par un tel automate : soft-multicost-regular. Le modèle contraintes basé sur ces contraintes est automatiquement construit. Il est résolu à l aide de la librairie de contraintes CHOCO et a été testé sur des instances réalistes issues des librairies ASAP et NRP10. La recherche de solution est améliorée par l utilisation d heuristiques spécifiques basées sur les regrets et s appuyant sur la structure des contraintes multicost-regular et soft-multicost-regular. | ||
| 330 | |a As soon as a structure is organized, the ability to put the right people at the right time is critical to satisfy the need of a department, a school or a company. We define personnel scheduling problems as the process of building, in an optimized manner, the personnel schedules. The aims of this thesis are to propose a mean to express those problems in a simple and automatic way, avoiding the user to interact with the technical aspects of the resolution. For that matter, we propose to mix the modeling power of automata with the efficiency and modularity of constraint programming for complex problem solving. Thus, we use the expressiveness of the finite multi-valued automata to model complex scheduling rules. Then, to make use of those built automata, we introduce a new filtering algorithm for multi-valued finite automata based on Lagrangian relaxation : multicost-regular.We also introduce a soft version of this constraint that has the ability to penalize violated rules defined by the automaton : soft-multicost-regular.The constraintmodel is automatically built. It is solved using the constraint library CHOCO and the whole modeling-solving process has been tested on realistic instances from ASAP and NRP10 libraries. The solution search is finally improved using specialized regret-based heuristics using the structure of multicost-regular and soft-multicost-regular | ||
| 455 | | | |0 163528497 |t Automates et programmation par contraintes pour la planification de personnel |f Julien Menana |c [S.l.] |n [s.n.] |d 2011 |p 1 vol. (viii-133 f.) | |
| 541 | | | |a Automata and constraint programming for personnel scheduling problems |z eng | |
| 606 | |3 PPN033128804 |a Programmation par contraintes |2 rameau | ||
| 606 | |3 PPN029223377 |a Main-d'oeuvre |x Planification |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a Relaxation lagrangienne |a Soft-multicost-regular |a Multicost-regular |a Automates | |
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN163528330 |a Menana |b Julien |f 1984-.... |4 070 | |
| 701 | 1 | |3 PPN075877341 |a Jussien |b Narendra |f 1973-.... |4 727 | |
| 711 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 985 |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN134103211 |a École doctorale Sciences et technologies de l'information et mathématiques |c Nantes |4 295 |
| 801 | 3 | |a FR |b Abes |c 20230206 |g AFNOR | |
| 856 | 4 | |q PDF |u https://archive.bu.univ-nantes.fr/pollux/show/show?id=ade08494-da34-45ee-a803-d20425d8ccca |2 accès au texte intégral de la thèse | |
| 979 | |a SCI | ||
| 930 | |5 441092104:459796127 |b 441092104 |j g | ||
| 998 | |a 622250 | ||