A modular distributed transactional memory framework

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

A proof system for lock-free concurrency

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

A multiagent based shop floor transportation system simulator

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Partial replication in distributed software transactional memory

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

Service-oriented architecture for device lifecycle support in industrial automation

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores Especialidade: Robótica e Manufactura Integrada

Service-oriented infrastructure to support the control, monitoring and management of a shop floor system

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

A distributed platform for the volunteer execution of workflows on a local area network

Thesis submitted in fulfilment of the requirements for the Degree of Master of Science in Computer Science

Diving into the depth of primary motor cortex: a high-resolution investigation of the motor system using 7Tesla fMRI

Dissertação para a obtenção do Grau de Mestre em Engenharia Biomédica

Integration of a mobile autonomous robot in a surveillance multi-agent system

This dissertation aims to guarantee the integration of a mobile autonomous robot equipped with many sensors in a multi-agent distributed and georeferenced surveillance system. The integration of a mobile autonomous robot in this system leads to new features that will be available to clients of surveillance system may use. These features may be of two types: using the robot as an agent that will act in the environment or by using the robot as a mobile set of sensors. As an agent in the system, the robot can move to certain locations when alerts are received, in order to acknowledge the underlying events or take to action in order to assist in resolving this event. As a sensor platform in the system, it is possible to access information that is read from the sensors of the robot and access complementary measurements to the ones taken by other sensors in the multi-agent system. To integrate this mobile robot in an effective way it is necessary to extend the current multi-agent system architecture to make the connection between the two systems and to integrate the functionalities provided by the robot into the multi-agent system.

Quality of essential drugs in tropical countries: evaluation of antimalarial drugs in the Brazilian Health System

INTRODUCTION: The emergence of drug resistance is one of the main problems concerning malaria treatment. The use of counterfeit and/or substandard antimalarial drugs can contribute to the development of parasite resistance. Thus, the aim of this study was to evaluate the quality of antimalarial drugs distributed in Brazil. METHODS: Samples containing chloroquine phosphate, mefloquine hydrochloride, primaquine phosphate, and quinine sulfate tablets were delivered to the Rio de Janeiro central storeroom (CENADI), state storerooms (SS), and Basic Health Units (BHUs) in the north region of Brazil - a total of 10 sample sets. After 5 months of storage, the samples were collected, and in vitro quality control analyses according to official and published methods were performed. RESULTS: Inadequate drug storage conditions were found in two SS and in all BHUs evaluated. There were no quality deviations found in the chloroquine samples. The quinine samples exhibited weight variation above the allowed limits. The primaquine samples were found to have packaging deficiency. The release of mefloquine in samples from some regions showed a statistically significant difference when compared with the CENADI samples. CONCLUSIONS: It is important to periodically evaluate the quality and storage conditions of essential drugs. The quality deviations found with the primaquine and quinine samples are not related to storage conditions and must be addressed urgently. The decreased mefloquine release from tablets is related to formulation problems or influenced by inadequate storage conditions, prompting further investigation. Even with the mentioned problems, the samples would probably not contribute to resistant parasite selection.

Embedded Through-Section shear strengthening technique using steel and CFRP bars in RC beams of different percentage of existing stirrups

The Embedded Through-Section (ETS) technique is a promising technique for the shear strengthening of existing (RC) elements. According to this technique, holes are drilled through the beam section, and bars of steel or FRP material are introduced into these holes and bonded to the concrete with adhesive materials. An experimental program was carried out with RC T-cross section beams strengthened in shear using the ETS steel bars and ETS CFRP rods. The research is focused on the evaluation of the ETS efficiency on beams with different percentage of existing internal transverse reinforcement (ρsw=0.0%, ρsw=0.1% and ρsw=0.17%). The effectiveness of different ETS strengthening configurations was also investigated. The good bond between the strengthening ETS bars and the surrounding concrete allowed the yield initiation of the ETS steel bars and the attainment of high tensile strains in the ETS CFPR rods, leading to significant increase of shear capacity, whose level was strongly influenced by the inclination of the ETS bars and the percentage of internal transverse reinforcement.

Monitoring and analysis of queries in distributed databases

Dissertação de Mestrado em Engenharia Informática

Structure-property relationships in polymer nanocomposites

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos

A new empirical system for rock slope stability analysis in exploitation stage

An empirical system was developed to obtain a quality index for rock slopes in road infrastructures, named Slope Quality Index (SQI), and it was applied to a set of real slopes.The SQI is supported in nine factors affecting slope stability that contemplate the evaluation of different parameters. Consequently, each factor is classified by the degree of importance and influence by assigned weights. These weights were established through a statistical analysis of replies to a survey that was distributed to several experienced professionals in the field. The proposed SQI varies between1 and 5, corresponding to slopes in very good and very bad condition state, respectively. Besides the advantage linked to a quantitative and qualitative evaluation of slopes, theSQI also allows identifying the most critical factors on the slope stability, which is a fundamental issue for an efficient management of the slope network in the road infrastructure, namely in the planning of conservation and maintenance operations.

Nonlinear optimization for human-like synchronous movements of a dual arm-hand robotic system

In previous work we have presented a model capable of generating human-like movements for a dual arm-hand robot involved in human-robot cooperative tasks. However, the focus was on the generation of reach-to-grasp and reach-to-regrasp bimanual movements and no synchrony in timing was taken into account. In this paper we extend the previous model in order to accomplish bimanual manipulation tasks by synchronously moving both arms and hands of an anthropomorphic robotic system. Specifically, the new extended model has been designed for two different tasks with different degrees of difficulty. Numerical results were obtained by the implementation of the IPOPT solver embedded in our MATLAB simulator.