Academic literature on the topic 'Système spatial distribué'

Les architectures distribuées des systèmes embarqués sont souvent décrites sous la forme de composants concurrents communiquant entre eux. De tels systèmes sont à la fois orientés flot de données pour leur description, et dirigés par le temps pour leur exécution. Cette thèse s'inscrit dans cette problématique et se concentre sur le contrôle de la compatibilité temporelle d'un ensemble de données interdépendantes utilisées par les composants du système. L'architecture d'un système modélisé par composants forme un graphe où plusieurs chemins peuvent relier deux composants, avec des caractéristiques temporelles hétérogènes, ce qui induit des temps de parcours disparates. Il est alors important que ces flots d'information soient assemblés de façon cohérente sur le composant destinataire, c'est-à-dire de telle manière que le composant utilise en entrée des données dépendant (directement ou indirectement) du même pas d'exécution du composant à l'origine de ces flots multiples. Dans un premier temps, ce principe d'association cohérente de données est identifié et formalisé. Une méthodologie est proposée afin de détecter, dans un graphe de composants, les configurations pouvant poser des problèmes d'association de données Dans un deuxième temps, différentes approches sont détaillées afin de gérer l'association cohérente des données dans des systèmes périodiques sans supposer de propriétés strictes sur l'ordonnancement des composants. Dans les systèmes où les composants partagent la même période et où les communications intra-périodiques sont interdites, l'association des données est gérée par un mécanisme de files permettant de rééquilibrer les temps de parcours des données sur les différents chemins. Dans le cas où les composants sont de périodes diverses, un mécanisme d'estampillage des données est utilisé afin de mémoriser les dépendances entre données. Associé à l'utilisation de files, cet estampillage permet aux composants de sélectionner, à chacune de leurs phases d'activation, des ensembles de données cohérents choisis parmi les données à leur disposition. La notion d'association cohérente est ensuite relâchée, permettant une utilisation de données approximativement cohérentes. Des files filtrantes, n'enregistrant qu'une donnée sur un certain nombre de données reçues, permettent de réduire la taille des files nécessaires. Par ailleurs, du fait de la liberté du modèle d'exécution choisi, il existe des situations où il est impossible de garantir la vivacité de l'association cohérente des données. D'autre part, une architecture particulière peut générer des contraintes de cohérence conflictuelles et aboutir à une impossibilité de gestion de la cohérence. Pour terminer, les résultats de ces travaux sont appliqués sur le logiciel applicatif d'un satellite d'observation terrestre détectant des points chauds.

La numérisation de nos espaces de vie et de mobilités s’est largement accentuée durant la dernière décennie. La multiplication des capteurs de toute nature permettant de percevoir et de mesurer notre espace physique en est le levier principal. L’ensemble de ces systèmes produit aujourd’hui de grands volumes de données hétérogènes sans cesse croissants, ce qui soulève de nombreux enjeux scientifiques et d'ingénierie en termes de stockage et de traitement pour la gestion et l’analyse de mobilités. Les travaux dans le domaine d’analyse des données spatio-temporelles ont largement été orientés soit vers la fouille de données historiques archivées, soit vers le traitement continu. Afin d’éviter les écueils de plus en plus prégnants dus à l’augmentation de ces volumes de données et de leur vélocité (temps de traitement trop long, modèles conceptuellement plus adaptés, analyse approximative des données), nous proposons la conception d’une approche hybride distribuée permettant le traitement combiné de flux temps-réel et de données archivées. L’objectif de cette thèse est donc de développer un nouveau système de gestion et de traitement distribué pour l’analyse des mobilités en particulier maritimes. La solution proposée répond principalement à des contraintes de temps-réel, les données archivées et les informations qui en sont extraites permettant d'améliorer la qualité de réponse. Une proposition de paradigme d'événements est également développée pour permettre ce traitement hybride mais aussi pour caractériser et identifier plus facilement des comportements types d'objets mobiles. Enfin, une requête appliquée sur des zones de couverture de signal pour des objets mobiles a été étudiée et testée sur des données maritimes mettant en exergue le besoin d'une approche hybride pour le traitement de trajectoires<br>Over the past few years, the rapid prolifération of sensors and devices recording positioning information regularly produces very large volumes of heterogeneous data. This leads to many research challenges as the storage, distribution, management,Processing and analysis of the large mobility data generated still needs to be solved. Current works related to the manipulation of mobility data have been directed towards either mining archived historical data or continuous processing of incoming data streams.The aim of this research is to design a holistic System whose objective is to provide a combined processing of real time data streams and archived data positions. The proposed solution is real-time oriented, historical data and informations extracted from them allowing to enhance quality of the answers to queries. A event paradigm is discussed to facilitate the hybrid approach and to identify typical moving objects behaviors. Finally, a query concerning signal coverage of moving objects has been studied and applied to maritime data showing the relevance of a hybrid approach to deal with moving object data processing

