Hard real-time multiprocessor scheduling resilient to core failures

Presented at 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015, pp 122-131. Hong Kong, China.

Dispersão da Refractariedade Auricular como Substrato Electrofisiológico da Vulnerabilidade Auricular em Doentes com Fibrilhação Auricular Paroxística

Atrial electrical remodeling plays a part in recurrence of atrial fibrillation (AF). It has been related to an increase in heterogeneity of atrial refractoriness that facilitates the occurrence of multiple reentry wavelets and vulnerability to AF. AIM: To examine the relationship between dispersion of atrial refractoriness (Disp_A) and vulnerability to AF induction (A_Vuln) in patients with clinical paroxysmal AF (PAF). METHODS: Thirty-six patients (22 male; age 55+/-13 years) with > or =1 year of history of PAF (no underlying structural heart disease--n=20, systemic hypertension--n=14, mitral valve prolapse--n=1, surgically corrected pulmonary stenosis--n=1), underwent electrophysiological study (EPS) while off medication. The atrial effective refractory period (AERP) was assessed at five different sites--high (HRA) and low (LRA) lateral right atrium, high interatrial septum (IAS), proximal (pCS) and distal (dCS) coronary sinus--during a cycle length of 600 ms. AERP was taken as the longest S1-S2 interval that failed to initiate a propagation response. Disp_A was calculated as the difference between the longest and shortest AERP. A_Vuln was defined as the ability to induce AF with 1-2 extrastimuli or with incremental atrial pacing (600-300 ms) from the HRA or dCS. The EPS included analysis of focal electrical activity based on the presence of supraventricular ectopic beats (spontaneous or with provocative maneuvers). The patients were divided into group A--AF inducible (n=25) and group B--AF not inducible (n=11). Disp_A was analyzed to determine any association with A_Vuln. Disp_A and A_Vuln were also examined in those patients with documented repetitive focal activity. Logistic regression was used to determine any association of the following variables with A_Vuln: age, systemic hypertension, left ventricular hypertrophy, left atrial size, left ventricular function, duration of PAF, documented atrial flutter/tachycardia and Disp_A. RESULTS: There were no significant differences between the groups with regard to clinical characteristics and echocardiographic data. AF was inducible in 71% of the patients and noninducible in 29%. Group A had greater Disp_A compared to group B (105+/-78 ms vs. 49+/-20 ms; p=0.01). Disp_A was >40 ms in 50% of the patients without A_Vuln and in 91% of those with A_Vuln (p=0.05). Focal activity was demonstrated in 14 cases (39%), 57% of them with A_Vuln. Disp_A was 56+/-23 ms in this group and 92+/-78 ms in the others (p=0.07). Using logistic regression, the only predictor of A_Vuln was Disp_A (p=0.05). CONCLUSION: In patients with paroxysmal AF, Disp_A is a major determinant of A_Vuln. Nevertheless, the degree of nonuniformity of AERP appears to be less important as an electrophysiological substrate for AF due to focal activation.

Simulation Environment for Multi-Robot Cooperative 3D Target Perception

4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014

Estado da Arte da Computação Evolutiva Aplicada à Eletrónica

A Computação Evolutiva enquadra-se na área da Inteligência Artificial e é um ramo das ciências da computação que tem vindo a ser aplicado na resolução de problemas em diversas áreas da Engenharia. Este trabalho apresenta o estado da arte da Computação Evolutiva, assim como algumas das suas aplicações no ramo da eletrónica, denominada Eletrónica Evolutiva (ou Hardware Evolutivo), enfatizando a síntese de circuitos digitais combinatórios. Em primeiro lugar apresenta-se a Inteligência Artificial, passando à Computação Evolutiva, nas suas principais vertentes: os Algoritmos Evolutivos baseados no processo da evolução das espécies de Charles Darwin e a Inteligência dos Enxames baseada no comportamento coletivo de alguns animais. No que diz respeito aos Algoritmos Evolutivos, descrevem-se as estratégias evolutivas, a programação genética, a programação evolutiva e com maior ênfase, os Algoritmos Genéticos. Em relação à Inteligência dos Enxames, descreve-se a otimização por colônia de formigas e a otimização por enxame de partículas. Em simultâneo realizou-se também um estudo da Eletrónica Evolutiva, explicando sucintamente algumas das áreas de aplicação, entre elas: a robótica, as FPGA, o roteamento de placas de circuito impresso, a síntese de circuitos digitais e analógicos, as telecomunicações e os controladores. A título de concretizar o estudo efetuado, apresenta-se um caso de estudo da aplicação dos algoritmos genéticos na síntese de circuitos digitais combinatórios, com base na análise e comparação de três referências de autores distintos. Com este estudo foi possível comparar, não só os resultados obtidos por cada um dos autores, mas também a forma como os algoritmos genéticos foram implementados, nomeadamente no que diz respeito aos parâmetros, operadores genéticos utilizados, função de avaliação, implementação em hardware e tipo de codificação do circuito.

Towards realistic core-failure-resilient scheduling and analysis

Presented at IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Generalized convolution

The paper revisits the convolution operator and addresses its generalization in the perspective of fractional calculus. Two examples demonstrate the feasibility of the concept using analytical expressions and the inverse Fourier transform, for real and complex orders. Two approximate calculation schemes in the time domain are also tested.

Effective swimmer’s action during the grab start technique

The external forces applied in swimming starts have been often studied, but using direct analysis and simple interpretation data processes. This study aimed to develop a tool for vertical and horizontal force assessment based on the swimmers' propulsive and structural forces (passive forces due to dead weight) applied during the block phase. Four methodological pathways were followed: the experimented fall of a rigid body, the swimmers' inertia effect, the development of a mathematical model to describe the outcome of the rigid body fall and its generalization to include the effects of the inertia, and the experimental swimmers' starting protocol analysed with the inclusion of the developed mathematical tool. The first three methodological steps resulted in the description and computation of the passive force components. At the fourth step, six well-trained swimmers performed three 15 m maximal grab start trials and three-dimensional (3D) kinetic data were obtained using a six degrees of freedom force plate. The passive force contribution to the start performance obtained from the model was subtracted from the experimental force due to the swimmers resulting in the swimmers' active forces. As expected, the swimmers' vertical and horizontal active forces accounted for the maximum variability contribution of the experimental forces. It was found that the active force profile for the vertical and horizontal components resembled one another. These findings should be considered in clarifying the active swimmers' force variability and the respective geometrical profile as indicators to redefine steering strategies.

Gesture based interface for image annotation

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Modeling assembly program with constraints. A contribution to WCET problem

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

A learning approach to swarm-based path detection and tracking

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Web competitive intelligence methodology

Master’s Degree Dissertation

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Algorithms for information extraction and signal annotation on long-term biosignals using clustering techniques

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica