• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 41
  • 9
  • 1
  • Tagged with
  • 53
  • 14
  • 13
  • 12
  • 12
  • 12
  • 11
  • 11
  • 9
  • 9
  • 8
  • 8
  • 8
  • 8
  • 7
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Etude de l' effet de l'énergie des ions lourds sur la sensibilité des composants électroniques / Study of the effect of heavy ion energy on the sensitivity of electronic devices

Raine, Mélanie 27 September 2011 (has links)
Ce mémoire de thèse traite de l’étude de la sensibilité des composants électroniques avancés en milieu radiatif. Le travail porte sur la modélisation détaillée du dépôt d’énergie induit par un ion lourd dans la matière, et sur l’influence de la prise en compte de cette trace d’ion dans les outils de simulation de la réponse de composants irradiés. Dans ce but, nous avons développé une chaîne de simulation, combinant différents codes de calcul à des échelles variées. Dans une première étape, le code d’interactions particule-matière Geant4 est ainsi utilisé pour modéliser la trace d’ion. Ces traces sont ensuite implémentées dans un code de simulation TCAD, afin d’étudier la réponse de transistors élémentaires à ces dépôts d’énergies détaillés. Cette étape est complétée par des mesures expérimentales. Enfin, l’étude est étendue au niveau circuit, en interfaçant les traces d’ions avec un outil de prédiction des SEE. Ces différentes étapes mettent en évidence la nécessité de prendre en compte la dimension radiale de la trace d’ion à tous les niveaux de simulation, pour modéliser de façon adéquate la réponse de composants avancés sous irradiation par des ions lourds. / This thesis studies the sensitivity of advanced electronic devices in radiative environments. The work deals with the detailed modeling of the deposited energy induced by heavy-ion in matter, and the influence of taking it into account in the tools simulating the response of irradiated devices. To do so, a simulation chain was developed, combining different calculation codes at various scales. In a first step, the particle-matter interaction code Geant4 is used to model the heavy ion track. These tracks are then implemented in a TCAD simulator, in order to study the response of elementary transistors to these detailed energy deposits. This step is completed with experimental measurements. Finally, the study is extended to the circuit level, by interfacing the heavy ion tracks with a SEE prediction tool. These different steps evidence the need for taking into account the radial extension of the ion track to all simulation levels, to adequately model the response of advanced devices under heavy ion irradiations.
22

Théorèmes d’existence en temps court du flot de Ricci pour des variétés non-complètes, non-éffondrées, à courbure minorée. / Short-time existence theorems for the Ricci flow of non-complete, non-collapsed manifold with curvature bounded from below.

