• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3587
  • 1006
  • 348
  • 29
  • 7
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 5046
  • 2299
  • 1111
  • 637
  • 624
  • 585
  • 466
  • 408
  • 389
  • 371
  • 371
  • 331
  • 317
  • 307
  • 294
  • 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 cinétique de l’interaction plasma-paroi en présence d’un champ magnétique / Kinetic study of magnetized plasma-wall interaction

Devaux, Stéphane 06 June 2007 (has links)
Dans les plasmas de fusion, les parois faisant face aux plasmas sont érodées, ce qui réduit leur durée de vie, et les particules rejetées dégradent le confinement de l’énergie en rayonnant. Nous étudions ce phénomène à l’aide d’une modélisation cinétique de type Vlasov-Poisson. Celle-ci nous permet d’étudier la transition entre un plasma basse pression faiblement collisionnel à l’équilibre thermodynamique et une paroi, en présence d’un champ magnétique. Une étude détaillée de la transition a permis d’établir les mécanismes agissant dans les trois zones qui la composent (gaine de Debye, prégaine magnétique et prégaine collisionnelle). Une attention particulière apportée aux conditions d’entrée des ions dans la gaine a permis de montrer que les collisions pouvaient conduire à la non-satisfaction du critère de Bohm. Nous avons de plus mis en évidence que la présence de la paroi, combinée à celle d’un champ magnétique, induit d’importantes déformations de la distribution des ions, justifiant pleinement le traitement cinétique. L’exploitation des distributions obtenues au niveau de la paroi a permis d’estimer le taux de pulvérisation de celle-ci en fonction du champ magnétique. Nous avons pu montrer qu’un champ magnétique rasant permet non seulement d’étaler le flux ionique sur une plus grande surface, mais aussi de réduire l’énergie des ions la percutant, limitant ainsi sa pulvérisation. Les plasmas étant généralement composés de plusieurs types d’ions, notre modèle a ensuite été étendu au cas des plasmas composés d’argon et d’hélium. Notre étude s’est concentrée sur l’influence d’une seconde espèce ionique sur le critère de Bohm à l’entrée de la gaine de Debye. / In fusion devices, the region of plasma directly in contact with a material surface (limiter, divertor) can erode the surface and release impurities, which mirgrate toward the bulk plasma and deteriorate its confinement. In this thesis, we studied the plasma-wall interaction using a Vlasov-Poisson model. This kinetic model allowed us to investigate the three different regions (Debye sheath, magnetic and collisional presheaths) that compose the transition between a low-pressure plasma and a wall when a tilted magnetic field is present. Particular attention was devoted to the physical properties of ions entering the Debye sheath and the role of ion-neutral collisions on the Bohm criterion. Moreover, we showed that, in the presence of a tilted magnetic field, the ion distribution function is significantly distorted from its Maxwellian shape in the bulk plasma, thus requiring a fully kinetic study. Using the computed ion distributions on the wall, we estimated the wall sputtering rate in terms of the magnetic field strength and angle of incidence. We showed in particular that, for grazing incidence, the sputtering rate is reduced because of two effects: first, the ion flux is spread over a larger area and, second, the grazing magnetic field limits the kinetic energy of ion population. As plasmas are generally composed of more than one species, we extended our model to simulate an argon-helium plasma. Our study focussed on the Bohm criterion at the Debye sheath entrance and its modifications brought by the introduction of a second ion species.
22

Towards Bond Graph modeling of a class of system of systems : application to an intelligent transportation system / Vers la modélisation d'une classe de système de systèmes : application à un système de transport intelligent

