GTS allocation analysis in IEEE 802.15.4 for real-time wireless sensor networks

The IEEE 802.15.4 protocol proposes a flexible communication solution for Low-Rate Wireless Personal Area Networks including sensor networks. It presents the advantage to fit different requirements of potential applications by adequately setting its parameters. When enabling its beacon mode, the protocol makes possible real-time guarantees by using its Guaranteed Time Slot (GTS) mechanism. This paper analyzes the performance of the GTS allocation mechanism in IEEE 802.15.4. The analysis gives a full understanding of the behavior of the GTS mechanism with regards to delay and throughput metrics. First, we propose two accurate models of service curves for a GTS allocation as a function of the IEEE 802.15.4 parameters. We then evaluate the delay bounds guaranteed by an allocation of a GTS using Network Calculus formalism. Finally, based on the analytic results, we analyze the impact of the IEEE 802.15.4 parameters on the throughput and delay bound guaranteed by a GTS allocation. The results of this work pave the way for an efficient dimensioning of an IEEE 802.15.4 cluster.

Energy and delay trade-off of the GTS allocation mechanism in IEEE 802.15.4 for wireless sensor networks

The IEEE 802.15.4 protocol proposes a flexible communication solution for Low-Rate Wireless Personal Area Networks (LR-WPAN) including wireless sensor networks (WSNs). It presents the advantage to fit different requirements of potential applications by adequately setting its parameters. When in beaconenabled mode, the protocol can provide timeliness guarantees by using its Guaranteed Time Slot (GTS) mechanism. However, power-efficiency and timeliness guarantees are often two antagonistic requirements in wireless sensor networks. The purpose of this paper is to analyze and propose a methodology for setting the relevant parameters of IEEE 802.15.4-compliant WSNs that takes into account a proper trade-off between power-efficiency and delay bound guarantees. First, we propose two accurate models of service curves for a GTS allocation as a function of the IEEE 802.15.4 parameters, using Network Calculus formalism. We then evaluate the delay bound guaranteed by a GTS allocation and express it as a function of the duty cycle. Based on the relation between the delay requirement and the duty cycle, we propose a power-efficient superframe selection method that simultaneously reduces power consumption and enables meeting the delay requirements of real-time flows allocating GTSs. The results of this work may pave the way for a powerefficient management of the GTS mechanism in an IEEE 802.15.4 cluster.

A straightforward method to obtain the cohesive laws of bonded joints under mode I loading

A simple procedure to measure the cohesive laws of bonded joints under mode I loading using the double cantilever beam test is proposed. The method only requires recording the applied load–displacement data and measuring the crack opening displacement at its tip in the course of the experimental test. The strain energy release rate is obtained by a procedure involving the Timoshenko beam theory, the specimen’s compliance and the crack equivalent concept. Following the proposed approach the influence of the fracture process zone is taken into account which is fundamental for an accurate estimation of the failure process details. The cohesive law is obtained by differentiation of the strain energy release rate as a function of the crack opening displacement. The model was validated numerically considering three representative cohesive laws. Numerical simulations using finite element analysis including cohesive zone modeling were performed. The good agreement between the inputted and resulting laws for all the cases considered validates the model. An experimental confirmation was also performed by comparing the numerical and experimental load–displacement curves. The numerical load–displacement curves were obtained by adjusting typical cohesive laws to the ones measured experimentally following the proposed approach and using finite element analysis including cohesive zone modeling. Once again, good agreement was obtained in the comparisons thus demonstrating the good performance of the proposed methodology.

Feasibility of the extended finite element method for the simulation of composite bonded joints

Adhesive-bonding for the unions in multi-component structures is gaining momentum over welding, riveting and fastening. It is vital for the design of bonded structures the availability of accurate damage models, to minimize design costs and time to market. Cohesive Zone Models (CZM’s) have been used for fracture prediction in structures. The eXtended Finite Element Method (XFEM) is a recent improvement of the Finite Element Method (FEM) that relies on traction-separation laws similar to those of CZM’s but it allows the growth of discontinuities within bulk solids along an arbitrary path, by enriching degrees of freedom. This work proposes and validates a damage law to model crack propagation in a thin layer of a structural epoxy adhesive using the XFEM. The fracture toughness in pure mode I (GIc) and tensile cohesive strength (sn0) were defined by Double-Cantilever Beam (DCB) and bulk tensile tests, respectively, which permitted to build the damage law. The XFEM simulations of the DCB tests accurately matched the experimental load-displacement (P-d) curves, which validated the analysis procedure.

Tecnologia Java na representação de curvas e superfícies paramétricas

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Electrodeposition and characterization of nikel-copper metallic foams for application as electrodes for supercapacitors

Nickel-copper metallic foams were electrodeposited from an acidic electrolyte, using hydrogen bubble evolution as a dynamic template. Their morphology and chemical composition was studied by scanning electron microscopy and related to the deposition parameters (applied current density and deposition time). For high currents densities (above 1 A cm(-2)) the nickel-copper deposits have a three-dimensional foam-like morphology with randomly distributed nearly-circular pores whose walls present an open dendritic structure. The nickel-copper foams are crystalline and composed of pure nickel and a copper-rich phase containing nickel in solid solution. The electrochemical behaviour of the material was studied by cyclic voltammetry and chronopotentiometry (charge-discharge curves) aiming at its application as a positive electrode for supercapacitors. Cyclic voltammograms showed that the Ni-Cu foams have a pseudocapacitive behaviour. The specific capacitance was calculated from charge-discharge data and the best value (105 F g(-1) at 1 mA cm(-2)) was obtained for nickel-copper foams deposited at 1.8 A cm(-2) for 180 s. Cycling stability of these foams was also assessed and they present a 90 % capacitance retention after 10,000 cycles at 10 mA cm(-2).

Intrinsic fractal dynamics in the respiratory system by means of pressure-volume loops

This contribution presents novel concepts for analysis of pressure–volume curves, which offer information about the time domain dynamics of the respiratory system. The aim is to verify whether a mapping of the respiratory diseases can be obtained, allowing analysis of (dis)similarities between the dynamical pattern in the breathing in children. The groups investigated here are children, diagnosed as healthy, asthmatic, and cystic fibrosis. The pressure–volume curves have been measured by means of the noninvasive forced oscillation technique during breathing at rest. The geometrical fractal dimension is extracted from the pressure–volume curves and a power-law behavior is observed in the data. The power-law model coefficients are identified from the three sets and the results show that significant differences are present between the groups. This conclusion supports the idea that the respiratory system changes with disease in terms of airway geometry, tissue parameters, leading in turn to variations in the fractal dimension of the respiratory tree and its dynamics.

TiB2 nanostructured coating for GFRP injection moulds

In the injection moulding of polypropylene reinforced with hard glass fibres, die materials are commonly subjected to severe abrasive wear. In order to improve its wear resistance, an unbalanced magnetron sputtering PVD compositional monolayered coating has been produced. The film was composed by a nanostructured TiB2 monolayer. Microstructure characterization and thickness evaluation were conducted by scanning electron microscopy (SEM). Film topography and roughness were accessed by SEM and Atomic Force Microscopy (AFM). The phase analyse was investigated by X-ray diffraction (XRD), using Cu Kalpha radiation. Scratch tests were conducted in order to study the film adhesion to the substrate. Load-Displacement curves (nanoindentation analysis) allowed measuring the film hardness and Young's modulus. A ball-cratering tribometer was used to determine the micro-abrasion laboratorial wear resistance, under different tests conditions, using SiC particles in distilled water slurry. At the end of these tests, the worn surfaces were analyzed by SEM and Energy Dispersive X-ray Spectroscopy (EDS) in order to compare these results with some other coatings already tested in the same conditions. To test the practical wear resistance, 135000 injection cycles were done in a plastic injection industrial mould. Coated samples were put on the plastic feed canal, after a turbulent zone. In these tests, a 30% (wt) glass fibres reinforced polypropylene was used. Worn sample surfaces were analyzed by SEM after 45.000 and 90.000 cycles. Image analyses were made in order to evaluate the damage increases and to observe the wear mechanisms involved.

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Big Bang bifurcations and allee effect in Blumberg’s dynamics

This paper concerns dynamics and bifurcations properties of a class of continuous-defined one-dimensional maps, in a three-dimensional parameter space: Blumberg's functions. This family of functions naturally incorporates a major focus of ecological research: the Allee effect. We provide a necessary condition for the occurrence of this phenomenon, associated with the stability of a fixed point. A central point of our investigation is the study of bifurcations structure for this class of functions. We verified that under some sufficient conditions, Blumberg's functions have a particular bifurcations structure: the big bang bifurcations of the so-called "box-within-a-box" type, but for different kinds of boxes. Moreover, it is verified that these bifurcation cascades converge to different big bang bifurcation curves, where for the corresponding parameter values are associated distinct attractors. This work contributes to clarify the big bang bifurcation analysis for continuous maps. To support our results, we present fold and flip bifurcations curves and surfaces, and numerical simulations of several bifurcation diagrams.

Maternal mental health and nutritional status of six-month-old infants

ABSTRACT OBJECTIVE To analyze if maternal mental health is associated with infant nutritional status at six month of age. METHODS A cross-sectional study with 228 six-month-old infants who used primary health care units of the city of Rio de Janeiro, Southeastern Brazil. Mean weight-for-length and mean weight-for-age were expressed in z-scores considering the 2006 World Health Organization reference curves. Maternal mental health was measured by the 12-item General Health Questionnaire. The following cutoff points were used: ≥ 3 for common mental disorders, ≥ 5 for more severe mental disorders, and ≥ 9 for depression. The statistical analysis employed adjusted linear regression models. RESULTS The prevalence of common mental disorders, more severe mental disorders and depression was 39.9%, 23.7%, and 8.3%, respectively. Children of women with more severe mental disorders had, on average, a weight-for-length 0.37 z-scores lower than children of women without this health harm (p = 0.026). We also observed that the weight-for-length indicator of children of depressed mothers was, on average, 0.67 z-scores lower than that of children of nondepressed women (p = 0.010). Maternal depression was associated with lower mean values of weight-for-age z-scores (p = 0.041). CONCLUSIONS Maternal mental health is positively related to the inadequacy of the nutritional status of infants at six months.

Seismic vulnerability: From building evaluation to a typology generalization

Outlining the best strategies for seismic risk mitigation requires that both benefits and costs of retrofitting are known in advance. The assessment of the vulnerability of building typologies is a first step of a more extensive effort, concerning the analysis of the viability of seismic risk mitigation and taking into account retrofitting costs. The methodology adopted to obtain the seismic vulnerability of some classes of residential buildings existing in mainland Portugal is presented. This methodology is based on a structural analysis of individual buildings belonging to the same typology. An application example is presented to illustrate the methodology. Fragility curves of “boxed” building typology are also presented and broken down into three height classes: low rise, medium-rise and high-rise. These curves are based on average capacity spectra derived from several individual buildings belonging to the same typology.

On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

Estudo da influência da carga específica na fragmentação de rocha granítica no desmonte em bancada

Mestrado em Engenharia Geotécnica e Geoambiente

Sistema de Torre de Refrigeração

Mestrado em Engenharia Química - Ramo Optimização Energética na Indústria Química