La présence de l’hélium induite par le fonctionnement des futurs réacteurs à neutrons rapides et à fusion dans les matériaux de cœur peut entrainer une dégradation de leurs propriétés mécaniques (durcissement, gonflement, fragilisation). Pour poursuivre le développement des alliages de structure, il est nécessaire d’acquérir une meilleure compréhension de l’interaction entre l’He et les structures métalliques donc le point en commun est de comporter comme métal de base un élément de cristallographie cubique centrée (CC), notamment le fer et le vanadium.L’implantation ionique d’ions 4He a été utilisée pour simuler les effets d’endommagement liés à l’insertion d’He, la création des défauts ponctuels (lacunes, interstitiels) et la formation des amas hélium-lacunes dans les futurs réacteurs. L’évolution du comportement de l’He dans le fer et le vanadium purs a été mise en évidence tant du point de vue de la nature des sites de piégeage que du point de vue des mécanismes de migration de l’He et de germination et croissance de bulles associés, en s'appuyant sur un couplage original de techniques. Les résultats obtenus mettent en avant une différence de comportement entre les deux métaux CC, bien que certains mécanismes impliqués soient similaires. Les défauts microstructuraux, notamment les joints de grains, et la concentration d’He implantée (fluence) joueront des rôles clés sur le comportement de l’He à haute température.Les données expérimentales acquises couplées avec des méthodes de simulation serviront de point de départ pour développer une approche cinétique et thermodynamique du comportement de l’He dans les éléments constitutifs des alliages d’intérêt nucléaire. / The presence of helium produced during the operation of future fast reactors and fusion reactors in core structural materials induces a deterioration of their mechanical properties (hardening, swelling, embrittlement).In order to pursue the development of the metallic structural alloys, it is necessary to comprehend the He interaction with the metal lattice thus the point in common is the study of the metallic components with body-centered cubic structure (bcc) of future alloys, such as iron and/or vanadium.Ion implantation of ions 4He was employed with the aim of simulating the damaging effects associated with the helium accumulation, the point defects’ creation (vacancies, self-interstitials) and the He cluster formation in future reactors. Helium evolution in pure iron and pure vanadium has been revealed from the point of view of the trapping sites’ nature and well as the helium migration mechanisms and the nucleation/growth of bubbles. These phenomena were studied by coupling different complementary techniques. Despite of the fact that some mechanisms involved seem to be similar for both bcc metals, the comparison between the helium behavior in iron and vanadium shows certain differences. Microstructural defects, including grain boundaries and implanted helium concentration (dose) in both bcc metals will play significant roles on the helium behavior at high temperature.The acquired experimental data coupled with simulation methods contribute to the future development in terms of kinetic and thermodynamic data management of helium behavior in the metal components of the alloys of nuclear interest.

L'objet de cette thèse est l'étude de deux équations des ondes semi-linéaires présentant une non-linéarité de type cubique : <br /><br />(NLCR) \Box u =2\, u^3,<br /><br />et<br /><br />(NLCC)\Box u +\alpha \,\frac(\pa u)(\pa z)=2\, u|u|^2+\beta \,u,<br /><br />où $\alpha\in i\,\R$ et $\beta \in \R$.<br /> <br />On prouve d'abord, en s'appuyant sur les techniques de réduction Fuchsienne développées par S.~Kichenassamy et al., l'existence, pour plusieurs classes d'hypersurfaces de genre espace de $\R\times \R^n$ assez régulières, de solutions explosant exactement sur la surface considérée. Par ailleurs, l'aspect constructif des méthodes nous offre de nombreuses informations sur la forme de ces solutions au voisinage de leur surface d'explosion.<br /><br />La suite est consacrée à diverses applications des connaissances acquises : on exploite notamment celles concernant le comportement des solutions près de leur lieu d'explosion, pour répondre partiellement à trois questions:<br /> i) Comment se comporte, près de la surface d'explosion, une intégrale particulière construite sur le modèle de l'``intégrale d'énergie'' canoniquement associée avec l'équation (NLCR) ?<br /> ii) Dans quels espaces de type $L^p$, les solutions de l'équation (NLCR) --éventuellement un peu perturbée-- peuvent-elles exploser ou pas?<br /> iii) Dans quelle mesure peut-on mettre en oeuvre une étude numérique complète de l'équation (NLCR), prenant en compte les difficultés inhérentes à l'explosion ?