Kumar, Pushpendra 03 December 2014 (has links)
Les systèmes à grande échelle intégrées qui travaillent ensemble pour une mission commune sont connus sous le nom de Systèmes de Systèmes (SdS). Ce travail propose une méthode de modélisation pour une classe de SdS, à savoir, les systèmes mécatronique, en utilisant l’approche de Bond graph. Cette approche est appliquée à un Système de Transport Intelligent par la modélisation de la dynamique du trafic de véhicules autonomes intelligent; où les communications de véhicule à véhicule et de véhicule à infrastructure sont considérées. Un tel ensemble de véhicules autonomes décrit l'organisation d'un SdS. La dynamique du trafic est modélisée sur trois niveaux d'abstraction, à savoir: sous-microscopique, microscopique, et macroscopique. Par la suite, les trois niveaux sont combinés pour développer un modèle multi-niveaux de la dynamique du trafic en utilisant la même approche du Bond graph. Le modèle est simulé dans des scénarios normaux et défectueux. Ensuite, le modèle est validé sur un simulateur en temps réel de la dynamique du véhicule. En plus, des expériences réelles sur véhicules autonomes intelligent sont effectuées pour valider le modèle. Enfin, le modèle est utilisé pour développer une stratégie de supervision du SdS de trafic basé sur l'analyse comportementale et structurelle du modèle bond graph. / Large-scale integrated systems working collectively for a common mission are known as Systems of Systems (SoS). In the present work, we propose a modeling method for a class of SoS, namely mechatronic systems, based on the Bond graph modeling approach. The proposed approach is applied to an Intelligent Transportation System (ITS) by modeling the traffic dynamic of Intelligent Autonomous Vehicles (IAVs); where Vehicle to Vehicle (V2V) and Vehicle to Infrastructure (V2I) communications are considered. Such set of autonomous vehicles describe the organization of a SoS. The traffic dynamic is modeled at three abstraction levels namely: submicroscopic, microscopic, and macroscopic levels. Subsequently, the three levels are combined to develop a multilevel model of the traffic dynamic using the same Bond graph approach. The model is simulated for normal and faulty scenarios. Then, the model is validated on a real-time simulator of vehicle dynamics. In addition, real experiments on IAVs are performed to validate the model. Finally, the model is used to develop a supervision strategy for the traffic SoS based on the behavioral and structural analysis of the Bond graph model.
23

Planification de la maintenance basée sur la dégradation de composants : application à un véhicule industriel / Scheduling maintenance method based on component degradation : application to commercial heavy vehicles

Bouvard, Kéomany 02 July 2010 (has links)
Ce travail, réalisé dans le cadre d'un contrat CIFRE entre le groupe Volvo, le LAGIS et le LM2S, traite des problèmes de planification des tâches de maintenance sur des véhicules industriels. Le but est de proposer un service de planification de maintenance adaptée au véhicule spécifique avec un coût de maintenance optimisé.Pour un système multi-composant, deux ensembles de composants peuvent être définis suivant le type d'information disponible concernant leurs états: âge ou niveau de dégradation. Sur la base de ces deux ensembles, des dates optimales de maintenance pour chaque composant peuvent être obtenues en minimisant une fonction de coût qui tient compte des coûts préventif, correctif et d'inspection éventuelle et qui dépend de la probabilité de panne. Dans le cas des composants à maintenance basée sur l'âge, la fonction de probabilité de panne est fixée a priori ; dans le cas des composants à détérioration elle est recalculée à chaque inspection.Les opérations de maintenance sont ensuite regroupées sur un horizon roulant. Certaines opérations doivent être déplacées par rapport à leur date optimale ce qui entraîne l'ajout d'un coût de pénalité. Les regroupements sont effectués en tenant compte des coûts de logistique des arrêts de maintenance, des coûts de pénalité de chaque opération et d'un intervalle de temps minimal entre deux groupes de maintenances qui correspond au temps de préparation de maintenance. La planification est obtenue en maximisant la différence entre la somme des coûts des maintenances individuelles et le coût global en tenant compte des groupes de tâches de maintenance. Le planning de maintenance est remis à jour à la prochaine inspection. / This thesis deals with the maintenance operation scheduling issues of commercial vehicles. It is a CIFRE collaboration between the Volvo group, LAGIS and LM2S laboratories. The aim is to suggest a maintenance scheduling service adapted to the vehicle with an optimized maintenance cost.The vehicle is considered as a multi-component system. For each component, the optimal maintenance dates are computed using a maintenance cost function. This cost function depends on the preventive cost, the corrective cost and possibly the inspection cost, and also on the component failure probability function. In our system, two types of components are defined according to the available component state information : age or degradation level. The failure probability function is fixed a priori for the first component class while it is updated at each inspection for deteriorating and monitored components.The maintenance operations are grouped on a rolling horizon. Some operations must be shifted from their optimal maintenance dates, which implies a penalty cost. The maintenance scheduling depends on the set-up cost, the penalty cost of each operation, and a minimal time interval between two maintenance groups which represents the preparation time. The set-up costs depend on the number of maintenance stops. The saving cost is computed from the difference between the maintenance cost with individual operations and the maintenance cost with the defined operation groups. The developed algorithm provides the optimal maintenance planning according to the available degradation data and the operational constraints. Maintenance scheduling is updated at the next inspection date.
24

