Les problèmes d’optimisation discrète sont pour beaucoup difficiles à résoudre, depar leur nature combinatoire. Citons par exemple les problèmes de programmationlinéaire en nombres entiers. Une approche couramment employée pour les résoudreexactement est l’approche de Séparation et Évaluation Progressive. Une approchedifférente appelée « Resolution Search » a été proposée par Chvátal en 1997 pourrésoudre exactement des problèmes d’optimisation à variables 0-1, mais elle restemal connue et n’a été que peu appliquée depuis.Cette thèse tente de remédier à cela, avec un succès partiel. Une première contributionconsiste en la généralisation de Resolution Search à tout problème d’optimisationdiscrète, tout en introduisant de nouveaux concepts et définitions. Ensuite,afin de confirmer l’intérêt de cette approche, nous avons essayé de l’appliquer enpratique pour résoudre efficacement des problèmes bien connus. Bien que notrerecherche n’ait pas abouti sur ce point, elle nous a amené à de nouvelles méthodespour résoudre exactement les problèmes d’affectation généralisée et de localisationsimple. Après avoir présenté ces méthodes, la thèse conclut avec un bilan et desperspectives sur l’application pratique de Resolution Search. / The combinatorial nature of discrete optimization problems often makes them difficultto solve. Consider for instance integer linear programming problems, which arecommonly solved using a Branch-and-Bound approach. An alternative approach,Resolution Search, was proposed by Chvátal in 1997 for solving 0-1 optimizationproblems, but remains little known to this day and as such has seen few practicalapplications.This thesis attempts to remedy this state of affairs, with partial success. Itsfirst contribution consists in the generalization of Resolution Search to any discreteoptimization problem, while introducing new definitions and concepts. Next, wetried to validate this approach by attempting to solve well-known problems efficientlywith it. Although our research did not succeed in this respect, it lead usto new methods for solving the generalized assignment and uncapacitated facilitylocation problems. After presenting these methods, this thesis concludes with asummary of our attempts at practical application of Resolution Search, along withfurther perspectives on this matter.

Les travaux présentés dans ce mémoire s'inscrivent dans le cadre d'un projet de dimension européenne réalisé en partenariat avec l'Agence Spatiale Européenne et EADS Astrium sur le développement d'algorithmes innovants et robustes de diagnostic de pannes pour les véhicules spatiaux. Un cadre méthodologique générique et structuré offrant des paramètres de réglage de haut niveau et couvrant le cycle complet synthèse-analyse est proposé pour formuler et résoudre le problème de diagnostic. En outre, une étude préalable de trimmabilité statique permettant d'identifier et de caractériser des situations défaillantes non déstabilisantes, potentiellement compensables, et pour lesquelles la mise en place d'actions de reconfiguration permettrait de maintenir l'appareil sur sa trajectoire de vol est présentée. Formulé et géré dans un contexte multi-objectifs de type min/max, le problème de synthèse est résolu par utilisation des techniques d'optimisation LMI et fournit d'une part, les filtres de diagnostic et d'autre part, deux matrices d'allocation en charge de faire fusionner de façon optimale les signaux de mesure et de commande disponibles pour former le vecteur de résidus. L'étape d'analyse est effectuée par évaluation de la valeur singulière structurée généralisée mu_g dont les résultats permettent de conclure à la fois sur l'atteinte des objectifs, ou le cas échéant, de fournir des indications sur la manière dont les contraintes et/ou objectifs peuvent être relaxés ou modifiés. La méthodologie proposée est appliquée au diagnostic des pannes d'actionneurs du véhicule de rentrée atmosphérique HL20 lors des phases de dissipation d'énergie en zone terminale et d'atterrissage automatique.