Hochard, Raphaël 22 January 2019 (has links)
Le flot de Ricci est une équation aux dérivées partielles qui régit l’évolution d’une métrique riemannienne dépendant d’un paramètre de temps sur une variété différentielle. D’abord introduit et étudié par R. Hamilton, il est à l’origine de la solution de la conjecture de géométrisation des variétés compactes de dimension 3 par G. Perelman en 2001. La théorie classique concernant l’existence en temps court des solutions, due à Hamilton et à Shi, garantit (en dimension quelconque) l’existence d’un flot soit sur une variété compacte, soit lorsque la métrique initiale est complète avec une borne sur la norme du tenseur de courbure. En l’absence de cette borne, on conjecture qu’on peut trouver, à partir de la dimension 3, des données initiales pour lesquelles il n’existe pas de solution. Dans cette thèse, on démontre des théorèmes d’existence en temps court du flot sous des hypothèses plus faibles qu’une borne sur la norme du tenseur de courbure. Pour cela, on introduit une construction générale qui, pour une métrique riemannienne g quelconque sur une variété M, pas nécessairement complète, permet de produire une solution de l’équation du flot sur un domaine ouvert D de l’espace-temps M * [0,T] qui contient la tranche de temps initiale, avec g pour donnée initiale. On montre ensuite que sous des hypothèses adaptées sur la métrique g, on contrôle la forme du domaine D. En particulier, lorsque la métrique g est complète, D contient un ensemble de la forme M * [0,t], avec t>0, ce qui revient à dire qu’il existe un flot au sens classique dont la donnée initiale est g. Les « hypothèses adaptées » qui conduisent à des théorèmes d’existence sont de trois types. Dans tout les cas, on suppose une minoration uniforme du volume des boules de rayon au plus 1, à quoi on ajoute : a) en dimension 3, une minoration du tenseur de Ricci, b) en dimension n, une minoration d’une notion de courbure dite « courbure isotrope I » ou bien c) en dimension n, une borne sur la norme du tenseur de Ricci et une hypothèse qui garantit la proximité au sens métrique des boules de rayon au plus 1 avec une boule de même rayon dans un espace métrique obtenu comme le produit cartésien d’un espace de dimension 3 et d’un facteur euclidien de dimension n-3. De plus, avec ces résultats d’existence viennent des estimations sur les propriétés de régularisation du flot quantifiées en fonction des hypothèses sur la donnée initiale. La possibilité ainsi offerte de régulariser, globalement ou localement, pour un temps et avec des estimations quantifiés, une métrique initiale a des conséquence sur les espaces métriques singuliers obtenus comme limites, pour la distance de Gromov-Hausdorff, de suites de variétés satisfaisant uniformément aux conditions a), b) ou c). En effet, des théorèmes de compacité classiques pour le flot de Ricci permettent d’extraire un flot limite, étant donnée une suite de métriques initiales satisfaisant uniformément à ces hypothèses, et possédant donc toutes un flot pour un temps contrôlé. Lorsque les métriques en question approchent, pour la topologie de Gromov-Hausdorff, un espace singulier, cette solution limite s’interprète comme un flot régularisant l’espace singulier en question, et son existence contraint la topologie de cet espace singulier. / The Ricci Flow is a partial differential equation governing the evolution of a Riemannian metric depending on a time parameter t on a differential manifold. It was first introduced and studied by R. Hamilton, and eventually led to the solution of the Geometrization conjecture for closed three-dimensional manifolds by G. Perelman in 2001. The classical short-time existence theory for the Ricci Flow, due to Hamilton and Shi, asserts, in any dimension, the existence of a flow starting from any initial metric when the underlying manifold in compact, or for any complete initial metric with a bound on the norm of the curvature tensor otherwise. In the absence of such a bound, though, the conjecture is that starting from dimension 3 one can find such initial data for which there is no solution. In this thesis, we prove short-time existence theorems under hypotheses weaker than a bound on the norm of the curvature tensor. To do this, we introduce a general construction which, for any Riemannian metric g (not necessarily complete) on a manifold M, allows us to produce a solution to the equation of the flow on an open domain D of the space-time M * [0,T] which contains the initial time slice, with g as an initial datum. We proceed to show that under suitable hypotheses on g, one can control the shape of the domain D, so that in particular, D contains a subset of the form M * [0,t] with t>0 if g is complete. By « suitable hypothesis », we mean one of the following. In any case, we assume a lower bound on the volume of balls of radius at most 1, plus a) in dimension 3, a lower bound on the Ricci tensor, b) in dimension n, a lower bound on the so-called « isotropic curvature I » or c) in dimension n, a bound on the norm of the Ricci tensor, as well as a hypothesis which garanties the metric proximity of every ball of radius at most $1$ with a ball of the same radius in a metric product between a three-dimensional metric space and a $n-3$ dimensional Euclidian factor. Moreover, with these existence results come estimates on the existence time and regularization properties of the flow, quantified in term of the hypotheses on the initial data. The possibility to regularize metrics, locally or globally, with such estimates has consequences in terms of the metric spaces obtained as limits, in the Gromov-Hausdorff topology, of sequences of manifolds uniformly satisfying a), b) or c). Indeed, the classical compactness theorems for the Ricci Flow allow for the extraction of a limit flow for any sequence of initial metrics uniformly satisfying the hypotheses and thus possessing a flow for a controlled amount of time. In the case when these metrics approach a singular space in the Gromov-Hausdorff topology, such a limit solution can be interpreted as a flow regularizing the singular limit space, the existence of which puts constraints on the topology of this space.
23

