WorldCat Identities

École doctorale de Mathématiques et Informatique (Bordeaux)

Overview
Works: 313 works in 314 publications in 2 languages and 461 library holdings
Roles: 996, Editor, Degree grantor
Classifications: QA37.2,
Publication Timeline
.
Most widely held works by École doctorale de Mathématiques et Informatique (Bordeaux)
Leçons de mathématiques d'aujourd'hui by Jean-Pierre Kahane( Book )

2 editions published between 2007 and 2012 in French and held by 100 WorldCat member libraries worldwide

Leçons de mathématiques d'aujourd'hui( Book )

1 edition published in 2010 in French and held by 49 WorldCat member libraries worldwide

Conception et analyse de schémas d'ordre très élevé distribuant le résidu application à la mécanique des fluides by Adam Larat( )

1 edition published in 2009 in French and held by 2 WorldCat member libraries worldwide

La simulation numérique est aujourd'hui un outils majeur dans la conception des objets aérodynamiques, que ce soit dans l'aéronautique, l'automobile, l'industrie navale, etc... Un des défis majeurs pour repousser les limites des codes de simulation est d'améliorer leur précision, tout en utilisant une quantité fixe de ressources (puissance et/ou temps de calcul). Cet objectif peut être atteint par deux approches différentes, soit en construisant une discrétisation fournissant sur un maillage donné une solution d'ordre très élevé, soit en construisant un schéma compact et massivement parallèlisable, de manière à minimiser le temps de calcul en distribuant le problème sur un grand nombre de processeurs. Dans cette thèse, nous tentons de rassembler ces deux approches par le développement et l'implémentation de Schéma Distribuant le Résidu (RDS) d'ordre très élevé et de compacité maximale. Ce manuscrit commence par un rappel des principaux résultats mathématiques concernant les Lois de Conservation hyperboliques (CLs). Le but de cette première partie est de mettre en évidence les propriétés des solutions analytiques que nous cherchons à approcher, de manière à injecter ces propriétés dans celles de la solution discrète recherchée. Nous décrivons ensuite les trois étapes principales de la construction d'un schéma RD d'ordre très élevé : - la représentation polynomiale d'ordre très élevé de la solution sur des polygones et des polyèdres; - la description de méthodes distribuant le résidu de faible ordre, compactes et conservatives, consistantes avec une représentation polynomiale des données de très haut degré. Parmi elles, une attention particulière est donnée à la plus simple, issue d'une généralisation du schéma de Lax-Friedrichs (\LxF); - la mise en place d'une procédure préservant la positivité qui transforme tout schéma stable et linéaire, en un schéma non linéaire d'ordre très élevé, capturant les chocs de manière non oscillante. Dans le manuscrit, nous montrons que les schémas obtenus par cette procédure sont consistants avec la CL considérée, qu'ils sont stables en norme $\L^{\infty}$ et qu'ils ont la bonne erreur de troncature. Même si tous ces développements théoriques ne sont démontrés que dans le cas de CLs scalaires, des remarques au sujet des problèmes vectoriels sont faites dès que cela est possible. Malheureusement, lorsqu'on considère le schéma \LxF, le problème algébrique non linéaire associé à la recherche de la solution stationnaire est en général mal posé. En particulier, on observe l'apparition de modes parasites de haute fréquence dans les régions de faible gradient. Ceux-ci sont éliminés grâce à un terme supplémentaire de stabilisation dont les effets et l'évaluation numérique sont précisément détaillés. Enfin, nous nous intéressons à une discrétisation correcte des conditions limites pour le schéma d'ordre élevé proposé. Cette théorie est ensuite illustrée sur des cas test scalaires bidimensionnels simples. Afin de montrer la généralité de notre approche, des maillages composés uniquement de triangles et des maillages hybrides, composés de triangles et de quandrangles, sont utilisés. Les résultats obtenus par ces tests confirment ce qui est attendu par la théorie et mettent en avant certains avantages des maillages hybrides. Nous considérons ensuite des solutions bidimensionnelles des équations d'Euler de la dynamique des gaz. Les résultats sont assez bons, mais on perd les pentes de convergence attendues dès que des conditions limite de paroi sont utilisées. Ce problème nécessite encore d'être étudié. Nous présentons alors l'implémentation parallèle du schéma. Celle-ci est analysée et illustrée à travers des cas test tridimensionnel de grande taille
Modélisation et étude numérique de quelques écoulements de fluides complexes en micro-fluidique by Julien Dambrine( )

