251 |
Épistémologie de la biologie synthétique et pluralisme du concept de « vivant »Plante, Mirco 08 1900 (has links)
Selon la théorie cellulaire, issue des travaux de M. J. Schleiden, T. Schwann et R. Virchow au 19e siècle, le plus petit niveau d’organisation comprenant toutes les caractéristiques nécessaires et essentielles au vivant serait la cellule. Cette affirmation est aujourd’hui remise en question par les scientifiques et philosophes, d’une part à la suite de l’analyse d’entités biologiques ambiguës aux frontières (inférieures et supérieures) de la « cellule vivante », et d’autre part de l’avènement des récents enjeux en lien avec la création et la recherche de nouvelles entités vivantes. Un pluralisme épistémologique du concept de « vivant » a ainsi émergé, duquel aucune définition claire et unanime n’est encore acceptée.
L’objectif général de cette thèse est de trouver des pistes de solution au problème du pluralisme épistémologique du concept de « vivant » ainsi qu’aux enjeux pratiques reliés à ce concept en biologie. Pour ce faire, je propose l’idée que les enjeux pratiques peuvent contribuer à résoudre le pluralisme conceptuel du « vivant », en particulier que la biologie synthétique est à même de nous offrir une définition du vivant permettant de dépasser l’actuel pluralisme de ce concept.
Plus spécifiquement, en ce qui a trait à la question du pluralisme, j’expose dans cette thèse un pluralisme « biologique » et « philosophique ». Du côté « biologique », je démontre la flexibilité d’application ainsi que le pluralisme du concept de « vivant » grâce à l’exposition de cas ambigus d’entités biologiques issues de divers niveaux hiérarchiques de complexité du vivant. Ce faisant, je défends une position symbiotique et holistique d’organisation du vivant (permettant d’inclure et d’articuler ces divers niveaux hiérarchiques). Du côté « philosophique », je démontre le pluralisme du concept de « vivant » à la suite d’une analyse que je qualifierai de disciplinaire, ontologique, linguistique et épistémologique. Ce faisant, je défends une position gradualiste et opérationnelle du concept de « vivant ». En ce qui concerne les enjeux pratiques, j’explore principalement la discipline de la biologie synthétique, qui s’est donné l’objectif de construire de nouvelles entités biologiques vivantes et ainsi le fort potentiel de contribuer au développement de nouvelles connaissances sur le vivant. Ce faisant, je prends ainsi la position que la biologie synthétique peut apporter des pistes de solution pragmatiques (par la construction d’entités vivantes fonctionnelles) au pluralisme épistémologique du concept de « vivant ».
Finalement, après une analyse de théories de la connaissance associées à ces enjeux, de définitions stipulatives, ainsi que de concepts du vivant issus de la biologie synthétique, je développe mon propre modèle du « vivant» (que je qualifie de biosynthétique), qui se veut « pragmatique » (en accord avec la pratique des biologistes synthétiques), « progressiste » (s’adaptant à de futures découvertes dans le domaine), « holistique » (s’appliquant à l’ensemble des niveaux d’organisation du vivant) ainsi que « minimaliste et universelle» (correspondant aux caractéristiques essentielles de base retrouvées au sein de toutes les entités vivantes).
Cette thèse présentera ainsi « pourquoi » et « comment » la biologie synthétique peut répondre à la question de la définition du vivant. / According to the cell theory, resulting from the works of M. J. Schleiden, T. Schwann and R. Virchow in the 19th century, the smallest level of organization including all the necessary and essential characteristics to the living would be the cell. This assertion is now challenged by scientists and philosophers, on the one hand following the analysis of ambiguous biological entities at the boundaries (lower and upper) of the "living cell", and on the other hand the advent of recent issues related to the creation and search for new living entities. An epistemological pluralism of the "living" concept has thus emerged, from which no clear and unanimous definition is yet accepted.
The general objective of this thesis is to find possible solutions to the problem of epistemological pluralism of the "living" concept and to the practical issues related to this concept in biology. To do this, I propose the idea that practical issues can contribute to solving the conceptual pluralism of the concept "living", in particular that synthetic biology is able to offer us a definition of the living allowing to overcome the current pluralism of this concept.
More specifically, regarding the question of pluralism, I expose in this thesis a "biological" and "philosophical" pluralism. On the "biological" side, I demonstrate the flexibility of application as well as the pluralism of the concept "living" following the description of ambiguous cases of biological entities coming from various hierarchical levels of complexity of life. In doing so, I defend a symbiotic and holistic view of organization of the living (allowing to include and articulate these various hierarchical levels). On the "philosophical" side, I demonstrate the pluralism of the "living" concept following an analysis that I will describe as disciplinary, ontological, linguistic and epistemological. In doing so, I defend a gradualist and operational position of the concept "living". Regarding practical issues, I am mainly exploring the discipline of synthetic biology, which has set itself the goal of building new living biological entities and thus the potential to contribute to the development of new knowledge about life. In doing so, I take the position that synthetic biology can provide pragmatic solutions (through the construction of functional living entities) to the pluralism of the concept "living".
Finally, after an analysis of the relevant theories of knowledge associated with these issues, of stipulative definitions, as well as of living concepts stemming from synthetic biology, I develop my own model of the "living" (that I call biosynthetic), which is "pragmatic" (in agreement with the practice of synthetic biologists), "progressive" (adapting to future discoveries in the field), "holistic" (applying to all levels of organization of the living) as well as "minimalist and universal" (corresponding essential characteristics found within all living entities).
This thesis will present “why” and “how” synthetic biology can provide an answer to the question “what is life ?”.
|
252 |
Extending domain-specific modeling editors with multi-touch interactionsHossain, Md Rifat 03 1900 (has links)
L'ingénierie dirigée par les modèles (MDE) est une méthodologie d'ingénierie logiciel qui permet aux ingénieurs de définir des modèles conceptuels pour un domaine spécifique. La MDE est supportée par des outils de modélisation, qui sont des éditeurs pour créer et manipuler des modèles spécifiques au domaine. Cependant, l'état actuel de la pratique de ces éditeurs de modélisation offre des interactions utilisateur très limitées, souvent restreintes à glisser-déposer en utilisant les mouvements de souris et les touches du clavier. Récemment, un nouveau cadre propose de spécifier explicitement les interactions utilisateur des éditeurs de modélisation. Dans cette thèse, nous étendons ce cadre pour supporter les interactions multitouches lors de la modélisation. Nous proposons un catalogue initial de gestes multitouches pour offrir une variété de gestes tactiles utiles. Nous démontrons comment notre approche est applicable pour générer des éditeurs de modélisation. Notre approche permet des interactions plus naturelles pour l'utilisateur quand il effectue des tâches de modélisation types. / Model-driven engineering (MDE) is a software engineering methodology that enables engineers to define conceptual models for a specific domain. Modeling is supported by modeling language workbenches, acting as editor to create and manipulate domain-specific models. However, the current state of practice of these modeling editors offers very limited user interactions, often restricted to drag-and-drop with mouse movement and keystrokes. Recently, a novel framework proposes to explicitly specify the user interactions of modeling editors. In this thesis, we extend this framework to support multi-touch interactions when modeling. We propose an initial set of multi-touch gesture catalog to offer a variety of useful touch gestures. We demonstrate how our approach is applicable for generating modeling editors. Our approach yields more natural user interactions to perform typical modeling tasks.
|
253 |
Stochastic mesh approximations for dynamic hedging with costsTremblay, Pierre-Alexandre 07 1900 (has links)
Cette thèse se concentre sur le calcul de la solution optimale d'un problème de couverture de produit dérivé en temps discret. Le problème consiste à minimiser une mesure de risque, définie comme l'espérance d'une fonction convexe du profit (ou perte) du portefeuille, en tenant compte des frais de transaction.
Lorsqu'il y a des coûts, il peut être optimal de ne pas transiger. Ainsi, les solutions sont caractérisées par des frontières de transaction. En général, les politiques optimales et les fonctions de risque associées ne sont pas connues explicitement, mais une stratégie bien connue consiste à approximer les solutions de manière récursive en utilisant la programmation dynamique.
Notre contribution principale est d'appliquer la méthode du maillage stochastique. Cela permet d'utiliser des processus stochastiques multi-dimensionels pour les dynamiques de prix. On obtient aussi des estimateurs biasés à la hausse et à la baisse, donnant une mesure de la proximité de l'optimum.
Nous considérons différentes façons d'améliorer l'efficacité computationelle. Utiliser la technique des variables de contrôle réduit le bruit qui provient de l'utilisation de prix de dérivés estimés à même le maillage stochastique. Deux autres techniques apportent des réductions complémentaires du temps de calcul : utiliser une grille unique pour les états du maillage et utiliser une procédure de "roulette Russe".
Dans la dernière partie de la thèse, nous présentons une application pour le cas de la fonction de risque exponentielle négative et un modèle à volatilité stochastique (le modèle de Ornstein-Uhlenbeck exponentiel). Nous étudions le comportement des solutions sous diverses configurations des paramètres du modèle et comparons la performance des politiques basées sur un maillage à celles d'heuristiques. / This thesis focuses on computing the optimal solution to a derivative hedging problem in discrete time. The problem is to minimize a risk measure, defined as the expectation of a convex function of the terminal profit and loss of the portfolio,
taking transaction costs into account.
In the presence of costs, it is sometimes optimal not to trade, so the solutions are characterized in terms of trading boundaries. In general, the optimal policies and the associated risk functions are not known explicitly, but a well-known strategy is to approximate the solutions recursively using dynamic programming.
Our central innovation is in applying the stochastic mesh method, which was originally applied to option pricing. It allows
exibility for the price dynamics, which could be driven by a multi-dimensional stochastic process. It also yields both low
and high biased estimators of the optimal risk, thus providing a measure of closeness to the actual optimum.
We look at various ways to improve the computational efficiency. Using the control variate technique reduces the noise that comes from using derivative prices estimated on the stochastic mesh. Two additional techniques turn out to provide
complementary computation time reductions : using a single grid for the mesh states and using a so-called Russian roulette procedure.
In the last part of the thesis, we showcase an application to the particular case of the negative exponential risk function and a stochastic volatility model (the exponential Ornstein-Uhlenbeck model). We study the behavior of the solutions under various configurations of the model parameters and compare the performance of the mesh-based policies with that of well-known heuristics.
|
254 |
Des données accélérométriques au comportement dynamique des bâtiments existants / From accelerometric records to the dynamic behavior of existing buildingsFernández Lorenzo, Guillermo Wenceslao 17 October 2016 (has links)
L'objectif de cette thèse est de simuler l'histoire temporelle de la réponse d'un bâtiment de grande hauteur sous sollicitation sismique et de proposer des méthodologies simplifiées qui reproduisent correctement une telle réponse. Initialement, un modèle tridimensionnel par éléments finis est produit afin de valider sa fiabilité pour simuler le comportement réel du bâtiment pendant les mouvements du sol, enregistrés à l'aide d'accéléromètres. Il est proposé d'améliorer la précision du modèle numérique en imposant de multiples excitations, compte-tenu des effets de basculement et de la variabilité spatiale sur la sollicitation d'entrée. L'utilisation de fonctions de Green empiriques est proposée pour simuler la réponse sismique directement à partir d'enregistrements d'événements passés, sans avoir besoin de dessins de construction ni d'étalonnage des paramètres mécaniques. Une méthode de sommation stochastique, déjà utilisée pour prédire les mouvements du sol, est adoptée pour générer des signaux synthétiques à des hauteurs différentes du bâtiment, par extension du chemin de propagation des ondes du sol à la structure. Une représentation simplifiée du bâtiment comme une poutre homogène Timoshenko est proposée pour simuler la réponse sismique directement à partir des enregistrements des vibrations ambiantes. Des paramètres mécaniques équivalents sont identifiés à l'aide de l'interférométrie par déconvolution en termes de dispersion des ondes, de fréquences naturelles et de rapport de vitesse des ondes de cisaillement et de compression dans le milieu / The aim of this thesis is to simulate the time history response of a high rise building under seismic excitation and provide simplified methodologies that properly reproduce such response. Firstly, a detailed three-dimensional finite element model is produced to validate its reliability to simulate the real behavior of the building during ground motions, recorded using accelerometers. It is proposed to improve the accuracy of the numerical model by imposing multiple excitations, considering rocking effect and spatial variability on the input motion. The use of empirical Green's functions is proposed to simulate the seismic response directly from past event records, without the need of construction drawings and mechanical parameters calibration. A stochastic summation scheme, already used to predict ground motions, is adopted to generate synthetic signals at different heights of the building, extending the wave propagation path from the ground to the structure. A simplified representation of the building as a homogeneous Timoshenko beam is proposed to simulate the seismic response directly from ambient vibration records. Equivalent mechanical parameters are identified using deconvolution interferometry in terms of wave dispersion, natural frequencies and shear to compressional wave
|
255 |
Programmation stochastique à deux étapes pour l’ordonnancement des arrivées d’avions sous incertitudeKhassiba, Ahmed 01 1900 (has links)
Cotutelle avec l'Université de Toulouse 3 - Paul Sabatier, France.
Laboratoire d'accueil: Laboratoire de recherche de l'École Nationale de l'Aviation Civile (ENAC), équipe OPTIM, Toulouse, France. / Dans le contexte d'une augmentation soutenue du trafic aérien et d'une faible marge d'expansion des capacités aéroportuaires, la pression s'accroît sur les aéroports les plus fréquentés pour une utilisation optimale de leur infrastructure, telle que les pistes, reconnues comme le goulot d'étranglement des opérations aériennes. De ce besoin opérationnel est né le problème d'ordonnancement des atterrissages d'avions, consistant à trouver pour les avions se présentant à un aéroport la séquence et les heures d'atterrissage optimales par rapport à certains critères (utilisation des pistes, coût total des retards, etc) tout en respectant des contraintes opérationnelles et de sécurité.
En réponse à ce besoin également, depuis les années 1990 aux États-Unis et en Europe, des outils d'aide à la décision ont été mis à la disposition des contrôleurs aériens, afin de les assister dans leur tâche d'assurer la sécurité et surtout la performance des flux d'arrivée.
Un certain nombre de travaux de recherche se sont focalisés sur le cas déterministe et statique du problème d'atterrissage d'avions. Cependant, le problème plus réaliste, de nature stochastique et dynamique, a reçu une attention moindre dans la littérature. De plus, dans le cadre du projet européen de modernisation des systèmes de gestion de trafic aérien, il a été proposé d’étendre l’horizon opérationnel des outils d’aide à la décision de manière à prendre en compte les avions plus loin de l'aéroport de destination. Cette extension de l'horizon opérationnel
promet une meilleure gestion des flux d'arrivées via un ordonnancement précoce plus efficient. Néanmoins, elle est inévitablement accompagnée d'une détérioration de la qualité des données d'entrée, rendant indispensable la prise en compte de leur stochasticité.
L’objectif de cette thèse est l’ordonnancement des arrivées d’avions, dans le cadre d'un horizon opérationnel étendu, où les heures effectives d'arrivée des avions sont incertaines. Plus précisément, nous proposons une approche basée sur la programmation stochastique à deux étapes. En première étape, les avions sont pris en considération à 2-3 heures de leur atterrissage prévu à l'aéroport de destination. Il s'agit de les ordonnancer à un point de l'espace aérien aéroportuaire, appelé IAF (Initial Approach Fix). Les heures effectives de passage à ce point sont supposées suivre des distributions de probabilité connues. En pratique, cette incertitude peut engendrer un risque à la bonne séparation des avions nécessitant l'intervention des contrôleurs. Afin de limiter la charge de contrôle conséquente, nous introduisons des contraintes en probabilité traduisant le niveau de tolérance aux risques de sécurité à l'IAF après révélation de l'incertitude. La deuxième étape correspond au passage effectif des avions considérés à l'IAF. Comme l'incertitude est révélée, une décision de recours est prise afin d'ordonnancer les avions au seuil de piste en minimisant un critère de deuxième étape (charge de travail des contrôleurs, coût du retard, etc).
La démonstration de faisabilité et une étude numérique de ce problème d'ordonnancement des arrivées d'avions en présence d'incertitude constituent la première contribution de la thèse. La modélisation de ce problème sous la forme d’un problème de programmation stochastique à deux étapes et sa résolution par décomposition de Benders constituent la deuxième contribution. Finalement, la troisième contribution étend le modèle proposé au cas opérationnel, plus réaliste où nous considérons plusieurs points d’approche initiale. / Airport operations are well known to be a bottleneck in the air traffic system, which puts more and more pressure on the world busiest airports to optimally schedule landings, in particular, and also – but to a smaller extent – departures. The Aircraft Landing Problem (ALP) has arisen from this operational need. ALP consists in finding for aircraft heading to a given airport a landing sequence and landing times so as to optimize some given criteria (optimizing runway utilization, minimizing delays, etc) while satisfying operational constraints (safety constraints mainly). As a reply to this operational need, decision support tools have been designed and put on service for air traffic controllers since the early nineties in the US as well as in Europe.
A considerable number of publications dealing with ALP focus on the deterministic and static case. However, the aircraft landing problem arising in practice has a dynamic nature riddled with uncertainties. In addition, operational horizon of current decision support tools are to be extended so that aircraft are captured at larger distances from the airport to hopefully start the scheduling process earlier. Such a horizon extension affects the quality of input data which enlarges the uncertainty effect.
In this thesis, we aim at scheduling aircraft arrivals under uncertainty. For that purpose, we propose an approach based on two-stage stochastic programming. In the first stage, aircraft are captured at a large distance from the destination airport. They are to be scheduled on the same initial approach fix (IAF), a reference point in the near-to-airport area where aircraft start their approach phase preparing for landing. Actual IAF arrival times are assumed to be random variables with known probability distributions.
In practice, such an uncertainty may cause loss of safety separations between aircraft.
In such situations, air traffic controllers are expected to intervene to ensure air traffic safety. In order to alleviate the consequent air traffic control workload, chance constraints are introduced so that the safety risks around the IAF are limited to an acceptable level once the uncertainty is revealed. The second stage corresponds to the situation where aircraft are actually close to the IAF. In this stage, the uncertainty is revealed and a recourse decision is made in order to schedule aircraft on the runway threshold so that a second-stage cost function is minimized (e.g., air traffic control workload, delay cost, etc).
Our first contribution is a proof of concept of the extended aircraft arrival management under uncertainty and a computational study on optimization parameters and problem characteristics. Modeling this problem as a two-stage stochastic programming model and solving it by a Benders decomposition is our second contribution. Finally, our third contribution focuses on extending our model to the more realistic case, where aircraft in the first stage are scheduled on several IAFs.
|
256 |
Design of robust networks : application to the design of wind farm cabling networks / Conception de réseaux robustes : application à des problèmes de câblage dans les parcs éoliensRidremont, Thomas 09 April 2019 (has links)
Aujourd’hui, la conception de réseaux est une problématique cruciale qui se pose dans beaucoup de domaines tels que le transport ou l’énergie. En particulier, il est devenu nécessaire d’optimiser la façon dont sont conçus les réseaux permettant de produire de l’énergie. On se concentre ici sur la production électrique produite à travers des parcs éoliens. Cette énergie apparait plus que jamais comme une bonne alternative à la production d’électricité via des centrales thermiques ou nucléaires.Nous nous intéressons dans cette thèse à la conception du câblage collectant l’énergie dans les parcs éoliens. On connaît alors la position de l’ensemble des éoliennes appartenant au parc ainsi que celle du site central collecteur vers laquelle l’énergie doit être acheminée. On connaît également la position des câbles que l’on peut construire, leurs capacités, et la position des nœuds d’interconnexion possibles. Il s’agit de déterminer un câblage de coût minimal permettant de relier l’ensemble des éoliennes à la sous-station, tel que celui-ci soit résistant à un certain nombre de pannes sur le réseau. / Nowadays, the design of networks has become a decisive problematic which appears in many fields such as transport or energy. In particular, it has become necessary and important to optimize the way in which networks used to produce, collect or transport energy are designed. We focus in this thesis on electricity produced through wind farms. The production of energy by wind turbines appears more than ever like a good alternative to the electrical production of thermal or nuclear power plants.We focus in this thesis on the design of the cabling network which allows to collect and route the energy from the wind turbines to a sub-station, linking the wind farm to the electrical network. In this problem, we know the location of each wind turbine of the farm and the one of the sub-station. We also know the location of possible inter-connection nodes which allow to connect different cables between them. Each wind turbine produces a known quantity of energy and with each cable are associated a cost and a capacity (the maximum amount of energy that can be routed through this cable). The optimizationproblem that we consider is to select a set of cables of minimum cost such that the energy produced from the wind turbines can be routed to the sub-station in the network induced by this set of cables, without exceeding the capacity of each cable. We focus on cabling networks resilient to breakdowns.
|
257 |
Understanding social and community dynamics from taxi GPS data / Exploration de la dynamique sociale et collective en utilisant les données GPS de taxiChen, Chao 04 July 2014 (has links)
Taxis équipés de capteurs GPS sont un dispositif sensoriel important pour examiner les mouvements et les activités des gens. Dans cette thèse, nous cherchons à découvrir les facettes cachées en ce qui concerne les dynamiques sociales et communautaires codés dans les données de taxi GPS pour mieux comprendre comment se comporte la population urbaine et la dynamique résultant de la ville. Comme certains « aspects cachés» sont en ce qui concerne l'aspect similaire de la dynamique sociale et de la communauté, nous avons encore définissons formellement trois catégories pour l'étude, et les explorer à combler les écarts importants entre la première circuler des données GPS et des applications innovantes et des services urbains intelligents. Plus précisément, 1. Pour permettre aux applications d'alertes de fraude de taxi en temps réel, nous vous proposons algorithme iBoat qui est capable de détecter des trajectoires anormales "à la volée " et déterminer quelles parties de la trajectoire sont responsables de sa "anomalousness", en les comparant historiquement trajectoires ayant la même origine et de destination. 2. Pour introduire des services de transport respectueux de l'environnement aux citoyens rentable et, nous vous proposons B -Planner qui est une approche en deux phases, à planifier des itinéraires de bus de nuit bi- directionnelles de levier grands taxis données GPS. 3. Afin d'offrir un système de planification voyage d'itinéraire personnalisé, interactif, et le trafic-courant pour les utilisateurs, nous proposons système Tripplanner qui contient à la fois hors ligne et des procédures en ligne, en s'appuyant sur une combinaison de géolocalisation réseau social et des ensembles de données de taxi GPS. Enfin, certaines directions de recherche prometteuses pour les travaux futurs sont signalées, qui tentent essentiellement de fusionner les données de taxi GPS avec d'autres ensembles de données pour fournir des services urbains plus intelligents et personnalisés / Taxis equipped with GPS sensors are an important sensory device for examining people’s movements and activities. They are not constrained to a pre-defined schedule/route. Big taxi GPS data recording the spatio-temporal traces left by taxis provides rich and detailed glimpse into the motivations, behaviours, and resulting dynamics of a city’s mobile population through the road network. In this dissertation, we aim to uncover the “hidden facets” regarding social and community dynamics encoded in the taxi GPS data to better understand how urban population behaves and the resulting dynamics in the city. As some “hidden facets” are with regard to similar aspect of social and community dynamics, we further formally define three categories for study (i.e. social dynamics, traffic dynamics, and operational dynamics), and explore them to fill the wide gaps between the raw taxi GPS data and innovative applications and smart urban services. Specifically, 1. To enable applications of real-time taxi fraud alerts, we propose iBOAT algorithm which is capable of detecting anomalous trajectories “on-the-fly” and identifying which parts of the trajectory are responsible for its anomalousness, by comparing them against historically trajectories having the same origin and destination. 2. To introduce cost-effective and environment-friendly transport services to citizens, we propose B-Planner which is a two-phase approach, to plan bi-directional night bus routes leveraging big taxi GPS data. 3. To offer a personalized, interactive, and traffic-aware trip route planning system to users, we propose TripPlanner system which contains both offline and online procedures, leveraging a combination of Location-based Social Network (i.e. LBSN) and taxi GPS data sets. Finally, some promising research directions for future work are pointed out, which mainly attempt to fuse taxi GPS data with other data sets to provide smarter and personalized urban services for citizens
|
258 |
Privacy-preserving spectrum sharing / Un partage de spectre préservant la confidentialitéBen-Mosbah, Azza 24 May 2017 (has links)
Les bandes des fréquences, telles qu'elles sont aménagées aujourd'hui, sont statiquement allouées. Afin d'améliorer la productivité et l'efficacité de l'utilisation du spectre, une nouvelle approche a été proposée : le "partage dynamique du spectre". Les régulateurs, les industriels et les scientifiques ont examiné le partage des bandes fédérales entre les détenteurs de licences (utilisateurs primaires) et les nouveaux entrants (utilisateurs secondaires). La nature d'un tel partage peut faciliter les attaques d'inférence et mettre en péril les paramètres opérationnels des utilisateurs primaires. Par conséquent, le but de cette thèse est d'améliorer la confidentialité des utilisateurs primaires tout en permettant un accès secondaire au spectre. Premièrement, nous présentons une brève description des règles de partage et des exigences en termes de confidentialité dans les bandes fédérales. Nous étudions également les techniques de conservation de confidentialité (obscurcissement) proposées dans les domaines d'exploration et d'édition de données pour contrecarrer les attaques d'inférence. Ensuite, nous proposons et mettons en œuvre notre approche pour protéger la fréquence et la localisation opérationnelles contre les attaques d'inférence. La première partie étudie la protection de la fréquence opérationnelle en utilisant un obscurcissement inhérent et explicite pour préserver la confidentialité. La deuxième partie traite la protection de la localisation opérationnelle en utilisant la confiance comme principale contre-mesure pour identifier et atténuer un risque d'inférence. Enfin, nous présentons un cadre axé sur les risques qui résume notre travail et s'adapte à d'autres approches de protection de la confidentialité. Ce travail est soutenu par des modèles, des simulations et des résultats qui focalisent sur l'importance de quantifier les techniques de préservation de la confidentialité et d'analyser le compromis entre la protection de la confidentialité et l'efficacité du partage du spectre / Radio frequencies, as currently allocated, are statically managed. Spectrum sharing between commercial users and incumbent users in the Federal bands has been considered by regulators, industry, and academia as a great way to enhance productivity and effectiveness in spectrum use. However, allowing secondary users to share frequency bands with sensitive government incumbent users creates new privacy threats in the form of inference attacks. Therefore, the aim of this thesis is to enhance the privacy of the incumbent while allowing secondary access to the spectrum. First, we present a brief description of different sharing regulations and privacy requirements in Federal bands. We also survey the privacy-preserving techniques (i.e., obfuscation) proposed in data mining and publishing to thwart inference attacks. Next, we propose and implement our approach to protect the operational frequency and location of the incumbent operations from inferences. We follow with research on frequency protection using inherent and explicit obfuscation to preserve the incumbent's privacy. Then, we address location protection using trust as the main countermeasure to identify and mitigate an inference risk. Finally, we present a risk-based framework that integrates our work and accommodates other privacy-preserving approaches. This work is supported with models, simulations and results that showcase our work and quantify the importance of evaluating privacy-preserving techniques and analyzing the trade-off between privacy protection and spectrum efficiency
|
259 |
Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixesTchouandem Kemoe, Julie Amanda 05 1900 (has links)
Notre sujet de recherche porte sur la résolution du problème de transport avec coûts fixes (FCTP). Le problème de transport classique consiste à déterminer le schéma optimal de distribution dans un réseau. Le réseau est divisé en deux sous-ensembles de sommets : les origines caractérisées par une offre et les destinations caractérisées par une demande. À chaque arc reliant une origine et une destination, est associé un coût variable. L'objectif est de satisfaire toutes les demandes en minimisant la somme des coûts variables de transport. Dans le FCTP, il y a aussi des coûts fixes associés à tous les arcs, en supplément de tout ce qui décrit un problème de transport classique. Ainsi,
à chaque arc, est associé un coût variable et un coût fixe qui est considéré si et seulement si l'arc est utilisé. L'objectif est désormais de minimiser la somme totale des coûts, variables et fixes. Le FCTP nous confronte donc à un modèle différent et plus complexe. La complexité de résolution est accrue pour les instances de grande taille.
Dans ce mémoire, nous étudions et présentons une nouvelle méthode de résolution pour les instances de grande taille du FCTP. Il s'agit d'une méthode de décomposition lagrangienne qui utilise la relaxation lagrangienne et un algorithme de sous-gradient pour trouver une borne inférieure au problème global. Nous avons intégré à la méthode une heuristique lagrangienne, incluant une procédure de ``slope scaling'' afin d'améliorer notre algorithme de sous-gradient et le résultat final de la méthode.
À l'issue de notre processus de résolution, nous trouvons, pour certaines instances de grande taille, un moyen d'améliorer la solution proposée par CPLEX pour le FCTP en donnant comme paramètre à CPLEX la solution finale de notre méthode. / Our research topic focuses on solving the fixed charge transportation problem (FCTP).
The classic transportation problem is to determine the optimal distribution pattern in a
network. The network is divided into two subsets of vertices : the origins characterized by a
supply and the destinations characterized by a demand. Each arc connecting an origin and
a destination has a variable cost associated with it. The objective is to satisfy all demands
while minimizing the sum of variable transportation costs. In FCTP, there are also fixed costs
associated with all arcs, in addition to all others things that describe a typical transportation
problem. So, each arc is associated a variable cost and a fixed cost which is considered if
and only if the arc is used. The objective is now to minimize the total sum of costs, variable
and fixed. The FCTP therefore confronts us with a different and more complex model. The
resolution complexity is even increased for large instances.
In this thesis, we study and present a new resolution method for large FCTP instances.
This is a lagrangian decomposition method which uses lagrangian relaxation and a subgradient
algorithm to find a lower bound to the global problem. We have integrated into the
method a lagrangian heuristic, including a “slope scaling” procedure in order to improve our
sub-gradient algorithm and the final result of the method.
At the end of our resolution process, we find, for some large instances, a way to improve
the solution proposed by CPLEX for the FCTP by giving as parameter to CPLEX the final
solution of our method.
|
260 |
Mixed-integer programming representation for symmetrical partition function form gamesPepin, Justine 11 1900 (has links)
In contexts involving multiple agents (players), determining how they can cooperate through the formation of coalitions and how they can share surplus benefits coming from the collaboration is crucial. This can provide decision-aid to players and analysis tools for policy makers regulating economic markets. Such settings belong to the field of cooperative game theory. A critical element in this area has been the size of the representation of these games: for each possible partition of players, the value of each coalition on it must be provided.
Symmetric partition function form games (SPFGs) belong to a class of cooperative games with two important characteristics. First, they account for externalities provoked by any group of players joining forces or splitting into subsets on the remaining coalitions of players. Second, they consider that players are indistinct, meaning that only the number of players in each coalition is relevant for the SPFG. Using mixed-integer programming, we present the first representation of SPFGs that is polynomial on the number of players in the game. We also characterize the family of SPFGs that we can represent. In particular, the representation is able to encode exactly all SPFGs with five players or less. Furthermore, we provide a compact representation approximating SPFGs when there are six players or more and the SPFG cannot be represented exactly. We also introduce a flexible framework that uses stability methods inspired from the literature to identify a stable social-welfare maximizing game outcome using our representation. We showcase the value of our compact (approximated) representation and approach to determine a stable partition and payoff allocation to a competitive market from the literature. / Dans tout contexte impliquant plusieurs agents (joueurs), il est impératif de déterminer comment les agents coopéreront par la formation de coalitions et comment ils partageront les bénéfices supplémentaires issus de la collaboration. Ceci peut fournir une aide à la décision aux joueurs, ou encore des outils d'analyse pour les responsables en charge de réguler les marchés économiques. De telles situations relèvent de la théorie des jeux coopérative. Un élément crucial de ce domaine est la taille de la représentation de ces jeux : pour chaque partition de joueurs possible, la valeur de chaque coalition qu'on y retrouve doit être donnée.
Les jeux symétriques à fonction de partition (SPFG) appartiennent à une classe de jeux coopératifs possédant deux caractéristiques principales. Premièrement, ils sont sensibles aux externalités, provoquées par n'importe quel groupe de joueurs qui s'allient ou défont leurs alliances, qui sont ressenties par les autres coalitions de joueurs. Deuxièmement, ils considèrent que les joueurs sont indistincts, et donc que seul le nombre de joueurs dans chaque coalition est à retenir pour représenter un SPFG. Par l'utilisation d'outils de programmation mixte en nombres entiers, nous présentons la première représentation de SPFG qui est polynomiale en nombre de joueurs dans le jeu. De surcroît, nous caractérisons la famille des SPFG qu'il est possible de représenter, qui inclut notamment tous les SPFG de cinq joueurs ou moins. De plus, elle dispose d'une approximation compacte pour le cas où, dans un jeu à six joueurs ou plus, le SPFG ne peut pas être représenté de façon exacte. Également, nous introduisons un cadre flexible qui utilise des méthodes visant la stabilité inspirées par la littérature pour identifier, à l'aide de notre représentation, une issue stable qui maximise le bien-être social des joueurs. Nous démontrons la valeur de notre représentation (approximée) compacte et de notre approche pour sélectionner une partition stable et une allocation des profits dans une application de marché compétitif provenant de la littérature.
|
Page generated in 0.0989 seconds