La modélisation multi-échelle des matériaux hétérogènes est un challenge en mécanique numérique. Dans le contexte non linéaire, les propriétés effectives des matériaux hétérogènes ne peuvent pas être obtenues par les techniques utilisées pour les milieux linéaires car le principe de superposition n'est plus valable. Ainsi, dans le contexte des éléments finis, une alternative au maillage de l'ensemble de la structure avec la prise en compte de toutes les hétérogénéités, est l'utilisation de la méthode d'éléments finis multi-échelles (EF2). Les techniques de ce type offrent de nombreux avantages, tels que la prise en compte : des grandes déformations au niveau micro et macro sont souvent résolus par les procédures classiques de Newton-Raphson, qui sont généralement adaptées à la résolution des problèmes non linéaires mais qui présentent des difficultés en présence d'instabilités. Dans cette thèse, la combinaison de la méthode des éléments finis multi-échelles (EF2) et la méthode asymptotique numérique (MAN), surnommée MAN multi-échelle, permet de mettre en œuvre une technique numérique efficace pour traiter les problèmes d'instabilités dans le cadre des matériaux hétérogènes. Ces instabilités peuvent survenir à la fois au niveau micro et au niveau macro. Différentes classes de comportement des matériaux ont été implantées dans notre procédure. Pour améliorer le conditionnement du problème multi-échelle à résoudre, une technique d'homogénéisation du second ordre a été également adaptée dans le cadre de la technique MAN multi-échelle. Par ailleurs, afin de réduire le temps de calcul, quelques techniques ont été proposées dans ce travail / The multiscale modelling of the heterogeneous materials is a challenge in computational mechanics. In the nonlinear case, the effective properties of heterogeneous materials cannot be obtained by the techniques used for linear media because the superposition principle is no longer valid. Hence, in the context of the finite element method, an alternative to mesh the whole structure, including all heterogeneities, is the use of the multiscale finite element method (FE2). These techniques have many advantages, such as taking into account : large deformations at the micro and macro scales, the nonlinear constitutive behaviors of the material, and microstructure evolution. The nonlinear problems in micro and macro scales are often solved by the classical Newton-Raphson procedures, which are generally suitable for solving nonlinear problems but have difficulties in the presence of instabilities. In this thesis, the combination of the multiscale finite element method (FE2) and the asymptotic numerical method (ANM), called Multiscale-ANM, allows one to obtain a numerical effective technique for dealing with the instability problems in the context of heterogeneous materials. These instabilities can occur at both micro and macro levels. Different classes of material constitutive relation have been implemented within our procedure. To improve the multiscale problem conditioning, a second order homogenization technique was also adapted in the framework of Multiscale-ANM technique. Furthermore, to reduce the computational time, some techniques been proposed in this work

Cette thèse s'inscrit dans la théorie de l'intégration par régularisation de Russo et Vallois. La première partie est consacrée à l'approximation du temps local des semi-martingales continues. Si X est une diffusion réversible, on montre la convergence d'un premier schéma d'approximation vers le temps local de X, en probabilité uniformément sur les compacts. De ce premier schéma, on tire deux autres schémas d'approximation du temps local, l'un valable pour les semi-martingales continues, l'autre pour le mouvement Brownien standard. Dans le cas du mouvement Brownien, une vitesse de convergence dans L^2(Omega) et un résultat de convergence presque sûre sont établis. La deuxième partie de la thèse est consacrée à l'intégrale "forward" et à la variation quadratique généralisée, définies par des limites en probabilité de famille d'intégrales. Dans le cas Höldérien, la convergence presque sûre est établie. Enfin, on montre la convergence au second ordre pour une série de processus particuliers. / The setting of this work is the integration by regularization of Russo and Vallois. The first part studies schemes of approximation of the local time of continuous semimartingales. If X is a reversible diffusion, the convergence of a first schema of approximation to the local time of X is proven, in probability uniformly on the compact sets. From this first schema, two other schemas of approximation for the local time are found. One converges in the semi-martingale case, the other in the Brownian case. Moreover, in the Brownian case, we estimate the rate of convergence in L^2(Omega) and a result of almost sure convergence is proven. The second part study the forward integral and the generalized quadratic variation, which have been defined by convergence of families of integrals, in probability uniformly on the compacts sets. In the case of Hölder processes, the almost sure convergence is proven. Finally, the second order convergence is studied in many cases.

