• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 106
  • 40
  • 6
  • Tagged with
  • 153
  • 46
  • 46
  • 35
  • 35
  • 34
  • 34
  • 34
  • 33
  • 33
  • 32
  • 26
  • 25
  • 24
  • 23
  • 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.
91

Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable

Ezzeddine, Mazen January 2009 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
92

Techniques de Conception en Vue d'Améliorer la fiabilité des Mémoires Flash Embarquées

Godard, Benoit 02 July 2008 (has links) (PDF)
Les mémoires non-volatiles de type Flash sont présentes dans un grand nombre de circuits visant des applications électroniques portatives. Leur non-volatilité et flexibilité en font des mémoires extrêmement populaires. Néanmoins, la fiabilité devient une caractéristique à améliorer en raison des besoins en surface grandissants et de leur intégration dans des applications sensibles. Des solutions de tolérance aux fautes peu coûteuses et faciles à intégrer doivent être mises en place. Tout d'abord, cette étude s'est portée sur l'analyse et l'étude de la fiabilité des Flash. Il fut l'occasion d'établir un modèle de fiabilité d'une cellule à grille flottante. Ce modèle a été ajusté suivant les paramètres issus d'une technologie Flash 180nm. Dans un second temps, deux techniques de tolérance aux fautes mêlant codes correcteurs d'erreurs et redondance ont été mises au point. La première technique, nommée correction d'erreurs par analyse de VT, fournit des capacités de correction accrues par l'analyse du niveau de programmation des cellules mémoire. Une étude mathématique puis une architecture de fiabilisation ont été proposées. Dans cette étude, on suppose que des ressources de redondance sont disponibles afin de réparer la mémoire lorsqu'une erreur est détectée. La seconde technique, appelée correction d'erreur hiérarchique, utilise des capacités de correction distribuées dans la mémoire Flash afin de réduire significativement le coût associé à une correction d'erreur avancée. Cette technique a été intégrée dans une architecture de fiabilisation disposant de ressources de redondance. Une étude basée sur les Chaines de Markov à Temps Continu a démontré l'efficacité de cette structure. Ces techniques constituent des solutions alternatives aux schémas standards utilisés dans l'industrie. Elles augmentent significativement le temps moyen à la défaillance du système sans faire exploser la surface requise à l'intégration une structure de tolérance<br />aux fautes.
93

Enjeux économiques et environnementaux du tourisme en Tunisie : le cas de l’oasis de Tozeur / Economic and environmental issues of tourism in Tunisia : the Tozeur oasis case