Méthodes et architectures basées sur la redondance modulaire pour circuits combinatoires tolérants aux fautes / Methods and architectures based on modular redundancy for fault-tolerant combinational circuits

Ban, Tian 04 September 2012 (has links)
Dans cette thèse, nous nous intéressons à la recherche d’architectures fiables pour les circuits logiques. Par ”fiable”, nous entendons des architectures permettant le masquage des fautes et les rendant de ce fait ”tolérantes" à ces fautes. Les solutions pour la tolérance aux fautes sont basées sur la redondance, d’où le surcoût qui y est associé. La redondance peut être mise en oeuvre de différentes manières : statique ou dynamique, spatiale ou temporelle. Nous menons cette recherche en essayant de minimiser tant que possible le surcoût matériel engendré par le mécanisme de tolérance aux fautes. Le travail porte principalement sur les solutions de redondance modulaire, mais certaines études développées sont beaucoup plus générales. / In this thesis, we mainly take into account the representative technique Triple Module Redundancy (TMR) as the reliability improvement technique. A voter is an necessary element in this kind of fault-tolerant architectures. The importance of reliability in majority voter is due to its application in both conventional fault-tolerant design and novel nanoelectronic systems. The property of a voter is therefore a bottleneck since it directly determines the whole performance of a redundant fault-tolerant digital IP (such as a TMR configuration). Obviously, the efficacy of TMR is to increase the reliability of digital IP. However, TMR sometimes could result in worse reliability than a simplex function module could. A better understanding of functional and signal reliability characteristics of a 3-input majority voter (majority voting in TMR) is studied. We analyze them by utilizing signal probability and boolean difference. It is well known that the acquisition of output signal probabilities is much easier compared with the obtention of output reliability. The results derived in this thesis proclaim the signal probability requirements for inputs of majority voter, and thereby reveal the conditions that TMR technique requires. This study shows the critical importance of error characteristics of majority voter, as used in fault-tolerant designs. As the flawlessness of majority voter in TMR is not true, we also proposed a fault-tolerant and simple 2-level majority voter structure for TMR. This alternative architecture for majority voter is useful in TMR schemes. The proposed solution is robust to single fault and exceeds those previous ones in terms of reliability.
25

Recherche des objets complexes dans le Web structuré / Searching complex data on the structured Web

