Programmation mathématique : approfondissement
3 crédits Safia KEDAD SIDHOUM EPN05 - Informatique Unité spécifique de type cours
Publié Du 01-09-2011 au 31-08-2024
Approfondissements de l'UE de programmation mathématique du tronc commun. En particulier, modélisations et applications des méthodes non-linéaires à l'optimisation combinatoire.
L'unité US331S apparaît dans 1 cursus.
Les contenus de ce cours sont : méthodes de modélisation avancées (modélisation d'un point fixe, modélisation par flots, modélisation disjonctive, etc.), reformulations en programmation mathématique (reformulations exactes, narrowings, relaxations, approximations), méthodes de solution exactes (spatial Branch and Bound) et heuristiques (Variable Neighbourhood Search) d'optimisation globale pour des problèmes non-linéaires à variables mixtes. Variantes et approches semi-définies (semi-définie de moindres carrés, relaxations copositives), liens et utilisation de la programmation semi-définie en conjonction avec d'autres approches (Lagrangiennes, quadratique convexe), application de la SDP en pratique. On appliquera les résultats théoriques à une selection de problèmes applicatifs, comme par exemple la détection automatique de bugs dans des codes écrits en C, la dynamique des réseaux génomiques, le problème du kissing number. Le cours aura une partie pratique d'implémentation utilisant le langage de programmation mathématique AMPL.