Problèmes non-linéaires singuliers et bifurcation / Singular nonlinear problems and bifurcation

Bougherara, Brahim 11 September 2014 (has links)
Cette thèse s’inscrit dans le domaine mathématique de l’analyse des équations aux dérivées partielles non linéaires. Précisément, nous nous sommes intéressés à une classe de problèmes elliptiques et paraboliques avec coefficients singuliers. Ce manque de régularité pose un certain nombre de difficultés qui ne permettent pas d’utiliser directement les méthodes classiques de l’analyse non-linéaire fondées entre autres sur des résultats de compacité. Dans les démonstrations des principaux résultats, nous montrons comment pallier ces difficultés. Ceci suppose d’adapter certaines techniques bien connues mais aussi d’introduire de nouvelles méthodes. Dans ce contexte, une étape importante est l’estimation fine du comportement des solutions qui permet d’adapter le principe de comparaison faible, d’utiliser la régularité elliptique et parabolique et d’appliquer dans un nouveau contexte la théorie globale de la bifurcation analytique. La thèse se présente sous forme de deux parties indépendantes. 1- Dans la première partie (chapitre I de la thèse), nous avons étudié un problème quasi-linéaire parabolique fortement singulier faisant intervenir l’opérateur p-Laplacien. On a démontré l’existence locale et la régularité de solutions faibles. Ce résultat repose sur des estimations a priori obtenues via l’utilisation d’inégalités de type log-Sobolev combinées à des inégalités de Gagliardo-Nirenberg. On démontre l’unicité de la solution pour un intervalle de valeurs du paramètre de la singularité en utilisant un principe de comparaison faible fondé sur la monotonie d’un opérateur non linéaire adéquat. 2- Dans la deuxième partie (correspondant aux Chapitres II, III et IV de la thèse), nous sommes intéressés à l’étude de problèmes de bifurcation globale. On a établi pour ces problèmes l’existence de continuas non bornés de solutions qui admettent localement une paramétrisation analytique. Pour établir ces résultats, nous faisons appel à différents outils d’analyse non linéaire. Un outil important est la théorie analytique de la bifurcation globale qui a été introduite par Dancer (voir Chapitre II de la thèse). Pour un problème semi linéaire elliptique avec croissance critique en dimension 2, on montre que les solutions le long de la branche convergent vers une solution singulière (solution non bornée) lorsque la norme des solutions converge vers l’infini. Par ailleurs nous montrons que la branche admet une infinité dénombrable de "points de retournement" correspondant à un changement de l’indice de Morse des solutions qui tend vers l’infini le long de la branche. / This thesis is concerned with the mathematical study of nonlinear partial differential equations. Precisely, we have investigated a class of nonlinear elliptic and parabolic problems with singular coefficients. This lack of regularity involves some difficulties which prevent the straight-orward application of classical methods of nonlinear analysis based on compactness results. In the proofs of the main results, we show how to overcome these difficulties. Precisely we adapt some well-known techniques together with the use of new methods. In this framework, an important step is to estimate accurately the solutions in order to apply the weak comparison principle, to use the regularity theory of parabolic and elliptic equations and to develop in a new context the analytic theory of global bifurcation. The thesis presents two independent parts. 1- In the first part (corresponding to Chapter I), we are interested by a nonlinear and singular parabolic equation involving the p-Laplacian operator. We established for this problem that for any non-negative initial datum chosen in a certain Lebeque space, there exists a local positive weak solution. For that we use some a priori bounds based on logarithmic Sobolev inequalities to get ultracontractivity of the associated semi-group. Additionaly, for a range of values of the singular coefficient, we prove the uniqueness of the solution and further regularity results. 2- In the second part (corresponding to Chapters II, III and IV of the thesis), we are concerned with the study of global bifurcation problems involving singular nonlinearities. We establish the existence of a piecewise analytic global path of solutions to these problems. For that we use crucially the analytic bifurcation theory introduced by Dancer (described in Chapter II of the thesis). In the frame of a class of semilinear elliptic problems involving a critical nonlinearity in two dimensions, we further prove that the piecewise analytic path of solutions admits asymptotically a singular solution (i.e. an unbounded solution), whose Morse index is infinite. As a consequence, this path admits a countable infinitely many “turning points” where the Morse index is increasing.
24

