AccueilChoisir ma formationPar discipline

Programmation mathématique : approfondissement

Code UE : US331S-PAR01

Cours
3 crédits

Responsable(s)

Safia KEDAD SIDHOUM

Objectifs pédagogiques

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.

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.

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...

Intitulé de la formation	Type	Modalité(s)	Lieu(x)
Intitulé de la formation Master Sciences, technologies, santé mention Informatique Parcours Recherche opérationnelle	Type Diplôme national (DEUST, licence, master, doctorat, diplôme d'Etat)	Lieu(x) À la carte	Lieu(x) Paris	Entrée Niveau 6 (Bac+3 et 4)
Intitulé de la formation	Type	Modalité(s)	Lieu(x)