Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

A Fractional Calculus Perspective in the Evolutionary Design of Combinational Circuits

This paper analyses the performance of a genetic algorithm (GA) in the synthesis of digital circuits using two novel approaches. The first concept consists in improving the static fitness function by including a discontinuity evaluation. The measure of variability in the error of the Boolean table has similarities with the function continuity issue in classical calculus. The second concept extends the static fitness by introducing a fractional-order dynamical evaluation.

New Concepts Towards the Synthesis of Digital Circuits Through Genetic Algorithms

This paper analyses the performance of a Genetic Algorithm using two new concepts, namely a static fitness function including a discontinuity measure and a fractional-order dynamic fitness function, for the synthesis of combinational logic circuits. In both cases, experiments reveal superior results in terms of speed and convergence to achieve a solution.

Ontologies learn by searching

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

Combining sparse and dense methods in 6D Visual Odometry

13th International Conference on Autonomous Robot Systems (Robotica), 2013, Lisboa

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Myoelectric Signal Monitoring System

The Electromyography (EMG) is an important tool for gait analyzes and disorders diagnoses. Traditional methods involve equipment that can disturb the analyses, being gradually substituted by different approaches, like wearable and wireless systems. The cable replacement for autonomous systems demands for technologies capable of meeting the power constraints. This work presents the development of an EMG and kinematic data capture wireless module, designed taking into account power consumption issues. This module captures and converts the analog myoeletric signal to digital, synchronously with the capture of kinetic information. Both data are time multiplexed and sent to a PC via Bluetooth link. The work carried out comprised the development of the hardware, the firmware and a graphical interface running in an external PC. The hardware was developed using the PIC18F14K22, a low power family of microcontrollers. The link was established via Bluetooth, a protocol designed for low power communication. An application was also developed to recover and trace the signal to a Graphic User Interface (GUI), coordinating the message exchange with the firmware. Results were obtained which allowed validating the conceived system in static and with the subject performing short movements. Although it was not possible to perform the tests within more dynamic movements, it is shown that it is possible to capture, transmit and display the captured data as expected. Some suggestions to improve the system performance also were made.

Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs

Presented at Embed with Linux Workshop (EWiLi 2015). 4 to 9, Oct, 2015. Amsterdam, Netherlands.

Feasibility and acceptability of an exergame intervention for schizophrenia

Objectives To evaluate the feasibility and acceptability of an exergame intervention as a tool to promote physical activity in outpatients with schizophrenia. Design Feasibility/Acceptability Study and Quasi-Experimental Trial. Method Sixteen outpatients with schizophrenia received treatment as usual and they all completed an 8-week exergame intervention using Microsoft Kinect® (20 min sessions, biweekly). Participants completed pre and post treatment assessments regarding functional mobility (Timed Up and Go Test), functional fitness performance (Senior Fitness Test), motor neurological soft signs (Brief Motor Scale), hand grip strength (digital dynamometer), static balance (force plate), speed of processing (Trail Making Test), schizophrenia-related symptoms (Positive and Negative Syndrome Scale) and functioning (Personal and Social Performance Scale). The EG group completed an acceptability questionnaire after the intervention. Results Attrition rate was 18.75% and 69.23% of the participants completed the intervention within the proposed schedule. Baseline clinical traits were not related to game performance indicators. Over 90% of the participants rated the intervention as satisfactory and interactive. Most participants (76.9%) agreed that this intervention promotes healthier lifestyles and is an acceptable alternative to perform physical activity. Repeated-measures MANOVA analyses found no significant multivariate effects for combined outcomes. Conclusion This study established the feasibility and acceptability of an exergame intervention for outpatients with schizophrenia. The intervention proved to be an appealing alternative to physical activity. Future trials should include larger sample sizes, explore patients' adherence to home-based exergames and consider greater intervention dosage (length, session duration, and/or frequency) in order to achieve potential effects.