Étude sur les graphes bipartis orientes de Moore montrant que de tels graphes existent, pour certaines valeurs du diamètre, et servent a la construction d'une classe de graphes bipartis orientes, asymptotiquement optimaux. Dans la deuxième partie du travail, quelques notions de coloration des graphes sont présentées. Celles-ci permettent de généraliser certains résultats déjà connus dans le cadre de la coloration habituelle et d'en obtenir d'autres plutôt spécifiques a ces notions. La généralisation de la notion de perfection en b-perfection est proposée ce qui permet l'obtention des graphes triangules représentant la seule classe de graphes b-parfaits

Dans cette thèse, nous étudions quelques problèmes de lubrification par des fluides non-Newtoniens isothermes et non-isothermes, dans un domaine mince $\Omega^{\varepsilon}$ d'épaisseur de l'ordre de ${\varepsilon}$, avec la condition de frottement de Tresca sur le bord inférieur de $\Omega^{\varepsilon}$. Dans le premier chapitre, nous considérons un fluide non-Newtonien isotherme dont la viscosité suit la loi de puissance. Nous montrons l'existence et l'unicité de la solution $(u^{\varepsilon}, p^{\varepsilon})$ en utilisant des résultats abstraits des opérateurs pseudo-monotones. Ensuite, nous étudions le comportement asymptotique des solutions lorsque $\varepsilon \rightarrow 0$. Nous obtenons ainsi un problème limite, et nous montrons l'unicité des ses solutions. Dans le deuxième chapitre, nous étudions le problème dans le cas non-isotherme. Le système obtenu est complexe, fortement non linéaire, couplant l'équation de la conservation de la quantité du mouvement avec l'équation de la chaleur. La difficulté ici est la preuve du théorème donnant l'existence des solutions, ainsi que les estimations a priori sur la température. Dans le troisième chapitre, nous étudions une variante des équations de Navier-Stokes, où le paramètre $\varepsilon $ est présent aussi dans l'équation de la conservation de la quantité du mouvement sous forme d'un nombre de Reynolds $\varepsilon^{\gamma}$ et dans la condition de frottement de Tresca. Nous montrons l'existence et l'unicité de la solution sous des conditions sur $\varepsilon$ et $\gamma$. Par des techniques semblables à celles utilisées dans les chapitres précédents, nous obtenons le résultat de convergence de la solution $(u^{\varepsilon},p^{\varepsilon})$ vers la solution du problème limite et nous montrons l'unicité de sa solution. Dans le dernier chapitre, nous étudions un autre modèle de fluide non-Newtonien, le fluide visco-plastique de Bingham. Nous supposons en plus de la condition de Tresca sur le bord inférieur, une condition de Fourier sur le bord supérieur. Nous suivons le même schéma d'étude que précédement, les difficultés sont techniques et concernent les estimations a priori, surtout la majoration des termes aux bords.

Le travail présenté dans ce mémoire est divisé en deux parties. La première partie est consacrée aux calculs des fonctions d'appui de la Jacobienne généralisée de Clarke et de son enveloppe plénière, associées à une fonction localement lipschtizienne à valeurs vectorielles. Clarke avait établi en 1975 que la fonction d'appui du sous-différentiel généralisé était une dérivée directionnelle généralisée. Il est donc satisfaisant de constater que la fonction d'appui de la Jacobienne généralisée est une sorte de "divergence directionnelle généralisée". Dans la seconde partie, nous présentons un certain nombre d'applications de techniques issues de l'Analyse non lisse à la résolution d'équations de Hamilton-Jacobi du premier ordre. Ainsi nous utilisons la dualité convexe et le calcul sous-différentiel pour prouver que les formules dites de Hopf-Lax définissent des solutions explicites des équations de Hamilton-Jacobi associées (avec données initiales semicontinues inférieurement). Nous n'utilisons ni le fameux principe de comparaison de la théorie des solutions de viscosité ni régularisation. Nous traitons successivement le cas de la dimension finie et de la dimension infinie. Ces résultats nous permettent de trouver des estimations des solutions d'équations dont l'hamiltonien est la différence de deux fonctions convexes. Enfin, nous nous attachons à l'étude des solutions sci dans des espaces de Banach dits ``lisses''. Le théorème de la valeur moyenne de Clarke et Ledyaev nous permet de montrer un résultat d'``enveloppe'' : nous construisons une solution sci pour une équation dont l'hamiltonien est le supremum d'une famille d'hamiltoniens. Nous appliquons enfin les mêmes techniques pour prouver l'existence d'une solution sci minimale sous des hypothèses plus faibles que celles que l'on recontre généralement dans la littérature.