Souissi, Amel 12 June 2017 (has links)
Le tourisme première industrie mondiale, avec 1186 millions d’arrivées internationaux en 2015, est reconnu comme secteur prioritaire de développement des pays les moins avancés, à travers ses effets directs, indirects et induits. La Tunisie a opté depuis la fin des années 60 pour se développer à travers des activités touristiques. Depuis le début des années 70, le tourisme représente un secteur clef de l’économie tunisienne, le taux de couverture du déficit de la balance des paiements a atteint 97.7% en 1988. Toutefois et depuis le début des années 2000, le tourisme tunisien, souffre d’une image de marque de basse qualité, d’une forte dépendance vis-à-vis du marché européen, et des grands Tours Opérateurs et d’un manque de diversification. Les performances de ce secteur longtemps considéré comme vecteur de croissance économique, semblent être surestimées.Pour dépasser ces problèmes, depuis la fin des années 80, l’État a choisi une stratégie nationale de diversification à travers la mise en tourisme du Sud de la Tunisie. Actuellement, cette partie du pays est devenue une zone touristique de haut standing avec, notamment, un terrain de golf de 150 hectares et un aéroport international. Toutefois, le choix d’un développement axé sur les activités touristiques suscite des inquiétudes, vu les caractéristiques du milieu saharien, et la façon dont le tourisme saharien est commercialisé.Cette thèse a pour objet d'étudier du point de vue de l'analyse économique et d'évaluer la pertinence des choix stratégiques qui ont été faits dans le secteur du tourisme, notamment en zone saharienne, en tenant compte de la nature du milieu caractérisé par un climat aride. L’impact économique, environnemental et social du tourisme sur ces milieux fragiles pourrait être particulièrement critique.Du point de vue économique: d’un côté, ce choix correspond à une marchandisation d’un stock naturel épuisable, dont l’existence est conditionnée par l’accès à l’eau, ce qui a créé des situations de concurrence et de conflits d’usage de la ressource entre les deux secteurs touristique et agricole. D’un autre côté, la courte durée de séjour qui ne dépasse pas les 1.3 jours, peut limiter les retombées positives du tourisme dans ces régions.Du point de vue de l’environnement: le caractère rival mais non exclusif de l’eau le situerait dans la catégorie des « biens communs » dont la disponibilité peut être influencé par les « effets de masse », ce qui nous conduit à envisager un risque de « tragédie des communs ».Sur le plan social: à côté des distorsions sociales qui peuvent naître face à des situations de conflits d’usage autour de la ressource, les emplois crées dans le secteur sont saisonniers peu qualifiés, ce qui peut nuire à un vrai processus de développement local dans ces régions.Dans nos analyses, nous avons utilisé plusieurs outils et approches méthodologiques de caractères théoriques et empiriques dans un cadre macroéconomique. Nous avons mobilisé essentiellement les techniques de cointégration et les modèles à correction d’erreur adaptés à l’étude des séries temporelles en plus des analyses statistiques, sur la période 1970- 2014. / Tourism, the world's leading industry with 1186 million international arrivals in 2015, is recognized as the priority sector of development of the LCDs (Least Developed Countries) through its direct, indirect and induced effects. Since the late 1960s, Tunisia has opted for a development strategy based on tourism activities. Since the early 1970s, tourism has been a key sector of the Tunisian economy: the deficit’s rate of coverage of the payments’ balance reached 97.7% in 1988. However, since the early 2000s, Tunisian tourism suffers from a low quality brand image, a strong dependence on the European market and major tour operators and a lack of diversification. The achievements of this sector, which has been for a long time considered as a vector of economic growth, seem to be overestimated.To overcome these problems, the State has chosen, since the late 1980s, a national strategy of diversification through the setting in tourism of Southern Tunisia. Currently, this part of the country became a tourist area of high standards including a golf course of 150 hectares and an international airport. However, the choice of tourism-oriented development is of concern, given the characteristics of the Saharan environment and the way in which Saharan tourism is marketed.This thesis aims to analyze, from an economic point of view, and to evaluate the suitability and relevance of the strategic choices which have been made in the tourism sector, particularly in the Saharan zone, taking into account the nature of the milieu characterized by an arid climate. The economic, environmental and social impact of tourism on these fragile environments could be particularly critical.Economically: on the one hand, this choice corresponds to a commodification of an exhaustible natural stock, whose existence is conditioned by access to water, which has created rivalry and conflicts in the use of the resource between the two sectors, namely, tourism and agriculture. On the other hand, the short duration of stay which does not exceed on average 1.3 days, can limit the positive fallout of tourism in these regions.Environmentally: the rival but not exclusive character of water would place it in the category of "common goods" whose availability can be influenced by the "mass effects", which leads us to consider a risk of "tragedy of commons".Socially: in addition to the social distortions that can arise in situations of usage conflicts around the resource, the jobs created in this sector are seasonal and low-skilled, which may negatively affect a real local development process in these regions.In our analyses, we used several theoretical and empirical methodological tools and approaches within a macroeconomic framework. We have mainly used cointegration techniques and error correction models adapted to the study of time series in addition to statistical analyses over the period between 1970 and 2014.
94

Apports du couplage non-intrusif en mécanique non-linéaire des structures / Contributions of non-intrusive coupling in nonlinear structural mechanics

