Control system for actuation and sensing in digital microfluidics devices

Digital Microfluidics (DMF) is a second generation technique, derived from the conventional microfluidics that instead of using continuous liquid fluxes, it uses only individual droplets driven by external electric signals. In this thesis a new DMF control/sensing system for visualization, droplet control (movement, dispensing, merging and splitting) and real time impedance measurement have been developed. The software for the proposed system was implemented in MATLAB with a graphical user interface. An Arduino was used as control board and dedicated circuits for voltage switching and contacts were designed and implemented in printed circuit boards. A high resolution camera was integrated for visualization. In our new approach, the DMF chips are driven by a dual-tone signal where the sum of two independent ac signals (one for droplet operations and the other for impedance sensing) is applied to the electrodes, and afterwards independently evaluated by a lock-in amplifier. With this new approach we were able to choose the appropriated amplitudes and frequencies for the different proposes (actuation and sensing). The measurements made were used to evaluate the real time droplet impedance enabling the knowledge of its position and velocity. This new approach opens new possibilities for impedance sensing and feedback control in DMF devices.

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.

An agent based architecture to support monitoring in plug and produce manufacturing systems using knowledge extraction

In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.

Development of human central nervous system 3D in vitro models for preclinical research

Neurological disorders are a major concern in modern societies, with increasing prevalence mainly related with the higher life expectancy. Most of the current available therapeutic options can only control and ameliorate the patients’ symptoms, often be-coming refractory over time. Therapeutic breakthroughs and advances have been hampered by the lack of accurate central nervous system (CNS) models. The develop-ment of these models allows the study of the disease onset/progression mechanisms and the preclinical evaluation of novel therapeutics. This has traditionally relied on genetically engineered animal models that often diverge considerably from the human phenotype (developmentally, anatomically and physiologically) and 2D in vitro cell models, which fail to recapitulate the characteristics of the target tissue (cell-cell and cell-matrix interactions, cell polarity). The in vitro recapitulation of CNS phenotypic and functional features requires the implementation of advanced culture strategies that enable to mimic the in vivo struc-tural and molecular complexity. Models based on differentiation of human neural stem cells (hNSC) in 3D cultures have great potential as complementary tools in preclinical research, bridging the gap between human clinical studies and animal models. This thesis aimed at the development of novel human 3D in vitro CNS models by integrat-ing agitation-based culture systems and a wide array of characterization tools. Neural differentiation of hNSC as 3D neurospheres was explored in Chapter 2. Here, it was demonstrated that human midbrain-derived neural progenitor cells from fetal origin (hmNPC) can generate complex tissue-like structures containing functional dopaminergic neurons, as well as astrocytes and oligodendrocytes. Chapter 3 focused on the development of cellular characterization assays for cell aggregates based on light-sheet fluorescence imaging systems, which resulted in increased spatial resolu-tion both for fixed samples or live imaging. The applicability of the developed human 3D cell model for preclinical research was explored in Chapter 4, evaluating the poten-tial of a viral vector candidate for gene therapy. The efficacy and safety of helper-dependent CAV-2 (hd-CAV-2) for gene delivery in human neurons was evaluated, demonstrating increased neuronal tropism, efficient transgene expression and minimal toxicity. The potential of human 3D in vitro CNS models to mimic brain functions was further addressed in Chapter 5. Exploring the use of 13C-labeled substrates and Nucle-ar Magnetic Resonance (NMR) spectroscopy tools, neural metabolic signatures were evaluated showing lineage-specific metabolic specialization and establishment of neu-ron-astrocytic shuttles upon differentiation. Chapter 6 focused on transferring the knowledge and strategies described in the previous chapters for the implementation of a scalable and robust process for the 3D differentiation of hNSC derived from human induced pluripotent stem cells (hiPSC). Here, software-controlled perfusion stirred-tank bioreactors were used as technological system to sustain cell aggregation and dif-ferentiation. The work developed in this thesis provides practical and versatile new in vitro ap-proaches to model the human brain. Furthermore, the culture strategies described herein can be further extended to other sources of neural phenotypes, including pa-tient-derived hiPSC. The combination of this 3D culture strategy with the implemented characterization methods represents a powerful complementary tool applicable in the drug discovery, toxicology and disease modeling.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

