Membres du jury
Claude-Guy Quimper, Ph.D. (Directeur de recherche)
Département d’informatique et de génie logiciel
Pascal Tesson, Ph.D. (Examinateur)
Département d’informatique et de génie logiciel
Pascal Germain, Ph.D. (Examinateur)
Département d’informatique et de génie logiciel
Résumé
Le problème d’ordonnancer des tâches dans le temps en respectant certaines contraintes est un défi auquel se confrontent presque toutes les organisations. La programmation par contraintes est une solution toute indiquée pour résoudre ce type de problèmes. En plus de disposer d’outils spécifiques pour résoudre un problème d’ordonnancement, elle permet de modéliser facilement des contraintes supplémentaires.
Cette proposition de projet de doctorat offrira une introduction à la programmation par contraintes et aux techniques utilisées pour résoudre les problèmes d’ordonnancement, notamment les algorithmes de filtrage de la contrainte Cumulative et la génération d’explications. Les trois principaux objectifs du doctorat seront également présentés. Le premier objectif est d’améliorer l’efficacité de l’algorithme de filtrage du raisonnement énergétique. Le deuxième objectif vise à adapter cet algorithme à la technique de génération d’explications. Le troisième objectif est de concevoir un nouvel algorithme de filtrage permettant de filtrer les temps de traitement des tâches.
Bienvenue à tous!