Duval, Mickaël 08 July 2016 (has links)
Le projet ANR ICARE, dans lequel s'inscrit cette thèse, vise au développement de méthodes pour l'analyse de structures complexes et de grande taille. Le défi scientifique consiste à investiguer des zones très localisées, mais potentiellement critiques vis-à-vis de la tenue mécanique d'ensemble. Classiquement, sont mis en œuvre aux échelles globale et locale des représentations, discrétisations, modèles de comportement et outils numériques adaptés à des besoins de simulation gradués en complexité. Le problème global est traité avec un code généraliste dans le cadre d'idéalisations topologiques (formulation plaque, simplification géométrique) et comportementale (homogénéisation) ; l'analyse locale quant à elle demande la mise en œuvre d'outils spécialisés (routines, codes dédiés) pour une représentation fidèle de la géométrie et du comportement.L'objectif de cette thèse consiste à développer un outil efficace de couplage non-intrusif pour la simulation multi-échelles / multi-modèles en calcul de structures. Les contraintes de non-intrusivité se traduisent par la non modification de l'opérateur de rigidité, de la connectivité et du solveur du modèle global, ce qui permet de travailler dans un environnement logiciel fermé. Dans un premier temps, on propose une étude détaillée de l'algorithme de couplage global/local non-intrusif. Sur la base d'exemples et de cas-test représentatifs en calcul de structures (fissuration, plasticité, contact...), on démontre l'efficacité et la flexibilité d'un tel couplage. Aussi, une analyse comparative de plusieurs outils d'optimisation de l'algorithme est menée, et le cas de patchs multiples en interaction est traité. Ensuite le concept de couplage non-intrusif est étendu au cas de non-linéarités globales, et une méthode de calcul parallèle par décomposition de domaine avec relocalisation non-linéaire est développée. Cette méthode nous a permis de paralléliser un code industriel séquentiel sur un mésocentre de calcul intensif. Enfin, on applique la méthode de couplage au raffinement de maillage par patchs d'éléments finis. On propose un estimateur d'erreur en résidu explicite adapté au calcul de solutions multi-échelles via l'algorithme de couplage. Puis, sur la base de cet estimateur, on met en œuvre une procédure non-intrusive de raffinement local de maillage. Au travers de ces travaux, un outil logiciel de couplage non-intrusif a été mis au point, basé sur l'échange de données entre différents codes de calcul (protocole Message Passing Interface). Les développements effectués sont intégrés dans une surcouche Python, dont le rôle est de coupler plusieurs instances de Code_Aster, le code d'analyse de structures développé par EDF R&D, lequel sera utilisé dans l'ensemble des travaux présentés. / This PhD thesis, part of the ANR ICARE project, aims at developing methods for complex analysis of large scale structures. The scientific challenge is to investigate very localised areas, but potentially critical as of mechanical systems resilience. Classically, representation models, discretizations, mechanical behaviour models and numerical tools are used at both global and local scales for simulation needs of graduated complexity. Global problem is handled by a generic code with topology (plate formulation, geometric approximation...) and behaviour (homogenization) simplifications while local analysis needs implementation of specialized tools (routines, dedicated codes) for an accurate representation of the geometry and behaviour. The main goal of this thesis is to develop an efficient non-intrusive coupling tool for multi-scale and multi-model structural analysis. Constraints of non-intrusiveness result in the non-modification of the stiffness operator, connectivity and the global model solver, allowing to work in a closed source software environment. First, we provide a detailed study of global/local non-intrusive coupling algorithm. Making use of several relevant examples (cracking, elastic-plastic behaviour, contact...), we show the efficiency and the flexibility of such coupling method. A comparative analysis of several optimisation tools is also carried on, and the interacting multiple patchs situation is handled. Then, non-intrusive coupling is extended to globally non-linear cases, and a domain decomposition method with non-linear relocalization is proposed. Such methods allowed us to run a parallel computation using only sequential software, on a high performance computing cluster. Finally, we apply the coupling algorithm to mesh refinement with patches of finite elements. We develop an explicit residual based error estimator suitable for multi-scale solutions arising from the non-intrusive coupling, and apply it inside an error driven local mesh refinement procedure. Through this work, a software tool for non-intrusive coupling was developed, based on data exchange between codes (Message Passing Interface protocol). Developments are integrated into a Python wrapper, whose role is to connect several instances of Code_Aster, the structural analysis code developed by EDF R&D, which will be used in the following work.
95

Le rôle du cortex frontal médian dans la supervision de l'action chez l'homme : études électrophysiologiques / The role of medial frontal cortex in action monitoring in humans : electrophysiological studies of outcome modulated activities