A decision support system for a waste collection vehicle routing problem

The selective collection of municipal solid waste for recycling is a very complex and expensive process, where a major issue is to perform cost-efficient waste collection routes. Despite the abundance of commercially available software for fleet management, they often lack the capability to deal properly with sequencing problems and dynamic revision of plans and schedules during process execution. Our approach to achieve better solutions for the waste collection process is to model it as a vehicle routing problem, more specifically as a team orienteering problem where capacity constraints on the vehicles are considered, as well as time windows for the waste collection points and for the vehicles. The final model is called capacitated team orienteering problem with double time windows (CTOPdTW).We developed a genetic algorithm to solve routing problems in waste collection modelled as a CTOPdTW. The results achieved suggest possible reductions of logistic costs in selective waste collection.

Evaluating ubiquitous computing environments using 3D simulation

Human activity is very dynamic and subtle, and most physical environments are also highly dynamic and support a vast range of social practices that do not map directly into any immediate ubiquitous computing functionally. Identifying what is valuable to people is very hard and obviously leads to great uncertainty regarding the type of support needed and the type of resources needed to create such support. We have addressed the issues of system development through the adoption of a Crowdsourced software development model [13]. We have designed and developed Anywhere places, an open and flexible system support infrastructure for Ubiquitous Computing that is based on a balanced combination between global services and applications and situated devices. Evaluation, however, is still an open problem. The characteristics of ubiquitous computing environments make their evaluation very complex: there are no globally accepted metrics and it is very difficult to evaluate large-scale and long-term environments in real contexts. In this paper, we describe a first proposal of an hybrid 3D simulated prototype of Anywhere places that combines simulated and real components to generate a mixed reality which can be used to assess the envisaged ubiquitous computing environments [17].

Renewable energy system for an isolated micro grid

This paper presents the development of the power electronics needed for the interaction between the electrical generator of a wind turbine and an isolated ac micro grid. In this system there are basically two types of receptors for the energy produced by the wind turbine, which are the loads connected to the isolated micro grid and the batteries used to store energy. There are basically two states in which the system will work. One of the states is when there is enough wind power to supply the loads and the extra energy is used to charge the batteries. The other state is when there is low wind power and the batteries have to compensate the lack of power, so that the isolated micro grid has enough power to supply at least the priority loads. In this paper are presented the hardware and the control algorithm for the developed system. The topology was previously tested in computer simulations, using the software PSIM 9.0, and then validated with the implementation of a laboratory prototype.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

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.

Color change using HSB color system of dental resin composites immersed in different common Amazon region beverages

The purpose of this study is to evaluate in vitro the color stability of composite resins when exposed to beverages with high coloring contents from the Amazon region. 240 samples from four different composite brands (Natural Look, Z350, 4Seasons and Opallis) of hue A3 were fabricated using an acrylic matrix. The samples were stored in distilled water at 37ºC for 24 hours. The initial color (T0) was registered using a Canon EOS Rebel XTi 10 mp camera, and then the samples were divided into four groups (n=15): G1 (coffee), G2 (açaí juice), G3 (energetic guaraná) and G4 (control - distilled water). The samples were exposed to solutions of DES (6hs) and RE (18hs) and placed in a double boiler under constant agitation, at 37ºC for 30 days. The samples were immersed in the coloring solutions for 15 minutes daily. After 7, 15 and 30 days, new photographic registers were made (T1, T2 and T3). The images were analyzed using Corel PHOTO-PAINT 12 software to identify the colors through the HSB system. The Kruskal-Wallis and t tests (p<0.05) demonstrated significant differences in color (hue, saturation and brightness). The results revealed that none of the tested composites showed color stability when exposed to coloring solutions, and that the Amazon region beverages (açaí juice and energetic guaraná) showed to be less coloring than coffee.

Evaluation of temperature influence on embedded kinematic system

Dissertação de mestrado integrado em Engenharia Mecânica

Hybrid hypervisor partially deployed on FPGA

Tese de Doutoramento em Engenharia Eletrónica e Computadores.

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.