Cette thèse porte sur la diffusion d'informations dans les réseaux. La diffusion consiste à transmettre une information à partir d'un nœud source vers tous les autres nœuds. Elle est très présente en informatique, aussi bien pour transmettre du contenu par internet que pour le calcul distribué ou parallèle. Dans les protocoles que nous considérons, chaque nœud informé participe à la diffusion d'information : dans l'inondation, un nœud informé transmet l'information à tous ses voisins en une seule étape de temps, et dans la diffusion 1-PORT chaque nœud informé communique, à chaque étape, avec un unique voisin. Notre première contribution porte sur l'étude du pire temps de diffusion 1-PoRT où un nœud n'appelle pas un voisin qu'il sait être informé. Nous étudions trois variantes. Dans la première, un nœud ne rappelle simplement pas un voisin auquel il a déjà envoyé l'information ; dans la deuxième, les voisins qu'un nœud sait être informés sont tous ceux avec lesquels il a déjà échangé de l'information (dans un sens ou dans l'autre) ; dans la troisième, chaque nœud sait exactement quels sont ses voisins informés. Nous montrons principalement que dans la première variante, il est possible de calculer en temps polynomial le pire temps de diffusion et un pire schéma correspondant. Pour les deux autres variantes, nous montrons que ce calcul est NP-difficile, en fait inapproximable en temps polynomial. Notre deuxième contribution concerne l'étude de la diffusion dans des réseaux dynamiques modélisés par des graphes à évolution arête-markovienne. Nous proposons une technique de réduction permettant de ramener le calcul du temps d'inondation au calcul du diamètre d'un graphe pondéré statique tiré aléatoirement. Cette technique nous permet de calculer le temps de diffusion par inondation dans les graphes dynamiques arête-markoviens. Nous avons également calculé le temps de diffusion probabiliste 1-PORT dans certains graphes à évolution arête-markovienne. Notre dernière contribution porte sur la diffusion spatiale où tous les nœuds peuvent communiquer les uns avec les autres. Les performances des protocoles de diffusion spatiale sont mesurées en fonction de l'éloignement des destinataires par rapport à la source. Nous décrivons un protocole de diffusion spatiale probabiliste généraliste, c'est-à-dire, valable pour toute métrique. Nous analysons sa vitesse de propagation dans les métriques de graphes et dans les métriques à densité uniforme<br>This thesis focuses on the broadcast of information in a network. Broadcasting is the disse¬mination of information from a source node to ail other nodes. It is very present in information technology, both to transmit content over the Internet and for distributed or parallel Computing. In the protocols we consider, each informed node take part in the dissemination of information : in flooding, an informed node disseminate the information to ail its neighbours in one time step, and in gossip (1-PORT) broadcasting each informed node communicates, at each time step, only with one of its neighbours. Our first contribution is the study of the worst broadcast time of a gossip protocol where a node does not call a neighbour he knows to be informed. We study three variants, in the first one, a node knows that a neighbour is informed only if it has sent it the information, in the second one, the neighbours a node knows to be informed are ail those with whom it has exchanged information (in one way or the other), and in the third one, each node knows exactly which of its neighbours are informed. We mainly show that in the first variant, it is possible to compute in polynomial time the worst broadcast time and a worse broadcast scheme. For the other two variants, we show that this calculation is NP-hard and even inapproximable in polynomial time. Our second contribution is the study of diffusion in dynamic networks modeled by edge-Markovian evolving graphs. We give a reduction technique that allows the computation of the time taken by the flooding to inform ail nodes of an edge-Markovian evolving graph to be reduced to the computation of the diameter of a static weighted random graph. We also compute the broadcast time of a random gossip protocol in some particular edge-Markovian evolving graphs. Our last contribution relates to spatial gossip where ail nodes can communicate with each other. The performances of spatial gossip protocols are measured in function of the targets' relative distance to the source. We describe a general random spatial gossip protocol, I. E. , valid for any metric. We analyze its propagation speed on graph metrics and on metrics of uniform density