La théorie de l'homologie formalise la notion de trou dans un espace. Pour un sous-ensemble de l'espace Euclidien, on définit une séquence de groupes d'homologie, dont leurs rangs sont interprétés comme le nombre de trous de chaque dimension. Ces groupes sont calculables quand l'espace est décrit d'une façon combinatoire, comme c'est le cas pour les complexes simpliciaux ou cubiques. À partir d'un objet discret (un ensemble de pixels, voxels ou leur analogue en dimension supérieure) nous pouvons construire un complexe cubique et donc calculer ses groupes d'homologie.Cette thèse étudie trois approches relatives au calcul de l'homologie sur des objets discrets. En premier lieu, nous introduisons le champ de vecteurs discret homologique, une structure combinatoire généralisant les champs de vecteurs gradients discrets, qui permet de calculer les groupes d'homologie. Cette notion permet de voir la relation entre plusieurs méthodes existantes pour le calcul de l'homologie et révèle également des notions subtiles associés. Nous présentons ensuite un algorithme linéaire pour calculer les nombres de Betti dans un complexe cubique 3D, ce qui peut être utilisé pour les volumes binaires. Enfin, nous présentons deux mesures (l'épaisseur et l'ampleur) associés aux trous d'un objet discret, ce qui permet d'obtenir une signature topologique et géométrique plus intéressante que les simples nombres de Betti. Cette approche fournit aussi quelques heuristiques permettant de localiser les trous, d'obtenir des générateurs d'homologie ou de cohomologie minimaux, d'ouvrir et de fermer les trous. / Homology theory formalizes the concept of hole in a space. For a given subspace of the Euclidean space, we define a sequence of homology groups, whose ranks are considered as the number of holes of each dimension. Hence, b0, the rank of the 0-dimensional homology group, is the number of connected components, b1 is the number of tunnels or handles and b2 is the number of cavities. These groups are computable when the space is described in a combinatorial way, as simplicial or cubical complexes are. Given a discrete object (a set of pixels, voxels or their analog in higher dimension) we can build a cubical complex and thus compute its homology groups.This thesis studies three approaches regarding the homology computation of discrete objects. First, we introduce the homological discrete vector field, a combinatorial structure which generalizes the discrete gradient vector field and allows to compute the homology groups. This notion allows to see the relation between different existing methods for computing homology. Next, we present a linear algorithm for computing the Betti numbers of a 3D cubical complex, which can be used for binary volumes. Finally, we introduce two measures (the thickness and the breadth) associated to the holes in a discrete object, which provide a topological and geometric signature more interesting than only the Betti numbers. This approach provides also some heuristics for localizing holes, obtaining minimal homology or cohomology generators, opening and closing holes.

