• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 239
  • 57
  • 52
  • 31
  • 24
  • 13
  • 10
  • 6
  • 5
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • Tagged with
  • 525
  • 169
  • 139
  • 89
  • 86
  • 84
  • 83
  • 78
  • 77
  • 77
  • 74
  • 51
  • 51
  • 47
  • 46
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
321

Développement et mise en œuvre d’un mécanisme « 4D-addressing Wakeup radio » pour la réduction de la consommation d’énergie dans les réseaux de capteurs sans fil / Development and implementation of a "4D-addressing wakeup radio" mechanism for the reduction of energy consumption in wireless sensor networks

Antilahy, Herimpitia Tsilavina Chrystelle 27 August 2018 (has links)
Les réseaux de capteurs sans fil qui conviennent pour vaste domaine d’applications, constituent une solution prometteuse qui répond à toute exigence de surveillance continue. L’autonomie énergétique des nœuds constitue un facteur de vulnérabilité qui influe directement leur longévité et la capacité du réseau à assurer longuement la couverture d’une zone géographique d’intérêt. La gestion de consommation énergétique représente la seule approche pour accroître la durée de vie de ces réseaux et leur conférer une autonomie raisonnable. Des solutions logicielles proposées à travers les protocoles MAC, apportent des améliorations significatives à la minimisation de la dépense énergétique des nœuds. Elles permettent de réduire les périodes d’écoute du canal qui, représente l’opération la plus coûteuse en termes d’énergie dans le fonctionnement des nœuds de capteurs sans fil. Néanmoins, se limiter à ces solutions n’est pas suffisant pour garantir une longévité acceptable. La seule méthode pour optimiser la conservation d’énergie dans les RCSFs est de mettre chaque nœud constamment en mode faible puissance et d’utiliser un mécanisme de télé-réveil à travers des signaux de réveil. Cela implique, l’utilisation de circuits de réveil de faible consommation qui assurent la surveillance de canal et qui déclenchent le réveil des nœuds uniquement à chaque fois qu’événement d’intérêt se produit. Dans ce contexte, une quantité importante de travaux ont proposés l’utilisation d’un mécanisme d’adressage (adresses MAC ou d’autres informations binaires), pour permettre aux nœuds non concernés de retourner rapidement dans son état de sommeil. Cette démarche est intéressante, mais implique toutefois une dépense énergétique non négligeable, liée à la réception et au traitement des informations d’adresse au niveau de tous les nœuds. La solution la plus efficace énergétiquement serait l’utilisation d’une autre forme d’adresse. Cette thèse s’inscrit dans le contexte de minimisation de la consommation énergétique des RCSFs par la mise en œuvre d’un adressage qui permet aux nœuds de recevoir et de traiter les signaux de réveil, sans allumer leur module de communication principal. Il s’agit pour nous de supprimer la dépense énergétique liée à l’allumage du module RF et à la réception de paquets d’adresse, en se tournant vers l’exploitation de la durée des signaux de réveils. Notre solution se repose sur les caractéristiques matérielles du microcontrôleur (IRQ, Timer/Counter) des nœuds de capteurs. Elle permet de réduire les complexités liées aux conditionnements des signaux de réveils. Notre solution est implémentée sur un réseau de petite taille. Elle est évaluée expérimentalement et ses performances énergétiques sont comparées à celles d’un schéma classique de télé-réveil sans mécanisme d’adressage et à celles d’un schéma classique basé sur le duty-cycling. / Wireless sensor networks that are suitable for a wide range of applications, represent a promising solution that meets any requirement for continuous monitoring. The energy autonomy of sensor nodes constitutes a vulnerability factor that directly affects their longevity and the capacity of the network to ensure long coverage of the geographical area of interest. Energy consumption management is the only way to increase the lifespan of these networks and to give them a reasonable autonomy. Software solutions proposed through MAC protocols, bring significant improvements to the minimization of the energy expenditure of sensor nodes. They reduce the idle-listening periods which represents the most expensive operation in terms of energy, in the operation of the wireless sensor nodes. However, Focusing lonely on these solutions is not enough to guarantee acceptable longevity. The only way to optimize energy conservation in the WSN is to constantly put each node in low power mode and use a wakeup mechanism through wake-up signals. This involves the use of low-power wake-up circuits that provide channel monitoring, and trigger node wake-up only whenever event of interest occurs. In this context, a significant amount of work has proposed the use of an addressing mechanism (MAC addresses or other binary informations), to allow non-concerned nodes to quickly return to their sleep state. This approach is interesting, but involves a significant energy expenditure, related to address information’s reception and processing at all nodes. The most energy efficient solution would be the use of another type of address. This thesis is part of the context of minimizing the energy consumption of the WSN, using an addressing system that allows sensor nodes to receive and process the wake-up signals, without turning on their main communication module. It is to eliminate the energy expenditure related to the RF module’s activation and the reception of address packets, by exploiting wakeup signals duration. Our solution is based on the hardware characteristics of the microcontroller (IRQ, Timer/Counter) of sensor nodes. It reduces the complexities related to wakeup signals conditioning. Our solution is implemented on a small network. Its evaluations were done experimentally and its energy performance is compared to a conventional wake-up mechanism without addressing,and a conventional scheme based on duty-cycling.
322