Les automates distribués sont des machines à états finis qui opèrent sur des graphes orientés finis. Fonctionnant comme des algorithmes distribués synchrones, ils utilisent leur graphe d'entrée comme un réseau dans lequel des processeurs identiques communiquent entre eux pendant un certain nombre (éventuellement infini) de rondes synchrones. Pour la variante locale de ces automates, où le nombre de rondes est borné par une constante, Hella et al. (2012, 2015) ont établi une caractérisation logique par des formules de la logique modale de base. Dans le cadre de cette thèse, nous présentons des caractérisations logiques similaires pour deux classes d'automates distribués plus expressives.La première classe étend les automates locaux avec une condition d'acceptation globale et la capacité d'alterner entre des modes de calcul non-déterministes et parallèles. Nous montrons qu'elle est équivalente à la logique monadique du second ordre sur les graphes.En nous restreignant à des transitions non-déterministes ou déterministes, nous obtenons également deux variantes d'automates strictement plus faibles pour lesquelles le problème du vide est décidable.Notre seconde classe adapte la notion standard d'algorithme asynchrone au cadre des automates distribués non-locaux. Les machines résultantes sont prouvées équivalentes à un petit fragment de la logique de point fixe, et plus précisément, à une variante restreinte du μ-calcul modal qui autorise les plus petits points fixes mais interdit les plus grands points fixes. Profitant du lien avec la logique, nous montrons aussi que la puissance expressive de ces automates asynchrones est indépendante du fait que des messages puissent être perdus ou non.Nous étudions ensuite la décidabilité du problème du vide pour plusieurs classes d'automates non-locaux. Nous montrons que le problème est indécidable en général, en simulant une machine de Turing par un automate distribué qui échange les rôles de l'espace et du temps. En revanche, le problème s'avère décidable en LOGSPACE pour une classe d'automates oublieux, où les nœuds voient les messages reçus de leurs voisins, mais ne se souviennent pas de leur propre état. Finalement, à titre de contribution mineure, nous donnons également de nouvelles preuves de séparation pour plusieurs hiérarchies d'alternance de quantificateurs basées sur la logique modale. / Distributed automata are finite-state machines that operate on finitedirected graphs. Acting as synchronous distributed algorithms, they use their input graph as a network in which identical processors communicate for a possibly infinite number of synchronous rounds. For the local variant of those automata, where the number of rounds is bounded by a constant, Hella et al. (2012, 2015) have established a logical characterization in terms of basic modal logic. In this thesis, we provide similar logical characterizations for two more expressive classes of distributed automata.The first class extends local automata with a global acceptance condition and the ability to alternate between non deterministic and parallel computations. We show that it is equivalent to monadic second-order logic on graphs. By restricting transitions to be non deterministic or deterministic, we also obtain two strictly weaker variants for which the emptiness problem is decidable.Our second class transfers the standard notion of asynchronous algorithm to the setting of non local distributed automata. There sulting machines are shown to be equivalent to a small fragment of least fixpoint logic, and more specifically, to a restricted variantof the modal μ -calculus that allows least fixpoints but forbids greatest fixpoints. Exploiting the connection with logic, we additionally prove that the expressive power of those asynchronous automata is independent of whether or not messages can be lost.We then investigate the decidability of the emptiness problem forseveral classes of nonlocal automata. We show that the problem isundecidable in general, by simulating a Turing machine with adistributed automaton that exchanges the roles of space and time. Onthe other hand, the problem is found to be decidable in logspace for a class of forgetful automata, where the nodes see the messages received from their neighbors but cannot remember their own state. As a minor contribution, we also give new proofs of the strictness of several set quantifier alternation hierarchies that are based on modallogic.