1 edition published in 2009 in French and held by 1 WorldCat member library worldwide

Ce document est consacré à l'étude de quelques écoulements de fluides complexes appliquée à la micro-fluidique. Deux études indépendantes sont effectuées : d'une part l'étude des mélanges de fluides Newtoniens dans des micro-canaux fins, et d'autre part l'étude d'écoulements de Micelles géantes (fluides non-Newtoniens). Dans chaque étude on traite tout d'abord des modèles en détail, puis on effectue une étude numérique des modèles en question. Dans la première partie nous traiterons de l'hydrodynamique de mélanges de fluides de différentes viscosités en régime de Stokes. Nous dériverons alors un modèle réduit de type Reynolds à partir du modèle complet de Stokes. Cette réduction de modèle est particulièrement adaptée à des écoulements dans des micro-canaux dont le rapport d'aspect largeur/hauteur est important. Les modèles obtenus au final peuvent être 2D ou bien 2.5D (2D pour la pression 3D pour le mélange) selon que l'on souhaite ou non prendre en compte les variations de viscosité dans la direction "?ne". De plus, les conditions aux limites en haut et au fond du canal pour le modèle complet (canal à reliefs, motifs de matériaux glissants) apparaissent dans le modèle réduit comme de simples coefficients de résistance à l'écoulement. Un résultat d'existence de solution est donné pour le modèle 2D. Une méthode numérique est alors donnée pour approcher ces modèles. Cette méthode numérique est basée sur une discrétisation des équations sur une grille cartésienne, ce qui permet une résolution rapide des systèmes linéaires obtenus après discrétisation. Deux études numériques sont alors menées, tout d'abord une étude de l'inter-diffusion de deux fluides dont les viscosités sont différentes dans des expériences dites de "co-flow", puis une autre étude sur des écoulements mono-fluides pour des canaux à reliefs et à surfaces glissantes utilisant des modèles 2.5D adaptées. La deuxième partie de ce document est consacrée à l'étude d'écoulements micro-fluidiques de micelles géantes en solution. Ce type particulier de fluide a tendance à former spontanément dans l'écoulement des phases dont les propriétés mécaniques peuvent être très différentes. (...) Cette étude a permis en particulier de déterminer le rôle exact de la diffusion dans le modèle. Une deuxième étude concernant des écoulements 3D dans des jonctions micro-fluidiques en T a permis de mieux comprendre les phénomènes étranges observés sur la répartition des débits dans les branches de sortie de ces jonctions
Contrôle de la dynamique de la leucémie myéloïde chronique par Imatinib by Chahrazed Benosman( )

1 edition published in 2010 in French and held by 1 WorldCat member library worldwide

Modelling hematopoiesis represents a feature of our research. Hematopoietic stem cells (HSC) are undifferentiated cells, located in bone marrow, with unique abilities of self-renewal and differentiation (production of white cells, red blood cells and platelets).The process of hematopoiesis often exhibits abnormalities causing hematological diseases. In modelling Chronic Myeloid Leukemia (CML), a frequent hematological disease, we represent hematopoiesis of normal and leukemic cells by means of ordinary differential equations (ODE). Homeostasis of normal and leukemic cells are supposed to be different and depend on some lines of normal and leukemic HSC. We analyze the global dynamics of the model to obtain the conditions for regeneration of hematopoiesis and persistence of CML. We prove as well that normal and leukemic cells can not coexist for a long time. Imatinib is the main treatment of CML, with posology varying from 400 to 1000 mg per day. Some affected individuals respond to therapy with various levels being hematologic, cytogenetic and molecular. Therapy fails in two cases: the patient takes a long time to react, then suboptimal response occurs; or the patient resists after an initial response. Determining the optimal dosage required to reduce leukemic cells is another challenge. We approach therapy effects as an optimal control problem to minimize the cost of treatment and the level of leukemic cells. Suboptimal response, resistance and recovery forms are obtained through the influence of imatinib onto the division and mortality rates of leukemic cells. Hematopoiesis can be investigated according to age of cells. An age-structured system, describing the evolution of normal and leukemic HSC shows that the division rate of leukemic HSC plays a crucial role when determining the optimal control. When controlling the growth of cells under interspecific competition within normal and leukemic HSC, we prove that optimal dosage is related to homeostasis of leukemic HSC
Approximation numérique sur maillage cartésien de lois de conservation écoulements compressibles et élasticité non linéaire by Yannick Gorsse( )

1 edition published in 2012 in French and held by 1 WorldCat member library worldwide

