A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

Resolução de horários de exames com pesquisa local restringida

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Failure of nitric oxide production by macrophages and decrease in CD4+ T cells in oral paracoccidioidomycosis: possible mechanisms that permit local fungal multiplication

Paracoccidioidomycosis is a chronic granulomatous disease that induces a specific inflammatory and immune response. The participation of nitric oxide (NO), a product of the inducible nitric oxide synthase enzyme (iNOS), as an important fungicidal molecule against Paracoccidioides brasiliensis has been demonstrated. In order to further characterize the Oral Paracoccidioidomycosis (OP), we undertook an immunohistochemical study of iNOS+, CD45RO+, CD3+, CD8+, CD20+, CD68+ cells and mast cells. The samples were distributed in groups according to the number of viable fungi per mm². Our results showed weak immunolabeling for iNOS in the multinucleated giant cells (MNGC) and in most of the mononuclear (MN) cells, and the proportion of iNOS+ MN/MNGC cells in the OP were comparable to Control (clinically healthy oral tissues). Additionally, our analysis revealed a similarity in the number of CD4+ cells between the Control and the OP groups with higher numbers of fungi. These findings suggest that a low expression of iNOS and a decrease in the CD4+ T cells in OP may represent possible mechanisms that permit the local fungal multiplication and maintenance of active oral lesions.

Models for pheromone evaluation in Ant Systems for Mobile Ad-hoc networks

On a mobile ad-hoc network environment, where the resources are scarce, the knowledge about the network's link state is essential to optimize the routing procedures. This paper presents a study about different pheromone evaluation models and how they react to possible changes in traffic rate. Observing how the pheromone value on a link changes, it could be possible to identify certain patterns which can indicate the path status. For this study, the behavior of the Ant System evaluation model was compared with a Temporal Active Pheromone model (a biological approach) and a Progressive Pheromone Reduction model with and without a maximum pheromone limit.

Viver a Aldeia: o Festival Bons Sons e as Formas de Readequação e Reinvenção do local

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Antropologia – Cultura Material e Consumos

Effects of Acute Autonomic Modulation on Atrial Conduction Delay and Local Electrograms Duration in Paroxysmal Atrial Fibrillation

Slowed atrial conduction may contribute to reentry circuits and vulnerability for atrial fibrillation (AF). The autonomic nervous system (ANS) has modulating effects on electrophysiological properties. However, complex interactions of the ANS with the arrhythmogenic substrate make it difficult to understand the mechanisms underlying induction and maintenance of AF. AIM: To determine the effect of acute ANS modulation in atrial activation times in patients (P) with paroxysmal AF (PAF). METHODS AND RESULTS: 16P (9 men; 59±14years) with PAF, who underwent electrophysiological study before AF ablation, and 15P (7 men; 58±11years) with atrioventricular nodal reentry tachycardia, without documentation or induction of AF (control group). Each group included 7P with arterial hypertension but without underlying structural heart disease. The study was performed while off drugs. Multipolar catheters were placed at the high right atrium (HRA), right atrial appendage (RAA), coronary sinus (CS) and His bundle area (His). At baseline and with HRA pacing (600ms, shortest propagated S2) we measured: i) intra-atrial conduction time (IACT, between RAA and atrial deflection in the distal His), ii) inter-atrial conduction time (interACT, between RAA and distal CS), iii) left atrial activation time (LAAT, between atrial deflection in the distal His and distal CS), iv) bipolar electrogram duration at four atrial sites (RAA, His, proximal and distal CS). In the PAF group, measurements were also determined during handgrip and carotid sinus massage (CSM), and after pharmacological blockade of the ANS (ANSB). AF was induced by HRA programmed stimulation in 56% (self-limited - 6; sustained - 3), 68.8% (self-limited - 6; sustained - 5), and 50% (self-limited - 5; sustained - 3) of the P, in basal, during ANS maneuvers, and after ANSB, respectively (p=NS). IACT, interACT and LAAT significantly lengthened during HRA pacing in both groups (600ms, S2). P with PAF have longer IACT (p<0.05), a higher increase in both IACT, interACT (p<0.01) and electrograms duration (p<0.05) with S2, and more fragmented activity, compared with the control group. Atrial conduction times and electrograms duration were not significantly changed during ANS stimulation. Nevertheless, ANS maneuvers increased heterogeneity of the local electrograms duration. Also, P with sustained AF showed longer interACT and LAAT during CSM. CONCLUSION: Atrial conduction times, electrograms duration and fractionated activity are increased in PAF, suggesting a role for conduction delays in the arrhythmogenic substrate. Acute vagal stimulation is associated with prolonged interACT and LAAT in P with inducible sustained AF and ANS modulation may influence the heterogeneity of atrial electrograms duration.