L'objectif principal de cette thèse est d'étudier quelques problèmes de mathématiques financières dans un marché incomplet avec incertitude sur les modèles. Récemment, la théorie des équations différentielles stochastiques rétrogrades du second ordre (2EDSRs) a été développée par Soner, Touzi et Zhang sur ce sujet. Dans cette thèse, nous adoptons leur point de vue. Cette thèse contient quatre parties dans le domain des 2EDSRs. Nous commençons par généraliser la théorie des 2EDSRs initialement introduite dans le cas de générateurs lipschitziens continus à celui de générateurs à croissance quadratique. Cette nouvelle classe des 2EDSRs nous permettra ensuite d'étudier le problème de maximisation d'utilité robuste dans les modèles non-dominés. Dans la deuxième partie, nous étudions ce problème pour trois fonctions d'utilité.Dans chaque cas, nous donnons une caractérisation de la fonction valeur et d'une stratégie d'investissement optimale via la solution d'une 2EDSR. Dans la troisième partie, nous fournissons également une théorie d'existence et unicité pour des EDSRs réfléchies du second ordre avec obstacles inférieurs et générateurs lipschitziens, nous appliquons ensuite ce résultat à l'étude du problème de valorisation des options américaines dans un modèle financier à volatilité incertaine. Dans la quatrième partie, nous étudions des 2EDSRs avec sauts. En particulier, nous prouvons l'existence d'une unique solution dans un espace approprié. Comme application de ces résultats, nous étudions un problème de maximisation d'utilité exponentielle robuste avec incertitude sur les modèles. L'incertitude affecte à la fois le processus de volatilité, mais également la mesure des sauts.

Le présent manuscrit constitue la partie écrite du travail de thèse réalisé par Bruno Mery sous la direction de Christian Bassac et Christian Retoré entre 2006 et 2011, portant sur le sujet "Modélisation de la sémantique lexicale dans la théorie des types". Il s'agit d'une thèse d'informatique s'inscrivant dans le domaine du traitement automatique des langues, et visant à apporter un cadre formel pour la prise en compte, lors de l'analyse sémantique de la phrase, d'informations apportées par chacun des mots.Après avoir situé le sujet, cette thèse examine les nombreux travaux l'ayant précédée et s'inscrit dans la tradition du lexique génératif. Elle présente des exemples de phénomènes à traiter, et donne une proposition de système de calcul fondée sur la logique du second ordre. Elle examine ensuite la validité de cette proposition par rapport aux exemples et aux autres approches déjà formalisées, et relate une implémentation de ce système. Enfin, elle propose une brève discussion des sujets restant en suspens. / This paper is part of the thesis by Bruno Mery advised by Christian Bassac and Christian Retore in the years 2006-2011, on the topic "Modelling lexical semantics in a type-theoretic framework''. It is a doctoral thesis in computer science, in the area of natural language processing, aiming to bring forth a formal framework that takes into account, in the parsing of the semantics of a sentence, of lexical data.After a discussion of the topic, this thesis reviews the many works perceding it and adopts the tradition of the generative lexicon. It presents samples of data to account for, and gives a proposal for a calculus system based upon a second-order logic. It afterwards reviews the validity of this proposal, coming back to the data samples and the other formal approaches, and gives an implementation of that system. At last, it engages in a short discussion of the remaining questions.