Une structure en béton doit assurer des fonctions structurales qui vont au delà de la simple résistance. Dans ce cadre, la fissuration du béton armé joue un rôle primordial sur la durabilité, l'étanchéité et même la sûreté des structures. La structure poreuse du béton rend naturellement possible la pénétration au cours du temps d'espèces délétères. En outre, sous l'effet des chargements mécaniques et des conditions environnementales au sens large, le béton se fissure. Les fissures constituent, elles aussi, des voies préférentielles pour la pénétration de fluides ou d'agents agressifs et ajoutent de manière significative leur contribution à la dégradation des performances structurelles. Dans la thèse une stratégie de modélisation macroscopique probabiliste du couplage entre fissuration et transferts de fluides dans les structures en béton est présentée. Le béton est modélisé comme un milieu poreux saturé d'eau tandis que la fissuration (mécanique) est modélisée au travers d'une approche numérique probabiliste tenant compte de l'hétérogénéité naturelle du matériau et des effets d'échelle qu'elle induit. L'hypothèse physique de base du modèle de fissuration est que chaque élément fini peut être considéré comme représentatif d'un volume de matière hétérogène dont le comportement est géré par son degré d'hétérogénéité, défini comme le rapport entre le volume élémentaire et un volume représentatif de l'hétérogénéité du matériau. Dans la formulation développée, les propriétés mécaniques du matériau sont considérées comme des variables aléatoires (non corrélés) distribuées dans les éléments du maillage selon des distributions statistiques validées expérimentalement. Une approche par analyse inverse permet d'accéder aux paramètres de fonctions de distribution qui, selon les hypothèses du modèle, varient en fonction de la dimension des éléments finis. Le couplage fissuration-transfert est traité de manière faible, sous l'hypothèse d'absence d'interaction entre les deux processus (à savoir que la fissuration de l'élément fini, d'origine mécanique, induit une variation locale de sa perméabilité). L'utilisation d'une loi de Poiseuille modifiée et adaptée expérimentalement selon un protocole développé dans le cadre de la thèse permet de mettre en relation une telle variation avec l'ouverture de fissure et de prendre en compte, de manière macroscopique, les principales causes d'écart entre l'écoulement idéalisé, représenté par la loi de Pouiselle, et l'écoulement dans des fissures réelles. Une approche de type Monte-Carlo permet de valider les résultats des simulations mécaniques et hydriques. Les capacités de la stratégie de modélisation proposée en termes de prédiction des débits d'eau en milieu fissuré sont explorées au travers de la simulation d'essais de perméabilité sous charge sur des éprouvettes cylindriques soumises à du fendage. Ces essais sont utilisés dans le cadre du protocole expérimentale. Une première validation à l'échelle d'un élément structurel multifissuré est presentée. Elle consiste en la simulation d'un essai (récemment proposé dans la littérature) developpé pour l'étude de l'impact de la fissuration sur les propriétés de transfert de tirants en béton armé

La modélisation et l'identification floues de systèmes avec de multiples entrées et une seule sortie (MISO), non linéaires, non stationnâmes et avec perturbations sont présentés. A cet effet, des techniques d'apprentissage floues sont utilisées. C'est ainsi qu'un modèle est mis en place à partir des mesures d'un système bio-climatique, qui concerne l'étude d'une serre expérimentale de l'Université du Sud Toulon Var (USTV) en France. L'analyse multi-modèles est utilisée, avec la structure de règles floues proposée par Takagi-Sugeno-Kang (TS), où les prémisses des règles sont identifiées au moyen de l'algorithme flou de C-Means. La démarche d'apprentissage local et global est introduite pour identifier les paramètres linéaires des conséquences des règles floues. Ainsi, des modèles flous TS sont obtenus avec une démarche pluri-objectif. Dans le cadre de la technique de la modélisation et de F identification floues TS, le développement d'un algorithme est détaillé, pour modéliser des systèmes SISO, pour lesquels l'algorithme flou de Gustafson-Kessel (G-K) sera mis en oeuvre afin d'identifier les prémisses des règles floues. L'innovation réside dans le fait que les conséquences des règles floues sont des polynômes d'ordre cubique. Enfin, avec la technique LMI et avec un modèle développé pour un système bio-climatique, la synthèse d'un contrôleur stable avec l'approche de Lyapunov qui régule le chauffage de la serre, est réalisée pour maintenir le paramètre VPD dans un domaine fiable pour la plantation.