Sensor Integration for Smart Cities Using Multi-Hop Networks

Smart Cities are designed to be living systems and turn urban dwellers life more comfortable and interactive by keeping them aware of what surrounds them, while leaving a greener footprint. The Future Cities Project [1] aims to create infrastructures for research in smart cities including a vehicular network, the BusNet, and an environmental sensor platform, the Urban Sense. Vehicles within the BusNet are equipped with On Board Units (OBUs) that offer free Wi-Fi to passengers and devices near the street. The Urban Sense platform is composed by a set of Data Collection Units (DCUs) that include a set of sensors measuring environmental parameters such as air pollution, meteorology and noise. The Urban Sense platform is expanding and receptive to add new sensors to the platform. The parnership with companies like TNL were made and the need to monitor garbage street containers emerged as air pollution prevention. If refuse collection companies know prior to the refuse collection which route is the best to collect the maximum amount of garbage with the shortest path, they can reduce costs and pollution levels are lower, leaving behind a greener footprint. This dissertation work arises in the need to monitor the garbage street containers and integrate these sensors into an Urban Sense DCU. Due to the remote locations of the garbage street containers, a network extension to the vehicular network had to be created. This dissertation work also focus on the Multi-hop network designed to extend the vehicular network coverage area to the remote garbage street containers. In locations where garbage street containers have access to the vehicular network, Roadside Units (RSUs) or Access Points (APs), the Multi-hop network serves has a redundant path to send the data collected from DCUs to the Urban Sense cloud database. To plan this highly dynamic network, the Wi-Fi Planner Tool was developed. This tool allowed taking measurements on the field that led to an optimized location of the Multi-hop network nodes with the use of radio propagation models. This tool also allowed rendering a temperature-map style overlay for Google Earth [2] application. For the DCU for garbage street containers the parner company provided the access to a HUB (device that communicates with the sensor inside the garbage containers). The Future Cities use the Raspberry pi as a platform for the DCUs. To collect the data from the HUB a RS485 to RS232 converter was used at the physical level and the Modbus protocol at the application level. To determine the location and status of the vehicles whinin the vehicular network a TCP Server was developed. This application was developed for the OBUs providing the vehicle Global Positioning System (GPS) location as well as information of when the vehicle is stopped, moving, on idle or even its slope. To implement the Multi-hop network on the field some scripts were developed such as pingLED and “shark”. These scripts helped upon node deployment on the field as well as to perform all the tests on the network. Two setups were implemented on the field, an urban setup was implemented for a Multi-hop network coverage survey and a sub-urban setup was implemented to test the Multi-hop network routing protocols, Optimized Link State Routing Protocol (OLSR) and Babel.

As casas da câmara dos concelhos portugueses e a monumentalização do poder local (Séculos XIV a XVIII)

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em História da Arte Moderna

Desenvolvimento de um Projecto Agenda 21 Local para o Município de São Brás de Alportel

Relatório de Estágio de Mestrado em Globalização e Ambiente

Cost allocation model for distribution networks considering high penetration of distributed energy resources

The high penetration of distributed energy resources (DER) in distribution networks and the competitive environment of electricity markets impose the use of new approaches in several domains. The network cost allocation, traditionally used in transmission networks, should be adapted and used in the distribution networks considering the specifications of the connected resources. The main goal is to develop a fairer methodology trying to distribute the distribution network use costs to all players which are using the network in each period. In this paper, a model considering different type of costs (fixed, losses, and congestion costs) is proposed comprising the use of a large set of DER, namely distributed generation (DG), demand response (DR) of direct load control type, energy storage systems (ESS), and electric vehicles with capability of discharging energy to the network, which is known as vehicle-to-grid (V2G). The proposed model includes three distinct phases of operation. The first phase of the model consists in an economic dispatch based on an AC optimal power flow (AC-OPF); in the second phase Kirschen's and Bialek's tracing algorithms are used and compared to evaluate the impact of each resource in the network. Finally, the MW-mile method is used in the third phase of the proposed model. A distribution network of 33 buses with large penetration of DER is used to illustrate the application of the proposed model.

Multi-criteria optimisation approach to increase the delivered power in radial distribution networks

This study proposes a new methodology to increase the power delivered to any load point in a radial distribution network, through the identification of new investments in order to improve the repair time. This research work is innovative and consists in proposing a full optimisation model based on mixed-integer non-linear programming considering the Pareto front technique. The goal is to achieve a reduction in repair times of the distribution networks components, while minimising the costs of that reduction as well as non-supplied energy costs. The optimisation model considers the distribution network technical constraints, the substation transformer taps, and it is able to choose the capacitor banks size. A case study based on a 33-bus distribution network is presented in order to illustrate in detail the application of the proposed methodology.

Impact of sensor nodes scaling and velocity on handover mechanisms for healthcare wireless sensor networks with mobility support