Derouiche, Nora 20 March 2012 (has links)
Nous assistons aujourd’hui à un développement continu et rapide du Web Structuré, dans lequel les documents (les pages Web) ne sont plus composés que du texte non structuré mais sont centrés sur les données, présentant des contenus structurés et des objets complexes. Ces pages Web sont générées le plus souvent de façon dynamique à partir d’une base de données accessible via des formulaires (Web caché), et sont organisées selon une structure régulière et prédéfinie. Les plates-formes de recherche actuelles ne permettent d’obtenir que des pages en utilisant des méthodes traditionnelles de recherche par des mots-clés, qui sont inadaptées pour interroger le Web structuré. En effet, la recherche par mots-clés est sémantiquement pauvre et ignore les liens structurels existant entre les différents contenus des objets complexes (ex. dans une page Web d’un site commercial, constituée d’une liste de livres, les entités élémentaires “titre” et “auteur” composant chaque “livre” sont présentées selon une disposition qui illustre leurs relations. De nouveaux moyens de recherche sur le Web sont donc nécessaires, pour permettre à l’utilisateur de cibler des données complexes avec une sémantique précise. L’objectif de cette thèse est de fournir des algorithmes efficaces pour l’extraction et la recherche des objets structurées (un livre, un concert de musique, etc.) de façon automatique, à l’aide de méthodes adaptées allant au-delà de la recherche par mots-clés. Nous avons proposé une approche d’interrogation du Web en deux étapes, qui permet à l’utilisateur de décrire le schéma des objets ciblés, de façon souple et précise. Les deux problématiques principales adressées sont : (1) la sélection de sources Web structurées les plus pertinentes pour un schéma fourni par l’utilisateur (c-à-d, contenant les objets, instances de ce schéma), et (2) la construction de wrappers (extracteurs) pour l’extraction des objets complexes ciblés à partir des sources sélectionnées, en exploitant la régularité des structures des pages et la sémantique des données. Notre approche est générique, dans le sens où elle nŠest pas spécifique à des sources ou des objets d’un domaine particulier. Elle a été implantée (système ObjectRunner) et testée sur des sources Web appartenant à des domaines variés. Les résultats obtenus montrent, en particulier, une pertinente élevée au niveau de la sélection de sources et un gain significatif au niveau de la qualité de l’extraction par rapport aux approches existantes. / We are witnessing in recent years a steady growth of the so-called structured Web, in which documents (Web pages) are no longer quasi-textual, but are data-centric, presen-ting structured content, complex objects. Such schematized pages are often generated dynamically by means of formatting templates over a database, possibly using user input via forms (hidden Web). The current Web search platforms allow only to retrieve Web pages by traditional keyword search methods, which are not adapted to query the structured Web. Indeed, keyword search is semantically poor and ignores the existing structural links between various components of complex objects (e.g., in a commercial Web site page, providing book lists, the atomic entities “title” and “author” forming each “book” are displayed in a way that illustrates their relationship. New ways of searching the Web are thus required, in order to enable users to target complex data, with a clear semantics. The main aim of this thesis is to provide effective algorithms for extracting and retrieving structured objects (e.g., a book, a music concert, etc.) automatically, using adapted methods rather going beyond the keyword search ones. We propose a two-phase querying approach of the Web, which allows users to first describe the schema of the targeted objects, in a flexible, lightweight and precise manner. The two main problems we address are : (1) the selection of the most relevant structured Web sources with respect to the schema provided by the user (i.e., containing objects, instances of this schema), and (2) the construction of wrappers for extracting the targeted complex objects from the selected sources, leveraging both the regularity of the pages and the semantics of the data. Our approach is generic, in the sense that it can be applied to any domain and schema for complex objects. It has been implemented in the ObjectRunner system, and tested extensively. The experimental results show high source-selection relevance and significant improvements over existing techniques in terms of extraction precision.
26

Modélisation de plate-forme avionique pour exploration de performance en avance de phase

Lafaye, Michaël 19 November 2012 (has links)
De nos jours, les systèmes embarqués temps-réels critiques intègrent de plus en plus de composants, et voient leur complexité augmenter. Les systèmes avioniques ont suivi cette évolution, voyant augmenter leurs processus de développement. Dès lors, les développeurs de plates-formes avioniques se sont tournés vers les méthodes de modélisation en avance de phase (i.e. en tout début de cycle de développement), afin d’anticiper les performances de celles-ci et aider à leur dimensionnement. Particulièrement, l’exploration de l’utilisation des ressources matérielles de la plate-forme par la partie applicative (l’ensemble des applications) est le point central de cette exploration des performances. Si les méthodes de modélisation actuelles offrent la possibilité de modéliser une plate-forme depuis les exigences jusqu’au niveau architectural, elles ne sont pas encore adaptées à la modélisation comportementale. Elles ne permettent donc pas l’étude du comportement et la comparaison de différentes architectures d’une plate-forme en avance de phase. Mes travaux de thèse ont pour but d’offrir un processus de modélisation et simulation de plate-forme avionique répondant à cette problématique. L’objectif est de compléter les méthodes de modélisation actuelles pour apporter une analyse plus fine des performances d’une plate-forme en avance de phase, et les comparer avec les exigences. Pour cela, nous proposons une approche en quatre étapes : i) une étape de modélisation des applications et d’extraction des stimuli applicatifs ; ii) une étape de modélisation architecturale du système basée sur AADL (Architecture Analysis and Design Language) et son annexe ARINC653 ; iii) une étape de génération d’un modèle comportemental de la partie matérielle et intergicielle du système en SystemC-TLM ; iv) une étape de simulation et d’analyses, où les stimuli applicatifs sont exécutés par le modèle comportemental, et les performances extraites comparées aux exigences système. Enfin, nous avons validé notre méthode sur un cas d’étude avionique que nous présenterons également. / Nowadays, real-time critical embedded systems are more and more complex due to an increase of the integrated components. Following that trend, avionic systems development complexity increases too. So early modeling processes are more and more used in order to anticipate on plat-forms performance and help sizing them. Particularly, hardware resources usage exploration is a key aspect for performance exploration. Current processes allow to model avionic platform from requirements to architectural level of abstraction, but they do not allow to model a behavioral avionic platform. Thus, they do not allow to explore the hardware resources usage of the platform, neither to compare some alternatives of architectures at early phase of development cycle. My PhD work presents our avionic platform modeling and simulation process that answer that problem. The goal is to complete current modeling processes to offer more accurate early performance analysis, and compare them with the system requirements. For that, we propose a for steps method : i) an application modeling and stimuli extraction step ; ii) an architectural modeling step, based on the AADL (Architecture Analysis and Design Language) and its ARINC653 annex ; iii) a behavioral execution platform model (hardware and middleware) generation step with SystemC-TLM ; iv) a simulation and analysis step, when performance are compared with system requirements. At last, we will present our validation part on an avionic case study.
27