L'objectif de ce travail est d'étudier les détails des écoulements et des transferts thermiques induits par convection naturelle au sein d'un canal (simulation bidimensionnelle) et au sein d'une cavité cubique (simulation tridimensionnelle) munis de blocs chauffants. La chaleur dégagée par les blocs résulte d'une génération volumique uniforme de la chaleur, d'une température chaude constante ou d'un flux surfacique uniforme. On utilise l'air (Pr=0.72) comme fluide. Les paramètres de l'étude sont le rapport des conductivités thermiques du bloc solide et du fluide (0.1≤k*≤200), le nombre de Rayleigh (〖10〗^4≤Ra≤〖10〗^7) et la hauteur relative des blocs (1/8≤B≤1/2). La détermination des conditions de validité du modèle à blocs isothermes et du modèle à blocs libérant un flux surfacique uniforme, en fonction du rapport des conductivités thermiques et des autres paramètres du problème, compte parmi les principaux objectifs de ce travail. Les résultats obtenus montrent que l'écoulement et le transfert thermique ainsi que les conditions de validité des modèles mentionnés sont fortement influencés par les paramètres de contrôle et par la multiplicité de solutions trouvée en régime convectif. / The object of this work is to study the details of the flow and heat transfer induced by natural convection in a channel (2D simulation) and in a cubic cavity (3D simulation) containing heating blocks. The heat released by the blocks results from a uniform volumetric heat generation, a constant hot temperature or a uniform surface flux. Air (Pr=0.72) is used as working fluid. The parameters of the study are the thermal conductivities ratio of solid blocks and fluid (0.1≤k*≤200), the Rayleigh number (〖10〗^4≤Ra≤〖10〗^7) and the relative height of the blocks (1/8≤B≤1/2). Among the main objects of this work is the determination of the conditions of validity of the model with isothermal blocks and the model with blocks releasing a uniform surface flux, as functions of the thermal conductivities ratio and the other parameters of the problem. The results obtained show that the flow and heat transfer and the conditions of validity of the models mentioned are strongly affected by the control parameters and the multiplicity of solutions found in the convective regime.

Dans cette thèse, nous étudions un problème de contrôle et un problème inverse pour les équationsde la chaleur. Notre premier travail concerne la contrôlabilité à zéro pour une équation de la chaleur semi-linéaire. Il est à noter que sans contrôle, la solution est instable et il y aura en général explosion de la solution en un temps fini. Ici, nous proposons un résultat positif de contrôlabilité à zéro sous une hypothèse quantifiée de petitesse sur la donnée initiale. La nouveauté réside en la construction de ce contrôle pour amener la solution à l’état d’équilibre.Notre second travail aborde l’équation de la chaleur rétrograde dans un domaine borné et sous la condition de Dirichlet. Nous nous intéressons à la question suivante: peut-on reconstruire la donnée initiale à partir d’une observation de la solution restreinte à un sous-domaine et à un temps donné? Ce problème est connu pour être mal-posé. Ici, les deux principales méthodes proposées sont: une approche de filtrage des hautes fréquences et une minimisation à la Tikhonov. A chaque fois, nous reconstruisons de manière approchée la solution et quantifions l’erreur d’approximation / My thesis focuses on two main problems in studying the heat equation: Control problem and Inverseproblem.Our first concern is the null controllability of a semilinear heat equation which, if not controlled, can blow up infinite time. Roughly speaking, it consists in analyzing whether the solution of a semilinear heat equation, underthe Dirichlet boundary condition, can be driven to zero by means of a control applied on a subdomain in whichthe equation evolves. Under an assumption on the smallness of the initial data, such control function is builtup. The novelty of our method is computing the control function in a constructive way. Furthermore, anotherachievement of our method is providing a quantitative estimate for the smallness of the size of the initial datawith respect to the control time that ensures the null controllability property.Our second issue is the local backward problem for a linear heat equation. We study here the followingquestion: Can we recover the source of a linear heat equation, under the Dirichlet boundary condition, from theobservation on a subdomain at some time later? This inverse problem is well-known to be an ill-posed problem,i.e their solution (if exists) is unstable with respect to data perturbations. Here, we tackle this problem bytwo different regularization methods: The filtering method and The Tikhonov method. In both methods, thereconstruction formula of the approximate solution is explicitly given. Moreover, we also provide the errorestimate between the exact solution and the regularized one.