Bonini, Francesca 21 July 2016 (has links)
La capacité à évaluer les résultats nos actions est fondamentale pour adapter et optimiser notre comportement et dépend d’un système superviseur chargé d’évaluer l’action, détecter les erreurs, déclencher des corrections.Le réseau neuronal sous-jacent la supervision de l’action n’a pas été complètement caractérisé chez l’homme.Dans une première étude nous avons enregistré dans l’Aire Motrice Supplémentaire (AMS) des LFP évoqués par les réponses et modulés par la performance. Des LFP évoqués exclusivement par les erreurs ont été enregistrés plus tardivement dans le cortex préfrontal médian.Dans la deuxième étude, nous avons observé que les activités de hautes-fréquences gamma sont, elles aussi, modulées par la performance des sujets, mais dans un vaste réseau frontal et extra-frontal.Dans une troisième étude, utilisant des enregistrements simultanés électroencéphalographiques (EEG) et magnétoencéphalographiques (MEG), nous observé une activité évoquée par un feedback interne sur l’EEG (mais pas en MEG), alors qu'une activité évoquée par le feedback externe était bien visible sur les enregistrements MEG, indiquant que les générateurs de ces deux activités cérébrales, sont différents. Nos résultats montrent une implication de l’AMSp dans la supervision de l’action chez l’homme, bien plus importante que ce que l’on soupçonnait auparavant. L’AMS évalue précocement, et de façon continue, l’action en cours et elle engage vraisemblablement des structures préfrontales en cas d’erreur seulement. Le traitement de l’erreur d’action, selon qu'il se fonde sur des informations internes ou externes est certainement sous-tendu par des réseaux corticaux différents. / The capacity to evaluate the outcome of our actions is fundamental for adapting and optimizing behaviour. This capability depends on an action monitoring system in charge of assessing ongoing actions, detecting errors, and evaluating outcomes.Electrical brain activity evoked by negative outcomes is thought to originate within the medial part of the frontal cortex. Nonetheless, the underlying neuronal network is incompletely characterised in humans.In the two first studies, we investigated the anatomical substrates of action monitoring in humans using intracerebral local field potential (LFP) recordings of cerebral cortex from epileptic patients. Response evoked LFPs sensitive to outcome were recorded from the Supplementary Motor Area proper (SMA), while LFPs evoked exclusively by errors were recorded later in the medial prefrontal cortex. High-gamma-frequency activity (60-180 Hz) was modulated as a function of action outcome in a vast frontal and extra-frontal network.In a third study using simultaneous recording of electroencephalography (EEG) and magnetoencephalography (MEG), we found that error related activity was detected by EEG (but not by MEG), while feedback-related activity was detected by MEG, indicating that the sources of these two forms of outcome-modulated brain activity are different.To conclude the SMA is much more involved in action monitoring than previously thought. SMA rapidly and continuously assesses ongoing actions and likely engages more rostral prefrontal structures in the case of error. Processing of action errors and of negative externally delivered feedback therefore appears to be supported by distinct cortical networks.
96

Estimation d'erreur pour des problèmes aux valeurs propres linéaires et non-linéaires issus du calcul de structure électronique / Error estimation for linear and nonlinear eigenvalue problems arising from electronic structure calculation

Dusson, Geneviève 23 October 2017 (has links)
L'objectif de cette thèse est de fournir des bornes d'erreur pour des problèmes aux valeurs propres linéaires et non linéaires issus du calcul de structure électronique, en particulier celui de l'état fondamental avec la théorie de la fonctionnelle de la densité. Ces bornes d'erreur reposent principalement sur des estimations a posteriori. D'abord, nous étudions un phénomène de compensation d'erreur de discrétisation pour un problème linéaire aux valeurs propres, grâce à une analyse a priori de l'erreur sur l'énergie. Ensuite, nous présentons une analyse a posteriori pour le problème du laplacien aux valeurs propres discrétisé par une large classe d'éléments finis. Les bornes d'erreur proposées pour les valeurs propres simples et leurs vecteurs propres associés sont garanties, calculables et efficaces. Nous nous concentrons alors sur des problèmes aux valeurs propres non linéaires. Nous proposons des bornes d'erreur pour l'équation de Gross-Pitaevskii, valables sous des hypothèses vérifiables numériquement, et pouvant être séparées en deux composantes venant respectivement de la discrétisation et de l'algorithme itératif utilisé pour résoudre le problème non linéaire aux valeurs propres. L'équilibrage de ces composantes d'erreur permet d'optimiser les ressources numériques. Enfin, nous présentons une méthode de post-traitement pour le problème de Kohn-Sham discrétisé en ondes planes, améliorant la précision des résultats à un faible coût de calcul. Les solutions post-traitées peuvent être utilisées soit comme solutions plus précises du problème, soit pour calculer une estimation de l'erreur de discrétisation, qui n'est plus garantie, mais néanmoins proche de l'erreur. / The objective of this thesis is to provide error bounds for linear and nonlinear eigenvalue problems arising from electronic structure calculation. We focus on ground-state calculations based on Density Functional Theory, including Kohn-Sham models. Our bounds mostly rely on a posteriori error analysis. More precisely, we start by studying a phenomenon of discretization error cancellation for a simple linear eigenvalue problem, for which analytical solutions are available. The mathematical study is based on an a priori analysis for the energy error. Then, we present an a posteriori analysis for the Laplace eigenvalue problem discretized with finite elements. For simple eigenvalues of the Laplace operator and their corresponding eigenvectors , we provide guaranteed, fully computable and efficient error bounds. Thereafter, we focus on nonlinear eigenvalue problems. First, we provide an a posteriori analysis for the Gross-Pitaevskii equation. The error bounds are valid under assumptions that can be numerically checked, and can be separated in two components coming respectively from the discretization and the iterative algorithm used to solve the nonlinear eigenvalue problem. Balancing these error components allows to optimize the computational resources. Second, we present a post-processing method for the Kohn-Sham problem, which improves the accuracy of planewave computations of ground state orbitals at a low computational cost. The post-processed solutions can be used either as a more precise solution of the problem, or used for computing an estimation of the discretization error. This estimation is not guaranteed, but in practice close to the real error.
97

