Per-unit royalty and fixed-fee licensing in a differentiated Stackelberg model

In the present paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a per-unit royalty and a fixed-fee. We analyse the implications of these types of licensing contracts over the R&D effort, the profits of the firms, the consumer surplus and the social welfare. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results.

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.

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.

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.

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.

Desenvolvimento de um Protótipo de Dispensador Automático de Medicamentos

O número de pessoas com idade superior a 65 anos aumentou consideravelmente nos últimos 40 anos. Este incremento de longevidade tem levado ao aparecimento de varias patologias relacionadas com a idade e ao aumento da prevalência das patologias cronicas. Uma grande maioria desta população e poli-medicada e assim sendo a gestão de medicamentos e uma área que pode proporcionar grandes benefícios aos idosos. A grande quantidade de medicamentos assim como as diferentes dosagens e os diferentes horários de toma fazem com que os idosos se confundam no cumprimento do esquema terapêutico aconselhado pelo medico, nomeadamente devido ao declínio cognitivo a que estão sujeitos devido ao envelhecimento humano. Torna-se, portanto, fundamental o desenvolvimento de sistemas inteligentes que auxiliem os idosos na gestão da sua medicação. A presente dissertação de mestrado foi materializada num dispositivo, designado ElderlySafety, que visa responder aos problemas da poli-medicação, através de uma solução tecnológica que incorpora as vertentes de controlo e comunicação. O objectivo do ElderlySafety e relembrar, de forma automática, o idoso da toma atempada dos seus medicamentos e consiste num prototipo de um dispositivo com varias compartições para organização dos vários medicamentos. Este aparelho apresenta 24 compartimentos, um deles referente a uma posição estática, considerada a posição `home' e os restantes dizem respeito a 23 tomas de medicação durante uma semana. Os compartimentos em questão devem ser preenchidos com a devida medicação, pelo cuidador do idoso, no inicio de cada semana. O aparelho esta conectado via Bluetooth a uma aplicação denominada ElderlySafety Online que permite monitorizar todo o sistema. E aqui que e feito o registo, com data, hora e nome do medicamento, de toda a medicação prescrita ao paciente. Também e possível a verificação de possíveis interações medicamentosas, bem como o acesso a informações acerca do que fazer em caso de esquecimento de uma ou mais tomas. Aquando a chegada da data e hora da toma de cada medicação, o aparelho desenvolvido emite um lembrete ao idoso e esse lembrete e feito através de um alerta luminoso. Se o sistema ElderlySafety verificar que o idoso se esquece da toma dos medicamentos tem a capacidade de interagir via e-mail com o cuidador, que poder a ser um familiar próximo, alertando-o para o esquecimento da toma de medicação do paciente a seu cuidado. Os testes de validação realizados ao ElderlySafety revelaram que o prototipo se mostra funcional e apto para integrar um ambiente de vida assistido de qualquer idoso.

Conceção e Análise de um Demonstrador para a Monitorização Estrutural

Os sistemas de monitorização de estruturas fornecem diversas vantagens, não só no que diz respeito à durabilidade da obra, ao aumento da segurança e do conhecimento relativamente ao comportamento das estruturas ao longo do tempo, à otimização do aspeto estrutural, bem como aos aspetos económicos do processo de construção e manutenção. A monitorização deve realizar-se durante a fase de construção e/ou de exploração da obra para permitir o registo integral do seu comportamento no meio externo. Deve efetuar-se de forma contínua e automática, executando intervenções de rotina para que se possa detetar precocemente sinais de alterações, respetivamente à segurança, integridade e desempenho funcional. Assim se poderá manter a estrutura dentro de parâmetros aceitáveis de segurança. Assim, na presente dissertação será concebido um demonstrador experimental, para ser estudado em laboratório, no qual será implementado um sistema de monitorização contínuo e automático. Sobre este demonstrador será feita uma análise de diferentes grandezas em medição, tais como: deslocamentos, extensões, temperatura, rotações e acelerações. Com carácter inovador, pretende-se ainda incluir neste modelo em sintonia de medição de coordenadas GNSS com o qual se torna possível medir deslocamentos absolutos. Os resultados experimentais alcançados serão analisados e comparados com modelos numéricos. Conferem-se os resultados experimentais de natureza estática e dinâmica, com os resultados numéricos de dois modelos de elementos finitos: um de barras e outro de casca. Realizaram-se diferentes abordagens tendo em conta as características identificadas por via experimental e calculadas nos modelos numéricos para melhor ajuste e calibração dos modelos numéricos Por fim, recorre-se a algoritmos de processamento e tratamento do respetivo sinal com aplicação de filtros, que revelam melhorar com rigor o sinal, de forma a potenciar as técnicas de fusão multisensor. Pretende-se integrar o sinal GNSS com os demais sensores presentes no sistema de monitorização. As técnicas de fusão multisensor visam melhor o desempenho deste potencial sistema de medição, demonstrando as suas valências no domínio da monitorização estrutural.