Dans cette thèse, nous nous intéressons à la simulation numérique d'écoulements compressibles comportant des interfaces. Ces interfaces peuvent séparer un fluide et un solide rigide, deux fluides de lois d'état différentes ou encore un fluide et un solide élastique. Dans un premier temps, nous avons élaboré une méthode de type frontières immergées afin d'imposer une condition de glissement au bord d'un obstacle rigide de manière précise. Nous avons ensuite étudié et validé un schéma de type interface non diffuse pour les écoulements multi-matériaux en vue d'appliquer la méthode de frontières immergées aux solides déformables
Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues by Jerome Kirman( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

The goal of computational linguistics is to provide a formal account linguistical knowledge, and to produce algorithmic tools for natural languageprocessing. Often, this is done in a so-called generative framework, where grammars describe sets of valid sentences by iteratively applying some set of rewrite rules. Another approach, based on model theory, describes instead grammaticality as a set of well-formedness logical constraints, relying on deep links between logic and automata in order to produce efficient parsers. This thesis favors the latter approach. Making use of several existing results in theoretical computer science, we propose a tool for linguistical description that is both expressive and designed to facilitate grammar engineering. It first tackles the abstract structure of sentences, providing a logical language based on lexical properties of words in order to concisely describe the set of grammaticaly valid sentences. It then draws the link between these abstract structures and their representations (both in syntax and semantics), through the use of linearization rules that rely on logic and lambda-calculus. Then in order to validate this proposal, we use it to model various linguistic phenomenas, ending with a specific focus on languages that include free word order phenomenas (that is, sentences which allow the free reordering of some of their words or syntagmas while keeping their meaning), and on their algorithmic complexity
Opérateurs de composition sur les espaces de fonctions holomorphes de plusieurs variables complexes universalité dans les espaces de Banach et de Fréchet by Stéphane Charpentier( )

1 edition published in 2010 in French and held by 1 WorldCat member library worldwide

In the first part of my thesis, a result on the existence of a closed infinite-dimensional subspace, whose non-zero elements are universal series, is given in Banach and Fréchet spaces framework.The second part is devoted to the study of composition operators on spaces of several variables analytic functions. First, the spectrum and the dynamics of hyperbolic composition operators acting on Hardy spaces on the ball are completely described.Second, continuity and compactness of composition operators on Hardy-Orlicz and Bergman-Orlicz spaces on the ball are characterized. In particular, we deduce from the treatment of the continuity that there exists a class of Orlicz functions which define Hardy-Orlicz and Bergman-Orlicz spaces, on which every composition operator is bounded
Analysis of 3D objects at multiple scales application to shape matching by Nicolas Mellado( )

1 edition published in 2012 in English and held by 1 WorldCat member library worldwide

Over the last decades, the evolution of acquisition techniques yields the generalization of detailed 3D objects, represented as huge point sets composed of millions of vertices. The complexity of the involved data often requires to analyze them for the extraction and characterization of pertinent structures, which are potentially defined at multiple scales. Amongthe wide variety of methods proposed to analyze digital signals, the scale-space analysis istoday a standard for the study of 2D curves and images. However, its adaptation to 3D dataleads to instabilities and requires connectivity information, which is not directly availablewhen dealing with point sets.In this thesis, we present a new multi-scale analysis framework that we call the GrowingLeast Squares (GLS). It consists of a robust local geometric descriptor that can be evaluatedon point sets at multiple scales using an efficient second-order fitting procedure. We proposeto analytically differentiate this descriptor to extract continuously the pertinent structuresin scale-space. We show that this representation and the associated toolbox define an effi-cient way to analyze 3D objects represented as point sets at multiple scales. To this end, we demonstrate its relevance in various application scenarios.A challenging application is the analysis of acquired 3D objects coming from the CulturalHeritage field. In this thesis, we study a real-world dataset composed of the fragments ofthe statues that were surrounding the legendary Alexandria Lighthouse. In particular, wefocus on the problem of fractured object reassembly, consisting of few fragments (up to aboutten), but with missing parts due to erosion or deterioration. We propose a semi-automaticformalism to combine both the archaeologist's knowledge and the accuracy of geometricmatching algorithms during the reassembly process. We use it to design two systems, andwe show their efficiency in concrete cases
Segmentation spatio-temporelle et indexation vidéo dans le domaine des représentations hiérarchiques by Claire Morand( )

1 edition published in 2009 in French and held by 1 WorldCat member library worldwide

L'objectif de cette thèse est de proposer une solution d'indexation ``scalable'' et basée objet de flux vidéos HD compressés avec Motion JPEG2000. Dans ce contexte, d'une part, nous travaillons dans le domaine transformé hiérachique des ondelettes 9/7 de Daubechies et, d'autre part, la représentation ``scalable'' nécessite des méthodes en multirésolution, de basse résolution vers haute résolution. La première partie de ce manuscrit est dédiée à la définition d'une méthode d'extraction automatique des objets en mouvement. Elle repose sur la combinaison d'une estimation du mouvement global robuste et d'une segmentation morphologique couleur à basse résolution. Le résultat est ensuite affiné en suivant l'ordre des données dans le flux scalable. La deuxième partie est consacrée à la définition d'un descripteur sur les objets précédemment extraits, basé sur les histogrammes en multirésolution des coefficients d'ondelettes. Enfin, les performances de la méthode d'indexation proposée sont évaluées dans le contexte de requêtes scalables de recherche de vidéos par le contenu
Analyse et contrôle de modèles de dynamique de populations by Yuan He( )

1 edition published in 2013 in French and held by 1 WorldCat member library worldwide

This thesis is divided into two parts.One is mainly devoted to make a qualitative analysis and exact null controlfor a class of structured population dynamical systems, and the other concernsstability of conductivities in an inverse problem of a reaction-diffusion systemarising in electrocardiology.In the first part, we study the dynamics ofEuropean grape moth, which has caused serious damages on thevineyards in Europe,North Africa, and even some Asian countries.To model this grapevine insect, physiologically structured multistage population systems are proposed.These systemshave nonlocal boundary conditions arising in nonlocal transition processes in ecosystem.We consider the questions of spatial spread of the populationunder physiological age and stage structures,and show global dynamical properties for the model.Furthermore, we investigate the control problem for this Lobesia botrana modelwhen the growth function is equal to $1$.For the case that four subclasses of this system are all in static station,we conclude that the population of eggs can be controlled to zero at acertain moment by acting on eggs.While the adult moths can disperse,we describe a control by a removal of egg and larvapopulation, and also on female moths in a small region of the vineyard.Then the null controllability for female mothsin a nonempty open sub-domain at a given time is obtained.In the second part, a reaction-diffusion system approximating a parabolic-elliptic systemwas proposed tomodel electrical activity in the heart. We are interested inthe stability analysis of an inverse problem for this model.Then we use the method of Carleman estimates and certain weight energyestimatesfor the identification of diffusion coefficients for the parabolicsystem to draw the conclusion
Les systèmes cognitifs dans les réseaux autonomes une méthode d'apprentissage distribué et collaboratif situé dans le plan de connaissance pour l'auto-adaptation by Maïssa Mbaye( )

1 edition published in 2009 in French and held by 1 WorldCat member library worldwide

One of the major challenges for decades to come, in the field of information technologies and the communication, is realization of autonomic paradigm. It aims to enable network equipments to self-manage, enable them to self-configure, self-optimize, self-protect and self-heal according to high-level objectives of their designers. Major architectures of autonomic networking are based on closed control loop allowing self-adapting (self-configuring and self-optimizing) of the network equipment according to the events which arise on their environment. Knowledge plane is one approach, very emphasis these last years by researchers, which suggests the use of the cognitive systems (machine learning and the reasoning) to realize closed control loop. However, although the major autonomic architectures integrate machine learning modules as functional block, few researches are really interested in the contents of these blocks. It is in this context that we made a study on the potential contribution machine learning and proposed a method of distributed and collaborative machine learning. We propose a formalization self-adapting problem in term of learning configuration strategies (state-actions) problem. This formalization allows us to define a strategies machine learning method for self-adapting which is based on the history observed transitions and uses inductive logic programming to discover new strategies from those already discovered. We defined, also a knowledge sharing algorithm which makes network components collaborate to improve learning process. Finally, we tested our approach in DiffServ context and showed its transposition on multimedia streaming in 802.11 wireless networks
Securing wireless sensor and vehicular networks by Wafa Ben Jaballah( )

1 edition published in 2014 in English and held by 1 WorldCat member library worldwide

Wireless sensor and vehicular networks play an important role in critical military and civil applications, and pervade our daily life. However, security concerns constitute a potential stumbling block to the impeding wide deployment of sensor networks and vehicular communications. This dissertation studies communication security for Wireless Sensor Networks (WSNs), and vehicular communication. To this aim, we address four important aspects. The first study addresses broadcast authentication in WSNs. We focus on key disclosure based schemes. We demonstrate that key disclosure delay induces an authentication delay, which could lead to a memory DoS attack. We then propose two broadcastauthentication protocols for WSNs, which overcome the security vulnerability of existingsolutions. The proposed schemes guarantee the efficient management of receiver's buffer, by employing a staggered authentication mechanism, and a Bloom filter data structure to reduce the communication overhead. We also validate our protocols under the AVISPA model checking tool, and we evaluate them with experiments under TinyOS. Our findings are that these protocols provide source authentication service while respecting the WSN constraints.The second study addresses the storage issue in WSNs, in particular the Delayed AuthenticationCompromise attack (DAC). We first demonstrate that recently proposed schemes, which also address the DAC issue are vulnerable to two kinds of attacks: switch command attack (where an adversary pretends to "switch" two messages over time), and drop command attack (where an adversary just pretends to "hide" a message sent from the broadcaster). As a countermeasure against these attacks, we propose a new solution for broadcast authentication. Our analysis shows that our solution is effective in detecting both switch command and drop command attack, and-at the same time-is more efficient (in terms of both communication and computation) than the state of the art solutions.In the third study, we address key management security in WSNs. We present novel symmetric-key-based authentication schemes which exhibit low computation and communication authentication overhead. Our schemes are built upon the integration of a reputation mechanism, a Bloom filter, and a key binary tree for the distribution and updating of the auxviii thentication keys. Our schemes are lightweight and efficient with respect to communication and energy overhead. The fourth study addresses security in vehicular communications. We focus on fast multi hop broadcast applications. We analyze the security threats of state of the art vehicular based safety applications. We demonstrate that these schemes are vulnerable to the position cheating attack, the replay broadcast message attack, and the interrupting forwarding attack. Then, we propose countermeasures for these threats. We hence propose a complete solution which is both fast and secure in broadcasting safety related messages: Fast and Secure Multi-hop Broadcast Algorithm (FS-MBA). Finally, we confirm the efficiency and feasibility of our proposals using an extensive set of simulations under NS-2 Simulator
Définition d'une infrastructure de sécurité et de mobilité pour les réseaux pair-à-pair recouvrants by Ahmat mahamat Daouda( )

1 edition published in 2014 in French and held by 1 WorldCat member library worldwide

La sécurisation inhérente aux échanges dans les environnements dynamiques et distribués, dépourvus d'une coordination centrale et dont la topologie change perpétuellement, est un défi majeur. Dans le cadre de cette thèse, on se propose en effet de définir une infrastructure de sécurité adaptée aux contraintes des systèmes P2P actuels. Le premier volet de nos travaux consiste à proposer un intergiciel, appelé SEMOS, qui gère des sessions sécurisées et mobiles. SEMOS permet en effet de maintenir les sessions sécurisées actives et ce, même lorsque la configuration réseau change ou un dysfonctionnement se produit. Cette faculté d'itinérance est rendue possible par la définition d'un nouveau mécanisme de découplage afin de cloisonner l'espace d'adressage de l'espace de nommage ; le nouvel espace de nommage repose alors sur les tables de hachage distribuées (DHT). Le deuxième volet définit un mécanisme distribué et générique d'échange de clés adapté à l'architecture P2P. Basé sur les chemins disjoints et l'échange de bout en bout, le procédé de gestion des clés proposé est constitué d'une combinaison du protocole Diffie-Hellman et du schéma à seuil(k, n) de Shamir. D'une part, l'utilisation des chemins disjoints dans le routage des sous-clés compense l'absence de l'authentification certifiée, par une tierce partie, consubstantielle au protocole Diffie-Hellman et réduit, dans la foulée, sa vulnérabilité aux attaques par interception. D'autre part, l'extension de l'algorithme Diffie-Hellman par ajout du schéma à seuil (k, n) renforce substantiellement sa robustesse notamment dans la segmentation des clés et/ou en cas de défaillances accidentelles ou délibérées dans le routage des sous-clés. Enfin, les sessions sécurisées mobiles sont évaluées dans un réseau virtuel et mobile et la gestion des clés est simulée dans un environnement générant des topologies P2P aléatoires
Contribution à la modélisation de l'écoulement dans un compresseur centrifuge et développement de critères d'optimisation by Paul Le Sausse( )

1 edition published in 2014 in French and held by 1 WorldCat member library worldwide

This thesis is the result of a partnership between the company Johnson Controls and the university Bordeaux1. The objective is part of a project to develop innovative heat pump and involves the design of a high head centrifugal compressor. To do this, a numerical model is created to simulate the flow in this kind of compressor. To observe industriel deadlines, a first geometry was established by iterative changes of various parameters in analysing induced effiencies. The flow was then studied further, especially to better understand the onset of flow separation. Finally, a study of unsteady flow in the diffuser was performed. Beyond the physical phenomena investigated and comprehended during this process, it is firstly a methodology that values this work
Polynominalité des coefficients de structures des algèbres de doubles-classes by Omar Tout( )

1 edition published in 2014 in French and held by 1 WorldCat member library worldwide

On étudie dans cette thèse les coefficients de structure et particulièrement leurs dépendancesen n dans le cadre d'une suite des algèbres de doubles-classes. Le premier chapitre est dédié à l'étude des coefficients de structure dans le cas général des centres d'algèbres de groupes finis et des algèbres de doubles-classes. On rappelle dans ce chapitre la théorie des représentationsdes groupes finiset son lien avec les coefficients de structure. On montre que l'étude des coefficients de structure des algèbres de doubles-classes est reliéeà la théorie des paires de Gelfand et auxfonctions sphériques zonales en donnant un théorème similaireà celui de Frobenius. Ce théorème exprime les coefficients de structure d'une algèbre de doubles-classes associée à une paire de Gelfand en fonction des fonctions sphériques zonales. Dans le deuxième chapitre, on rappellele théorème de Farahat et Higmann autour de la propriété de polynomialité des coefficients de structure du centre de l'algèbre du groupe symétriqueainsi que la preuve d'Ivanov et Kerov. On donne une preuvecombinatoire pour lapropriété de polynomialité des coefficients de structure de l'algèbre de Hecke de la paire (S2n, Bn) dans le troisième chapitre. On utilise dans notre preuve une algèbre universelle qui se projette sur l'algèbre de Hecke de la paire (S2n, Bn) pour tout n. On montre aussi que cette algèbre universelle est isomorphe à l'algèbre fonctions symétriques décalées d'ordre 2. Dans le dernier chapitre on présente un cadre général pour la forme des coefficients de structure dans le cas d'une suite des algèbres de doubles-classes.Ce cadre regroupe les propriétés de polynomialité des coefficients de structure du centre de l'algèbre du groupe symétrique et de l'algèbre de Hecke de la paire (S2n, Bn).De plus, on donne des propriétés de polynomialité pour les coefficients de structure du centre de l'algèbre du groupe hypéroctaédral et de l'algèbre de doubles-classes de diag (Sn-1) dans Sn x Sopp n-1
Extraction des utilisations typiques à partir de données hétérogènes en vue d'optimiser la maintenance d'une flotte de véhicules by Asma Ben Zakour( )

1 edition published in 2012 in French and held by 1 WorldCat member library worldwide

Le travail produit s'inscrit dans un cadre industriel piloté par la société 2MoRO Solutions. La réalisation présentée dans cette thèse doit servir à l'élaboration d'un service à haute valeur, permettant aux exploitants aéronautiques d'optimiser leurs actions de maintenance. Les résultats obtenus permettent d'intégrer et de regrouper les tâches de maintenance en vue de minimiser la durée d'immobilisation des aéronefs et d'en réduire les risques de panne.La méthode que nous proposons comporte trois étapes : (i) une étape de rationalisation des séquences afin de pouvoir les combiner [...]
Analysis, structure and organization of complex networks by Faraz Zaidi( )

1 edition published in 2010 in English and held by 1 WorldCat member library worldwide

Network science has emerged as a fundamental field of study to model many physicaland real world systems around us. The discovery of small world and scale free propertiesof these real world networks has revolutionized the way we study, analyze, model andprocess these networks. In this thesis, we are interested in the study of networks havingthese properties often termed as complex networks. In our opinion, research conducted inthis field can be grouped into four categories, Analysis, Structure, Processes-Organizationand Visualization. We address problems pertaining to each of these categories throughoutthis thesis. (...)
Analyse semi-classique des opérateurs périodiques perturbés by Youssef Sbai( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

This Ph.D thesis deals with some spectral properties of two specific classes of two periodic operators. We are firstly interested in the model periodic perturbed by operator depending on a small semi-classical constant. We obtain an asymptotic behavior of the eigenvalue counting function in the spectral gaps with scharp remainder estimate. The second model studied in this thesis is a two-dimensional periodic elliptic second order opera-tor perturbed by operator depending on a large coupling constant. We also give the description of the counting function of eigenvalues when the coupling constant tends to infinity. The last part of this thesis highlights the study the spectrum of a Schrödinger operator perturbed by a fast oscillatingdecaying potential depending on a small parameter
Utilisation des méthodes Galerkin discontinues pour la résolution de l'hydrodynamique Lagrangienne bi-dimentsionnelle by François Vilar( )

1 edition published in 2012 in English and held by 1 WorldCat member library worldwide

Le travail présenté ici avait pour but le développement d'un schéma de type Galerkin discontinu (GD) d'ordre élevé pour la résolution des équations de la dynamique des gaz écrites dans un formalisme Lagrangien total, sur des maillages bi-dimensionnels totalement déstructurés. À cette fin, une méthode progressive a été utilisée afin d'étudier étape par étape les difficultés numériques inhérentes à la discrétisation Galerkin discontinue ainsi qu'aux équations de la dynamique des gaz Lagrangienne. Par conséquent, nous avons développé dans un premier temps des schémas de type Galerkin discontinu jusqu'à l'ordre trois pour la résolution des lois de conservation scalaires mono-dimensionnelles et bi-dimensionnelles sur des maillages déstructurés. La particularité principale de la discrétisation GD présentée est l'utilisation des bases polynomiales de Taylor. Ces dernières permettent, dans le cadre de maillages bi-dimensionnels déstructurés, une prise en compte globale et unifiée des différentes géométries. Une procédure de limitation hiérarchique, basée aux noeuds et préservant les extrema réguliers a été mise en place, ainsi qu'une forme générale des flux numériques assurant une stabilité globale L_2 de la solution. Ensuite, nous avons tâché d'appliquer la discrétisation Galerkin discontinue développée aux systèmes mono-dimensionnels de lois de conservation comme celui de l'acoustique, de Saint-Venant et de la dynamique des gaz Lagrangienne. Nous avons noté au cours de cette étude que l'application directe de la limitation mise en place dans le cadre des lois de conservation scalaires, aux variables physiques des systèmes mono-dimensionnels étudiés provoquait l'apparition d'oscillations parasites. En conséquence, une procédure de limitation basée sur les variables caractéristiques a été développée. Dans le cas de la dynamique des gaz, les flux numériques ont été construits afin que le système satisfasse une inégalité entropique globale. Fort de l'expérience acquise, nous avons appliqué la discrétisation GD mise en place aux équations bi-dimensionnelles de la dynamique des gaz, écrites dans un formalisme Lagrangien total. Dans ce cadre, le domaine de référence est fixe. Cependant, il est nécessaire de suivre l'évolution temporelle de la matrice jacobienne associée à la transformation Lagrange-Euler de l'écoulement, à savoir le tenseur gradient de déformation. Dans le travail présent, la transformation résultant de l'écoulement est discrétisée de manière continue à l'aide d'une base Éléments Finis. Cela permet une approximation du tenseur gradient de déformation vérifiant l'identité essentielle de Piola. La discrétisation des lois de conservation physiques sur le volume spécifique, le moment et l'énergie totale repose sur une méthode Galerkin discontinu. Le schéma est construit de sorte à satisfaire de manière exacte la loi de conservation géométrique (GCL). Dans le cas du schéma d'ordre trois, le champ de vitesse étant quadratique, la géométrie doit pouvoir se courber. Pour ce faire, des courbes de Bézier sont utilisées pour la paramétrisation des bords des cellules du maillage. Nous illustrons la robustesse et la précision des schémas mis en place à l'aide d'un grand nombre de cas tests pertinents, ainsi que par une étude de taux de convergence
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.89 (from 0.88 for Leçons de ... to 0.97 for Contrôle ...)

Associated Subjects
Alternative Names
École doctorale 039

École doctorale 39

École doctorale de Mathématiques et Informatique (Talence ; Gironde)

École doctorale Mathématiques et Informatique (Bordeaux)

École doctorale Mathématiques et Informatique (Talence ; Gironde)

ED 039

ED 39

ED039

ED39

Mathématiques et Informatique (Bordeaux)

Mathématiques et Informatique (Talence ; Gironde)

Université Bordeaux I. UFR de Mathématiques et Informatique

Université de Bordeaux 1. École doctorale de Mathématiques et Informatique

Université de Bordeaux. École doctorale de Mathématiques et Informatique

Université de Bordeaux I, École doctorale de mathématiques et informatique

Languages
French (17)

English (4)