Spelling suggestions: "subject:"décentralisée"" "subject:"centralisé""
11 |
La raison fiscale : de l’ancienne France à la naissance de l’État décentralisé contemporain / The fiscal reason : from ancient France to the birth of the contemporary decentralized statePérez, Xavier 16 September 2011 (has links)
La France s’est fondée autour des valeurs centralisatrices symbolisées par l’unité fiscale et la concentration du pouvoir sur sa capitale Paris. Depuis 2003 et la réforme constitutionnelle qui reconnaît l’organisation décentralisée, elle se retrouve face à sa contradiction : celle de revendiquer l’unité centralisatrice et d’admettre la décentralisation. Contrairement à la définition qui veut que la décentralisation se caractérise par le partage des compétences entre les collectivités locales et les autorités nationales, l’État décentralisé possède une logique propre distincte de l’État central. En effet, il devrait intégrer la société civile dans le fonctionnement normal des institutions pour délibérer conjointement avec les élus. Pour comprendre ce phénomène et comment une telle décentralisation conserve l’unité nationale, il devient nécessaire de retracer l’histoire de la raison fiscale, c’est-à-dire la logique politique des contributions, de l’ancienne France à la naissance de l’État décentralisé contemporain pour déterminer les fondements, comprendre l’unité du pays et en concevoir les enjeux du début du XXIe siècle : payer directement, à la source, prendre en compte les revenus de chacun, intégrer la protection du vivant ainsi que le développement de l’économie locale. / France was created around central values which are symbolized by the fiscal unity and the concentration of power in its capital Paris. It has been contradicting itself since 2003 date of the constitutional reform, which recognizes the decentralized organization, because it claims to be a centralized state while also acknowledging the values of a decentralized state. This is in contradiction with the definition of “decentralization” which defines a state with a division of power between the local and national authorities, and the decentralized state possesses its own logic which is different from the central state. Indeed, it should integrate the civil society into the normal functioning of institutions in order to deliberate together with the elected representatives. To understand this phenomenon and how such “decentralization” has preserved the national unity it is essential to tell the history of the fiscal reason. That is to say, the political, logical contributions from ancient France to the birth of the contemporary decentralized state in order to determine its foundations, to understand the unity of the country, and to conceive the stakes in the beginning of the 21st century: direct payment, to the source, to take into account each person’s income, and to integrate environment protection as well as the development of the local economy.
|
12 |
Un environnement pour le calcul intensif pair à pair / An environment for peer-to-peer high performance computingNguyen, The Tung 16 November 2011 (has links)
Le concept de pair à pair (P2P) a connu récemment de grands développements dans les domaines du partage de fichiers, du streaming vidéo et des bases de données distribuées. Le développement du concept de parallélisme dans les architectures de microprocesseurs et les avancées en matière de réseaux à haut débit permettent d'envisager de nouvelles applications telles que le calcul intensif distribué. Cependant, la mise en oeuvre de ce nouveau type d'application sur des réseaux P2P pose de nombreux défis comme l'hétérogénéité des machines, le passage à l'échelle et la robustesse. Par ailleurs, les protocoles de transport existants comme TCP et UDP ne sont pas bien adaptés à ce nouveau type d'application. Ce mémoire de thèse a pour objectif de présenter un environnement décentralisé pour la mise en oeuvre de calculs intensifs sur des réseaux pair à pair. Nous nous intéressons à des applications dans les domaines de la simulation numérique et de l'optimisation qui font appel à des modèles de type parallélisme de tâches et qui sont résolues au moyen d'algorithmes itératifs distribués or parallèles. Contrairement aux solutions existantes, notre environnement permet des communications directes et fréquentes entre les pairs. L'environnement est conçu à partir d'un protocole de communication auto-adaptatif qui peut se reconfigurer en adoptant le mode de communication le plus approprié entre les pairs en fonction de choix algorithmiques relevant de la couche application ou d'éléments de contexte comme la topologie au niveau de la couche réseau. Nous présentons et analysons des résultats expérimentaux obtenus sur diverses plateformes comme GRID'5000 et PlanetLab pour le problème de l'obstacle et des problèmes non linéaires de flots dans les réseaux. / The concept of peer-to-peer (P2P) has known great developments these years in the domains of file sharing, video streaming or distributed databases. Recent advances in microprocessors architecture and networks permit one to consider new applications like distributed high performance computing. However, the implementation of this new type of application on P2P networks gives raise to numerous challenges like heterogeneity, scalability and robustness. In addition, existing transport protocols like TCP and UDP are not well suited to this new type of application. This thesis aims at designing a decentralized and robust environment for the implementation of high performance computing applications on peer-to-peer networks. We are interested in applications in the domains of numerical simulation and optimization that rely on tasks parallel models and that are solved via parallel or distributed iterative algorithms. Unlike existing solutions, our environment allows frequent direct communications between peers. The environment is based on a self adaptive communication protocol that can reconfigure itself dynamically by choosing the most appropriate communication mode between any peers according to decisions concerning algorithmic choice made at the application level or elements of context at transport level, like topology. We present and analyze computational results obtained on several testeds like GRID’5000 and PlanetLab for the obstacle problem and nonlinear network flow problems.
|
13 |
Accrochage immatériel sûr et précis de véhicules automatiques / Secure and precise immaterial hanging for automated vehiclesYazbeck, Jano 10 June 2014 (has links)
Dans cette thèse, nous nous intéressons au problème du suivi en convoi, désigné en anglais par le terme platooning, où un train de robots essaie de suivre un chemin décrit par le leader. Ce chemin, n'étant pas prédéfini mais généré au cours du suivi, est inconnu de tous les robots suiveurs. Dans ce travail, nous choisissons une approche décentralisée locale où chaque robot du convoi observe son voisinage et calcule son contrôle de façon à avoir un suivi stable (absence d'oscillations) et précis (erreur latérale aussi faible que possible). Cette thèse étudie plus précisément le comportement latéral d'un robot du convoi et propose deux contrôleurs s'appuyant sur la mémorisation du chemin suivi par son prédécesseur. Un premier algorithme de contrôle Memo-LAT (Memorization and Look-Ahead Target) calcule une commande latérale continue en utilisant une loi de contrôle analytique. La stabilité de Memo-LAT n'étant pas toujours garantie, nous proposons l'algorithme de contrôle NOC (Non-Oscillatory Convergence) qui prend en compte la courbure du chemin à suivre dans le calcul du comportement latéral. NOC combine une approche géométrique avec une recherche heuristique pour calculer une commande discrète permettant au robot de suivre avec précision le chemin de son prédécesseur sans oscillation. / This thesis deals with the platooning problem which aims to concieve a control algorithm allowing a convoy of vehicles to follow their leader's path. This path, which is initially undefined and unknown to all the following robots, is generated as the leader moves. In this thesis, we choose a local decentralized approach in which each robot of the platoon uses its local perceptions to compute its own commands aiming to achieve a stable (no oscillations) and precise (with a lateral error as small as possible) platooning. More precisely, this thesis studies the lateral behavior of a platoon's robot and introduces two controllers based on the memorization of the robot's predecessor's path. The first algorithm, Memo-LAT (Memorization and Look-Ahead Target), computes a continuous lateral command using an analytic control law. As the stability of Memo-LAT is not always guaranteed, we present NOC (Non-Oscillatory Convergence), a control algorithm which takes into account the path's curvature in the robot's lateral behavior's computation. NOC combines a geometric approach to a heuristic search method to compute a discrete command allowing the robot to follow precisely and without oscillations its predecessor's path
|
14 |
Vérification à l'exécution de spécifications décentralisées hiérarchiques / Runtime Verification of Hierarchical Decentralized SpecificationsEl hokayem, Antoine 18 December 2018 (has links)
La vérification à l’exécution est une méthode formelle légère qui consiste à vérifier qu’une exécution d’un système est correcte par rapport à une spécification. La spécification exprime de manière rigoureuse le comportement attendu du système, en utilisant généralement des formalismes basés sur la logique ou les machines à états finies. Alors que la verification a l’éxecution traite les systèmes monolithiques de manière exhaustive, plusieurs difficultés se présentent lors de l’application des techniques existantes à des systèmes décentralisés, c-à-d. des systèmes avec plusieurs composants sans point d’observation central. Dans cette thèse, nous nous concentrons particulièrement sur trois problèmes : la gestion de l’information partielle, la séparation du déploiement des moniteurs du processus de vérification lui-même et le raisonnement sur la décentralisation de manière modulaire et hiérarchique. Nous nous concentrons sur la notion de spécification décentralisée dans laquelle plusieurs spécifications sont fournies pour des parties distinctes du système. Utiliser une spécification décentralisée a divers avantages tels que permettre une synthèse de moniteurs à partir des spécifications complexes et la possibilité de modulariser les spécifications. Nous présentons également un algorithme de vérification général pour les spécifications décentralisées et une structure de données pour représenter l’exécution d’un automate avec observations partielles. Nous développons l’outil THEMIS, qui fournit une plateforme pour concevoir des algorithmes de vérification décentralisée, des mesures pour les algorithmes, une simulation et des expérimentations reproductibles pour mieux comprendre les algorithmes.Nous illustrons notre approche avec diverses applications. Premièrement, nous utilisons des spécifications décentralisées pour munir une analyse de pire cas, adapter, comparer et simuler trois algorithmes de vérification décentralisée existants dans deux scénarios: l’interface graphique Chiron, et des traces et spécifications générées aléatoirement. Deuxièmement, nous utilisons des spécifications décentralisées pour vérifier diverses propriétés dans un appartement intelligent: correction du comportement des capteurs de l’appartement, détection d’activité spécifiques de l’utilisateur (Activities of Daily Living, ADL) et composition de spécifications des deux catégories précédentes.En outre, nous élaborons sur l’utilisation de spécifications décentralisées pour la vérification décentralisée pendant l’exécution de programmes parallélisés. Nous commençons par discuter les limitations des approches et des outils existants lorsque les difficultés introduites par le parallélisme sont rencontrées. Nous détaillons la description de zones de parallélisme d’une unique exécution d’un programme et décrivons une approche générale qui permet de réutiliser des techniques de verification à l’éxécution existantes. Dans notre configuration, les moniteurs sont déployés dans des fils d’exécution spécifiques et échangent de l’information uniquement lorsque des points de synchronisation définis par le programme lui-même sont atteints. En utilisant les points de synchronisation existants, notre approche réduit les interférences et surcoûts résultant de la synchronisation, au prix d’un retard pour déterminer le verdict. / Runtime Verification (RV) is a lightweight formal method which consists in verifying that a run of a system is correct with respect to a specification. The specification formalizes the behavior of the system typically using logics or finite-state machines. While RV comprehensively deals with monolithic systems, multiple challenges are presented when scaling existing approaches to decentralized systems, that is, systems with multiple components with no central observation point. We focus particularly on three challenges: managing partial information, separating monitor deployment from the monitoring process itself, and reasoning about decentralization in a modular and hierarchical way. We present the notion of a decentralized specification wherein multiple specifications are provided for separate parts of the system. Decentralized specifications provide various advantages such as modularity, and allowing for realistic monitor synthesis of the specifications. We also present a general monitoring algorithm for decentralized specifications, and a general datastructure to encode automata execution with partial observations. We develop the THEMIS tool, which provides a platform for designing decentralized monitoring algorithms, metrics for algorithms, and simulation to better understand the algorithms, and design reproducible experiments.We illustrate the approach with two applications. First, we use decentralized specifications to perform a worst-case analysis, adapt, compare, and simulate three existing decentralized monitoring algorithms on both a real example of a user interface, and randomly generated traces and specifications. Second, we use decentralized specifications to check various specifications in a smart apartment: behavioral correctness of the apartment sensors, detection of specific user activities (known as activities of daily living), and composition of properties of the previous types.Furthermore, we elaborate on utilizing decentralized specifications for the decentralized online monitoring of multithreadedprograms. We first expand on the limitations of existing tools and approaches when meeting the challenges introduced by concurrency and ensure that concurrency needs to be taken into account by considering partial orders in traces. We detail the description of such concurrency areas in a single program execution, and provide a general approach which allows re-using existing RV techniques. In our setting, monitors are deployed within specific threads, and only exchange information upon reaching synchronization regions defined by the program itself. By using the existing synchronization, we reduce additional overhead and interference to synchronize at the cost of adding a delay to determine the verdict.
|
15 |
Fiabilité des réponses fournies par un réseau logique pair-à-pairNguyen, Gia Hien 24 November 2008 (has links) (PDF)
Cette thèse contribue à l'amélioration de la fiabilité des réponses fournies par les systèmes pair-à-pair sémantiques de plusieurs façons. La première partie de la thèse a pour but de garantir de ne produire que des réponses bien-fondées quand le réseau global d'un tel système est inconsistant. Deux algorithmes ont été proposés. Le premier détecte des causes d'inconsistances. Il termine, est décentralisé, complet, correct. Le deuxième profite des résultats du premier pour garantir de ne raisonner que de manière bien-fondée. Il termine, est décentralisé, correct. Des résultats prometteurs ont été obtenus à partir des expérimentations. La seconde partie de la thèse considère le problème de modéliser la confiance des pairs en des réponses obtenues. Basé sur un modèle probabiliste, le modèle de confiance proposé a une sémantique claire et permet aux pairs d'estimer la confiance en des réponses obtenues avec une bonne précision même avec peu observations.
|
16 |
Evolution du rôle du contrôleur de gestion dans un contexte de contrôle de gestionEnnajem, Cécile 10 June 2011 (has links) (PDF)
Dans le cadre d'un contrôle de gestion décentralisé, nous étudions l'évolution du rôle du contrôleur de gestion sous trois angles, celui de l'utilisation et la conception d'outils de contrôle de gestion utilisés pour le pilotage des activités et intégrant la dimension humaine, celui de sa contribution à la mise en place d'un contrôle de gestion plus proche des opérationnels et celui de l'étude de ses relations interpersonnelles avec les opérationnels. Nos recherches ont débuté dans notre propre service dans un organisme de Recherche-développement, en tant que contrôleur de gestion où nous avons observé et fait évoluer nos propres pratiques durant neuf ans. Ces premiers résultats ont été complétés par ceux d'une recherche-intervention menée dans un grand organisme public belge qui a implanté le contrôle de gestion socio-économique, puis nous avons complété notre recherche par l'observation d'outils de contrôle de gestion socio-économique et de leurs incidences sur le rôle du contrôleur de gestion, dans cinq entreprises de secteurs et de tailles différents.
|
17 |
Contribution à la mise au point d'un pilotage énergétique décentralisé par prédiction / Decentralized energy management by predictionsDufour, Luc 20 March 2017 (has links)
Comment satisfaire les besoins en énergie d’une population de 9 milliards d’êtres humains en 2050, de façon économiquement viable tout en minimisant l’impact sur l’environnement. Une des réponses est l’insertion de production d’énergie propre d’origine éolienne et photovoltaïque mais leurs totales dépendances aux variations climatiques accentuent une pression sur le réseau. Les modèles prédictifs historiques centralisés et paramétriques ont du mal à appréhender les variations brutales de productions et de consommations. La révolution internet permet aujourd’hui une convergence entre le numérique et l’énergie. En Europe et depuis cinq ans, l’axe d’étude est celui de la maîtrise locale de l’électricité. Ainsi plusieurs quartiers intelligents ont été créés et les modèles utilisés de pilotage et de prédiction restent souvent la propriété des partenaires des projets. Dans cette thèse, Il s’agit de réaliser un bilan énergétique chaque heure pour prédire l’ensemble des vecteurs énergétiques d’un système. Le besoin en énergie d’un système comme une maison est décomposée en un besoin en chauffage, en un besoin en eau chaude sanitaire, en un besoin en luminaires, en besoin de ventilation et en usages spécifiques électriques utiles. Le système peut posséder une production décentralisée et un système de stockage ce qui augmentera sa capacité d’effacement. Pour le centre de pilotage, l’objectif est d’avoir une possibilité de scénarios de surproductions ou surconsommations sur un quartier donnée à court terme. Nous considérerons dans cette thèse un horizon à l’heure pour notre bilan énergétique. Cela implique une prédiction fine des différents flux énergétiques d’un système en particulier le chauffage et l’eau chaude qui représente le plus gros potentiel de flexibilité dans les bâtiments. Pour réaliser un bilan, nous devons calculer les différents flux énergétiques à l’intérieur de notre système : les déperditions par l’enveloppe et la ventilation, les gains internes solaires, des personnes et des appareils, le stockage, la production d’eau chaude sanitaire, les usages spécifiques électriques utiles. Sur certains de ces points, nous pouvons évaluer assez précisément et en fonction du temps les quantités d’énergie échangées. Pour les autres (ECS, USE, gains internes, stockage), la bibliographie nous donne que des méthodes globales et indépendantes du temps. Il n’est donc pas possible d’envisager une méthode correspondant au pas de temps souhaité. Ceci impose la mise au point d’une méthode prédictive et apprenante dont nos modèles de simulation énergétique seront le point de référence. Il n’en reste pas moins que ces modèles permettent la compréhension du comportement énergétique du système. L’outil se devra non intrusif, personnalisé, robuste et simple. Pour limiter le caractère intrusif de l’outil, il s’agit à la fois d’ajouter de l’intelligence comme par exemple l’identification des appareils utiles à partir d’un seul point de mesure mais aussi la collection et l’analyse d’informations localement. Les données privées ne sont pas transmises vers l’extérieur. Seules les informations de prédictions énergétiques sont envoyées à un niveau supérieur pour agrégation des données des quartiers. L’intelligence est également au niveau des prédictions réalisées issues de méthodes d’apprentissage comme l’utilisation des réseaux de neurones ou des arbres de décision. La robustesse est étudiée d’un point de vue technologie (plusieurs protocoles de communication ont été testés), techniques (plusieurs méthodes de collecte) et d’un point de vue du stockage de données (limiter la fréquence de collecte). La simplicité d’usage engendre une simplicité d’installation minimiser le nombre de données d’entrée tout en gardant une précision souhaitable sera notre principal axe d’optimisation. / This work presents a data-intensive solution to manage energy flux after a low transformer voltage named microgrid concept. A microgrid is an aggregation of building with a decentralized energy production and or not a storage system. These microgrid can be aggregate to create an intelligent virtual power plant. However, many problems must be resolved to increase the part of these microgrid and the renewable resource in a energy mix. The physic model can not integrate and resolve in a short time the quickly variations. The intelligent district can be integrate a part of flexibility in their production with a storage system. This storage can be electrical with a battery or thermal with the heating and the hot water. For a virtual power plant, the system can be autonomous when the price electricity prediction is low and increase the production provided on the market when the price electricity is high. For a energy supplier and with a decentralized production building distant of a low transformer voltage, a regulation with a storage capacity enable a tension regulation. Finally, the auto-consumption becomes more and more interesting combined with a low electrical storage price and the result of the COP 21 in Paris engage the different country towards the energy transition. In these cases, a flexibility is crucial at the building level but this flexibility is possible if, and only if, the locally prediction are correct to manage the energy. The main novelties of our approach is to provide an easy implemented and flexible solution to predict the consumption and the production at the building level based on the machine learning technique and tested on the real use cases in a residential and tertiary sector. A new evaluation of the consumption is realized: the point of view is energy and not only electrical. The energy consumption is decomposed between the heating consumption, the hot water consumption and the electrical devices consumption. A prediction every hour is provided for the heating and the hot water consumption to estimate the thermal storage capacity. A characterization of Electrical devices consumption is realized by a non-intrusive disaggregation from the global load curve. The heating and the hot water are identify to provide a non intrusive methodology of prediction. Every day, the heating, the hot water, the household appliances, the cooling and the stand by are identified. Every 15 minutes, our software provide a hot water prediction, a heating prediction, a decentralized prediction and a characterization of the electrical consumption. A comparison with the different physic model simulated enable an error evaluation the error of our different implemented model.
|
18 |
Observation et commande des systèmes de grande dimension / Observer and control for large scale systemsMansouri, Mejda 08 December 2012 (has links)
Dans ce mémoire, on s'est intéressé aux problèmes d'estimation, de filtrage $H_{\infty}$ et de la commande basée observateur des systèmes de grande dimension. L'étude porte sur les systèmes linéaires standards mais aussi sur les systèmes algèbro-différentiels appelés aussi systèmes singuliers pour couvrir la classe la plus large possible des systèmes de grande dimension. Ainsi, on a commencé notre travail en proposant des méthodes de synthèse d'observateurs décentralisés à interconnexions inconnues pour des systèmes de grande dimension standards et singuliers. On a cherché à éliminer l'effet des interconnections inconnues sur la dynamique de l'erreur d'observation. La synthèse de l'observateur est basée sur des LMIs permettant de déterminer la matrice de gain paramétrant toutes les matrices de l'observateur. La formulation LMI est basée sur l'approche Lyapunov et déduite des différents lemmes bornés. Ensuite, on a proposé des filtres décentralisés qui permettent d'assurer, en plus de la stabilité, un critère de performance $H_{\infty}$, c'est à dire qu'on a cherché à atténuer l'effet des perturbations, supposées être inconnues mais à énergie bornée, sur la dynamique de l'erreur d'estimation. On a abordé après l'étude des observateurs interconnectés pour les systèmes de grande dimension, où on a proposé une nouvelle méthode permettant de synthétiser une nouvelle forme d'observateurs interconnectés connectivement stable. On s'est intéressé à la capacité d'un tel observateur à être stable de manière robuste vis-a-vis des incertitudes sur les interconnexions entre les sous observateurs qui les forment. Enfin, on s'est intéressé à l'application des méthodes d'estimation proposées dans le cadre de la commande. En effet, dans un premier temps, on a proposé une commande décentralisée basée sur un filtre $H_{\infty}$ pour une classe de systèmes de grande dimension standards à interconnections non-linéaires. L'approche est une extension des travaux de Kalsi et al. aux cas des systèmes perturbés standards. En effet, on a commencé par le calcul du gain de retour d'état qui satisfait les spécifications du système bouclé. Puis, on a synthétisé un filtre qui a pour but de fournir en sortie une estimée de ce retour d'état. L'approche a été validée sur un exemple de système composé de trois machines électriques interconnectées. Dans le second volet du chapitre, on a considéré le problème de la commande via un filtre $H_{\infty}$ pour une classe de système singulier de grande dimension soumis à des perturbations à énergie bornée. L'approche est une extension des travaux de Kalsi et al. au cas des systèmes singuliers perturbés. L'un des principaux apports de nos travaux, a été de proposer une nouvelle méthode de synthèse de commande basée sur un filtre $H_{\infty}$ qui générée par des conditions de solvabilité moins restrictives que celles introduites dans les travaux de Kalsi et al. Ainsi, on a relaxé les contraintes qui portait sur la distance entre la paire de matrices formée par la matrice d'état et la matrice d'entrée d'une part et l'ensemble de paires de matrices incontrôlables d'autre part. De plus, on tient compte de la maximisation des bornes de l'interconnexion, ce qui est très important en pratique / In this dissertation, we investigated the problems of the estimation, $H_{\infty}$ filtering and the controller based-observer design for standard large scale systems and for algebro-differentials ones called also singular large scale systems. So, we began to propose methods for decentralized observer design with unknown interconnections for standard and singular systems. We search here to decouple the unknown interconnections and the dynamics of the observation error. The method is based on LMIs approach to find the gain matrix implemented in the observer matrices. The LMI formulation is based on Lyapunov approach and deduced from various bounded lemmas. We propose then, filters that permits to ensure, in addition to the stability, an $H_{\infty}$ performance criteria; we search to attenuate the perturbations effect, supposed unknown but of bounded energy, on the dynamics of the estimation error. We discussed after the study of interconnected observers for large systems, we have proposed a new method to design a new form of interconnected observers connectively stable. We are interested in the ability of a such observer to be robustly stable towards uncertainties in the interconnections between sub-observers. Finally, we are interested to the application of the proposed estimation methods to the control purpose. Indeed, in a first step, we propose a decentralized control based on a filter $H_{\infty}$ for a class of large scale standard systems with nonlinear interconnections. Then, Then, we focus our attention on the observer based control for singular systems to search for a control law which ensures an $H_{\infty}$ performance criteria. The approach is an extension of recent works of Kalsi and al. to the case of disturbed large scale systems. One of the main contributions of our work was to propose a new method of control design based on a filter $H_ {\infty} $ which generated by using less restrictive conditions than those introduced in the work of Kalsi and al. Thus, we have relaxed the constraint on the distance between the pair of matrices formed by the state matrix and input matrix and the set of pairs of matrices uncontrollable. In addition, we consider the maximization of the bound of the interconnection, which is very important in practice. Our approach is obtained into two steps. The first one consist on calculating the gain state feedback that meets the specifications of the closed loop system. The second one , then we reconstruct this control law using our previous results on the $H_{\infty}$ filtering. The approach has been validated on an example of a system composed of three interconnected electrical machines
|
19 |
Problème de sondage dans les réseaux sociaux décentralisés / On the polling problem for decentralized social networksHoang, Bao Thien 03 February 2015 (has links)
Un des thèmes pratiques, mais hautement sensibles, est le problème de sondage dans les réseaux sociaux où le caractère secret des informations sélectionnées et la réputation de l’utilisateur sont très critiques. En effet, les utilisateurs désirent préserver la confidentialité de leurs votes et dissimuler, le cas échéant, leurs mauvais comportements. Récemment, Guerraoui et al. ont propose des protocoles de sondage basés sur la partage de secret et ne nécessitant aucune infrastructure cryptographique. Néanmoins, ces protocoles ne sont applicables que si le graphe social a une structure d’anneau et le nombre d’utilisateurs est un carré parfait. Dans cette thèse, nous traitons, d’une part, du problème du déploiement décentralisé des protocoles de sondage qui sont basés sur des graphes sociaux ayant des structures générales, et d’autre part, du problème de transformation des graphes sociaux pour augmenter les propriétés de vie privée et de précision, nécessaires au déroulement sûr et rentable du sondage décentralisé. Premièrement, nous proposons trois protocoles décentralisés qui s’appuient sur l’état originel (sans transformation) des graphes sociaux. Les deux premiers protocoles utilisent respectivement des modèles de communication synchrone et asynchrone, et manipulent des procédures de vérification pour détecter les utilisateurs malhonnêtes. Quant au troisième protocole, il est asynchrone et ne nécessite pas de procédures de vérification. Pour que ce protocole permette une diffusion efficace de messages, nous avons défini une propriété sur les graphes sociaux, appelée “m-broadcasting”. Dans la deuxième partie de la thèse, nous formalisons le problème de “l’ajout des amis” qui consiste à trouver une transformation optimale des graphes sociaux pour les adapter au partage de secret. Pour résoudre ce problème, nous présentons deux algorithmes selon deux approches différentes: centralisée et décentralisée. Une évaluation expérimentale montre que nos protocoles sont précis et restreints aux bornes théoriques / One of the current practical, useful but sensitive topic in social networks is polling problem where the privacy of exchanged information and user reputation are very critical. Indeed, users want to preserve the confidentiality of their votes and to hide, if any, their misbehaviors. Recently, Guerraoui et al. proposed polling protocols based on simple secret sharing scheme and without requiring any central authority or cryptography system. However these protocols can be deployed safely and efficiently provided that the social graph structure should be transformed into a ring structure-based overlay and the number of participating users is perfect square. In this thesis, we address the problem of deploying decentralized polling protocols for general social graphs and how to transform these graphs in order to increase the privacy and/or accuracy properties. First, we propose three simple decentralized polling protocols that rely on the current state of social graphs. The two first protocols use synchronous and asynchronous models and verification procedures to detect the misbehaving users. The third protocol is an asynchronous one that does not require any verification procedures and contains a method for efficiently broadcasting message under a family of social graphs satisfying what we call the “m-broadcasting” property. Second, we formalize the “adding friends” problem such that we can reuse the social graphs after some minimum structural modifications consisting in adding new friendship relations. We also devise algorithms for solving this problem in centralized and decentralized networks. We validate our solutions with some performance evaluations which show that our protocols are accurate, and inside the theoretical bounds
|
20 |
Contribution to the Decentralized Energy Management of Autonomous AC-Microgrid / Contribution à la gestion décentralisée de l'énergie dans un micro-réseau AC autonomeMoussa, Hassan 07 July 2017 (has links)
Cette thèse porte sur des micro-réseaux AC isolées qui permettent l’intégration des ressources énergétiques distribuées (DER) pouvant fournir leur énergie d'alimentation existante de manière contrôlée pour assurer le bon fonctionnement global du système. L'interconnexion d'un DER à une micro-réseau s'effectue habituellement en utilisant un convertisseur d'interface distribué (DIC) (i.e. un bloc d'interface d'électronique de puissance générale) qui est constitué d’un module de convertisseur à l'entrée de la source, un onduleur de tension (VSI), un module d'interfaçage de sortie, et le module de commande. Dans cette thèse on réalise plusieurs lois de commande basées sur des méthodes décentralisées. L'accent principal est mis sur les fonctions "Droop" qui ont la tâche de maintenir un équilibre de distribution d'énergie entre les différentes sources énergétiques connectées à la micro-réseau. L'objectif est d'assurer la stabilité du système et d’améliorer les performances dynamiques en partageant la puissance entre les différents générateurs d’électricité distribués (DGs) en fonction de leur puissance nominale. Le développement d'une analyse de stabilité en boucle fermée s’avère utile pour étudier la dynamique du système afin d'obtenir une réponse transitoire souhaitée qui permet d'identifier les paramètres de contrôle de boucle appropriés. L'amélioration de la qualité d’énergie des micro-réseaux est également un objectif de cette thèse. La réduction des distorsions harmoniques de la tension de sortie en présence de charges linéaires et non linéaires est prise en compte dans nos travaux. D'autres aspects seront étudiés sur la façon de traiter les charges constantes connectées au réseau et les grandes perturbations qu’ils produisent. Cela donne lieu à d'autres études de recherche portant sur la stabilité grand signal des micro-réseaux / This thesis deals with islanded AC microgrid that allows any integration of Distributed Energy Resources (DERs) that may provide their existing supply energy in a controlled manner to insure overall system functioning. The interconnection of a DER to a microgrid is done usually by using a Distributed Interface Converter (DIC), a general power electronics interface block, which consists of a source input converter module, a Voltage Source Inverter module (VSI), an output interface module, and the controller module. The thesis realizes several control laws based on decentralized methods. The major focus is on the Droop functions that are responsible for providing a power distribution balance between different Energy Resources connected to a microgrid. The aim is to insure system stability and better dynamic performance when sharing the power between different DGs as function to their nominal power. Developing a closed loop stability analysis is useful for studying system dynamics in order to obtain a desired transient response that allows identifying the proper loop control parameters. Power Quality enhancement in microgrids is also a purpose of this research. The reduction of harmonic distortions of the output voltage when supplying linear and non-linear loads are taken in consideration in this thesis. Further aspects will be studied about how to deal with constant power loads connected to the grid and the large perturbations exerted. This results to further research studies that deal with large-signal stability of microgrids
|
Page generated in 0.089 seconds