Les équipes ressources régionales de soins palliatifs pédiatriques ont été créées en France, en 2010 dans le cadre d’une politique nationale de développement des soins palliatifs. Mon travail présente un concept aux fondements éthiques appelé « care de second ordre ».Ces équipes, dont la mission est l’intégration de la démarche palliative dans la pratique de tout professionnel de santé, sont particulièrement dédiées aux professionnels de santé. En effet, les professionnels de ces équipes de care de second ordre, doivent assurer conseil et soutien aux professionnels de care de premier ordre ayant la charge d’un patient en situation palliative. Or la pratique quotidienne de ce care de second ordre révèle des tensions éthiques entre le principe de justice qui sous-tend la création de ces équipes (tous les patients qui le nécessitent doivent avoir accès à des soins palliatifs) et les éthiques du care (l’importance de la singularité des situations). Pour résoudre ces tensions éthiques, nous avons utilisé une méthodologie qualitative appelée objectivation participante.Le care de second ordre suppose une pratique éthique, faite d’attitudes et d’activités qui s’acquièrent par un mouvement volontaire de la pensée. Avec l’aide de l’empathie inductive, le care de second ordre doit avoir pour visée éthique l’autonomisation du professionnel de care de premier ordre dans l’identification et la prise en charge de ses propres besoins. Grâce à la narration des histoires cliniques, le care de second ordre doit ajuster les temporalités en jeu, celles du patient, celles de ses proches et celles des professionnels de care de premier ordre. In fine, ce care de second ordre implique un changement majeur de paradigme : la considération de notre interdépendance en lieu et place de notre semblant d’autonomie. Ce concept de care de second ordre, a priori extrapolable aux équipes ayant les mêmes missions, contribue à la réflexion nécessaire sur la modernisation de notre système de santé. / Following the French national strategy to develop palliative care promulgated in 2010, several regional pediatric palliative care teams have been implemented nationwide. Our work will present a fundamental ethical concept, which we call “second order care”.The primary mission of these teams is to integrate a palliative approach in all areas of health care, and they are especially dedicated to assisting health care professionals. For “second order care teams”, this entails advising and supporting “first order care teams” who directly provide for patients in palliative care. However, the daily practice of these second order care teams reveals underlying ethical tensions between the principle of justice which created these teams initially (palliative care must be available to all patients in need of such care) and the ethics of care (importance placed upon the singularity of each situation). In order to resolve these ethical tensions, we used a qualitative methodology known as “participant objectivation”.Second order care implies an ethical practice combining one’s disposition, outlook and activities, which are acquired by voluntary thought movements. The ethical aim of second order carers, with the help of inductive empathy, must be to assist first order carers in being autonomous in identifying and managing their own needs. Using clinical narratives, the second order team must adapt and harmonize the different temporalities in play: that of the patient, of their family and of the first order care team. Ultimately, second order care implies a major paradigm shift: to consider our inter-dependence in place of an illusionary autonomy. The concept of second order care, which can be extrapolated to other teams with identical missions, is a necessary contribution when considering the modernization of our health care system.

L'objet de cette thèse est l'amélioration d'un dispositif expérimental existant en vue d'une mesure absolue de la fréquence de la transition 1S-3S dans l'atome d'hydrogène au kilohertz près.<br />Le premier chapitre de ce manuscrit commence par quelques rappels sommaires sur le calcul des niveaux d'énergie de l'atome d'hydrogène. Il se poursuit par la description de quelques expériences de spectroscopie de cet atome et par un bilan des déterminations actuelles de la constante de Rydberg et du déplacement de Lamb du niveau fondamental de l'atome d'hydrogène. Enfin, les motivations qui ont conduit à l'étude de la transition 1S-3S sont détaillées, ainsi que le schéma général de cette expérience.<br />La description du montage expérimental est scindée entre les deuxième et troisième chapitre. Plus particulièrement, le chapitre 2 détaille les parties de l'expérience permettant de générer la radiation à 205 nm, nécessaire à l'excitation de la transition 1S-3S à deux-photons. Ainsi ce chapitre contient la description du laser titane-saphir, de ses asservissements et celle des deux cavités de doublage de fréquence. On y voit le rôle déterminant du second doublage de fréquence et les problèmes dus à un effet photoréfractif limitants pour cette expérience.<br />Le troisième chapitre est consacré à la partie de l'expérience relative à l'observation du signal atomique, de sa détection et de son traitement tant électronique qu'informatique. <br />Le quatrième chapitre regroupe les calculs et les mesures qui ont permis une première détermination du décalage Doppler du second ordre sur cette expérience. Les effets d'un champ magnétique appliqué et du champ électrique motionnel induit y sont détaillés, ainsi que les calculs relatifs à l'influence de ces effets sur la fluorescence à 656 nm (3S-2P) que nous détectons. Enfin, la mesure de la distribution de vitesse et la détermination expérimentale du décalage Doppler au second ordre sont commentées.<br />Pour finir, le dernier chapitre de ce manuscrit aborde la mesure absolue de fréquence. On estime l'incertitude potentielle dans l'état actuel de l'expérience à environ 10 kHz. Les possibilités d'amélioration sont également regroupées dans ce chapitre.