Résolution des équations de Maxwell avec des éléments finis de Galerkin continus

Jamelot, Erell 17 November 2005 (has links) (PDF)
Les equations de Maxwell se resolvent aisement lorsque le domaine d'etude est regulier, mais lorsqu'il existe des singularites geometriques (coins rentrants en 2D, coins et aretes rentrants en 3D), le champ electromagnetique est localement non borne au voisinage de ces singularites. Nous nous interessons a la resolution des equations de Maxwell dans des domaines bornes, singuliers, a l'aide de methodes d'elements finis continus. En pratique, cela permet de modeliser des instruments de telecommunication comme les guides d'onde, les filtres a stubs. Nous analysons tout d'abord le probleme quasi-electrostatique 2D, afin de maitriser la discretisation en espace. Nous presentons trois methodes de calcul (formulations augmentees mixtes) qui donnent des resultats numeriques tres convaincants : - Une version epuree de la methode du complement singulier (conditions aux limites essentielles). - La methode de regularisation a poids : on introduit un poids qui depend des distances aux singularites geometriques (conditions aux limites essentielles). - La methode avec conditions aux limites naturelles. Nous etudions ensuite la generalisation de ces methodes aux domaines 3D. Nous detaillons la resolution des equations de Maxwell instationnaires en domaines singuliers 3D par la methode de regularisation a poids, et nous donnons des resultats numeriques inedits.
25

Estimation de l'état des systèmes non linéaires à temps discret. Application à une station d'épuration

Boulkroune, Boulaïd 14 November 2008 (has links) (PDF)
Ce sujet de recherche revêt, d'une part, un caractère théorique puisqu'il aborde le problème d'estimation des systèmes singuliers linéaires et non linéaires à temps discret pour lesquels très peu de résultats sont disponibles et, d'autre part, un aspect pratique, car le modèle utilisé est d'une station d'épuration des eaux usées à boues activées. Dans la partie théorique, nous nous sommes intéressés, dans un premier temps, à l'estimation d'état des systèmes singuliers linéaires en utilisant l'approche d'estimation à horizon glissant. Deux estimateurs optimaux, au sens des moindres carrés et au sens de la variance minimale, ont été présentés. L'analyse de la convergence et de la stabilité de ces estimateurs est traités. Ensuite, nous avons présenté une approche pour l'observation de la classe des systèmes non linéaires lipschitziens à temps discret. En supposant que la partie linéaire de cette classe de systèmes est variante dans le temps, le problème de l'estimation d'état d'un système non linéaire est transformé en un problème d'estimation d'état d'un système LPV. La condition de stabilité de l'observateur proposé est exprimée en terme d'inégalités matricielles linéaires (LMI). Enfin, dans la partie pratique, les résultats obtenus sont validés par une application à un modèle d'une station d'épuration des eaux usées à boues activées.
26

Contribution à l'étude des équations différentielles et aux différences dans le champ complexe

Barkatou, My Abdelfattah 06 June 1989 (has links) (PDF)
Un logiciel pour les solutions formelles d'équations différentielles linéaires d'ordre 2 au voisinage de points singuliers est présenté. Pour les équations d'ordre quelconque on donne une version modifiée de l'algorithme de newton. Un algorithme permettant d'obtenir une base de solutions asymptotiques d'une équation récurrente linéaire à coefficients polynomiaux est ensuite présenté. Ceci mène à l'étude des systèmes linéaires aux différences à coefficients séries de factorielles
27