Le thème de nos travaux porte sur la statistique des processus à longue mémoire, pour lesquels nous proposons et validons des outils statistiques issus de l'analyse par ondelettes. Ces dernières années ces méthodes pour estimer le paramètre de mémoire sont devenues très populaires. Cependant, les résultats théoriques validant rigoureusement les estimateurs pour les modèles semi paramétriques classiques à longue mémoire sont récents (cf. les articles de E. Moulines, F. Roueff et M. Taqqu depuis 2007). Les résultats que nous proposons dans cette thèse s'inscrivent directement dans le prolongement de ces travaux. Nous avons proposé une procédure de test pour détecter des ruptures sur la densité spectrale généralisée. Dans le domaine des ondelettes, le test devient un test de ruptures sur la variance des coefficients d'ondelettes. Nous avons ensuite développé un algorithme de calcul rapide de la matrice de covariance des coefficients d'ondelettes. Deux applications de cet algorithme sont proposées , d'une part pour l'estimation de d et d'autre part pour améliorer le test proposé dans le chapitre précédent. Pour finir, nous avons étudié les estimateurs robustes robustes du paramètre de mémoire d dans le domaine des ondelettes. en se basant sur trois estimateurs de la variance des coefficients d'ondelettes à une échelle. La contribution majeure de ce chapitre est le théorème central limite obtenu pour les trois estimateurs de d dans le cadre des processus gaussiens M(d).

Les travaux présentés dans cette thèse concernent le problème d'identification des systèmes à retards et d'une certaine classe de systèmes hybrides appelés systèmes "impulsifs".Dans la première partie, un algorithme d'identification rapide a été proposé pour les systèmes à entrée retardée. Il est basé sur une méthode d'estimation distributionnelle non asymptotique initiée pour les systèmes sans retard. Une telle technique mène à des schémas de réalisation simples, impliquant des intégrateurs, des multiplicateurs et des fonctions continues par morceaux polynomiales ou exponentielles. Dans le but de généraliser cette approche pour les systèmes à retard, trois exemples d'applications ont été étudiées. La deuxième partie a été consacrée à l'identification des systèmes impulsifs. En se basant sur le formalisme des distributions, une procédure d'identification a été élaborée afin d'annihiler les termes singuliers des équations différentielles représentant ces systèmes. Par conséquent, une estimation en ligne des instants de commutations et des paramètres inconnus est prévue indépendamment des lois de commutations. Des simulations numériques d'un pendule simple soumis à des frottements secs illustrent notre méthodologie

Dans cette thèse, nous étudions quelques propriétés dynamiques des solutions de type soliton de quelques équations dispersives nonlinéaires généralisées. La première partie de ce travail est consacrée à l'étude de l'existence, de l'unicité et du comportement global de solitons pour des équations de KdV généralisées, à variation lente. On donnera une description détaillée de la dynamique pour tout temps et on montrera la non-existence de solitons purs, ce qui est une très grande différence avec l'équation gKdV standard. Dans une deuxième partie, on étudiera le cas de l'équation de Schrödinger nonlinéaire. Pour cette équation, nous allons améliorer tous les résultats précédents en donnant une description précise pour tout temps de la dynamique du soliton dans le régime à variation lente. En plus, sous des hypothèses générales, on montrera ce résultat dans le cas 2-D. Finalement, on considère le problème de collision de deux solitons pour l'équation de KdV généralisée. Complétant les résultats récents de Martel et Merle, concernant le cas quartique, nous montrons que la seule possibilité d'avoir une collision de type élastique est donnée par les cas intégrables. La preuve de tous ces résultats sont des développements et des améliorations de la théorie de Martel et Merle pour la collision de deux solitons des équations gKdV sous différents régimes asymptotiques.

