Méthodes de recherche directe pour l'optimisation stochastique de boîtes noires
Notice bibliographique
Résumé
La réalisation de cette thèse n'aurait pas été possible sans le concours de plusieurs personnes à qui je voudrais témoigner ma profonde gratitude.Je tiens d'abord à remercier les professeurs Sébastien Le Digabel et Michael Kokkolaras pour avoir accepté de m'encadrer tout au long de cette thèse.Qu'ils soient également remerciés pour leur gentillesse, leur disponibilité permanente, leurs connaissances et expériences personnelles qu'ils ont partagées avec moi, leur patience ainsi que leurs précieuses suggestions qui ont largement facilité l'aboutissement de cette longue aventure.Je voudrais particulièrement vous dire un grand merci pour votre confiance.Ce fut un immense plaisir de faire des recherches sous votre supervision.Je voudrais exprimer ma reconnaissance envers le professeur Charles Audet pour la qualité de ses cours qui ont su nourrir mes réflexions et qui m'ont donné des bases nécessaires pour la réalisation des différents projets de cette thèse.Je voudrais sincèrement le remercier pour sa patience et sa disponibilité à répondre à mes innombrables questions.Merci également pour ses suggestions pertinentes et sa précieuse collaboration, qui ont permis de mener à bien le premier projet de cette thèse.Merci également à Hydro-Québec, à Rio-Tinto, au FRQNT et au GERAD pour leur support financier tout au long de la thèse.Merci à Christophe et Viviane pour avoir toujours répondu à toutes mes questions.Merci à tous mes collègues et amis du GERAD, en particulier Dounia, Khalil, Ludovic, Pierre-Yves, Vilmar, Alexis, et surtout Mathieu Tanneau et Christian Bingane, à qui j'ai posé tellement de questions.Un grand merci à mes amis Kwassi Holali Degue, Josette Kuagbenu, Mawunyo K. Dagnon, Joseph Agbavor et surtout Francis Hounkpe pour les multiples discussions et collaborations.Je voudrais également que les professeurs Mylène Maïda et David Dereudre de l'université Lille 1 trouvent ici les sentiments de ma plus profonde gratitude pour leurs encouragements, leurs recommandations et pour m'avoir donné à travers leurs cours de solides bases en probabilité.Un spécial merci à Mme Maïda chez qui j'avais appris tellement de choses durant mon stage de Master 2.Je tiens spécialement à remercier le professeur Yaogan Mensah de l'université de Lomé, pour les solides bases acquises au travers de ses cours.Merci également pour ses recommandations et ses grands efforts avec les professeurs Midzodzi K. Pekpe et Djidula K. Motchon, grâce auxquels j'avais pu intégrer l'université Lille 1. Je tiens également à témoigner toute ma gratitude aux professeurs Edi K. Gagnassi pour ses nombreux soutiens, et Elias Apetogbo grâce à qui j'avais compris pour la toute première fois au Lycée ce que précision et rigueur voulaient dire en mathématiques.Merci à mes chers parents pour leur soutien inconditionnel et pour avoir cru en moi, et un spécial merci à Estelle et Aurore pour m'avoir épaulé chaque jour et poussé vers l'avant.v RÉSUMÉ L'optimisation informatique est omniprésente dans de nombreuses communautés et a suscité un intérêt sans précédent au cours des dernières décennies en raison de l'utilisation croissante des simulations informatiques pour la résolution de problèmes complexes survenant dans une multitude de domaines et plus particulièrement en ingénierie."L'optimisation de boîtes noires", thème majeur de cette thèse, n'émet aucune hypothèse sur l'existence de dérivées des fonctions ciblées et se concentre sur des problèmes où la fonction objectif ainsi que les contraintes sont données par une boîte noire dont les simulations informatiques constituent un exemple typique.Les valeurs exactes de ces fonctions déterministes au moyen desquelles sont modélisés les problèmes couramment rencontrés dans le domaine de l'apprentissage automatique, du traitement du signal, de la médecine ainsi que la biologie etc., ne sont en général pas toujours accessibles numériquement.En effet, elles ne peuvent parfois être obtenues que par le biais d'une boîte noire dont les évaluations sont corrompues par un bruit aléatoire, engendrant ainsi des problèmes d'optimisation stochastique de boîtes noires.Par ailleurs, même si la conception d'algorithmes performants d'optimisation stochastique a suscité un regain d'intérêt ces dernières années, il est à noter que la plupart des méthodes d'optimisation dites sans dérivée utilisent des approximations de gradient, se limitent à des problèmes sans contraintes ou sinon, supposent que ces dernières sont déterministes.Ainsi, les méthodes de recherche directe connues pour leur fiabilité et leur robustesse en pratique s'avèrent plus prometteuses pour les problèmes d'optimisation de boîtes noires.Cependant, force est de constater qu'assez rares sont les travaux portant sur la conception d'algorithmes de recherche directe pour l'optimisation stochastique de boîtes noires, dotés d'une preuve de convergence et surtout en présence de contraintes bruitées aléatoirement.Cette thèse se concentre alors sur la conception ainsi que l'analyse de convergence d'algorithmes de recherche directe pour l'optimisation stochastique de boîtes noires.Le premier projet de la présente thèse introduit une variante stochastique de l'algorithme de recherche directe par treillis adaptatif (MADS) initialement conçu pour l'optimisation de boîtes noires déterministes.La méthode proposée nommée StoMADS considère l'optimisation sans contrainte d'une fonction objectif dont les valeurs ne peuvent être obtenues que via une boîte noire corrompue par un bruit aléatoire de distribution inconnue.Étant donné que les valeurs déterministes exactes de ladite fonction sous-jacente ne sont pas accessibles numériquement, StoMADS fait usage de leurs estimés obtenus à partir d'observations aléatoires.En supposant ces estimés précis avec une probabilité suffisamment grande mais fixe, et de variance satisfaisant une certaine condition, un résultat de convergence de StoMADS a été obtenu grâce au calcul non lisse de Clarke et la théorie des martingales.Des études numériques comparant StoMADS à certains algorithmes disponibles dans le logiciel NOMAD d'op-vi timisation de boîtes noires, ont révélé la méthode proposée très prometteuse pour des applications concrètes.Le second projet généralise le cadre algorithmique de StoMADS en introduisant une large classe d'algorithmes de recherche directe dits de type directionnel, pour l'optimisation stochastique de boîtes noires (SDDS), et qui acceptent de nouveaux itérés en imposant une condition de décroissance suffisante à des estimés satisfaisant les mêmes hypothèses du premier projet.Sous une hypothèse supplémentaire de différentiabilité de la fonction objectif déterministe numériquement inaccessible, le taux de convergence de la méthode proposée a été étudié à l'aide des supermartingales.Quoique ne faisant usage d'aucune information de gradient contrairement à des méthodes existantes telles que la recherche linéaire stochastique ainsi que les algorithmes de région de confiance stochastiques, le taux de convergence de SDDS est similaire à celui des deux dernières méthodes et à celui de la large classe d'algorithmes de recherche directe déterministes de type directionnel qui acceptent également de nouveaux itérés en imposant une condition de décroissance suffisante.Le troisième projet de cette thèse introduit StoMADS-PB, un algorithme d'optimisation stochastique de boîtes noires sous contraintes.StoMADS-PB est une variante stochastique de l'algorithme MADS utilisant une approche de barrière progressive (PB) pour la gestion des contraintes, initialement conçu pour l'optimisation de boîtes noires déterministes sous contraintes générales.Similairement à Sto-MADS, les valeurs de la fonction objectif et des contraintes sont accessibles uniquement via une boîte noire bruitée aléatoirement.Ainsi, StoMADS-PB utilise également des estimés et par ailleurs, traite les contraintes en regroupant leurs violations en une seule fonction de violation de contrainte.Sous l'hypothèse que ces estimés sont précis et fiables avec des probabilités suffisamment grandes mais fixes, des résultats de convergence de la méthode vers des points stationnaires au sens de la dérivée généralisée de Clarke des fonctions objectif et de violation, ont été obtenus grâce à la théorie des martingales.Enfin, des expériences numériques menées sur 126 variantes stochastiques de 42 problèmes sous contraintes tirés de la littérature ont démontré l'efficacité de StoMADS-PB par rapport à MADS avec PB pour l'optimisation stochastique de boîtes noires.vii
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction machine sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Le volet Gemma est une étiquette directe du modèle pour chaque travail de la base, lue sur la notice réduite au titre. Le volet Codex est un classifieur appris des 10 348 étiquettes directes de Codex et calibré sur les taux pondérés de l'échantillon; les champs sans appui suffisant ne portent aucun appel Codex. Le mode candidate est l'union des deux volets; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont pas des étiquettes humaines.
Scores du classifieur distillé par catégorie (deux têtes)
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,005 | 0,012 |
| Méta-épidémiologie (sens strict) | 0,003 | 0,001 |
| Méta-épidémiologie (sens large) | 0,002 | 0,002 |
| Bibliométrie | 0,002 | 0,001 |
| Études des sciences et des technologies | 0,001 | 0,002 |
| Communication savante | 0,002 | 0,001 |
| Science ouverte | 0,002 | 0,002 |
| Intégrité de la recherche | 0,004 | 0,004 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,024 | 0,011 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule source (Gemma direct ou Codex distillé), pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».