Architectures cross-layer PHY/MAC pour réduire l'effet de blocage de réception dans les réseaux véhiculaires ad-hoc / Cross-layer designs PHY/MAC for receiver blocking problem in vehicular ad-hoc networks

Bouraoui, Basma 02 March 2017 (has links)
Le protocole MAC du standard IEEE 802.11p dédié aux réseaux véhiculaires interdit les transmissions simultanées dans une même zone de détection afin d’éviter d’éventuelles interférences entre les véhicules voisins. Cette interdiction entraîne un blocage temporaire de réception de données, ce qui diminue le débit global du réseau. Pour résoudre ce problème, nous proposons dans cette thèse une architecture cross-layer PHY/MAC basée sur un algorithme de sélection d’antennes émettrices et un protocole MAC dédié afin de réduire le blocage. Ce cross-layer permet au récepteur de choisir la meilleure combinaison d’antennes émettrices pour améliorer le débit utile normalisé de chaque lien V2V. L’algorithme est présenté avec une méthode de détection multi-utilisateurs. Cette méthode annule les interférences entre voisins et permet à plusieurs véhicules d’émettre des données simultanément. Le protocole MAC associé assure la coordination entre les véhicules durant les communications. Les résultats de simulation montrent une amélioration du débit utile normalisé du réseau en comparaison au standard actuel. Néanmoins, ces bonnes performances diminuent avec l’augmentation de la densité véhiculaire. Pour pallier à cette baisse, nous proposons de joindre à la première solution une nouvelle architecture crosslayer PHY/MAC. Cette architecture est basée sur un algorithme d’adaptation de la puissance émise en fonction de la densité de voisinage du récepteur. Elle est également accompagnée par un protocole MAC dédié. Les résultats de simulation montrent que cette solution permet à plus de véhicules de communiquer simultanément et ainsi améliore significativement le débit utile normalisé notamment dans les réseaux véhiculaires denses. / The MAC protocol IEEE 802.11p, dedicated to vehicular ad-hoc networks VANETs, prohibits simultaneous transmissions in the same detection area, in order to avoid interference between neighboring vehicles. This prohibition causes a temporary data reception blocking, which reduces the network throughput. To reduce this adverse impact, we propose in this thesis a cross-layer design PHY/MAC based on a transmit antennas selection algorithm jointly with a dedicated MAC protocol. This design allows receivers to select the best combination of transmit antennas to improve the throughput of each V2V link. The algorithm is presented with a multi-user detection method, which cancels neighbor’s interference and allows vehicles to transmit data simultaneously. The associated MAC protocol ensures the coordination between vehicles during the simultaneous transmission period. The simulation results show a significant network throughput improvement compared to the conventional case. However, this improvement is less important in dense VANETs. For this purpose, we propose to join a cross-layer design PHY/MAC based on a transmit power adaptation algorithm. This design allows transmitters to choice the adequate power level based on corresponding receivers density. The simulation results show that this solution allows more vehicles to communicate simultaneously and thus improves the network throughput, in particular in dense VANETs.
323

Réseaux de capteurs sans fil étendus dédiés aux collectes de données environnementales / Large wireless sensor networks dedicated to environmental monitoring applications

Aby, Affoua Thérèse 29 January 2016 (has links)
Les réseaux de capteurs sans fil sont utilisés dans de nombreuses applications de surveillance de l’environnement (par exemple, pour surveiller les volcans ou pour détecter les incendies de forêts). Dans de telles applications, les nœuds capteurs disposent d’une quantité limitée d’énergie, mais doivent fonctionner pendant des années sans avoir leurs batteries changées. La principale méthode utilisée pour permettre aux nœuds d’économiser leur énergie est de séquencer les périodes d’activité et d’inactivité. Cependant, la conception de protocoles MAC et de routage pour les applications avec des taux d’activité faibles est un défi. Dans cette thèse nous proposons des protocoles MAC avec de très faibles taux d’activité (moins de 1% d’activité) et des protocoles de routages adaptés pour des réseaux de capteurs sans fil dédiés aux applications de surveillance environnementale. Nos protocoles sont analysés et comparés aux protocoles existants par simulation et par expérimentation sur des nœuds TelosB. Malgré un taux d’activité très faible pour tous les nœuds, nos protocoles sont capables d’obtenir de bonnes performances, contrairement aux autres protocoles de la littérature, qui ne sont pas adaptés à opérer avec de faibles taux d’activité. / Wireless sensor networks are used in many environmental monitoring applications (e.g., to monitor forest fires or volcanoes). In such applications, sensor nodes have a limited quantity of energy, but must operate for years without having their batteries changed. The main mechanism used to allow nodes to save energy is to sequence periods of activity and inactivity. However, the design of MAC and routing protocols for applications with low duty-cycle is still a challenge. In this thesis, we proposed unsynchronized MAC and routing protocols for wireless sensor networks devoted to environmental monitoring applications. The main specificity of our protocols is that they are adapted to very low duty-cycle (less than 1 % for all nodes). Our protocols are analyzed and compared to existing protocols by simulation and experimentation on TelosB nodes. Despite this low duty-cycle for all nodes, our protocols are able to achieve good performance, unlike other protocols in the literature, which are not adapted to these extreme conditions.
324