Implémentation optimale de filtres linéaires en arithmétique virgule fixe / Optimal implementation of linear filters in fixed-point arithmetic

Lopez, Benoit 27 November 2014 (has links)
De nombreux systèmes embarqués implémentent des applications de traitement du signal, notamment lors de communications. Certains de ces traitements sont effectués par des filtres linéaires, qu'il est donc nécessaire de mettre en oeuvre numériquement sur ces cibles. Les systèmes embarqués sont sujets à diverses contraintes qu'il faut optimiser tout en conservant des systèmes fiables en terme de performance et de précision. L'arithmétique virgule fixe est généralement préférée à l'arithmétique flottante pour des systèmes embarqués de traitement du signal, entre autres car elle est moins coûteuse, disponibles dans tous les systèmes, permet d'utiliser des largeurs arbitraires sur des cibles matérielles et est généralement suffisante en terme de précision pour les applications de traitement du signal. Le calcul en virgule fixe nécessite d'aligner les positions des virgules pour ainsi rendre cohérent des calculs à base de nombres entiers. Cela implique des quantifications et l'enjeu est donc de minimiser la répercussion de ces arrondis sur le résultat final, en proposant une garantie sur l'erreur sur la sortie. Une méthodologie a été proposée durant cette thèse qui, à partir d'un algorithme de filtre linéaire, utilise une méthode analytique pour implémenter cet algorithme en virgule fixe et générer du code. Cette méthodologie considère à la fois les implémentations logicielles, et les implémentations matérielles qui impliquent la résolution d'un problème d'optimisation. Un outil, nommé FiPoGen, a été développé pour mettre en oeuvre les méthodes proposées et fournir automatiquement un code virgule fixe implémentant un filtre donné avec garantie sur l'erreur sur la sortie. / Embedded systems implement signal processing systems, such as linear filters, for example for communication through networks. These devices are subject to various constraints, such as power consumption, time-To-Market, area consumption, and so on, that is necessary to optimize while guaranteeing reliability and accuracy of the implemented systems. Fixed-Point arithmetic is generally used instead of floating-Point arithmetic for signal processing embedded systems because it is less expensive, all devices support fixed-Point numbers (as they are implemented only using integers), allows arbitrary word-Lengths in hardware implementation and is enough accurate for signal processing programs. Fixed-Point computations need the operands of an operation to be aligned together with the same position of the binary point. This leads to quantification errors and the goal is to minimize these round-Off effects onto the final result, by proposing a guarantee on the output error. During this thesis, a methodology has been proposed which implements a given algorithm in fixed-Point using analytical approach, and generates some codes. This methodology consider both software and hardware targets. The hardware approach is realized solving a word-Length optimization problem. A tool, named FiPoGen, has been developed that realizes this methodology and automatically yields fixed-Point code corresponding to a given filter algorithm with a guarantee on the output error.
98

Towards reliable implementation of digital filters / Vers une implémentation fiable des filtres numériques

Volkova, Anastasia 25 September 2017 (has links)
Dans cette thèse nous essayons d'améliorer l'évaluation de filtres numériques en nous concentrant sur la précision de calcul nécessaire.Ce travail est réalisé dans le contexte d'un générateur de code matériel/logiciel fiable pour des filtres numériques linéaires, en particulier filtres à Réponse Impulsionnelle Infinie (IIR). Avec ce travail, nous mettons en avant les problèmes liés à l'implémentation de filtres linéaires en arithmétique Virgule Fixe tout en prenant en compte la précision finie des calculs nécessaires à la transformation de filtres vers code. Ce point est important dans le cadre de filtres utilisés dans des systèmes embarqués critique comme les véhicules autonomes. Nous fournissons une nouvelle méthodologie pour l'analyse d'erreur lors de l'étude d'algorithmes de filtres linéaires du point de vue de l'arithmétique des ordinateurs. Au cœur de cette méthodologie se trouve le calcul fiable de la mesure Worst Case Peak Gain d'un filtre qui est la norme l1 de sa réponse impulsionnelle. L'analyse d'erreur proposée est basée sur la combinaison de techniques telles que l'analyse d'erreur en Virgule Flottante, l'arithmétique d'intervalles et les implémentations multi-précisions. Cette thèse expose également la problématique de compromis entre les coûts matériel (e.g. la surface) et la précision de calcul lors de l'implémentation de filtres numériques sur FPGA. Nous fournissons des briques de bases algorithmiques pour une solution automatique de ce problème. Finalement, nous intégrons nos approches dans un générateur de code pour les filtres au code open-source afin de permettre l'implémentation automatique et fiable de tout algorithme de filtre linéaire numérique. / In this thesis we develop approaches for improvement of the numerical behavior of digital filters with focus on the impact of accuracy of the computations. This work is done in the context of a reliable hardware/software code generator for Linear Time-Invariant (LTI) digital filters, in particular with Infinite Impulse Response (IIR). With this work we consider problems related to the implementation of LTI filters in Fixed-Point arithmetic while taking into account finite precision of the computations necessary for the transformation from filter to code. This point is important in the context of filters used in embedded critical systems such as autonomous vehicles. We provide a new methodology for the error analysis when linear filter algorithms are investigated from a computer arithmetic aspect. In the heart of this methodology lies the reliable evaluation of the Worst-Case Peak Gain measure of a filter, which is the l1 norm of its impulse response. The proposed error analysis is based on a combination of techniques such as rigorous Floating-Point error analysis, interval arithmetic and multiple precision implementations. This thesis also investigates the problematic of compromise between hardware cost (e.g. area) and the precision of computations during the implementation on FPGA. We provide basic brick algorithms for an automatic solution of this problem. Finally, we integrate our approaches into an open-source unifying framework to enable automatic and reliable implementation of any LTI digital filter algorithm.
99

Application des techniques de bases réduites à la simulation des écoulements en milieux poreux / Application of reduced basis techniques to the simulation of flows in porous media

Sanchez, Mohamed, Riad 19 December 2017 (has links)
En géosciences, les applications associées au calage de modèles d'écoulement nécessitent d'appeler plusieurs fois un simulateur au cours d'un processus d'optimisation. Or, une seule simulation peut durer plusieurs heures et l'exécution d'une boucle complète de calage peut s'étendre sur plusieurs jours. Diminuer le temps de calcul global à l'aide des techniques de bases réduites (RB) constitue l’objectif de la thèse.Il s'agit plus précisément dans ce travail d'appliquer ces techniques aux écoulements incompressibles diphasiques eau-huile en milieu poreux. Ce modèle, bien que simplifié par rapport aux modèles utilisés dans l'industrie pétrolière, constitue déjà un défi du point de vue de la pertinence de la méthode RB du fait du couplage entre les différentes équations, de la forte hétérogénéité des données physiques, ainsi que du choix des schémas numériques de référence.Nous présentons d'abord le modèle considéré, le schéma volumes finis (VF) retenu pour l'approximation numérique, ainsi que différentes paramétrisations pertinentes en simulation de réservoir. Ensuite, après un bref rappel de la méthode RB, nous mettons en oeuvre la réduction du problème en pression à un instant donné en suivant deux démarches distinctes. La première consiste à interpréter la discrétisation VF comme une approximation de Ritz-Galerkine, ce qui permet de se ramener au cadre standard de la méthode RB mais n'est possible que sous certaines hypothèses restrictives. La seconde démarche lève ces restrictions en construisant le modèle réduit directement au niveau discret.Enfin, nous testons deux stratégies de réduction pour la collection en temps de pressions paramétrées par les variations de la saturation. La première considère le temps juste comme un paramètre supplémentaire. La seconde tente de mieux capturer la causalité temporelle en introduisant les trajectoires en temps paramétrées. / In geosciences, applications involving model calibration require a simulator to be called several times with an optimization process. However, a single simulation can take several hours and a complete calibration loop can extend over serval days. The objective of this thesis is to reduce the overall simulation time using reduced basis (RB) techniques.More specifically, this work is devoted to applying such techniques to incompressible two-phase water-oil flows in porous media. Despite its relative simplicity in comparison to other models used in the petroleum industry, this model is already a challenge from the standpoint of reduced order modeling. This is due to the coupling between its equations, the highly heterogeneous physical data, as well as the choice of reference numerical schemes.We first present the two-phase flow model, along with the finite volume (FV) scheme used for the discretization and relevant parameterizations in reservoir simulation. Then, after having recalled the RB method, we perform a reduction of the pressure equation at a fixed time step by two different approaches. In the first approach, we interpret the FV discretization as a Ritz-Galerkine approximation, which takes us back to the standard RB framework but which is possible only under severe assumptions. The second approach frees us of these restrictions by building the RB method directly at the discrete level.Finally, we deploy two strategies for reducing the collection in time of pressuresparameterized by the variations of the saturation. The first one simply considers time as an additional parameter. The second one attempts to better capture temporalcausality by introducing parameterized time-trajectories.
100