La diffusion massive de dispositifs portables, de plus en plus utilisés pour le traitement et la communication de l'information, permet la collecte d'importantes masses de données liées à l'activité des utilisateurs sur des applications mobiles. Nous nous intéressons aux données de localisation (les traces de mobilité) qui sont issues de systèmes mobiles formés par un groupe d'utilisateurs. Les données de mobilité produites dans un système mobile sont étudiées suivant deux axes : - L'utilisation des modèles de mobilité est à la base du développement d'algorithmes de communication dédiés au systèmes mobiles. Les données de mobilité réelles concernant les utilisateurs vont nous permettre de comparer les données de mobilité synthétiques utilisées dans la simulation avec la réalité qu'ils sont censés décrire. - La manipulation des données de mobilité réelles implique une réflexion sur les conséquences que les informations extraites de ces données ont relativement à la protection de la vie privée des utilisateurs. Les contributions sur ces deux fronts sont les suivantes : - Une analyse fine des propriétés spatiales et sociales d'un ensemble de traces de mobilité réelles collecté expérimentalement à l'aide d'une plateforme à haute precision. - Une comparaison exploratoire entre des traces de mobilité réelles et des traces de mobilité synthétiques générées à partir de sept différents modèle de mobilité. - La conception et l'analyse d'un algorithme d'inférence par co-localisation décorrélée des informations sur la localisation des utilisateurs ciblés. - La quantification du potentiel des données de co-localisation non-déterministes sur la perte de protection de la vie privée d'un ensemble d'utilisateurs<br>The wide diffusion of smart portable devices allows the collection of a big amount of data concerning the activities of users from mobile apps. We focus our attention on location data, i.e. mobility traces, of a set of users in a crowd. Data collected from these mobile systems are studied following two axies: - Mobility models are used to simulate the behavior of users to develop opportunistic forwarding algorithms. We compare real and synthetic mobility traces to show the distance between the reality and the models. - Information on mobility may endanger the privacy of users. We analyze the impact of such information on privacy of users. The main contributions are: - We analyze the spatial and social properties of human motion from real traces collected by a highly accurate experimental localization system. - We compare the real traces with synthetic mobility traces generated from seven popular mobility models - We provide an inference algorithm based on co-location of users and we show its efficiency on different datasets. - We quantify the effect of probabilistic co-location information by means of a novel co-location attack

Les masses de données scientifiques générées par les moyens d'observation modernes, dont l’observation spatiale, soulèvent des problèmes de performances récurrents, et ce malgré les avancées des systèmes distribués de gestion de données. Ceci est souvent lié à la complexité des systèmes et des paramètres qui impactent les performances et la difficulté d’adapter les méthodes d’accès au flot de données et de traitement.Cette thèse propose de nouvelles techniques d'optimisations logiques et physiques pour optimiser les plans d'exécution des requêtes astronomiques en utilisant des règles d'optimisation. Ces méthodes sont intégrées dans ASTROIDE, un système distribué pour le traitement de données astronomiques à grande échelle.ASTROIDE allie la scalabilité et l’efficacité en combinant les avantages du traitement distribué en utilisant Spark avec la pertinence d’un optimiseur de requêtes astronomiques.Il permet l'accès aux données à l'aide du langage de requêtes ADQL, couramment utilisé.Il implémente des algorithmes de requêtes astronomiques (cone search, kNN search, cross-match, et kNN join) en exploitant l'organisation physique des données proposée.En effet, ASTROIDE propose une méthode de partitionnement des données permettant un traitement efficace de ces requêtes grâce à l'équilibrage de la répartition des données et à l'élimination des partitions non pertinentes. Ce partitionnement utilise une technique d’indexation adaptée aux données astronomiques, afin de réduire le temps de traitement des requêtes<br>The big scientific data generated by modern observation telescopes, raises recurring problems of performances, in spite of the advances in distributed data management systems. The main reasons are the complexity of the systems and the difficulty to adapt the access methods to the data. This thesis proposes new physical and logical optimizations to optimize execution plans of astronomical queries using transformation rules. These methods are integrated in ASTROIDE, a distributed system for large-scale astronomical data processing.ASTROIDE achieves scalability and efficiency by combining the benefits of distributed processing using Spark with the relevance of an astronomical query optimizer.It supports the data access using the query language ADQL that is commonly used.It implements astronomical query algorithms (cone search, kNN search, cross-match, and kNN join) tailored to the proposed physical data organization.Indeed, ASTROIDE offers a data partitioning technique that allows efficient processing of these queries by ensuring load balancing and eliminating irrelevant partitions. This partitioning uses an indexing technique adapted to astronomical data, in order to reduce query processing time