Jeu vidéo et traduction, étude d’une relation humain-machine / Video games and translation, study of a human-machine relationship

Buseyne, Julien 25 January 2018 (has links)
Depuis son acte de naissance au début des années 1970, l’industrie du jeu vidéo s’est hissée au premier rang des industries du loisir. La traduction des œuvres joua un rôle prépondérant dans la conquête de nouveaux marchés, qui a permis à certains fabricants, producteurs et éditeurs d’acquérir une dimension internationale. Les jeux vidéo sont des objets techniques interactifs dont la fabrication repose à la fois sur la programmation d’un logiciel capable de produire une structure jouable, et sur des procédés artistiques capables de produire une représentation actionnable. Ils constituent un contexte opératoire dont les propriétés posent un écheveau de problèmes que les agents chargés d’effectuer leurs traductions doivent résoudre. L’objectif de cette thèse est de produire une étude compréhensive du rapport entre jeu vidéo et traduction, approché sous l’angle de la relation entre humain et machine. Malheureusement, les pratiques de l’industrie en matière de protection de la propriété intellectuelle, la complexité des objets techniques concernés et la taille des œuvres opposent une résistance sensible à leur analyse. Elle propose d’y remédier par une analyse de la traduction comme opération technique effectuée sur une famille d’objets, le jeu vidéo, dans l’environnement que constitue le système technique numérique. Elle est parachevée par des études de cas. Sa conclusion ouvre des pistes en matière de recherche et développement, en partenariat avec les acteurs de ce secteur. / Since it came into being in the beginning of the 970 decade, the video games industry made its way to the top of the entertainment industry. The translation of the product it delivered played an important part in this evolution, allowing some platform holders, developers and publishers to become worldwide actors. Video games are interactive technical artifacts. Their fabrication relies on both the coding of a software acting as a playable structure, and on artistic assets used to build its representation. Translators operating in such a context are confronted with a mesh of challenges that they need to overcome in order to successfully complete their task. This PhD thesis is a comprehensive study of the interaction between video games and translation, considered as a human-machine relationship. Unfortunately, the rules enforced by the industry regarding the protection of intellectual property, the complexity of the technical artifacts involved and the size of the productions are an impediment to any analysis. In order to remedy this situation, this study endeavors to analyze translation as a technical operation, performed on a type of artifacts, video games, while considering the digital technical system as an environment. Case studies complete this work. Its conclusion gives several leads for research and development, to be investigated in partnership with actors in the localization or video games industry.
28

Descriptions déterministes de la turbulence dans les équations de Navier-Stokes / Deterministic descriptions of the turbulence in the Navier-Stokes equations