Cooperative Networks with Channel Uncertainty / Réseaux coopératifs avec incertitude du canal

Behboodi, Arash 13 June 2012 (has links)
Dans cette thèse, les réseaux coopératifs sont étudiés sous cette hypothèse que la source est incertain par rapport le canal en opération. Dans le premier chapitre, des stratégies coopératives sont développées pour les canaux à relais simultanés (SRC) lesquelles se composent d'un ensemble de deux canaux à relais parmi lesquels le canal en opération est choisi. Cela est équivalent au canal de diffusion à relais (BRC). Les bornes sur la région de capacité de BRC général sont dérivées. Les résultats de capacité sont obtenus pour les cas particuliers du canal à relais simultané semi-dégradé et dégradé Gaussien. Dans le deuxième chapitre, le canal à relais composite est considéré où le canal est tiré aléatoirement d'un ensemble de la distribution conditionnelle. Le débit est fixé en dépit du canal actuel et la probabilité d'erreur (EP) asymptotique est caractérisée. Une nouvelle stratégie de codage sélectif (SCS) est introduit permettant aux relais de choisir -selon leur mesurage du canal – la meilleur schéma de codage entre Décoder-et-Transmettre (DF) et Comprimer-et-Transmettre (CF). Les théorèmes de codage de réseau bruit généralisées sont démontrés pour le cas de réseau unicast général où les relais utilisent soit DF soit CF. Dans le troisième chapitre, le spectre asymptotique de EP est introduit en tant que nouvelle mesure de performance pour réseaux composites. Il est démontré que chaque code avec le débit hors de la borne cut-set, abouti à EP égal à un et le spectre asymptotique de EP coïncide avec la probabilité d'outage pour les réseaux satisfaisant la converse forte. / In this thesis, cooperative networks are studied under the assumption that the source is uncertain about the channel in operation. In the first chapter, cooperative strategies are developed for simultaneous relay channels (SRC) which consist of a set of two single relay channels out of which the channel in operation is chosen. This is equivalent to the broadcast relay channel (BRC). Bounds on the capacity region of the general BRC with two helper relays are derived. Capacity results are obtained for specific cases of semi-degraded and degraded Gaussian simultaneous relay channels. In the second chapter, the composite relay channel is considered where the channel is randomly drawn from a set of conditional distributions according to a given distribution. The transmission rate is fixed regardless of the current channel and the asymptotic error probability (EP) is characterized. A novel selective coding strategy (SCS) is introduced which enables relays to select –based on their channel measurement– the best coding scheme between Compress-and-Forward (CF) and Decode-and-Forward (DF). Generalized Noisy Network Coding theorems are shown for the case of unicast general networks where the relays use either DF or CF scheme. In the third chapter, the asymptotic behavior of EP is studied for composite multiterminal networks. The asymptotic spectrum of EP is introduced as a novel performance measure for composite networks. It is shown that every code with rate outside cut-set bound, yields EP equal to one and for the networks satisfying strong converse condition, the asymptotic spectrum of EP coincides with the outage probability.

Page generated in 0.0336 seconds