Monitoramento, controle e parametrização de eletrodomésticos numa rede sem fio via interface virtual remota

Watanabe, Ana Teruko Yokomizo 29 May 2008 (has links)
Made available in DSpace on 2016-12-12T17:38:35Z (GMT). No. of bitstreams: 1 Ana Teruko.pdf: 11607034 bytes, checksum: 72b3906b42ad639d1abd56a8054d9ffe (MD5) Previous issue date: 2008-05-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The wireless communication in the residential automation has became a very promising technology due to the easinesses in the installation, and for its flexibility, mobility and scalability. Inside this context, the objective of this work is to analyze and to implement two wireless communication standard protocols: Bluetooth and ZigBee. They are used to analyze theirs functionalities and applications under a domestic environment. Firstly, the Bluetooth protocol was used in order to verify its operation because this one is an already well known protocol. Secondly, the ZigBee protocol - IEEE 802.15.4 MAC was also tested due to its new protocol applied to small data communication and its low baud rate, star topozlogy and low energy consumption, which allows the control of householdelectric network. The project consisted of monitoring, controlling and configuring washing machines by using a wireless network through a remote virtual interface. The user interface of this system was done through a PDA (Personal Digital Assistant), which allowed to change the times of washing programs manual or automatic mode. The results indicated the feasibility of monitoring and controlling household-electric by implementing the IEEE 802.15.4 MAC Layer of ZigBee protocol. This implementing reached the main characteristics as described above. The maximum distance achieved in a star topology in the typical residence was 14 meters, without using routers. This distance can be increased implementing full ZigBee Protocol. Although the project was developed to washing machine, it also can be implemented to other household-electrics, such as: microwaves, heaters, air conditioners, refrigerators, etc. / A comunicação sem fio em automação residencial tem se tornado uma tecnologia muito promissora devido às facilidades na instalação, flexibilidade, mobilidade e escalabilidade. Dentro deste contexto, o objetivo deste trabalho é analisar e implementar dois padrões de comunicação sem fio: Bluetooth e ZigBee, a fim de analisar suas funcionalidades e aplicações em ambiente doméstico. O protocolo Bluetooth por se tratar de um protocolo já consagrado no mercado, foi utilizado no controle remoto de uma máquina lavadora, como proposta inicial deste trabalho. Depois, o protocolo ZigBee - IEEE 802.15.4 MAC foi implementado, pois este padrão é um protocolo novo aplicado a comunicação com pequenos pacotes de dados, baixa taxa de transmissão, topologia estrela e baixo consumo de energia, que são características importantes para controle de uma rede de eletrodomésticos. O projeto consistiu em desenvolver um protótipo de hardware e de software para monitorar, controlar e parametrizar máquinas lavadoras de roupas numa rede sem fio através de uma interface virtual remota. Esta interface do usuário com a rede foi feita através de um PDA (Personal Digital Assistant) que permitiu alterar os tempos de programação da máquina no modo manual ou automático. Os resultados mostraram a viabilidade de se construir uma rede de eletrodomésticos, implementando a camada de enlace IEEE 802.15.4MAC do protocolo de comunicação ZigBee. Esta implementação atingiu as principais características descritas acima. A distância máxima alcançada na topologia estrela numa residência típica foi de 14 metros, sem o uso de roteadores. Esta distância poderá ser aumentada através da implementação da camada de rede ZigBee. Embora o projeto tenha sido desenvolvido utilizando máquinas lavadoras, pode-se estendêlo a outros eletrodomésticos tais como: fornos de microondas, aquecedores, condicionadores de ar, refrigeradores, etc.
325

Systèmes et protocoles de télé-réveil appliqués à l’optimisation énergétique des réseaux de capteurs sans fil / Wake-up radio systems and protocols for optimizing energy consumption in wireless sensor networks