Cette thèse s'intéresse à la métathéorie de la théorie des types intuitionniste. Les systèmes que nous considérons sont des variantes de la théorie des types de Martin-Löf ou du Calcul des Constructions, et nous nous intéressons à la cohérence de ces systèmes ou encore à l'indépendance d'axiomes par rapport à ces systèmes. Le fil rouge de cette thèse est la construction de modèles syntaxiques, qui sont des modèles qui réutilisent la théorie des types pour interpréter la théorie des types. Dans une première partie, nous introduisons la théorie des types à l'aide d'un système minimal et de plusieurs extensions potentielles. Dans une seconde partie, nous introduisons les modèles syntaxiques donnés par traduction de programme et donnons plusieurs exemples. Dans une troisième partie, nous présentons Template-Coq, un plugin de métaprogrammation pour Coq. Nous montrons comment l'utiliser pour implémenter directement certains modèles syntaxiques. Enfin, dans une dernière partie, nous nous intéressons aux théories des types à deux égalités : une égalité stricte et une égalité univalente. Nous proposons une relecture des travaux de Coquand et. al. et Orton et Pitts sur le modèle cubique en introduisant la notion de fibrance dégénérée. / This thesis is about the metatheory of intuitionnistic type theory. The considered systems are variants of Martin-Löf type theory of Calculus of Constructions, and we are interested in the coherence of those systems and in the independence of axioms with respect to those systems. The common theme of this thesis is the construction of syntactic models, which are models reusing type theory to interpret type theory. In a first part, we introduce type theory by a minimal system and several possible extensions. In a second part, we introduce the syntactic models given by program translation and give several examples. In a third part, we present Template-Coq, a plugin for metaprogramming in Coq. We demonstrate how to use it to implement directly some syntactic models. Last, we consider type theories with two equalities: one strict and one univalent. We propose a re-reading of works of Coquand et.al. and of Orton and Pitts on the cubical model by introducing degenerate fibrancy.

Alternatives aux méthodes de Monte-Carlo pour le traitement des problèmes de propagation d'incer- titudes dans les modèles mécaniques structuraux, les méthodes d'éléments finis stochastiques (MEFS) connaissent un succès grandissant depuis une dizaine d'années, concrétisée par de nombreux travaux de recherche internationaux. Le présent travail est une contribution à ces recherches et son but est double. D'une part, considérant la MEFS spectrale (Ghanem & Spanos, 1991), qui est actuellement très utilisée, nous en faisons une présentation détaillée afin d'en cerner les limites. Cette méthode, essentiellement valable pour les problèmes linéaires, présente l'internet de permettre l'emploi, non seulement de variables aléatoires mais également de processus ou champs stochastiques pour la modélisation probabiliste des paramètres incertains du modèle. Deux applications, l'une sur une barre en traction, l'autre sur une structure formée de poutres modélisant un assemblage bois, permettent de juger de ses possibilités. D'autre part, et c'est le coeur du travail, nous proposons une MEFS originale pour la résolution de problèmes mécaniquement non linéaires. Cette approche, de type surface de réponse, comprend deux étapes clés : une projection de la réponse mécanique non linéaire sur une base de polynomes d'Hermite et une approximation de cette réponse par B-splines cubiques interpolantes pour le calcul des coeficients de la projection. Sa pertinence vis-à-vis de l'estimation des moments de la réponse est jugée à travers quatre exemples de complexité variable : un treillis élastoplastique, une sphère élastoplastique sous pression et un cylindre en contact avec un plan, étudiée en phases élastique puis élastoplastique.

Ce travail porte sur les aspects numériques de la résolution de problèmes inverses non linéaires gouvernés par des équations aux dérivées partielles, à l'aide des techniques du contrôle optimal. Nous nous sommes limités dans cette thèse à l'étude de deux problèmes: identification du coefficient de diffusion de la chaleur, identification de sources non linéaires dans des e.d.p. elliptiques. Ces deux problèmes sont résolus numériquement à l'aide d'une approche lagrangienne, les fonctions sont identifiées par leurs coefficients dans une base de B-splines cubiques. Ces problèmes étant mal posés, on étudie des techniques de choix du paramètre de régularisation de Tikhonov, comme les méthodes de validation croisée. On résout ensuite ces deux problèmes dans une base d'ondelettes, ce qui nous permet, par le biais d'un changement de base approprié, de réduire le caractère mal posé de ces problèmes, et de mener à bien l'identification sans terme de régularisation. Dans les problèmes réels, la solution exacte étant généralement inconnue, lorsqu'on dispose d'un estimateur, il n'est a priori pas possible de savoir s'il s'agit d'un «bon» estimateur. On peut remédier à ce problème à l'aide des courbures de la surface des réponses, qui nous permettent de quantifier le degré de non linéarité de la surface au voisinage de l'estimateur obtenu et de justifier l'usage des méthodes séquentielles quadratiques utilisées pour l'identification