Evaluation of temperature influence on embedded kinematic system

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

A bio-inspired computational model for motion detection

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Desenvolvimento de um laboratório pedagógico de vias de comunicação na Universidade do Minho

Dissertação de mestrado integrado em Engenharia Civil

Embedding, evolution, and validation of model-driven spreadsheets

This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system. This means that we enable the creation and evolution of spreadsheet models under a spreadsheet system. More precisely, we embed ClassSheets, a visual language with a syntax similar to the one offered by common spreadsheets, that was created with the aim of specifying spreadsheets. Our embedding allows models and their conforming instances to be developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved.Finally,wehave designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

A spectrophotometry based blood typing device

Blood typing is a crucial step before any blood transfusion. However, sometimes in emergency situations there is no time to determine the blood of the patient beforehand. In this cases, O negative blood type is administered, which has a lesser incompatibility risk to the patient. Nowadays, the “gold standard” blood typing devices cannot be used in emergency situations due to their high response time (about 30 minutes). This paper reports a blood typing device that determines the ABO and Rh human phenotypes. This device is fast (response time – 5 min), low-cost, and portable. Characteristics that make it suitable to be used in emergency situations, contributing to a higher efficiency and quality in healthcare.

PDMS encasing system for integrated lab-on-chip Ag/AgCl reference electrodes

Poly(dimethylsiloxane) (PDMS) is an organosilicon polymer widely used in the fabrication of microfluidic systems to integrate biochips. In this study, we propose the use of an adapted PDMS mould for the creation of a miniaturized, reusable, reference electrode for in-chip electrochemical measurements. Through its integrated microfluidic system it is possible to replenish internal buffer solutions, unclog critical junctions and treat the electrode’s surface, assuring a long term reuse of the same device. Planar Ag/AgCl reference electrodes were microfabricated over a passivated p-type Silicon Wafer. The PDMS mould, containing an integrated microfluidic system, was fabricated based on patterned SU-8 mould, which includes a lateral horizontal inlet access point. Surface oxidation was used for irreversible permanent bondage between flat surfaces. The final result was planar Ag/AgCl reference electrode with integrated microfluidic that allows for electrochemical analysis in biochips

PDMS biofunctionalization study for the development of a microfluidic device: Application to salivary cortisol

The authors acknowledge to Sofia Neves from ICVS for her help in the antibodies selection.

Patterned CNT-PDMS nanocomposites for flexible pressure sensors

This paper reports the fabrication process and characterization of a flexible pressure sensor based on polydimethylsiloxane (PDMS) and multi-walled carbon nanotubes (CNT-PDMS). The proposed approach relies on patterned CNT-PDMS nanocomposite strain gauges fabricated with SU-8 microstructures (with the micropatterns) in a low‑cost and simple fabrication process. This nanocomposite polymer is mounted over a PDMS membrane, which, in turn, lies on top of a PDMS diaphragm like structure. This configuration enables the PDMS membrane to bend when pressure is applied, thereby affecting the nanocomposite strain gauges, effectively changing their electrical resistance. Carbon nanotubes have several advantages such as excellent mechanical properties, high electrical conductivity and thermal stability. Furthermore, the measurement range of the proposed sensor can be adapted according to the application by varying the CNTs content and geometry of microstructure. In addition, the sensor’s biocompatibility, low cost and simple fabrication makes it very appealing for biomechanical strain sensing. The sensor’s sensitivity was about 0.073%ΔR/mmHg.

Parameter identification of the fermentative production of fructo-oligosaccharides by Aureobasidium pullulans

In this study, a mathematical model for the production of Fructo-oligosaccharides (FOS) by Aureobasidium pullulans is developed. This model contains a relatively large set of unknown parameters, and the identification problem is analyzed using simulation data, as well as experimental data. Batch experiments were not sufficiently informative to uniquely estimate all the unknown parameters, thus, additional experiments have to be achieved in fed-batch mode to supplement the missing information. © 2015 IEEE.

Treating the entire person

[Excerpt] A critical case from a Portuguese hospital reveals how the ultimate healthcare customer, the patient, is a complete system, not a jumble of parts. (...) The lean production philosophy has made inroads into service sectors, including medical care in the United Kingdom and the United States. Unfortunately, numerous medical organizations in those two countries and the rest of the world treat patients like they are made up of parts, not as a whole system. This leads to disjointed handoffs, bottlenecks in information flow that delay treatment, and sending the patient back and forth from department to department. The following case in Portugal shows how most of the world’s health systems still suffer from functional silos and how waste is all over the place. In this case, the missing links in communication between doctors, nurses, auxiliary staff, the patient and her family led to the patient’s death. Adopting lean healthcare with its proven tools would be a solution to many of the problems described. When a patient dies in a hospital, the family often is told that the doctors did everything they could. Normally, that is the case, as healthcare providers – doctors, nurses, auxiliary staff, therapists – do their best with the system they have.

Definição de indicadores para estimar custos de projeto e análise paramétrica dos eurocódigos estruturais

Dissertação de mestrado integrado em Engenharia Civil

Influência da técnica da elaboração de provetes laboratoriais na quantificação da deformabilidade e resistência mecânica dos solos

Dissertação de mestrado integrado em Engenharia Civil

Safety management of cranes on construction sites in Portugal: Critical factors of safety

The evolution of the construction caused a need to use more effective equipments, capable of meeting the increasingly demanding deadlines for the completion of works. In this context, the safety and efficiency of equipment have become key aspects in order to optimize the execution time of the works, as well as reducing labor costs and loss of materials. With the evolution of construction and construction processes, cranes have come to represent a signal of the construction of buildings, revealing to be, in most of the cases, the main equipment of construction sites. Currently, some engineers revels some apprehension regarding the use and handling of cranes which is natural and acceptable, since an equipment failure can lead to serious or fatal accidents. The factors affecting safety management of the cranes in construction sites were investigated, identified, classified and evaluated according to their degree of importance, through interviews with representatives of the general contractors of a set of selected construction sites.

Experimental validation of a proposed single-phase five-level active rectifier operating with model predictive current control

This paper presents a model predictive current control applied to a proposed single-phase five-level active rectifier (FLAR). This current control strategy uses the discrete-time nature of the active rectifier to define its state in each sampling interval. Although the switching frequency is not constant, this current control strategy allows to follow the reference with low total harmonic distortion (THDF). The implementation of the active rectifier that was used to obtain the experimental results is described in detail along the paper, presenting the circuit topology, the principle of operation, the power theory, and the current control strategy. The experimental results confirm the robustness and good performance (with low current THDF and controlled output voltage) of the proposed single-phase FLAR operating with model predictive current control.