Molecular characterization of environmental Cryptococcus neoformans isolated in Vitoria, ES, Brazil

Cryptococcus neoformans is the major cause of fungal meningitis, a potentially lethal mycosis. Bird excreta can be considered a significant environmental reservoir of this species in urban areas, thirty-three samples of pigeon excreta were collected within the city of Vitoria, Brazil. Cryptococcus neoformans was isolated and identified using standard biochemical assays in ten samples. PCR amplification with primer M13 and orotidine monophosphate pyrophosphorylase (URA5) gene-restriction fragment length polymorphism (RFLP) analysis discerned serotypes and genotypes within this species. All isolates were serotype A (C. neoformans var. grubii) and genotype VNI. The two alternative alleles a and α at the mating type locus were determined by PCR amplification and mating assays performed on V8 medium. All isolates were MAT α mating type but only 50% were able to mate in vitro with the opposite mating type MAT a tester strains (JEC20, KN99a and Bt63). This study adds information on the ecology and molecular characterization of C. neoformans in the Southeast region of Brazil.

Simulation of masonry out-of-plane failure modes by multi-body dynamics

The seismic assessment of the local failure modes in existing masonry buildings is currently based on the identification of the so-called local mechanisms, often associated with the out-of-plane wall behavior, whose stability is evaluated by static force-based approaches and, more recently, by some displacement-based proposals. Local mechanisms consist of kinematic chains of masonry portions, often regarded as rigid bodies, with geometric nonlinearity and concentrated nonlinearity in predefined contact regions (unilateral no-tension behavior, possible sliding with friction). In this work, the dynamic behavior of local mechanisms is simulated through multi-body dynamics, to obtain the nonlinear response with efficient time history analyses that directly take into account the characteristics of the ground motion. The amplification/filtering effects of the structure are considered within the input motion. The proposed approach is validated with experimental results of two full-scale shaking-table tests on stone masonry buildings: a sacco-stone masonry façade tested at Laboratório Nacional de Engenharia Civil and a two-storey double-leaf masonry building tested at European Centre for Training and Research in Earthquake Engineering (EUCENTRE).

Projecto de estruturas de uma passagem superior em madeira

Este projecto visa um estudo de uma solução para uma ponte pedonal de Madeira Lamelada Colada (MLC) entre o Hospital Pedro Hispano e o Norte-Shopping, localizada na Senhor da Hora. Inicialmente foram analisadas diversas variantes, com vários tipos de sistemas, sendo adoptada uma ponte formada por dois arcos, que se aproximam à medida que se afastam dos encontros unidos por contraventamentos em cruz. O tabuleiro encontra-se suspenso por tirantes e apoiados dos dois lados nos encontros. Foi realizado uma pequena introdução histórica da utilização da madeira enquanto material de construção, a sua fabricação e os vários tipos de pontes pedonais em MLC. O uso da madeira em estruturas fez com que a abordagem do Eurocódigo 5 (EC5) tivesse uma maior importância. A estrutura é modelada no programa de cálculo “DLUBAL ” através de um modelo de barras tridimensional de modo a efectuar uma análise estática e dinâmica global, recorrendo-se para tal a normas e princípios gerais de verificação de segurança dos regulamentos Europeus, nomeadamente os Eurocódigos das várias especialidades. Apresentam-se em anexo vários desenhos da ponte, desenhos das peças de ligação, o mapa de trabalhos e quantidades, ideias preliminares, dimensionamento e a escolha dos ligadores e por fim os diagramas de esforços dos elementos aos Estados-limite Último.

Simuladores Fisiológicos na avaliação metrológica de esfigmomanómetros

