On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Detection of dangerous situations using a smart internet of things system

The Internet of Things (IoT) is a concept that can foster the emergence of innovative applications. In order to minimize parents’s concerns about their children’s safety, this paper presents the design of a smart Internet of Things system for identifying dangerous situations. The system will be based on real time collection and analysis of physiological signals monitored by non-invasive and non-intrusive sensors, Frequency IDentification (RFID) tags and a Global Positioning System (GPS) to determine when a child is in danger. The assumption of a state of danger is made taking into account the validation of a certain number of biometric reactions to some specific situations and according to a self-learning algorithm developed for this architecture. The results of the analysis of data collected and the location of the child will be able in real time to child’s care holders in a web application.

Sistema de apoio à decisão clínica: quality of life system

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Design of mechatronic system for handling bedridden people

Dissertação de mestrado em Engenharia Mecatrónica

Definition of multibody system

This chapter presents a general view of multibody system concept and definition by describing the main features associated with spatial systems. The mechanical components, which can be modeled as rigid or flexible, are constrained by kinematic pair of different types. Additionally, the bodies can be actuated upon by force elements and external forces due to interaction with environment. This chapter also presents some examples of application of multibody systems that can include automotive vehicles, mechanisms, robots and biomechanical systems.

Analysis of output properties of the Peroxiredoxin/Thioredoxin/Thioredoxin reductase system

Dissertação de mestrado em Bioinformática

Improving selective collection of urban waste using a business intelligence system

Today recovering urban waste requires effective management services, which usually imply sophisticated monitoring and analysis mechanisms. This is essential for the smooth running of the entire recycling process as well as for planning and control urban waste recovering. In this paper we present a business intelligence system especially designed and im- plemented to support regular decision-making tasks on urban waste management processes. The system provides a set of domain-oriented analytical tools for studying and characterizing poten- tial scenarios of collection processes of urban waste, as well as for supporting waste manage- ment in urban areas, allowing for the organization and optimization of collection services. In or- der to clarify the way the system was developed and the how it operates, particularly in process visualization and data analysis, we also present the organization model of the system, the ser- vices it disposes, and the interface platforms for exploring data.

Updating of the hierarchical rock mass rating (HRMR) system and a new subsystem developed for weathered granite formations

The RMR system is still very much applied in rock mechanics engineering context. It is based on the evaluation of six weights to obtain a final rating. To obtain the final rating a considerable amount of information is needed concerning the rock mass which can be difficult to obtain in some projects or project stages at least with accuracy. In 2007 an alternative classification scheme based on the RMR, the Hierarchical Rock Mass Rating (HRMR) was presented. The main feature of this system was the adaptation to the level of knowledge existent about the rock mass to obtain the classification of the rock mass since it followed a decision tree approach. However, the HRMR was only valid for hard rock granites with low fracturing degrees. In this work, the database was enlarged with approximately 40% more cases considering other types of granite rock masses including weathered granites and based on this increased database the system was updated. Granite formations existent in the north of Portugal including Porto city are predominantly granites. Some years ago a light rail infrastructure was built in the city of Porto and surrounding municipalities whi h involved considerable challenges due to the high heterogeneity levels of the granite formations and the difficulties involved in their geomechanical characterization. In this work it is intended to provide also a contribution to improve the characterization of these formations with special emphasis to the weathered horizons. A specific subsystem applicable to the weathered formations was developed. The results of the validation of these systems are presented and show acceptable performances in identifying the correct class using less information than with the RMR system.

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

A novel hanging spherical drop system for the generation of cellular spheroids and high throughput combinatorial drug screening

We propose a novel hanging spherical drop system for anchoring arrays of droplets of cell suspension based on the use of biomimetic superhydrophobic flat substrates, with controlled positional adhesion and minimum contact with a solid substrate. By facing down the platform, it was possible to generate independent spheroid bodies in a high throughput manner, in order to mimic in vivo tumour models on the lab-on-chip scale. To validate this system for drug screening purposes, the toxicity of the anti-cancer drug doxorubicin in cell spheroids was tested and compared to cells in 2D culture. The advantages presented by this platform, such as feasibility of the system and the ability to control the size uniformity of the spheroid, emphasize its potential to be used as a new low cost toolbox for high-throughput drug screening and in cell or tissue engineering.

Glazing daylighting performance and Trombe wall thermal performance of a modular façade system in four different Portuguese cities

This paper reports on a new façade system that uses passive solutions in the search for energy efficiency. The differentials are the versatility and flexibility of the modules, which are important advantages of the system. The thermal performance of Trombe walls and glazings and the daylighting performance of glazing were the key aspects analyzed in the results. Computational simulations were accomplished for the thermal performance of different arrangements of the modules with DesignBuilder software. The glazing daylighting performance was studied by means of Ecotect and Desktop Radiance programs and compared with the transmittance curves of glazings. Occupancy profile and internal gains were fixed according to the Portuguese reality for both studies. The main characteristics considered in this research were the use of two double glazings, four different climates in Portugal and one and two Trombe walls in the façade. The results show an important reduction in the energy consumption with the use of Trombe walls and double self-cleaning glazing in the façade, which also presented better daylighting performance.