Lebreton, Jean Mickaël 05 April 2017 (has links)
De nos jours, une forte croissance des objets connectés est constatée, dépassant même la population mondiale. Devant l'ampleur de ce phénoméne, l'efficacité énergétique des objets communicants est une sérieuse problématique. La maximisation de leur durée de vie est requise pour assurer une qualité de service. Dans cette optique, les travaux de cette thèse visent à optimiser la consommation énergétique des communications sans fil dans un réseau de capteurs. Le télé-réveil, un concept imaginé depuis une dizaine d'années, consiste au déclenchement du réveil du noeud communicant par un signal radio à distance. Par défaut, le noeud reste en mode veille de façon permanente à très basse consommation. Au besoin, il peut être réveillé à la demande par un signal radio spécifique. Ainsi, la consommation énergétique du module radio est grandement réduite par l'écoute passive du canal en mode veille. Ce principe de télé-réveil nécessite toutefois le développement de nouvelles architectures matérielles associées à des protocoles de communication adaptés et innovants. Malgré les propositions récentes, le niveau de maturité technologique n'a pas encore été atteint sur ce sujet. Par conséquent, un système de télé-réveil est proposé dans cette thèse, en incluant une caractérisation théorique de ses performances. Le récepteur de télé-réveil consomme 363 nW en mode veille contre 49,8 µW en mode de réception. De plus, deux nouveaux protocoles de télé-réveil DoRa et DC-DoRa sont proposés avec une évaluation de leurs performances par simulation. Les résultats obtenus montrent que ces protocoles de télé-réveil diminuent fortement l'énergie consommée par le module radio, en comparaison des protocoles MAC actuellement utilisés dans les réseaux de capteur. Enfin, la mise en œuvre expérimentale du système et des protocoles de télé-réveil a permis de mesurer les performances réelles de notre approche dans un environnement de surécoute et d'interférence. / Nowadays, a significant growth of connected things is observed, exceeding even the worldpopulation. Given the magnitude of this phenomenon, the energy efficiency of communicatingobjects is a crucial issue. Maximizing their lifetime is necessary to ensure a qualityof service. In this regard, the aim of this thesis is to optimize the energy consumption ofwireless communications in a wireless sensor network.The concept of wake-up radio was created a decade ago, which consists of waking up thecommunicating node by a remote radio signal. By default, the node remains in sleepingmode at a very low power consumption. If needed, the node can be woken up on demandthrough a specific radio signal. Thus, the energy consumption of the radio module is greatlyreduced by idle listening to the channel in sleeping mode. However, this wake-up radioprinciple requires the development of new hardware architectures associated with adaptedand innovative communication protocols. Despite recent proposals, the level of technologymaturity has not yet been reached on this subject.Therefore, a wake-up radio system is proposed in this thesis, including a theoreticalcharacterization of its performances. The wake-up receiver consumes 363 nW in sleepingmode and 49.8 µW in receiving mode. Moreover, two new protocols called DoRa and DC-DoRaare proposed with an evaluation of their performances by simulation. The resultsshow that these wake-up radio protocols greatly reduce the energy consumed by the radiomodule, compared to the MAC protocols currently used in wireless sensor networks. Finally,the experimental implementation of the wake-up radio system and protocols enabled thereal performance measurement of our approach in an environment with overhearing andinterference.
326

Protocoles de routage sans connaissance de voisinage pour réseaux radio multi-sauts / Beacon-less geographic routing for multihop wireless sensor networks