Este documento apresenta uma avaliação sobre o uso dos simuladores fisiológicos como padrão para avaliação metrológica dos esfigmomanómetros automáticos na estimação da pressão sanguínea pelo método não invasivo (PNI). O presente estudo procurou avaliar o enquadramento destes equipamentos com os procedimentos das normas e recomendações usadas para apreciação metrológica dos esfigmomanómetros digitais. No contexto da prática metrológica existente determinou-se a existência de uma oportunidade de melhoria nos processos relacionados. O trabalho procurou obter resposta a diversas questões, relacionando a medição da pressão pelo método não invasivo, com o uso dos simuladores fisiológicos, o contexto em que estes podem ser usados, as formas de simulação, as medições e os resultados, procurando a perspetiva metrológica como enquadramento. As recomendações existentes [1] [2] [3] [4] [5] [6] [7] [8], são muito claras nos procedimentos, validação e nos desvios permitidos para os monitores da tensão arterial (MTA), equipamento que permite a avaliação dos parâmetros fisiológicos do paciente, no entanto, quando se pretende avançar para outro domínio, como o do uso dos simuladores, em particular para a simulação da PNI, não existem recomendações ou normas tão claras, e não existe sobretudo um padrão de referência que imite a natureza dinâmica que caracteriza a pressão sanguínea. O trabalho procurou ainda estabelecer a ligação entre o método clássico de auscultação (o principio de determinação da PS), a técnica digital de medição e os simuladores, para uma melhor compreensão do que é a pressão sanguínea, e como relacionar a problemática da simulação e a de um padrão de referência. Neste trabalho estão ainda presentes abordagens a diversos tópicos, como as validações clínicas, acessórios, ou a metrologia e que influenciam no final os equipamentos e o contexto que se pretende avaliar. Os diversos equipamentos testados procuraram conter amostras diversificadas, quer para os MTA de uso profissional ou doméstico, assim como para os simuladores. A avaliação dos simuladores foi realizada contra um grupo de MTAs. Foi testada a influência na medição, causada pela mudança de acessórios, ou seja, nos resultados, merecendo consideração pela perspetiva metrológica. No resumo dos testes e do estudo sobre este tema, verificou-se que esta tipologia de equipamentos pode contribuir como complemento do processo de calibração típico (estático). Não constitui por si só um método alternativo, mas permitiu estimar possíveis limites de erro e desvio padrão a partir da observação dos resultados práticos, limites esses inferiores aos processos de validação clínica. Atendendo às particularidades, estimou-se como desvio aceitável um erro mais desvio padrão de 5 + 3 mmHg para o processo de simulação. Contudo considera-se ainda importante os testes adicionais em que o simulador permite, ao verificar as medidas de segurança implementadas no equipamento e a condição dos acessórios, que como verificado afetam os resultados. No entanto nem todos os simuladores se mostram adequados a este processo pelo que a qualidade da seleção do equipamento para este fim pode eventualmente reduzir ainda mais os possíveis limites.

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Efeito do Vento como Ação Dinâmica em Edifícios Altos

Este trabalho aborda uma série de conceitos base no que concerne à ação do vento sobre edifícios altos, começando por ser estabelecidas algumas considerações fundamentais acerca da circulação do vento na camada limite atmosférica bem como acerca da sua interação com as estruturas. É feita uma análise da metodologia proposta pelo Eurocódigo 1 para quantificação de tal ação sobre os edifícios, bem como é elaborada uma comparação da metodologia proposta por este com a metodologia ainda vigente na regulamentação portuguesa. Foram modelados computacionalmente, com recurso a um programa de cálculo estrutural automático, três edifícios altos com diferente secção geométrica em planta que servirão de caso de estudo. Para estes mesmos edifícios são aplicados os dois regulamentos considerados com vista à determinação de esforços e deslocamentos. Sendo os edifícios altos um género de estruturas capazes de ser excitadas dinamicamente perante a ação do vento, adota-se uma metodologia para quantificação desta ação de forma dinâmica na direção do escoamento. Assim, é obtida a resposta dinâmica ao longo do tempo em termos de deslocamentos e acelerações para o caso de estudo considerado e é feita uma comparação da resposta do edifício quadrangular sob a ação dinâmica do vento com a resposta estática regulamentar.