Solutions formelles d'équations différentielles‎ : le logiciel de calcul formel DESIR‎ : étude théorique et réalisation

Tournier, Evelyne 02 April 1987 (has links) (PDF)
Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux différences linéaires à coefficients dans un corps de séries formelles
28

Solutions formelles de systèmes différentiels linéaires au voisinage d'un point singulier

Hilali, Abdelaziz 11 June 1987 (has links) (PDF)
On propose des algorithmes de réduction des systèmes différentiels linéaires dont les coefficients sont des séries formelles. Ces méthodes donnent une caractérisation de la singularité et construisent par le même moyen des transformations permettant la résolution du système
29

Contribution à la Commande et au Diagnostic des Systèmes Algébro-Différentiels Linéaires

Marx, Benoit 16 December 2003 (has links) (PDF)
Après une introduction à l'analyse et au contrôle des systèmes singuliers linéaires, on étudie le placement optimal de capteurs et d'actionneurs, le diagnostic robuste et le contrôle de systèmes singuliers. Le placement optimal de capteurs et d'actionneurs pour les systèmes singuliers s'appuie sur une approche énergétique. Les capteurs et/ou actionneurs sont sélectionnés pour obtenir les plus grands transferts d'énergie entre le système et son environnement. Pour cela on cherche à maximiser les grammiens généralisés. Différentes méthodes de diagnostic robuste sont proposées. Une première approche dédiée aux systèmes maillés autorise une génération de résidus décentralisée afin de détecter et de localiser les défauts de mesures. Une deuxième méthode consiste à étendre le filtrage Hinfini à l'estimation des défaillances. Troisièmement, la génération de résidus fondée sur la factorisation copremière -dont l'intérêt majeur est de pouvoir synthétiser des générateurs de résidus au moyen de filtres propres- est généralisée aux systèmes singuliers. Enfin, la synthèse, et l'utilisation pour le diagnostic robuste, des observateurs de type proportionnel-intégral sont étudiées. Deux stratégies de contrôle de systèmes singuliers sont proposées. Le contrôle multicritère permet de déterminer des correcteurs statiques ou dynamiques assurant le placement de pôles, ainsi que des contraintes de normes H2 et Hinfini sur le système en boucle fermée. Le contrôle tolérant aux fautes intègre un module de diagnostic dans le correcteur afin de localiser les fautes, et de modifier la loi de commande pour minimiser la déviation des sorties dues aux fautes et aux perturbations. Les correcteurs sont des systèmes propres, déterminés par optimisation convexe sous contraintes LMI.
30

Assimilation de données variationnelle pour les problèmes de transport des sédiments en rivière

Yang, Junqing 26 November 1999 (has links) (PDF)
La prévision de la sédimentation d'une rivière requiert l'utilisation d'un modèle mathématique régissant l'écoulement et de données d'observation. Le but de ce travail est de proposer une méthode d'assimilation de données qui permet de reconstituer les champs en tenant en compte du modèle et des données d'observation. La méthode qui est proposée est fondée sur les techniques de contrôle optimal. On présente les problèmes de sédimentation et leurs approximations numériques, un algorithme de décomposition est introduit et sa convergence est étudiée. En préalable à l'exploitation à des problèmes réels, on a vérifié la faisabilité de la méthode variationnelle d'assimilation de données pour trois types de problèmes de transport des sédiments : 1) la détermination de la condition initiale, 2) l'identification des paramètres, 3) l'estimation de l'erreur de la modélisation. Les études de sédimentation sur le terrain conduisent à des problèmes numériques de très grande dimension, dans une dernière partie on s'est intéressé à des techniques permettant la réduction de l'espace de contrôle pour obtenir des problèmes d'une taille raisonnable.

Page generated in 0.0756 seconds