Amadou, Ibrahim 06 September 2012 (has links)
L'efficacité énergétique constitue l'objectif clef pour la conception des protocoles de communication pour des réseaux de capteurs radio multi-sauts. Beaucoup d'efforts ont été réalisés à différents niveaux de la pile protocolaire à travers des algorithmes d'agrégation spatiale et temporelle des données, des protocoles de routage efficaces en énergie, et des couches d'accès au médium avec des mécanismes d'ordonnancement permettant de mettre la radio en état d'endormissement afin d'économiser l'énergie. Pour autant, ces protocoles utilisent de façon importante des paquets de contrôle et de découverte du voisinage qui sont coûteux en énergie. En outre, cela se fait très souvent sans aucune interaction entre les différentes couches de la pile. Ces travaux de thèse s'intéressent donc particulièrement à la problématique de l'énergie des réseaux de capteurs à travers des protocoles de routage et d'accès au médium. Les contributions de cette thèse se résument de la manière suivante : Nous nous sommes tout d'abord intéressés à la problématique de l'énergie au niveau routage. Dans cette partie, les contributions se subdivisent en deux parties. Dans un premier temps, nous avons proposé une analyse théorique de la consommation d'énergie des protocoles de routage des réseaux radio multi-sauts d'appréhender au mieux les avantages et les inconvénients des uns et des autres en présence des modèles de trafic variables, un diamètre du réseau variable également et un modèle radio qui permet de modéliser les erreurs de réception des paquets. À l'issue de cette première étude, nous sommes parvenus à la conclusion que pour être économe en énergie, un protocole de routage doit avoir des approches similaires à celle des protocoles de routage géographique sans message hello. Puis, dans un second temps, nous introduisons une étude de l'influence des stratégies de relayage dans un voisinage à 1 saut sur les métriques de performance comme le taux de livraison, le nombre de messages dupliqués et la consommation d'énergie. Cette étude est suivie par une première proposition de protocole de routage géographique sans message hello (Pizza-Forwarding (PF)) exploitant des zones de relayage optimisées et sans aucune hypothèse sur les propriétés du canal radio. Dans le but de réduire considérablement la consommation de PF, nous proposons de le combiner avec une adaptation d'un protocole MAC asynchrone efficace en énergie à travers une approche transversale. La combinaison de ces deux approches montre un gain significatif en terme d'économie d'énergie avec des très bon taux de livraison et cela quels que soient les scénarios et la nature de la topologique. / Energy-efficient communication protocol is a primary design goal for Wireless Sensor Networks (WSNs). Many efforts have been done to save energy anywhere in the protocol stack through temporal and spatial data aggregation schemes, energy-aware routing protocols, activity scheduling and energy-efficient MAC protocols with duty cycle. However both control packets and beacons remain which induces a huge waste energy. Moreover, their design follows the classical layered approach with the principle of modularity in system development, which can lead to a poor performance in WSNs. This thesis focuses on the issues of energy in WSNs through energy-efficient routing and medium access control protocols. The constributions of this thesis can be summarized as follows: First, we are interested on the energy issues at the routing layer for multihop wireless sensor networks (WSNs). We propose a mathematical framework to model and analyze the energy consumption of routing protocols in multihop WSNs by taking into account the protocol parameters, the traffic pattern and the network characteristics defined by the medium channel properties, the dynamic topology behavior, the network diameter and the node density. In this study, we show that Beacon-less routing protocol should be a best candidate to save energy in WSNs. We investigate the performance of some existing relay selection schemes which are used by Beacon-less routing protocols. Extensive simulations are proposed to evaluate their performance locally in terms of packet delivery ratio, duplicated packet and delay. Then, we extend the work in multihop wiriless networks and develop an optimal solution, Enhanced Nearest Forwarding within Radius, which tries to minimize the per-hop expected number of retranmissions in order to save energy. We present a new beaconless routing protocol called Pizza-Forwarding (PF) without any assumption on the radio environment: neither the radio range nor symmetric radio links nor radio properties (shadowing, etc.) are assumed or restricted. A classical greedy mode is proposed. To overcome the hole problem, packets are forwarded to an optimal node in the two hop neighbor following a reactive and optimized neighborhood discovery. In order to save energy due to idle listening and overhearing, we propose to combine PF's main concepts with an energy-efficient MAC protocol to provide a joint MAC/routing protocol suitable for a real radio environment. Performance results lead to conclude to the powerful behavior of PFMAC.
327

Proposition et vérification formelle de protocoles de communications temps-réel pour les réseaux de capteurs sans fil / Proposition and formal verification of real-time wireless sensor networks protocols