Health promotion in hospital environments can be improved using the most recent information and communication technologies. The Internet connectivity to small sensor nodes carried by patients allows remote access to their bio-signals. To promote these features the healthcare wireless sensor networks (HWSN) are used. In these networks mobility support is a key issue in order to keep patients under realtime monitoring even when they move around. To keep sensors connected to the network, they should change their access points of attachment when patients move to a new coverage area along an infirmary. This process, called handover, is responsible for continuous network connectivity to the sensors. This paper presents a detailed performance evaluation study considering three handover mechanisms for healthcare scenarios (Hand4MAC, RSSI-based, and Backbone-based). The study was performed by simulation using several scenarios with different number of sensors and different moving velocities of sensor nodes. The results show that Hand4MAC is the best solution to guarantee almost continuous connectivity to sensor nodes with less energy consumption.

Feature Extraction in Densely Sensed Environments: Extensions to Multiple Broadcast Domains

The vision of the Internet of Things (IoT) includes large and dense deployment of interconnected smart sensing and monitoring devices. This vast deployment necessitates collection and processing of large volume of measurement data. However, collecting all the measured data from individual devices on such a scale may be impractical and time consuming. Moreover, processing these measurements requires complex algorithms to extract useful information. Thus, it becomes imperative to devise distributed information processing mechanisms that identify application-specific features in a timely manner and with a low overhead. In this article, we present a feature extraction mechanism for dense networks that takes advantage of dominance-based medium access control (MAC) protocols to (i) efficiently obtain global extrema of the sensed quantities, (ii) extract local extrema, and (iii) detect the boundaries of events, by using simple transforms that nodes employ on their local data. We extend our results for a large dense network with multiple broadcast domains (MBD). We discuss and compare two approaches for addressing the challenges with MBD and we show through extensive evaluations that our proposed distributed MBD approach is fast and efficient at retrieving the most valuable measurements, independent of the number sensor nodes in the network.

Using neural networks and support vector regression to relate marchetti dilatometer test parameters and maximum shear modulus

In the last two decades, small strain shear modulus became one of the most important geotechnical parameters to characterize soil stiffness. Finite element analysis have shown that in-situ stiffness of soils and rocks is much higher than what was previously thought and that stress-strain behaviour of these materials is non-linear in most cases with small strain levels, especially in the ground around retaining walls, foundations and tunnels, typically in the order of 10−2 to 10−4 of strain. Although the best approach to estimate shear modulus seems to be based in measuring seismic wave velocities, deriving the parameter through correlations with in-situ tests is usually considered very useful for design practice.The use of Neural Networks for modeling systems has been widespread, in particular within areas where the great amount of available data and the complexity of the systems keeps the problem very unfriendly to treat following traditional data analysis methodologies. In this work, the use of Neural Networks and Support Vector Regression is proposed to estimate small strain shear modulus for sedimentary soils from the basic or intermediate parameters derived from Marchetti Dilatometer Test. The results are discussed and compared with some of the most common available methodologies for this evaluation.

Quality-of-service aware routing for static and mobile IPv6-based low-power and lossy sensor networks using RPL

The Internet of Things (IoT) has emerged as a paradigm over the last few years as a result of the tight integration of the computing and the physical world. The requirement of remote sensing makes low-power wireless sensor networks one of the key enabling technologies of IoT. These networks encompass several challenges, especially in communication and networking, due to their inherent constraints of low-power features, deployment in harsh and lossy environments, and limited computing and storage resources. The IPv6 Routing Protocol for Low Power and Lossy Networks (RPL) [1] was proposed by the IETF ROLL (Routing Over Low-power Lossy links) working group and is currently adopted as an IETF standard in the RFC 6550 since March 2012. Although RPL greatly satisfied the requirements of low-power and lossy sensor networks, several issues remain open for improvement and specification, in particular with respect to Quality of Service (QoS) guarantees and support for mobility. In this paper, we focus mainly on the RPL routing protocol. We propose some enhancements to the standard specification in order to provide QoS guarantees for static as well as mobile LLNs. For this purpose, we propose OF-FL (Objective Function based on Fuzzy Logic), a new objective function that overcomes the limitations of the standardized objective functions that were designed for RPL by considering important link and node metrics, namely end-to-end delay, number of hops, ETX (Expected transmission count) and LQL (Link Quality Level). In addition, we present the design of Co-RPL, an extension to RPL based on the corona mechanism that supports mobility in order to overcome the problem of slow reactivity to frequent topology changes and thus providing a better quality of service mainly in dynamic networks application. Performance evaluation results show that both OF-FL and Co-RPL allow a great improvement when compared to the standard specification, mainly in terms of packet loss ratio and average network latency. 2015 Elsevier B.V. Al