Contributions au domaine de l'optimisation (globale) non linéaire

par Mina Ouabiba

Thèse de doctorat en Informatique

Sous la direction de Frédéric Benhamou et de Laurent Granvilliers.

Soutenue en 2005

à l'Université de Nantes .


  • Pas de résumé disponible.


  • Résumé

    Cette thèse aborde la résolution de problèmes d'optimisation sous contraintes et systèmes de contraintes non linéaires sur les réels. Dans un premier temps, nous sommes intéressés à l'optimisation de problèmes dont les données sont connues de façon implicite (résultats d'une simulation informatique), en particulier, dans le cas des systèmes à événements discrets. Les contraintes de la simulation nécessitent de choisir judicieusement les méthodes d'optimisation adaptées à cette démarche de simulation-optimisation. Il est nécessaire d'utiliser des méthodes d'optimisation itératives où la fonction objectif est calculée point par point. Cette étude a donné naissance à l’environnement SimOpt qui consiste à coopérer entre un environnement de simulation et un environnement d’optimisation mathématique constitué d’un ensemble de méthodes d’analyse numérique et de recherche opérationnelle. Ensuite, Nous avons étudié les problèmes d'optimisation globale non linéaires continus basés sur la satisfaction de contraintes et l'arithmétique des intervalles. Dans ce cas, le résultat du calcul est un intervalle qui contient les solutions. Notre contribution consiste d'abord à classifier les techniques de résolution et établir les différentes relations de décomposition et transformation d'un problème d'optimisation dans un processus de résolution. Finalement, la dernière partie est consacrée à la résolution de systèmes de contraintes non linéaires. Nous avons proposé une méthode basée sur une approche symbolique numérique qui permet de limiter le problème de localité des raisonnements dans le processus de résolution basé sur les techniques de consistance locale.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (IV-143 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 127-138

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 2005 NANT 2019
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.