Cette thèse concerne l'étude des propriétés linéaires des fibres optiques à bandes interdites photoniques et à coeur solide et l'utilisation de leurs caractéristiques singulières en optique non-linéaire guidée. La partie I est consacrée au calcul des bandes interdites photoniques que présente la gaine microstructurée. Nous avons mis en place un outil numérique de calcul de bandes par la méthode de décomposition en ondes planes en tenant compte de la dispersion des matériaux. Cet outil a été utilisé pour concevoir une fibre permettant la photo-inscription d'un réseau de Bragg. La méthode des perturbations stationnaires est ensuite appliquée pour déterminer les indices effectifs des modes autorisés aux grandes longueurs d'onde et identifier les modes linéairement polarisés vers lesquels ils évoluent. Dans la partie II, l'équation de Schrödinger non-linéaire généralisée est établie. Dans le cas d'une fibre effilée, il apparaît un terme supplémentaire permettant la conservation du nombre de photons. L'expression analytique usuelle du taux d'auto-décalage Raman est étendue au cas des solitons de courte durée jouant un rôle majeur dans le processus de génération de supercontinuum. La partie III est consacrée aux résultats obtenus en régime non-linéaire dans les fibres à bandes interdites photoniques à coeur solide. Nous montrons théoriquement que la forte valeur de la dispersion du troisième ordre est à l'origine de la suppression de l'auto-décalage Raman juste avant le bord de bande et sans pertes significatives. Cette suppression est ensuite utilisée pour limiter l'étendue spectrale et augmenter la stabilité tir-à-tir d'un supercontinuum.

La miniaturisation de plus en plus poussée (micro et nano) des systèmes mécanique connaît un important développement depuis une dizaine d'années. Leur conception et réalisation nécessite une connaissance approfondie des écoulements micro-fluidiques. Dans le domaine énergétique, le rendement d'un moteur thermique se dégrade sérieusement lors d'une réduction d'échelle. En effet, les pertes de chaleur pariétales peuvent devenir aussi importantes que l'énergie libérée. Une voie prometteuse consiste à utiliser les ondes de choc / détonation pour accélérer la libération d'énergie. Dans ce cas, la détonation peut être assimilée à une onde de choc inerte, couplée à une zone de réaction, caractérisée par la présence d'instabilités longitudinales et transverses, soumettant ainsi le front de choc à de violentes accélérations / décélérations. L'objectif de la thèse est de mieux appréhender la structure moyenne de la zone de réaction qui s'étend du choc jusqu'à la surface sonique. Sur le plan de la modélisation numérique, les équations de Navier-Stokes compressibles, multi-espèces, réactives sont résolues au sein du solveur CHOC-WAVES développé au CORIA, avec une thermodynamique variables et des coefficients de transport dépendant des espèces. La condition de Chapman-Jouguet généralisée a été élaborée et confirmée par les résultats de simulations numériques dans le cas d'une détonation multidimensionnelle stable. En particulier, il a été montré que les instabilités transverses s'atténuaient avec la réduction d'échelle. A cet effet, un scénario a été proposé pour expliquer le déficit de la vitesse du front de détonation, en se basant sur la structure de la poche subsonique aval, en corrélation avec l'épanouissement de la couche limite. Ce schéma partage de fortes similitudes avec la macro-détonation, tout en gardant des différences. En particulier, il a été montré que la forte vorticité, produite au niveau de la singularité de Prandtl-Meyer, souvent négligée dans les modèles de macro-détonation, diffusait au sein de la poche subsonique. Ces résultats tout à fait originaux ont permis une avancée significative dans la compréhension du mécanisme de propagation des fronts de détonation stables et confinées.