Projet (PROJ)
Responsable
Zacharie Ales (ENSTA Paris)
Intervenants
Zacharie Ales (ENSTA Paris)
Daniel Porumbel (CNAM/CEDRIC/OC)
ECTS
2
Mots clés
Modélisation, résolution exacte et heuristique, implémentation
Prérequis
Bases de programmation mathématique (simplexe, dualité, Branch-and-Bound, etc.)
Objectif
Travailler sur un projet conséquent à résoudre aussi efficacement que possible par des méthodes exactes et heuristiques.
Contenu / Plan
Présentation du projet (Zacharie Alès)
Description de la problématique, de ce qui est attendu et éventuellement cours introductif si le sujet nécessite une notion non connue des étudiants (exemple : robustesse).
TP C++ (Zacharie Ales, Daniel Porumbel)
Utilisation de solveur commercial pour être capable de lire des données, modéliser et résoudre des programmes linéaires en nombres entiers en C++. Utilisation de callbacks.
TP Julia (Zacharie Ales, Daniel Porumbel)
Utilisation de solveur commercial pour être capable de lire des données, modéliser et résoudre des programmes linéaires en nombres entiers en Julia. Utilisation de callbacks.
Rendu de la partie théorique et avancement du projet (Zacharie Ales)
Rendu d'un rapport contenant la modélisation considérée pour l'approche de résolution exacte et le fonctionnement de l'heuristique envisagée.
Avancement du projet (Daniel Porumbel)
Soutenance (Zacharie Ales, Daniel Porumbel)
Présentation du travail effectué, des choix de modélisation considérés et des performances obtenues.
Bibliographie
Conforti, M., Cornuéjols, G., & Zambelli, G. (2014). Integer programming (Vol. 271, pp. 67-70). Berlin: Springer.
Conejo, A. J., Castillo, E., Minguez, R., & Garcia-Bertrand, R. (2006). Decomposition techniques in mathematical programming: engineering and science applications. Springer Science & Business Media.
Compétences visées
Modélisation, résolution exacte et heuristique, implémentation, utilisation de git.
Modalités de contrôle
Rapports et soutenance