Mouradian, Alexandre 18 November 2013 (has links)
Les RCsF sont des réseaux ad hoc, sans fil, large échelle déployés pour mesurer des paramètres de l'environnement et remonter les informations à un ou plusieurs emplacements (nommés puits). Les éléments qui composent le réseau sont de petits équipements électroniques qui ont de faibles capacités en termes de mémoire et de calcul ; et fonctionnent sur batterie. Ces caractéristiques font que les protocoles développés, dans la littérature scientifique de ces dernières années, visent principalement à auto-organiser le réseau et à réduire la consommation d'énergie. Avec l'apparition d'applications critiques pour les réseaux de capteurs sans fil, de nouveau besoins émergent, comme le respect de bornes temporelles et de fiabilité. En effet, les applications critiques sont des applications dont dépendent des vies humaines ou l'environnement, un mauvais fonctionnement peut donc avoir des conséquences catastrophiques. Nous nous intéressons spécifiquement aux applications de détection d'événements et à la remontée d'alarmes (détection de feu de forêt, d'intrusion, etc), ces applications ont des contraintes temporelles strictes. D'une part, dans la littérature, on trouve peu de protocoles qui permettent d'assurer des délais de bout en bout bornés. Parmi les propositions, on trouve des protocoles qui permettent effectivement de respecter des contraintes temporelles mais qui ne prennent pas en compte les spécificités des RCsF (énergie, large échelle, etc). D'autres propositions prennent en compte ces aspects, mais ne permettent pas de garantir des bornes temporelles. D'autre part, les applications critiques nécessitent un niveau de confiance très élevé, dans ce contexte les tests et simulations ne suffisent pas, il faut être capable de fournir des preuves formelles du respect des spécifications. A notre connaissance cet aspect est très peu étudié pour les RcsF. Nos contributions sont donc de deux types : * Nous proposons un protocole de remontée d'alarmes, en temps borné, X-layer (MAC/routage, nommé RTXP) basé sur un système de coordonnées virtuelles originales permettant de discriminer le 2-voisinage. L'exploitation de ces coordonnées permet d'introduire du déterminisme et de construire un gradient visant à contraindre le nombre maximum de sauts depuis toute source vers le puits. Nous proposons par ailleurs un mécanisme d'agrégation temps-réel des alarmes remontées pour lutter contre les tempêtes de détection qui entraînent congestion et collision, et donc limitent la fiabilité du système. * Nous proposons une méthodologie de vérification formelle basée sur les techniques de Model Checking. Cette méthodologie se déroule en trois points, qui visent à modéliser de manière efficace la nature diffusante des réseaux sans fil, vérifier les RCsF en prenant en compte la non-fiabilité du lien radio et permettre le passage à l'échelle de la vérification en mixant Network Calculus et Model Checking. Nous appliquons ensuite cette méthodologie pour vérifier RTXP. / Wireless Sensor Networks (WSNs) are ad hoc wireless large scale networks deployed in order to monitor physical parameters of the environment and report the measurements to one or more nodes of the network (called sinks). The small electronic devices which compose the network have low computing and memory capacities and run on batteries, researches in this field have thus focused mostly on self-organization and energy consumption reduction aspects. Nevertheless, critical applications for WSNs are emerging and require more than those aspects, they have real-time and reliability requirements. Critical applications are applications on which depend human lives and the environment, a failure of a critical application can thus have dramatic consequences. We are especially interested in anomaly detection applications (forest fire detection, landslide detection, intrusion detection, etc), which require bounded end to end delays and high delivery ratio. Few WSNs protocols of the literature allow to bound end to end delays. Among the proposed solutions, some allow to effectively bound the end to end delays, but do not take into account the characteristics of WSNs (limited energy, large scale, etc). Others, take into account those aspects, but do not give strict guaranties on the end to end delays. Moreover, critical applications require a very high confidence level, simulations and tests are not sufficient in this context, formal proofs of compliance with the specifications of the application have to be provided. The application of formal methods to WSNs is still an open problem. Our contributions are thus twofold : * We propose a real-time cross-layer protocol for WSNs (named RTXP) based on a virtual coordinate system which allows to discriminate nodes in a 2-hop neighborhood. Thanks to these coordinates it is possible to introduce determinism in the accesses to the medium and to bound the hop-count, this allows to bound the end to end delay. Besides, we propose a real-time aggregation scheme to mitigate the alarm storm problem which causes collisions and congestion and thus limit the network lifetime. * We propose a formal verification methodology based on the Model Checking technique. This methodology is composed of three elements, (1) an efficient modeling of the broadcast nature of wireless networks, (2) a verification technique which takes into account the unreliability of the wireless link and (3) a verification technique which mixes Network Calculus and Model Checking in order to be both scalable and exhaustive. We apply this methodology in order to formally verify our proposition, RTXP.
328

Réseaux urbains de capteurs sans-fil : Applications, caractérisation et protocoles / Urban wireless sensors networks : Applications and protocols