Le travail mené dans cette thèse porte sur l'étude "à posteriori" de l'assimilation variationnelle de données. Il s'agit d'une démarche de faisabilité pour la mise au point des outils permettant de faire une analyse diagnostique (qualitative et quantitative) du processus d'assimilation variationnelle, notamment en ce qui concerne l'influence du bruit des observations sur le processus d'assimilation ainsi que sa propagation sur les champs reconstitués (nous sommes alors amenés à faire une étude de sensibilité), et l'influence de la configuration spatio-temporelle des observations sur le processus d'assimilation. L'application usuelle des équations adjointes pour l'analyse de sensibilité est revisée, car dans le contexte de l'assimilation variationnelle, nous avons montré par un exemple simple qu'il faut s'y prendre différemment. Nous proposons alors une méthode pour mener correctement cette analyse de sensibilité. Cette méthode est basée sur l'utilisation des équations adjointes au second ordre, obtenues en prenant l'adjoint du système d'optimalité. La sensibilité en est déduite par inversion du Hessien de la fonction coût via la minimisation d'une fonctionnelle quadratique. L'application est faite sur un modèle de circulation générale océanique de type quasi-géostrophique, et nous faisons aussi l'étude de l'existence et l'unicité de la solution de l'équation adjointe au second ordre du modèle considéré, pour justifier l'utilisation du Hessien et l'applicabilité de notre méthode. Nous étudions aussi l'influence de la configuration spatio-temporelle des observations sur le processus d'assimilation au travers du Hessien (à l'optimum) dont les éléments propres varient lorsqu'on fait varier la configuration. Enfin, nous étudions la prédicibilité du système d'optimalité.

La première partie de cette thèse (articles 1 et 2) est consacrée à l'étude du comportement asymptotique des solutions de dynamiques du second ordre avec dissipation evanescente. La deuxième partie de cette thése (articles 3 à 6) est consacrée à l'étude de plusieurs algorithmes de type proximal. Nous montrons que ces algorithmes convergent vers des solutions de certains problèmes de minimisation. Dans chaque cas, une application est donnée dans le cadre de la décomposition de domaine pour les EDP.

Le présent manuscrit constitue la partie écrite du travail de thèse réalisé par Bruno Mery sous la direction de Christian Bassac et Christian Retoré entre 2006 et 2011, portant sur le sujet "Modélisation de la sémantique lexicale dans la théorie des types". Il s'agit d'une thèse d'informatique s'inscrivant dans le domaine du traitement automatique des langues, et visant à apporter un cadre formel pour la prise en compte, lors de l'analyse sémantique de la phrase, d'informations apportées par chacun des mots. Après avoir situé le sujet, cette thèse examine les nombreux travaux l'ayant précédée et s'inscrit dans la tradition du lexique génératif. Elle présente des exemples de phénomènes à traiter, et donne une proposition de système de calcul fondée sur la logique du second ordre. Elle examine ensuite la validité de cette proposition par rapport aux exemples et aux autres approches déjà formalisées, et relate une implémentation de ce système. Enfin, elle propose une brève discussion des sujets restant en suspens.