Jarrín, Oscar 20 June 2018 (has links)
Cette thèse est consacrée à l'étude déterministe de la turbulence dans les équations de Navier-Stokes; et elle est divisée en quatre chapitres indépendants.Le premier chapitre s'agit d'une discussion rigoureuse sur l'étude la loi de dissipation d'énergie, proposée par théorie de la turbulence K41, dans le cadre déterministe des équations de Navier-Stokes homogènes et incompressibles, avec une force externe stationnaire (la force ne dépende que de la variable spatiale) et posées sur l'espace tout entier. Le but de ce chapitre est de mettre en évidence le fait que si nous considérons les équations de Navier-Stokes posées sur l'espace alors certains quantités physiques, nécessaires pour l'étude de la loi de dissipation de Kolmogorov, n'ont pas une définition rigoureuse et alors pour donner un sens à ces quantités on propose de considérer les équations de Navier-Stokes mais avec un terme additionnel d'amortissement . Dans le cadre de ces équations de Navier-Stokes amorties, on obtient des estimations du taux de dissipation d'énergie selon la loi de dissipation de Kolmogorov.Dans le deuxième chapitre on s'intéresse à l'étude des solutions stationnaires des équations de Navier-Stokes amorties introduites dans le chapitre précédent. Ces solutions stationnaires correspondent à un type particulier des solutions qui ne dépendent que de la variable d'espace: la motivation pour étudier ces solutions stationnaires étant donné que la force externe que nous considérons tout au long de cette thèse est une fonction stationnaire. Dans ce chapitre on étudie essentiellement deux propriétés des solutions stationnaires: la première propriété correspond à la stabilité de ces solutions où on montre que si l'on contrôle la force externe des équations de Navier-Stokes amorties alors toute solution non stationnaire (qui dépend de la variable d'espace et aussi de la variable de temps) converge vers une solution stationnaire lorsque le temps tend à l'infini. La deuxième propriété porte sur l'étude de la décroissance en variable spatiale des ces solutions stationnaires.Dans le troisième chapitre on continue à étudier les solutions stationnaires des équations de Navier-Stokes, mais cette fois-ci on considère les équations de Navier-Stokes classiques (sans aucun terme d'amortissement) . Le but de ce chapitre est d'étudier un tout autre problème relié à l'étude déterministe de la turbulence et qui porte sur la décroissance de la transformée de Fourier des solutions stationnaires. En effet, selon la théorie de la turbulence K41, si le fluide est en régime laminaire on s'attend à observer une décroissance exponentielle de la transformée de Fourier des solutions stationnaires et cette décroissance à lieu dès les bases fréquences, tandis que si le fluide est en régime turbulent alors on s'attend à observer cette même décroissance exponentielle mais seulement aux hautes fréquences. Ainsi, à l'aide des outils de l'analyse de Fourier, dans ce chapitre on donne des descriptions précises sur cette décroissance exponentielle fréquentiel (dans le régime laminaire et dans le régime turbulent) des solutions stationnaires.Dans le quatrième et dernier chapitre on revient aux solutions stationnaires des équations de Navier-Stokes (on considère toujours les équations classiques) et on étude l'unicité de ces solutions dans le cas particulier où la force externe est nulle. En suivant essentiellement quelques idées des travaux précédents de G. Seregin, on étudie l'unicité des ces solutions tout d'abord dans les cadres des espaces de Lebesgue et ensuite dans le cadre plus général des espaces de Morrey. / This PhD thesis is devoted to deterministic study of the turbulence in the Navier-Stokes equations. The thesis is divided in four independent chapters.The first chapter involves a rigorous discussion about the energy's dissipation law, proposed by theory of the turbulence K41, in the deterministic setting of the homogeneous and incompressible Navier-Stokes equations, with a stationary external force (the force only depends of the spatial variable) and on the whole space. The energy's dissipation law, also called the Kolmogorov's dissipation law, characterizes the energy's dissipation rate (in the form of heat) of a turbulent fluid and this law was developed by A.N. Kolmogorov in 1941. However, its deduction (which uses mainly tools of statistics) is not fully understood until our days and then an active research area consists in studying this law in the rigorous framework of the Navier-Stokes equations which describe in a mathematical way the fluids motion and in particular the movement of turbulent fluids. In this setting, the purpose of this chapter is to highlight the fact that if we consider the Navier-Stokes equations on the whole space then certain physical quantities, necessary for the study of the Kolmogorov's dissipation law, have no a rigorous definition and then to give a sense to these quantities we suggest to consider the Navier-Stokes equations with an additional damping term. In the framework of these damped equations, we obtain some estimates for the energy's dissipation rate according to the Kolmogorov's dissipation law.In the second chapter we are interested in study the stationary solutions of the damped Navier-Stokes introduced in the previous chapter. These stationary solutions are a particular type of solutions which do not depend of the temporal variable and their study is motivated by the fact that we always consider the Navier-Stokes equations with a stationary external force. In this chapter we study two properties of the stationary solutions: the first property concerns the stability of these solutions where we prove that if we have a control on the external force then all non stationary solution (with depends of both spatial and temporal variables) converges toward a stationary solution. The second property concerns the decay in spatial variable of the stationary solutions. These properties of stationary solutions are a consequence of the damping term introduced in the Navier-Stokes equations.In the third chapter we still study the stationary solutions of Navier-Stokes equations but now we consider the classical equations (without any additional damping term). The purpose of this chapter is to study an other problem related to the deterministic description of the turbulence: the frequency decay of the stationary solutions. Indeed, according to the K41 theory, if the fluid is in a laminar setting then the stationary solutions of the Navier-Stokes equations must exhibit a exponential frequency decay which starts at lows frequencies. But, if the fluid is in a turbulent setting then this exponential frequency decay must be observed only at highs frequencies. In this chapter, using some Fourier analysis tools, we give a precise description of this exponential frequency decay in the laminar and in the turbulent setting.In the fourth and last chapter we return to the stationary solutions of the classical Navier-Stokes equations and we study the uniqueness of these solutions in the particular case without any external force. Following some ideas of G. Seregin, we study the uniqueness of these solutions first in the framework of Lebesgue spaces of and then in the a general framework of Morrey spaces.
29

XML-based distributed authoring tool with ontology representing the domain knowledge

Wang, Lidong January 2002 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
30

La gestion des réservoirs du bassin versant de la rivière du Lièvre, Québec (Canada), dans un contexte de changements climatiques : impacts et stratégies d'adaptation

Huaringa Alvarez, Uriel Francisco January 2014 (has links)
Dans le passé, des inondations dans des municipalités du bassin de la rivière du Lièvre et de la rivière des Mille-Îles, située en aval du bassin, se sont produites. Dans ce contexte, une étude sur l’impact et l’adaptation aux changements climatiques pour le bassin versant de la rivière du Lièvre, située au Québec (Canada) et en aval de celui-ci, a été réalisée. Une méthodologie pour limiter les inondations de la rivière des Mille-Îles a été testée. Cette méthodologie vise aussi à respecter les contraintes de niveau et de débits à soutirer dans les trois réservoirs à forte contenance du bassin de la rivière du Lièvre (Kiamika, Mitchinamecus et Poisson Blanc). La méthodologie globale repose sur le couplage « MRCC-Modèle hydrologique-Modèle de gestion ». Premièrement, les projections climatiques (températures et précipitations) utilisées sont celles du modèle régional du climat canadien (MRCC), couplé au modèle de climat global canadien (MCGC). La simulation hydrologique a été réalisée avec le modèle hydrologique Hydrotel pour fournir les débits dans différents points du bassin versant à l’étude. Finalement, le modèle de gestion fait appel à un modèle d’optimisation non linéaire avec recours, qui optimise les débits à soutirer des réservoirs. L’étude a été réalisée en utilisant un outil de gestion de réservoirs créé spécifiquement pour ce projet. L’outil est composé de projections hydrologiques d’ensemble, d’un modèle d’optimisation, d’un réseau de neurones, et d’un modèle de bilan d’eau. Les simulations des opérations ont été réalisées au pas de temps journalier en considérant trois scénarios climatiques (historique, de référence et futur). Les critères de performance de vulnérabilité et de fiabilité ont été utilisés pour évaluer la performance des réservoirs. La réserve de crue est le volume d’eau à emmagasiner dans les réservoirs pendant les périodes de crue. L’analyse de la réserve de crue a été réalisée en évaluant la quantité d’eau qui pourrait être retenue dans les réservoirs du système hydrique de la rivière du Lièvre, pour atténuer les risques d’inondation de la rivière des Mille-Îles.

Page generated in 0.0393 seconds