Lampin, Quentin 30 January 2014 (has links)
Les réseaux de capteurs sans-fil sont composés de dispositifs électroniques conçus pour mesurer une grandeur physique de l’environnement dans lequel ils sont déployés et pour acheminer ces mesures à un système d’information. Dans nos travaux, nous étudions les architectures de réseau et les protocoles de communication associés afin de déterminer les configurations adéquates à un scénario de réseau de capteurs pour la Ville Intelligente. Après avoir recensé les applications et leurs exigences de Qualité de Service attendue, nous avons construit des modèles analytiques permettant de comparer les différentes familles de protocoles MAC en terme de taux de livraison et de consommation d’énergie. Ces travaux permettent ainsi de motiver le choix d’un protocole synchrone ou asynchrone, à contention ou à accès direct, en fonction du scénario applicatif et du déploiement de réseau considéré : longue portée ou multi-sauts. Sur la base des résultats de cette étude, nous proposons ensuite un ensemble d’optimisation des protocoles de communication permettant d’améliorer la Qualité de Service et la dépense énergétique des compteurs. Nous proposons une méthode d’accès au médium de communication permettant l’allocation de plusieurs instants de transmission en une phase unique de tournoi. Cette optimisation vise à réduire le pôle de consommation majoritaire des réseaux multi-sauts, tel qu’identifié dans l’étude précédente. Le protocole résultant, CT-MAC, résout l’allocation de plusieurs instants de transmission en une unique phase de compétition et de manière distribuée. CT-MAC réduit ainsi la consommation d’énergie de l’arbitrage du médium. Nous proposons ensuite un mécanisme de relayage adaptatif pour l’architecture de réseau longue-portée. Le protocole, nommé SARI-MAC, est conçu de manière à pallier aux ‘trous’ de couverture que présentent les systèmes radio longue-portée lorsqu’ils sont déployés dans un habitat urbain dense. Pour cela, SARI-MAC propose d’exploiter certains nœuds du réseau, choisis pour leurs ressources en énergie, en tant que relais pour leurs voisins dont le bilan radio est insuffisant pour respecter les exigences de Qualité de Service de l’application. SARI-MAC est un protocole MAC asynchrone, initié récepteur dont les paramètres s’adaptent automatiquement aux conditions de trafic et aux contraintes de cycle d’activité imposées par la durée de vie souhaitée des nœuds capteurs et par la législation. Finalement, nous proposons un schéma de routage opportuniste appelé QOR. QOR est un protocole de routage qui tire profit des liens radio longue portée, opportunistes afin d’améliorer la fiabilité et la latence des transmissions de données dans un réseau de collecte. Pour cela, QOR propose une structure de routage combinée à un schéma d’adressage permettant d’identifier un ensemble de nœuds relais entre une source et la passerelle de collecte. / Wireless Sensors are small electronic devices made for measuring physical properties of their environment and communicating them wirelessly to an information system. In this thesis, we study existing network architectures and to devise the best-suited configuration for typical urban wireless Sensor Network use-cases. To that effect, we provide comprehensive analytical models to compare the different families of MAC protocols in terms of Delivery Rate and Energy Consumption, e.g. synchronous vs asynchronous, contention-based vs direct access etc. Headlines results a mathematical framework to devise the least energy-cost contention algorithm for a given Delivery Rate and closed-form expressions of the Energy Consumption and Delivery Rate for popular access control protocols. These results are then synthesised in a comparison study of the two prevailing urban sensors network architectures, i.e. long-range and multihop. We show that long-range sensor networks are best-suited for low-traffic and sparser network topologies while higher traffic loads and denser network topologies demand switching to a multihop network operating a synchronous MAC protocol on higher bitrate radios. Based on the analysis of the architectures best suited for each use-case scenario, i.e. low traffic loads/sparse network and high traffic loads/dense network, we identify suitable optimisations to improve the QoS performance and energy efficiency of said architectures. First, we improve on the energy efficiency of the arbitration of the medium access by defining a cascading tournament contention algorithm. This protocol, CT-MAC, resolves multiple timeslots allocation in a single, energy efficient contention tournament. Second, we propose an adaptive relaying scheme for the long-range network architecture named SARI-MAC. This scheme is an attempt to cope with coverage holes that occurs when using long-range in a dense urban habitat by letting sensor nodes relay communications of nodes whose link budgets are incompatible with the QoS requirements of the network. To that effect, we propose a receiver-initiated MAC protocol that self-adapts to the traffic condition so that the duty-cycle of relayers is kept as low as possible with respect to the load of frames to relay. Finally, we propose an opportunistic relaying scheme named QOR. QOR is a routing protocol that exploits long-range, opportunistic radio links to provide faster and more reliable transmissions. To that effect, QOR proposes a joint routing structure and addressing scheme that allows identifying a limited set of nodes than can become opportunistic relayers between a source sensor and the sink. Those nodes then follow an original cascaded acknowledgement mechanism that brings reliable acknowledgment and ensures a replication-free forwarding of the data frames.
329

Protocolo assíncrono de acesso ao meio iniciado pelo receptor para redes de sensores sem fio / Asynchronous receiver-initiated media access protocol for wireless sensor networks

