691 |
Intersections maximales de quadriques réelles / Maximal intersections of real quadricsTomasini, Arnaud 10 November 2014 (has links)
La géométrie algébrique réelle est dans sa définition la plus simple, l'étude des ensembles de solutions d'un système d'équations polynomiales à coefficients réelles. Dans cette vaste thématique, on se concentre sur les intersections de quadriques où déjà le cas de trois quadriques reste largement ouvert. Notre sujet peut être résumé comme l'étude topologique des variétés algébriques réelles et l'interaction entre leur topologie d'une part et leur déformations et dégénérations d'autre part, un problème issu du 16ième problème de Hilbert et enrichi par des développements récents. Au cours de cette thèse, nous allons nous focaliser sur les intersections maximales de quadriques réelles et en particulier démonter l'existence de telles intersections en utilisant des développements issus des recherches effectuées depuis la fin des années 80. Dans le cas d'intersections de trois quadriques, nous allons mettre en évidence le lien très étroits entre ces intersections d'une part et les courbes planes d'autre part, et démontrer que l'étude des M-courbes (une des problématiques du 16ième problème de Hilbert) peut se faire à travers l'étude des intersections maximales. Nous utiliserons ensuite les résultats sur les courbes planes nodales afin de déterminer dans certains cas les classes de déformations d'intersections de trois quadriques réelles. / Real algebraic geometry is in its simplest definition, the study of sets of solutions of a system of polynomial equations with real coefficients. In this theme, we focus on the intersections of quadrics where already the case of three quadrics remains wide open. Our subject can be summarized as the topological study of real algebraic varieties and interaction between their topology on the one hand and their deformations and degenerations on the other hand, a problem coming from the 16th Hilbert problem and enriched by recent developments. In this thesis, we will focus on maximum intersections of real quadrics and particularly prove the existence of such intersections using research developments made since the late 80. In the case of intersections of three quadrics, we will point the very close link between the intersections on the one hand and on the other plane curves, and show that the study of M-curves (one of the problems of the 16th Hilbert problem) may be done through the study of maximum intersections. Next, we will use the study on nodal plane curves to determine in some cases deformation classes of intersections of three real quadrics.
|
692 |
Points rationnels d'une famille de sous-schémas fermés dans une variété semi-abélienne / Rational points on a family of closed subschemes of a semiabelian varietyVon Buhren, Jérôme 05 February 2015 (has links)
Soit X un sous-schéma fermé d'une variété abélienne A sur un corps de nombres K. L'ancienne conjecture de Mordell-Lang nous assure que X(K) est une réunion finie de sous-ensembles a_i+Bj(K) où a_i est un point de X(K) et B_i est une sous-variété abélienne de A de sorte que le translaté aj+Bj soit contenu dans X. Dans cette thèse, nous montrerons un résultat permettant de majorer la hauteur des a_i en fonctions de la hauteur de X. On en déduira une majoration pour la hauteur des solutions d'une équation aux unités. En utilisant les mêmes méthodes, on obtiendra une majoration de la même forme pour la hauteur des points entiers d'une variété abélienne(plongé dans un espace projectif) privé d'un hyperplan. / Let be X a closed subscheme of an abelian variety on a number field K. Faltings proved the Mordell-Lang conjecture: there are points a_1 , ... ,a_n in X(K) and abelian subvarieties 8_1 , ... ,B_nin A such that a_i+B_i is in X and X(K) is equal to the union of aj+B_i(K). In this thesis, we proof a result wich gives a bound for the height of the point a_i with the height of X. We obtain a bound for the solutions of an unit equation. With the same method, we proof a similar result for the height of the integers points on an abelian variety (embedded in a projective space) minus a hyperplane.
|
693 |
Mesure continue en mécanique quantique : quelques résultats et applications / Continuous measurement in quantum mechanics : a few results and applicationsTilloy, Antoine 24 June 2016 (has links)
Cette thèse est consacrée à l’étude des trajectoires quantiques issues de la théorie desmesures continues en mécanique quantique non relativiste. On y présente de nouveaux résultatsthéoriques ainsi que des exemples d’applications. Sur le front théorique, on étudie principalementla limite de mesure «forte» dans laquelle on met en évidence l’émergence de sauts quantiques etd’échardes quantiques, deux phénomènes dont on précise la statistique. Hors de la limite forte, onpropose une méthode d’extraction optimale d’information pour un registre de qubits. Sur le frontdes applications, on introduit une méthode originale de contrôle utilisant l’intensité de la mesurecomme unique variable et on explique la transition balistique-diffusif dans les marches aléatoiresquantiques ouvertes; deux sous produits de l’étude théorique préalable des situations de mesureforte. On s’intéresse aussi au problème de la gravité semi-classique et montre que la théorie desmesures continues peut permettre d’en construire un modèle cohérent à la limite newtonienne. Onsuggère enfin quelques extensions possibles de la théorie à l’estimation a posteriori et d’éventuellesgénéralisations des résultats théoriques à des situations de mesures répétées discrètes. Dans laprésentation des résultats, l’accent est mis davantage sur l’explicitation des liens entre les multiplespoints de vue possibles sur les trajectoires quantiques (parallèles avec la théorie classique du filtrageet les modèles de collapse objectif utilisés dans les fondements) que sur la rigueur mathématique. / This thesis is devoted to the study of the quantum trajectories obtained from thetheory of continuous measurement in non relativistic quantum mechanics. New theoretical resultsas well as examples of applications are presented. On the theoretical front, we study mostly thelimit of «strong» measurement where we put forward the emergence of quantum jumps and quantumspikes, two phenomena we characterize in detail. Out of the strong measurement limit, weinvestigate a method to extract information from a register of qubits optimally. On the applicationfront, we introduce an original method to control quantum systems exploiting only the freedomof changing the measurement intensity and we explain the transition between a ballistic and adiffusive behavior in open quantum random walks; two byproduct of the theoretical study of thestrong measurement regime. We further study the problem of semi-classical gravity and show thatcontinuous measurement theory allows to construct a consistent model in the Newtonian regime.We eventually suggest possible extensions of the formalism to a posteriori estimation and hint atgeneralizations of the results for the strong measurement limit in the wider context of discreterepeated measurements. In the course of our presentation, we emphasize the link with other approachesto the theory of continuous measurement (parallels with stochastic filtering and collapsemodels in foundations) rather than aim for mathematical rigor.
|
694 |
Le rôle du transfert interlinguistique et interculturel dans la coconstitution d'un problème public par les agences de presse : le cas de la votation antiminarets / The Role of Interlingual and Intercultural Transfer in the Coconstitution of a Public Problem by News Agencies : The Minaret Ban in SwitzerlandDavier, Lucile 22 November 2013 (has links)
Le multilinguisme est omniprésent dans les agences de presse et pourtant, les opérations de traduction(ou de transfert interlinguistique et interculturel, TII) sont rendues textuellement invisibles. Cette thèse de doctorat vise donc trois objectifs principaux. Premièrement, il s'agit de comprendre le processus de production multilingue d'information par les agences de presse, et notamment par l'Agence France-Presse et l'Agence télégraphique suisse. Cette étape est abordée par le biais de méthodes ethnographiques(observation directe du travail des journalistes et entretiens semi-dirigés). Il en ressort que les agenciers entretiennent une conception littéraliste de la traduction qui a pour conséquence des stratégies de désélection et de redite. Deuxièmement, cette thèse combine cette enquête ethnographique avec une analyse de corpus pour découvrir quelles formes de TII sont pratiquées dans les agences précitées.D'après les observations faites, il est nécessaire d'élargir la définition de la traduction afin de pouvoir englober les opérations de transfert ayant lieu au niveau du segment et des realia. Troisièmement, une analyse du corpus aux niveaux macro- et microtextuels vise à cerner les différents problèmes publics constitués en fonction des lectorats projetés. Du fait de la pratique de la redite, notamment, plus le problème public est culturellement éloigné, plus il a tendance à être inscrit dans un champ problématique supposé partagé par le public visé. Les conceptions de la traduction et les pratiques du TII méritent donc d'être prises en considération dans les études portant sur la constitution de problèmes publics transnationaux. / Despite the fact that multilingualism is ubiquitous in news agencies, the operations of translation (or ofinterlingual and intercultural transfer, IIT) are made textually invisible to the final audience. This thesispursues three main objectives. Firstly, it aims at understanding how multilingual information is producedin two news agencies: a global agency, Agence France-Presse, and a national agency, Agence télégraphiquesuisse. This goal is met through the application of ethnographic methods (direct observation of the workof journalists and semi-structured interviews), which show that journalists have a literal conception oftranslation. This conception in turn results in strategies of deselection and rewriting. Secondly, this thesiscombines the ethnographic approach with a corpus analysis in order to discover which types of IIT arepractised in the above-mentioned press agencies. The resulting observations show the need to broadenthe definition of translation so as to include transfer of textual segments and realia. Thirdly, a macro- andmicro-textual corpus analysis explores the different public problems constituted according to theprojected readerships. The practice of rewriting has one particular consequence on the shaping of a publicproblem: the greater the cultural gap between the target readership and the problem, the greater thelikelihood of the problem being presented in a frame of reference that is familiar to the readership. It canthus be said that professional conceptions of translation and practices of IIT deserve more considerationin further studies about the constitution of transnational public problems.
|
695 |
Redeployment in Convoys of Fleets of Shared Vehicles / Redéploiement en convois de flottes de véhicules partagésWegener, Jan-Thierry 26 July 2016 (has links)
L’autopartage est une manière moderne de louer une voiture. C'est un système attractif pour les clients qui utilisent une voiture occasionnellement. Dans un système d’autopartage, une flotte de véhicules est répartie sur une aire urbaine. Les client peuvent prendre ou rendre une voiture à n'importe quel moment et à n'importe quelle station, à condition qu’il y ait une voiture de libre à la station de départ et qu’il y a une place de parking libre à la station de destination. Pour s'en assurer, les clients peuvent réserver une voiture en avance. Pour qu’un tel système fonctionne de manière satisfaisante, il faut que le nombre de véhicules et le nombre de places libres dans les stations s'équilibrent. Cela conduit à un problème d'équilibre d'occupation des stations, appelé problème de relocalisation : un opérateur doit surveiller l'occupation des stations et décider quand et de quelle manière les voiture doivent être deplacées d’une station « trop pleine » à une station « insuffisamment pleine ». Nous considérons un système d’autopartage innovant, où les voitures sont partiellement autonomes. Cela permet de constituer des convois de véhicules que dirige un véhicule spécial, de sorte qu'un convoi est mis en mouvement par un seul conducteur. Cette configuration est similaire au système mis en place pour les vélos en libre-service, où un camion peut déplacer plusieurs vélos simultanément pendant le processus de la relocalisation. Dans le cadre de cette thèse, nous développons les aspects dynamiques et statiques du problème de relocalisation. Le « problème de relocalisation dynamique » décrit la situation où les voitures sont déplacées pendant les heures de travail afin de satisfaire les besoins des clients. L’opérateur doit prendre des décisions « dynamiques », en fonction de la situation. Dans le cadre du « problème de relocalisation statique », nous supposons qu’il n'y a aucune interaction (ou très peu) entre les clients et le système. Cette situation se produit lorsque le système est préparé pour le lendemain (ex : processus de la relocalisation effectué pendant la nuit). Nous modélisons le problème de relocalisation dans le cadre d’un système de tâches métriques. Ensuite, nous analysons les deux problèmes et nous donnons des stratégies pour les résoudre. Enfin, nous effectuons quelques expériences de calcul pour examiner l’applicabilité des algorithmes présentés en pratique. / Carsharing is a modern way of car rental, attractive to customers who make only occasional use of a car on demand. In a carsharing system, a fleet of cars is distributed at specified stations in an urban area, customers can take a car at any time and station and return it at any time and station, provided that there is a car available at the start station and a free place at the destination station. To ensure the latter, customers have to book their demands in advance. For operating such a system in a satisfactory way, the stations have to keep a good ratio between the total number of places and the number of cars in each station, in order to serve as many requests as possible. This leads to the problem of balancing the load of the stations, called Relocation Problem: an operator has to monitor the load and to decide when and how to move cars from “overfull” stations to “underfull” ones. We consider an innovative carsharing system, where the cars are partly autonomous, which allows to build wireless convoys of cars leaded by a special vehicle, such that the whole convoy is moved by only one driver. This setting is similar to bikesharing, where trucks can simultaneously move several bikes during the relocation process. In this thesis, we address the dynamic and static aspects of the Relocation Problem. The “Dynamic Relocation Problem” describes the situation when cars can be moved between stations during the working hours in order to satisfy the needs of the customers. Hereby, the operator has to make decisions dynamically according to the current situation. In the “Static Relocation Problem” we assume that there is no (or only little) interaction by customers with the system. This situation occurs when the carsharing system is prepared for the next day, i.e., the relocation process is performed during the night. We model the Relocation Problem in the framework of a metric task system. Afterwards, we theoretically analyze both problems and give strategies to solve them. Finally, we perform some computational experiments to examine the applicability of the presented algorithms in practice.
|
696 |
Métaheuristiques pour l'optimisation combinatoire sur processeurs graphiques (GPU) / Metaheuristics for combinatorial optimization on Graphics Processing Unit (GPU)Delevacq, Audrey 04 February 2013 (has links)
Plusieurs problèmes d'optimisation combinatoire sont dits NP-difficiles et ne peuvent être résolus de façon optimale par des algorithmes exacts. Les métaheuristiques ont prouvé qu'elles pouvaient être efficaces pour résoudre un grand nombre de ces problèmes en leur trouvant des solutions approchées en un temps raisonnable. Cependant, face à des instances de grande taille, elles ont besoin d'un temps de calcul et d'une quantité d'espace mémoire considérables pour être performantes dans l'exploration de l'espace de recherche. Par conséquent, l'intérêt voué à leur déploiement sur des architectures de calcul haute performance a augmenté durant ces dernières années. Les approches de parallélisation existantes suivent généralement les paradigmes de passage de messages ou de mémoire partagée qui conviennent aux architectures traditionnelles à base de microprocesseurs, aussi appelés CPU (Central Processing Unit).Cependant, la recherche évolue très rapidement dans le domaine du parallélisme et de nouvelles architectures émergent, notamment les accélérateurs matériels qui permettent de décharger le CPU de certaines de ses tâches. Parmi ceux-ci, les processeurs graphiques ou GPU (Graphics Processing Units) présentent une architecture massivement parallèle possédant un grand potentiel mais aussi de nouvelles difficultés d'algorithmique et de programmation. En effet, les modèles de parallélisation de métaheuristiques existants sont généralement inadaptés aux environnements de calcul de type GPU. Certains travaux ont d'ailleurs abordé ce sujet sans toutefois y apporter une vision globale et fondamentale.L'objectif général de cette thèse est de proposer un cadre de référence permettant l'implémentation efficace des métaheuristiques sur des architectures parallèles basées sur les GPU. Elle débute par un état de l'art décrivant les travaux existants sur la parallélisation GPU des métaheuristiques et les classifications générales des métaheuristiques parallèles. Une taxonomie originale est ensuite proposée afin de classifier les implémentations recensées et de formaliser les stratégies de parallélisation sur GPU dans un cadre méthodologique cohérent. Cette thèse vise également à valider cette taxonomie en exploitant ses principales composantes pour proposer des stratégies de parallélisation originales spécifiquement adaptées aux architectures GPU. Plusieurs implémentations performantes basées sur les métaheuristiques d'Optimisation par Colonie de Fourmis et de Recherche Locale Itérée sont ainsi proposées pour la résolution du problème du Voyageur de Commerce. Une étude expérimentale structurée et minutieuse est réalisée afin d'évaluer et de comparer la performance des approches autant au niveau de la qualité des solutions trouvées que de la réduction du temps de calcul. / Several combinatorial optimization problems are NP-hard and can only be solved optimally by exact algorithms for small instances. Metaheuristics have proved to be effective in solving many of these problems by finding approximate solutions in a reasonable time. However, dealing with large instances, they may require considerable computation time and amount of memory space to be efficient in the exploration of the search space. Therefore, the interest devoted to their deployment on high performance computing architectures has increased over the past years. Existing parallelization approaches generally follow the message-passing and shared-memory computing paradigms which are suitable for traditional architectures based on microprocessors, also called CPU (Central Processing Unit). However, research in the field of parallel computing is rapidly evolving and new architectures emerge, including hardware accelerators which offloads the CPU of some of its tasks. Among them, graphics processors or GPUs (Graphics Processing Units) have a massively parallel architecture with great potential but also imply new algorithmic and programming challenges. In fact, existing parallelization models of metaheuristics are generally unsuited to computing environments like GPUs. Few works have tackled this subject without providing a comprehensive and fundamental view of it.The general purpose of this thesis is to propose a framework for the effective implementation of metaheuristics on parallel architectures based on GPUs. It begins with a state of the art describing existing works on GPU parallelization of metaheuristics and general classifications of parallel metaheuristics. An original taxonomy is then designed to classify identified implementations and to formalize GPU parallelization strategies in a coherent methodological framework. This thesis also aims to validate this taxonomy by exploiting its main components to propose original parallelization strategies specifically tailored to GPU architectures. Several effective implementations based on Ant Colony Optimization and Iterated Local Search metaheuristics are thus proposed for solving the Travelling Salesman Problem. A structured and thorough experimental study is conducted to evaluate and compare the performance of approaches on criteria related to solution quality and computing time reduction.
|
697 |
Stochastic model of high-speed train dynamics for the prediction of long-time evolution of the track irregularities / Modèle stochastique de la dynamique des trains à grande vitesse pour la prévision de l'évolution à long terme des défauts de géométrie de la voieLestoille, Nicolas 16 October 2015 (has links)
Les voies ferrées sont de plus en plus sollicitées: le nombre de trains à grande vitesse, leur vitesse et leur charge ne cessent d'augmenter, ce qui contribue à la formation de défauts de géométrie sur la voie. En retour, ces défauts de géométrie influencent la réponse dynamique du train et dégradent les conditions de confort. Pour garantir de bonnes conditions de confort, les entreprises ferroviaires réalisent des opérations de maintenance de la voie, qui sont très coûteuses. Ces entreprises ont donc intérêt à prévoir l'évolution temporelle des défauts de géométrie de la voie pour anticiper les opérations de maintenance, et ainsi réduire les coûts de maintenance et améliorer les conditions de transport. Dans cette thèse, on analyse l'évolution temporelle d'une portion de voie par un indicateur vectoriel sur la dynamique du train. Pour la portion de voie choisie, on construit un modèle stochastique local des défauts de géométrie de la voie à partir d'un modèle global des défauts de géométrie et de big data de défauts mesurés par un train de mesure. Ce modèle stochastique local prend en compte la variabilité des défauts de géométrie de la voie et permet de générer des réalisations des défauts pour chaque temps de mesure. Après avoir validé le modèle numérique de la dynamique du train, les réponses dynamiques du train sur la portion de voie mesurée sont simulées numériquement en utilisant le modèle stochastique local des défauts de géométrie. Un indicateur dynamique, vectoriel et aléatoire, est introduit pour caractériser la réponse dynamique du train sur la portion de voie. Cet indicateur dynamique est construit de manière à prendre en compte les incertitudes de modèle dans le modèle numérique de la dynamique du train. Pour identifier le modèle stochastique des défauts de géométrie et pour caractériser les incertitudes de modèle, des méthodes stochastiques avancées, comme par exemple la décomposition en chaos polynomial ou le maximum de vraisemblance multidimensionnel, sont appliquées à des champs aléatoires non gaussiens et non stationnaires. Enfin, un modèle stochastique de prédiction est proposé pour prédire les quantités statistiques de l'indicateur dynamique, ce qui permet d'anticiper le besoin en maintenance. Ce modèle est construit en utilisant les résultats de la simulation de la dynamique du train et consiste à utiliser un modèle non stationnaire de type filtre de Kalman avec une condition initiale non gaussienne / Railways tracks are subjected to more and more constraints, because the number of high-speed trains using the high-speed lines, the trains speed, and the trains load keep increasing. These solicitations contribute to produce track irregularities. In return, track irregularities influence the train dynamic responses, inducing degradation of the comfort. To guarantee good conditions of comfort in the train, railways companies perform maintenance operations of the track, which are very costly. Consequently, there is a great interest for the railways companies to predict the long-time evolution of the track irregularities for a given track portion, in order to be able to anticipate the start off of the maintenance operations, and therefore to reduce the maintenance costs and to improve the running conditions. In this thesis, the long-time evolution of a given track portion is analyzed through a vector-valued indicator on the train dynamics. For this given track portion, a local stochastic model of the track irregularities is constructed using a global stochastic model of the track irregularities and using big data made up of experimental measurements of the track irregularities performed by a measuring train. This local stochastic model takes into account the variability of the track irregularities and allows for generating realizations of the track irregularities at each long time. After validating the computational model of the train dynamics, the train dynamic responses on the measured track portion are numerically simulated using the local stochastic model of the track irregularities. A vector-valued random dynamic indicator is defined to characterize the train dynamic responses on the given track portion. This dynamic indicator is constructed such that it takes into account the model uncertainties in the train dynamics computational model. For the identification of the track irregularities stochastic model and the characterization of the model uncertainties, advanced stochastic methods such as the polynomial chaos expansion and the multivariate maximum likelihood are applied to non-Gaussian and non-stationary random fields. Finally, a stochastic predictive model is proposed for predicting the statistical quantities of the random dynamic indicator, which allows for anticipating the need for track maintenance. This modeling is constructed using the results of the train dynamics simulation and consists in using a non-stationary Kalman-filter type model with a non-Gaussian initial condition. The proposed model is validated using experimental data for the French railways network for the high-speed trains
|
698 |
De l’urgence politique à la gestion de l’action publique : construire et institutionnaliser l’accès aux traitements du VIH/sida au Bénin / From Political Urgency to Policy Management : building and Institutionalizing Access to HIV/AIDS Treatments in BeninBonvalet, Perrine 06 March 2014 (has links)
Le cadrage du VIH/sida comme épidémie exceptionnellea conduit à la construction des politiquesde lutte contre le sida autour de la notiond’urgence politique et a rendu possible la miseen oeuvre de politiques d’accès aux traitementsantirétroviraux en Afrique au début des années2000. Cependant, dix ans après, l’accès de plusen plus massif à cette prise en charge a progressivementtransformé le VIH en maladie chronique,remettant ainsi en cause l’urgence politique aucoeur de ces politiques.A partir du cas du Bénin, cette thèse interrogel’émergence de la « chronicisation » du VIHet les effets de l’irruption du long terme dansle processus d’élaboration de la politique d’accèsau traitement. Mobilisant la sociologie de l’actionpublique, en lien avec le concept de « travailinstitutionnel », cette thèse analyse les processuset les acteurs réalisant ce travail.L’analyse de la construction du VIH/sidacomme problème politique exceptionnel et leprocessus d’institutionnalisation de la politiquemettent en évidence les difficultés des acteurs nationauxet internationaux à saisir des enjeux quis’inscrivent en contraste avec la définition initialedu problème. Ils continuent donc à agir au seinde ce cadrage du problème alors même que lescaractéristiques « objectives » du problème sonten constante évolution. Au coeur de ce processusd’institutionnalisation se trouve un réseaud’acteurs biomédicaux, organisé autour d’un programmede la Coopération française. A partir decette caractéristique, nous soulignerons la placecentrale de l’expertise dans le processus décisionnelet analyserons les jeux d’acteurs autourde sa mobilisation. Interrogeant le processus deconstruction et d’institutionnalisation d’une politique,cette thèse met en avant les dynamiquesd’acteurs et les jeux d’échelles au coeur de la productionde l’action publique contemporaine. / HIV/AIDS’s framing as an exceptional epidemicled to the building of AIDS policies around theconcept of political urgency and enabled the implementationof antiretroviral treatment policiesin sub-Saharan Africa at the beginning of the2000s. Ten years later, however, increasinglymassive access to medical care has graduallyturned HIV/AIDS into a chronic disease whoselong term characteristics contribute to challengingthe concept of political urgency as the basisof these policies.Drawing on a case study of Benin, this thesisquestions the implications of AIDS’s “chronicization”and the emergence of long term issues inthe AIDS treatment policy process. Using thesociology of public action, in relation to the conceptof “institutional work”, this thesis analyzesthe processes and actors entailed in this work.Analyzing AIDS’s framing as an exceptionalpolitical problem and the institutionalization ofthis policy highlights the difficulties faced by nationaland international actors to grasp what isat stake when initial problem framing becomeschallenged. Such actors tend strongly to keep onacting within the original problem framing whilethe “objective” characteristics of the problem areconstantly evolving. At the center of the institutionalizingprocess under study here has beena network of biomedical actors organized arounda program by the French Cooperation. This policy’scharacteristics has led our research to underlinethe central role played by expertise in thedecision-making process and the actor interactionsthat have developed around its use. Questioningboth policy-building and institutionalizingprocesses, this thesis emphasizes actors andmultilevel dynamics as central to contemporarypolicy-making.
|
699 |
Analyse probabiliste et multi-données de la source de grands séismes / Probabilistic and multi data analysis of large earthquakes source physicsBletery, Quentin 27 November 2015 (has links)
Les séismes sont le résultat de glissements rapides le long de failles actives chargées en contraintes par le mouvement des plaques tectoniques. Il est aujourd'hui établi, au moins pour les grands séismes, que la distribution de ce glissement rapide le long des failles pendant les séismes est hétérogène. Imager la complexité de ces distributions de glissement constitue un enjeu majeur de la sismologie en raison des implications potentielles dans la compréhension de la genèse des séismes et la possibilité associée de mieux anticiper le risque sismique et les tsunamis. Pour améliorer l'imagerie de ces distributions de glissement co-sismique, trois axes peuvent être suivis: augmenter les contraintes sur les modèles en incluant plus d'observations dans les inversions, améliorer la modélisation physique du problème direct et progresser dans le formalisme de résolution du problème inverse. Dans ce travail de thèse, nous explorons ces trois axes à travers l'étude de deux séismes majeurs: les séisme de Tohoku-Oki (Mw 9.0) et de Sumatra-Andaman (Mw 9.1-9.3) survenus en 2011 et 2004, respectivement. / Earthquakes are the results of rapid slip on active faults loaded in stress by the tectonic plates motion. It is now establish - at least for large earthquakes - that the distribution of this rapid slip along the rupturing faults is heterogeneous. Imaging the complexity of such slip distributions is one the main challenges in seismology because of the potential implications on understanding earthquake genesis and the associated possibility to better anticipate devastating shaking and tsunami. To improve the imaging of such co-seismic slip distributions, three axes may be followed: increase the constraints on the source models by including more observations into the inversions, improve the physical modeling of the forward problem and improve the formalism to solve the inverse problem. In this PhD thesis, we explore these three axes by studying two recent major earthquakes: the Tohoku-Oki (Mw 9.0) and Sumatra-Andaman (Mw 9.1-9.3) earthquakes, which occured in 2011 and 2004 respectively.
|
700 |
Conception robuste aux incertitudes des systèmes légers bois envibro-acoustique linéaire / Robust design of lightweight wood-based systems in linear vibroacousticsCoguenanff, Corentin 22 October 2015 (has links)
La compréhension et la prédiction du comportement vibro-acoustique des systèmes légers bois du bâtiment constitue un enjeu scientifique d'actualité. En 2015 une étude montrait encore que presque la moitié de ces systèmes constructifs n'offrait pas satisfaction. Un modèle prédictif à l'échelle du bâtiment, en cours de normalisation, permet de prendre en compte la performance individuelle des différents systèmes séparatifs pour remonter à un niveau de performance globale. La difficulté scientifique réside alors dans l'évaluation de la performance individuelle associée à chaque conception admissible, dans un vaste ensemble de systèmes techniquement réalisables. Dans cette recherche, une méthodologie est proposée pour la construction de modèles numériques capables de prendre en compte, aux basses fréquences, la complexité et la diversité des systèmes bois constitués de multiples plaques, poutres, cavités acoustiques et matériaux poroélastiques. En accord avec les procédures d'évaluation normalisées, des modèles déterministes pour les excitations mécaniques du système sont construits. Une approche probabiliste est alors développée en réponse à la problématique des incertitudes liées à la construction légère. Ainsi, en résolvant un problème stochastique inverse utilisant des données expérimentales pour identifier les hyperparamètres de modèles probabilistes développés, il est possible de quantifier la propagation des incertitudes du système à la performance prédite en conditions de laboratoire. Par suite, des configurations optimales, robustes aux incertitudes, sont recherchées. Du fait de la nature combinatoire du problème d'optimisation, un algorithme génétique, particulièrement adapté à un espace de recherche discret ainsi qu'à l'optimisation multi-objectif, est mis en oeuvre. Dans les cas traités, les configurations optimales tendent vers une maximisation de la rigidité structurelle / Being able to understand and predict the vibroacoustic behavior of lightweight wood-based building systems contitute a serious scientific concern. In 2015, acoustic comfort investigation claims that unsatisfactions are expressed with respect to around 50% of such constructions. In particular, low frequency discomfort is target of criticism. A methodology was proposed, currently running through standardisation process, which translates the individual performance of the building systems into a global building performance index. The challenge consequently lies in the prediction of the individual performances in regard to the wide spread of wood based designs. In this research, a methodology is introduced for the construction of computational models able to handle the complexity and diversity of the systems, constituted of multiple boards, stiffeners, cavities and poroelastic media. Structural excitations of the system are constructed according to standard evaluation procedures. Then, a probabilistic approach is undertaken in order to take into account the uncertainty problematic, inherent to lightweight wood based constructions. In particular, stochastic inverse problems are constructed to identify, from experimental measurements, hyperparameters associated with ad hoc probabilistic models. Eventually, uncertainty quantification can be performed in regard to predicted performance in laboratory conditions. Following, robust optimal designs are sought in the presence of uncertainties. No continuous mapping from the search space of the configurations to the space of the fitness functions representative of the objective performance exists and derivatives cannot be defined. By way of consequence, the class of the evolutionnary algorithm, suited to discrete search spaces as well as multi-objective optimisation, is chosen. Considered optimisation problems displayed preferential directions of the genetic algorithm towards stiffest admissible designs
|
Page generated in 0.0631 seconds