Les nouvelles technologies en matière d'accès à l'information, de communication sans-fil et de localisation d'informations ouvrent la voie à des innovations majeures dans l'utilisation des systèmes informatiques. Ces avancées permettent d'imaginer de nouveaux usages informatiques dont la mise en œuvre motive le développement de méthodes de conception appropriées. Plus particulièrement, l'informatique mobile combine désormais des enjeux conceptuels tels que l'accès à des services par un utilisateur en mobilité, la généralisation d'outils de localisation, la compréhension de systèmes complexes par un public non-expert ou l'importante variabilité des situations d'exécution. Cette thèse propose un cadre de conception qui adresse certains des enjeux pour la mobilité des systèmes d'information. Dans cette perspective, les attentes des utilisateurs et les contraintes technologiques inhérentes à la mobilité des constituants du système définissent un espace contextuel dont les dimensions sont prises en compte dès les premières étapes de la conception. Le modèle proposé établit comme point d'entrée une description de l'espace géographique du système pour différencier un ensemble de contextes d'exécution. L'énoncé de ces contextes permet de corréler les attentes des utilisateurs avec les capacités techniques de la plate-forme et d'offrir le niveau fonctionnel le plus acceptable dans une situation donnée. Dans un second temps, les différentes fonctionnalités et les données mises en œuvre dans chaque contexte d'exécution peuvent être ordonnées ou filtrées afin d'optimiser la présentation des informations aux utilisateurs. Ces recommandations sont produites par l'analyse conjointe des préférences d'utilisateurs selon leurs interactions et leurs comportements spatiaux. Deux cadres expérimentaux viennent illustrer les propositions du modèle. La conception d'un système mobile de suivi de compétition nautique prend en compte différents contextes d'exécution et adapte un niveau de service à des situations dégradées. Un système de documentation et de visite de campus illustre les algorithmes de recommandation et affine la présentation d'informations localement à chaque contexte d'exécution.

Submitted by Ricardo Cedraz Duque Moliterno (ricardo.moliterno@uefs.br) on 2017-11-28T21:38:06Z No. of bitstreams: 1 dissertacao-versao-final.pdf: 2717503 bytes, checksum: a1476bba65482b40daa1a139191ea912 (MD5)<br>Made available in DSpace on 2017-11-28T21:38:06Z (GMT). No. of bitstreams: 1 dissertacao-versao-final.pdf: 2717503 bytes, checksum: a1476bba65482b40daa1a139191ea912 (MD5) Previous issue date: 2017-07-17<br>With the popularization of databases containing objects with spatial and textual information (spatio-textual object), the interest in new queries and techniques for retrieving these objects have increased. In this scenario, the main query is the the top-k spatio-textual query. This query retrieves the k best spatio-textual objects considering the distance of the object to the query location and the textual similarity between the query keywords and the textual information of the objects. However, most the studies related to top-k spatio-textual query are performed in centralized environments, not addressing real world problems such as scalability. In this paper, we study different strategies for partitioning the data and processing the top-k spatio-textual query in a distributed environment. We evaluate each strategy in a real distributed environment, employing real datasets.<br>Com a populariza??o de bases de dados contendo objetos que possuem informa??o espacial e textual (objeto espa?o-textual), aumentou o interesse por novas consultas e t?cnicas capazes de recuperar esses objetos de forma eficiente. Uma das principais consultas para objetos espa?o-textuais ? a consulta espa?o-textual top-k. Essa consulta visa recuperar os k melhores objetos considerando a dist?ncia do objeto at? um local informado na consulta e a similaridade textual entre palavras-chave de busca e a informa??o textual dos objetos. No entanto, a maioria dos estudos para consultas espa?o-textual top-k assumem ambientes centralizados, n?o abordando problemas frequentes em aplica??es do mundo real como escalabilidade. Nesta disserta??o s?o estudadas diferentes formas de particionar os dados e o impacto destes particionamentos no processamento da consulta espa?o-textual top-k em um ambiente distribu?do. Todas as estrat?gias propostas s?o avaliadas em um ambiente distribu?do real, utilizando dados reais.

