Cette thèse porte sur la recherche d'une réponse au problème de prise en compte d'un cahier des charges génériques par une approche de synthèse par optimisation non linéaire. Étant donnés un processus et un ensemble de spécifications (en général de natures très diverses) sur le comportement souhaité pour le système bouclé, peut-on développer une formulation générique qui permet via des algorithmes d'optimisation adaptées, de répondre aux spécifications du cahier des charges ? Dans notre problématique, nous nous intéresseront à l'efficacité de la mise en œuvre :<br />• Efficacité des méthodes tant dans le choix de la formulation ; type de formulation des critères et des contraintes, que dans le choix des algorithmes.<br />• Adaptation ou création d'algorithmes spécifiques.<br />• Et surtout, prise en compte des régularités des problèmes pour obtenir des méthodes efficaces et faciles à mettre en œuvre.<br />Ce travail de recherche se propose d'étudier ces problématiques dans le prolongement des travaux portant sur les formulations convexes en utilisant différentes méthodes de l'optimisation non linéaire avec prise en compte de l'information a priori : correcteur initial intelligent, utilisation de changement de paramètres pour le conditionnement (tenant compte des comportements attendus pour la solution), hiérarchisation du problème global en sous problèmes présentant des qualités de résolutions supérieures
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00352962 |
| Date | 16 July 2008 |
| Creators | Lassami, Bilal |
| Publisher | Université Paris Sud - Paris XI |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0091 seconds