Renato Ferreira Fernandes Junior 29 June 2018 (has links)
A internet das coisas é considerada um novo sistema de comunicação que promete otimizar e melhorar diferentes áreas de aplicação com base em módulos sensores e objetos unicamente interligados através da internet. Em aplicações de redes de sensores sem fio em larga escala, as redes possuem características peculiares, como grande quantidade de módulos sensores de baixa potência, consumo limitado e perdas de comunicação intermitentes. Estas redes precisam operar com protocolos escaláveis e eficientes em termos de consumo de energia. Desta forma, esta tese propõe um protocolo multicanal assíncrono iniciado pelo receptor de acesso ao meio para redes de sensores sem fio de baixa potência para aplicações de internet das coisas. Através de uma comparação com soluções já existentes, o protocolo apresentado procura mitigar a colisão de mensagens e as perdas de energia com ociosidade na espera pela comunicação de um transmissor, através de um mecanismo de reconhecimento inicial eficiente. Adicionalmente, é proposto um diagnóstico efetivo de detecção de falha na comunicação ainda no ciclo de comunicação, de forma a auxiliar a economia de energia. Complementarmente, é proposto um mecanismo multicanal baseado no conhecimento do canal da vizinhança, além de serviços de inicialização e manutenção da rede. Para validação da proposta, o protocolo proposto foi comparado tanto com protocolos assíncronos multicanais iniciado pelo receptor quanto com protocolo síncrono relevantes na literatura científica. Os critérios de avaliação utilizados foram medição do consumo, latência e taxa de entrega da rede em diferentes cenários. Os resultados mostraram que o protocolo proposto minimiza o consumo de energia em relação aos protocolos assíncronos, além de melhorar a comunicação quando comparado aos protocolos analisados. Na comparação com o protocolo síncrono, demonstrou desempenho e consumo compatíveis, quando em período de trabalho menor, e consumo reduzido com períodos de trabalho maiores. / The Internet of Things is considered a new communication system that promises to optimize and improve different application areas. It is based on sensor modules and intelligent objects only interconnected through the internet. In large-scale wireless sensor network applications, networks have own specific characteristics such as many low-power, limited-power sensor modules with intermittent communication losses. These networks need to operate with scalable, energy-efficient protocols. Thus, this thesis proposes an asynchronous multichannel receiver-initiated MAC protocol for low power wireless sensor networks and internet of things applications. Through a comparison with already existing solutions, the proposed protocol tries to mitigate message containment and the effect of idle listening through an efficient initial recognition mechanism. It is also proposed an effective diagnosis of communication failure detection in the communication cycle, which also helps to save energy. In addition, a multichannel mechanism is proposed based on the knowledge of the neighborhood channel in addition to services of initialization and maintenance of the network. To validate the proposed protocol, evaluations were made for the consumption of each node sensor, the network traffic for each link, the latency and the network delivery rate in a web application. Tests were performed using asynchronous multichannel receiver-initiated and synchronous protocols based on literature scientific. The results show that the proposed protocol minimizes the energy consumption in relation to the asynchronous protocols, besides improving the communication when compared to the analyzed protocols. In the comparison with the synchronous protocol the proposed protocol showed performance and consumption compatible, when in a smaller duty cycles, and reduced consumption with longer duty cycles.
330

Perfil sorológico por inibição da hemaglutinação para arboviroses em residentes \"Ribeirinhos\" da região Amazônica e \"rurais\" do sudeste brasileiro. / Serological survey for Arboviruses by hemagglutination inhibition in Residents of Amazon region and country people in Southeastern of Brazil.

Fábio Carmona de Jesus Maués 07 December 2010 (has links)
Neste trabalho foi feito uma investigação sorológica em moradores na região amazônica e moradores rurais do sudeste brasileiro, através do teste de inibição da hemaglutinação (HI) para a cepa vacinal da Febre Amarela mais 17 sorotipos diferentes de arbovírus, sendo quatro do gênero Alphavirus (ALP), nove do gênero Flavivirus (FLA) e cinco do gênero Orthobunyavirus (ORT), para verificar qual desses vírus estão circulando nessas regiões. Os resultados do HI foram divididos em quatro áreas: na cidade Machadinho dOeste (Rondônia) (N=285) tivemos para ALP=50 (17,54%), FLA=270 (94,74%), ORT=58 (20,35%) e negativos (NEG)=12 (4,20%). Nas pessoas que moram ao longo do Rio Machado (Rondônia) (N=343) tivemos ALP=99 (28,86%), FLA=229 (66,76%), ORT=41 (11,95%) e NEG=93 (27,10%). Na cidade Teodoro Sampaio (São Paulo) (N=78) tivemos FLA=55 (70,51%) e NEG=23 (29,5%). Na cidade Jacupiranga (São Paulo) (N=149) tivemos ALP=7 (4,7%), FLA=50 (33,56%), ORT=20 (13,42%) e NEG=84 (56,4%). Concluímos que os resultados obtidos sugerem a circulação desses vírus nas regiões estudadas. / In this work we performed a serological investigation in residents of Amazon region and country people who lives in Southeastern of Brazil, by hemagglutination inhibition (HI) for Yellow fever vaccine and 17 different serotype of arboviruses: four from the genus Alphavirus (ALP), nine from the genus Flavivirus (FLA), and five from the genus Orthobunyavirus (ORT), to try to ascertain which of these arboviruses are circulating in these areas. The results of HI were divided into four areas: In Machadinho dOeste city (Rondônia) (N=285) we had to ALP=50 (17,54%), FLA=270 (94,74%), ORT=58 (20,35%) and negatives (NEG)=12 (4,20%). In people who live along the Machado River (Rondônia) (N=343) we had to ALP=99 (28,86%), FLA=229 (66,76%), ORT=41 (11,95%) and NEG=93 (27,10%). In Teodoro Sampaio City (São Paulo) (N=78) we had to FLA=55 (70,51%) and NEG=23 (29,5%). In Jacupiranga City (São Paulo) (N=149) we had to ALP=7 (4,70%), FLA=50 (33,56%), ORT=20 (13,42%) and NEG=84 (56,4%). In conclusion, the obtained data suggest the circulation of these viruses in these regions.

Page generated in 0.0489 seconds