L'objectif principal de la thèse est d'établir un modèle sous forme hamiltonienne à ports pour la dynamique du plasma dans les réacteurs de fusion de type tokamak, puis de démontrer le potentiel de cette approche pour aborder les problèmes d'intégration numérique et de commande non linéaire. Les bilans thermo-magnéto-hydrodynamiques, écrits sous forme hamiltonienne à ports à l'aide de structures Stokes-Dirac, conduisent à un modèle 3D “ multi-physique ” du plasma. Ensuite, un modèle 1D équivalent au modèle de diffusion résistive est obtenu en supposant les mêmes hypothèses d'équilibre quasi-statique et de symétries. Un schéma symplectique de réduction spatiale de ce modèle 1D qui préserve la structure du modèle et ses invariants est établi. Il ouvre la voie à des travaux ultérieurs de commande non linéaire fondés sur la structure géométrique d'interconnexion et les bilans du modèle. La commande IDA-PBC (Interconnection and Damping Assignment - Passivity Based Control) basée sur la passivité du modèle est d'abord synthétisée pour ce système en dimension finie. Finalement, une commande IDA-PBC associée avec la commande à la frontière est proposée pour le système en dimension infinie. Les controlleurs sont testés et validés avec les simulateurs des tokamak (METIS pour le Tore Supra de CEA/ Cadarache, et RAPTOR pour le TCV de l'EPFL Lausanne, Suisse)<br>The modelling and analysis of the plasma dynamics in tokamaks using the port-Hamiltonian approach is the main project purpose. Thermo-mMagnetohydrodynamics balances have been written in port-Hamiltonian form using Stokes-Dirac interconnection structures and 3D differential forms. A simplified 1D model for control has been derived using quasi-static and symmetry assumptions. It has been proved to be equivalent to a classical 1D control model: the resistive diffusion model for the poloidal magnetic flux. Then a geometric spatial integration scheme has been developped. It preserves both the symplecticity of the Dirac interconnection structure and physically conserved extensive quantities. This will allow coming works on energy-based approaches for the non linear control of the plasma dynamics.An Interconnection and Damping Assignment - Passivity Based Control (IDA-PBC) , the most general Port-Hamiltonian control, is chosen first to deal with the studied Tokamak system. It is based on a model made of the two coupled PDEs of resistive diffusion for the magnetic poloidal flux and of radial thermal diffusion. The used TMHD couplings are the Lorentz forces (with non-uniform resistivity) and the bootstrap current. The loop voltage at the plasma boundary, the total external current and the plasma heating power are considered as controller outputs. Due to the actuator constraints which imply to have a physically feasible current profile deposits, a feedforward control is used to ensure the compatibility with the actuator physical capability. Then, the IDA-PBC controllers, both finite-dimensional and infinite-dimensional, are designed to improve the system stabilization and convergence speed. The proposed works are validated against the simulation data obtained from the Tore-Supra WEST (CEA/Cadarache, France) test case and from RAPTOR code for the TCV real-time control system (CRPP/ EPFL, Lausanne, Switzerland)

