931 resultados para cryptographic protocols
Resumo:
Epidemic protocols are a bio-inspired communication and computation paradigm for extreme-scale network system based on randomized communication. The protocols rely on a membership service to build decentralized and random overlay topologies. In a weakly connected overlay topology, a naive mechanism of membership protocols can break the connectivity, thus impairing the accuracy of the application. This work investigates the factors in membership protocols that cause the loss of global connectivity and introduces the first topology connectivity recovery mechanism. The mechanism is integrated into the Expander Membership Protocol, which is then evaluated against other membership protocols. The analysis shows that the proposed connectivity recovery mechanism is effective in preserving topology connectivity and also helps to improve the application performance in terms of convergence speed.
Resumo:
Wireless Sensor Networks (WSNs) have been an exciting topic in recent years. The services offered by a WSN can be classified into three major categories: monitoring, alerting, and information on demand. WSNs have been used for a variety of applications related to the environment (agriculture, water and forest fire detection), the military, buildings, health (elderly people and home monitoring), disaster relief, and area or industrial monitoring. In most WSNs tasks like processing the sensed data, making decisions and generating emergency messages are carried out by a remote server, hence the need for efficient means of transferring data across the network. Because of the range of applications and types of WSN there is a need for different kinds of MAC and routing protocols in order to guarantee delivery of data from the source nodes to the server (or sink). In order to minimize energy consumption and increase performance in areas such as reliability of data delivery, extensive research has been conducted and documented in the literature on designing energy efficient protocols for each individual layer. The most common way to conserve energy in WSNs involves using the MAC layer to put the transceiver and the processor of the sensor node into a low power, sleep state when they are not being used. Hence the energy wasted due to collisions, overhearing and idle listening is reduced. As a result of this strategy for saving energy, the routing protocols need new solutions that take into account the sleep state of some nodes, and which also enable the lifetime of the entire network to be increased by distributing energy usage between nodes over time. This could mean that a combined MAC and routing protocol could significantly improve WSNs because the interaction between the MAC and network layers lets nodes be active at the same time in order to deal with data transmission. In the research presented in this thesis, a cross-layer protocol based on MAC and routing protocols was designed in order to improve the capability of WSNs for a range of different applications. Simulation results, based on a range of realistic scenarios, show that these new protocols improve WSNs by reducing their energy consumption as well as enabling them to support mobile nodes, where necessary. A number of conference and journal papers have been published to disseminate these results for a range of applications.
Resumo:
Subtle quantum properties offer exciting new prospects in optical communications. For example, quantum entanglement enables the secure exchange of cryptographic keys(1) and the distribution of quantum information by teleportation(2,3). Entangled bright beams of light are increasingly appealing for such tasks, because they enable the use of well-established classical communications techniques(4). However, quantum resources are fragile and are subject to decoherence by interaction with the environment. The unavoidable losses in the communication channel can lead to a complete destruction of entanglement(5-8), limiting the application of these states to quantum-communication protocols. We investigate the conditions under which this phenomenon takes place for the simplest case of two light beams, and analyse characteristics of states which are robust against losses. Our study sheds new light on the intriguing properties of quantum entanglement and how they may be harnessed for future applications.
Resumo:
The aim of this study was to investigate the mechanisms whereby low-intensity laser therapy may affect the severity of oral mucositis. A hamster cheek pouch model of oral mucositis was used with all animals receiving intraperitoneal 5-fluorouracil followed by surface irritation. Animals were randomly allocated into three groups and treated with a 35 mW laser, 100 mW laser, or no laser. Clinical severity of mucositis was assessed at four time-points by a blinded examiner. Buccal pouch tissue was harvested from a subgroup of animals in each group at four time-points. This tissue was used for immunohistochemistry for cyclooxygenase-2 (COX-2), vascular endothelial growth factor (VEGF), and factor VIII (marker of microvessel density) and the resulting staining was quantified. Peak severity of mucositis was reduced in the 35 mW laser group as compared to the 100 mW laser and control groups. This reduced peak clinical severity of mucositis in the 35 mW laser group was accompanied by a significantly lower level of COX-2 staining. The 100 mW laser did not have an effect on the severity of clinical mucositis, but was associated with a decrease in VEGF levels at the later time-points, as compared to the other groups. There was no clear relationship of VEGF levels or microvessel density to clinical mucositis severity. The tissue response to laser therapy appears to vary by dose. Low-intensity laser therapy appears to reduce the severity of mucositis, at least in part, by reducing COX-2 levels and associated inhibition of the inflammatory response.
Resumo:
The assessment of routing protocols for mobile wireless networks is a difficult task, because of the networks` dynamic behavior and the absence of benchmarks. However, some of these networks, such as intermittent wireless sensors networks, periodic or cyclic networks, and some delay tolerant networks (DTNs), have more predictable dynamics, as the temporal variations in the network topology can be considered as deterministic, which may make them easier to study. Recently, a graph theoretic model-the evolving graphs-was proposed to help capture the dynamic behavior of such networks, in view of the construction of least cost routing and other algorithms. The algorithms and insights obtained through this model are theoretically very efficient and intriguing. However, there is no study about the use of such theoretical results into practical situations. Therefore, the objective of our work is to analyze the applicability of the evolving graph theory in the construction of efficient routing protocols in realistic scenarios. In this paper, we use the NS2 network simulator to first implement an evolving graph based routing protocol, and then to use it as a benchmark when comparing the four major ad hoc routing protocols (AODV, DSR, OLSR and DSDV). Interestingly, our experiments show that evolving graphs have the potential to be an effective and powerful tool in the development and analysis of algorithms for dynamic networks, with predictable dynamics at least. In order to make this model widely applicable, however, some practical issues still have to be addressed and incorporated into the model, like adaptive algorithms. We also discuss such issues in this paper, as a result of our experience.
Resumo:
In this paper we describe a new protocol that we call the Curry-Howard protocol between a theory and the programs extracted from it. This protocol leads to the expansion of the theory and the production of more powerful programs. The methodology we use for automatically extracting “correct” programs from proofs is a development of the well-known Curry-Howard process. Program extraction has been developed by many authors, but our presentation is ultimately aimed at a practical, usable system and has a number of novel features. These include 1. a very simple and natural mimicking of ordinary mathematical practice and likewise the use of established computer programs when we obtain programs from formal proofs, and 2. a conceptual distinction between programs on the one hand, and proofs of theorems that yield programs on the other. An implementation of our methodology is the Fred system. As an example of our protocol we describe a constructive proof of the well-known theorem that every graph of even parity can be decomposed into a list of disjoint cycles. Given such a graph as input, the extracted program produces a list of the (non-trivial) disjoint cycles as promised.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
In Experiment 1, effects of an intravaginal progesterone insert (CIDR) for synchronization of estrus in non-suckled cycling primiparous Bos indicus beef cows were evaluated. Cows received either no treatment (Control), prostaglandin F(2 alpha) (PGF), or CIDR (6 d)+prostaglandin F(2 alpha) (CIDR+PGF). There were greater (P<0.05) percentages of cows inseminated and pregnant in 4 d of breeding season in CIDR+PGF (81.6%; 48.7%) than in PGF (53.8%; 32.5%) and Control cows (14.6%; 8.5%). In Experiment 2, efficacy of a treatment with CIDR (6 d)+prostaglandin F(2 alpha)+48 h temporary weaning (CIDR+PGF+TW) associated or not with equine chorionic gonadotropin (eCG) for synchronization of estrus in suckled primiparous B. indicus beef cows was evaluated. Cows were assigned to receive either no treatment (Control), CIDR+PGF+TW, CIDR+PGF+TW+200 IU of eCG, or CIDR+PGF+IW+400 IU of eCG. There were greater (P<0.05) percentages of insemination and pregnancy in 4 d of breeding season in treatment groups (47.0%; 27.5%) than in Control cows(4.5%; 3.0%) and in cows treated with eCG (50.9%; 29.4%) than in cows treated only with CIDR+PGF+TW (39.4%: 23.7%). No effects of eCG dosage were detected. The percentage of cows inseminated and pregnant in a 30 d breeding season were greater (P<0.05) in cows assigned to synchronization treatments (53.3%; 37.2%) than in Control cows (35.3%; 21.4%). In the beginning of the BS, non-suckled primiparous cows treated with CIDR+PGF with estrous cycles having been initiated following calving had greater estrous detection and pregnancy rates than PGF and Control cows, and suckled primiparous cows had improved estrous detection and pregnancy rates when eCG was associated with CIDR+PGF+TW. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
Five experiments were conducted on commercial farms in Brazil aiming to develop a fixed-time artificial insemination (TAI) protocol that achieved pregnancy rates between 40% and 55% in Bos indicus cows. These studies resulted in the development of the following protocol: insertion of all intravaginal device containing 1.9 g of progesterone (CIDR) plus 2.0 mg im estradiol benzoate on Day 0; 12.5 mg im dinoprost tromethamine on Day 7 in cycling cows or oil Day 9 in anestrous cows; CIDR withdrawal plus 0.5 mg im estradiol cypionate plus temporary calf removal on Day 9; TAI (48 h after CIDR withdrawal) plus reuniting of calves with their dams on Day 11. Reduced dose of prostaglandin F(2 alpha) (PGF(2 alpha): 12.5 mg im dinoprost tromethamine) effectively caused luteolysis. In cycling cows, fertility was greater when the treatment with PGF(2 alpha) was administered on Day 7 than oil Day 9, but in anestrous cows, no effects of time of the PGF(2 alpha) treatment were found. Estradiol cypionate effectively replaced estradiol benzoate or gonadotropin-releasing hormone as the ovulatory stimulus, reducing labor and cost. In this protocol, CIDR inserts were successfully used four times (9 d each use) with no detrimental effects on fertility. (C) 2009 Elsevier B.V. All rights reserved.