Cette recherche vise à résoudre un problème particulier du contrôle de vibration des structures intelligentes. Notre objectif est de réduire les vibrations dans une zone spécifique de la structure intelligente avec une perturbation qui couvre une large gamme de fréquences. De plus, dans cette zone spécifique, ni l'actionnement ni la détection ne sont possibles.Ici, nous faisons face à plusieurs défis principaux. Premièrement, nous devons contrôler les vibrations d’une zone spécifique de la structure, alors que nous n’avons accès aux mesures que dans d’autres zones. Deuxièmement, la large bande passante de la perturbation implique que nombreux modes doivent être contrôlés au même temps, ce qui nécessite l'utilisation de plusieurs actionneurs et capteurs. Cela conduit à un contrôleur MIMO difficile à obtenir avec les méthodes classiques de conception de contrôleur. Troisièmement, il faut éviter le problème de propagation, qui consiste à garantir la stabilité en boucle fermée lorsque le contrôleur basé sur un modèle est appliqué à la configuration réelle. Pour relever ces défis, nous étudions deux stratégies de contrôle: le contrôle centralisé et le contrôle distribué.Pour le contrôle centralisé, nous proposons une méthodologie qui nous permet d’obtenir un contrôleur MIMO simple permettant de relever ces défis. Tout d'abord, plusieurs techniques de modélisation et d’identification sont appliquées pour obtenir un modèle précis d'ordre faible de la structure intelligente. Ensuite, une méthode de synthèse basée sur le contrôle H_∞ avec un critère H_∞ particulièrement proposé est appliquée. Ce critère H_∞ intègre plusieurs objectifs de contrôle, y compris les défis principaux. En particulier, le problème de débordement se transforme en un problème de stabilité robuste et sera garanti en utilisant ce critère. Le contrôleur H_∞ obtenu est une solution standard du problème H_∞. Le contrôleur final est obtenu en simplifiant ce contrôleur H_∞ sans perdre la stabilité en boucle fermée ni dégrader les performances. Cette méthodologie est validée sur une structure de poutre avec des transducteurs piézoélectriques et la zone centrale est celle où les vibrations devraient être réduites. L'efficacité du contrôleur obtenu est validée par des simulations et des expériences.Pour le contrôle distribué, on considère la même structure de poutre et les mêmes objectifs de contrôle. Il existe des méthodes visant à concevoir des contrôleurs distribués pour les systèmes spatialement interconnectés. Cette recherche propose une méthode basée sur la FEM, associée à plusieurs techniques de réduction de modèle, permettant de discrétiser spatialement la structure de poutre et d'en déduire les modèles d’espace d'état des sous-systèmes interconnectés. La conception des contrôleurs distribués ne sera pas abordée dans cette recherche<br>This research aims at solving a particular vibration control problem of smart structures. We aim at reducing the vibration in a specific zone of the smart structure under the disturbance that covers a wide frequency band. Moreover, at this specific zone, neither actuation nor sensing is possible.Here we face several main challenges. First, we need to control the vibration of a specific zone of the structure while we only have access to measurements at other zones. Second, the wide bandwidth of the disturbance implies that numerous modes should be controlled at the same time which requires the use of multiple actuators and sensors. This leads to a MIMO controller which is difficult to obtain using classical controller design methods. Third, the so-called spillover problem must be avoided which is to guarantee the closed-loop stability when the model-based controller is applied on the actual setup. To tackle these challenges, we investigate two control strategies: the centralized control and the distributed control.For centralized control, we propose a methodology that allows us to obtain a simple MIMO controller that accomplishes these challenges. First, several modeling and identification techniques are applied to obtain an accurate low-order model of the smart structure. Then, an H_∞ control based synthesis method with a particularly proposed H_∞ criterion is applied. This H_∞ criterion integrates multiple control objectives, including the main challenges. In particular, the spillover problem is transformed into a robust stability problem and will be guaranteed using this criterion. The obtained H_∞ controller is a standard solution of the H_∞ problem. The final controller is obtained by further simplifying this H_∞ controller without losing the closed-loop stability and degrading the performance. This methodology is validated on a beam structure with piezoelectric transducers and the central zone is where the vibration should be reduced. The effectiveness of the obtained controller is validated by simulations and experiments.For distributed control, we consider the same beam structure and the same control objectives. There exist methods aiming at designing distributed controllers of spatially interconnected system. This research proposes a FEM based method, combined with several model reduction techniques, that allows to spatially discretize the beam structure and deduce the state-space models of interconnected subsystems. The design of distributed controllers will not be tackled in this research