Simulação de Robôs Quadrúpedes Utilizando o SimMechanics

Desde sempre o Homem procurou automatizar tarefas repetitivas. Tanto na indústria como no sector doméstico ou de comércio estão constantemente a surgir novos equipamentos procurando aumentar o nível de automação de diversas tarefas. A necessidade de empresas criadoras de produtos inovadores se manterem concorrenciais obrigou à adopção de métodos de projecto e planeamento mais estruturados e eficientes que eliminem os desperdícios tanto de material como de tempo. Diversas construções em termos orçamentais e o aumento da procura de produtos de alta qualidade a baixo custo deu origem a um novo tipo de programas, os programas de simulação virtual. Tal como na indústria, também na investigação nas Instituições de Ensino Superior se procuram adoptar os métodos de trabalho mais eficientes possíveis. Uma parte dos programas de simulação robótica utilizados hoje em dia na investigação no Instituto Superior de Engenharia do Porto estão concebidos em linguagem C. Embora esta linguagem seja extremamente capaz, existem métodos mais adequados de simulação que aceleram o processo de modelação permitindo a visualização do movimento e simulação de diversas situações potencialmente criticas sem existir a necessidade de construção de um protótipo funcional do robô. Durante o último ano, este projecto permitiu construir um modelo de um robô quadrúpede num programa de simulação virtual chamado Simmechanics™. Embora haja já algum trabalho desenvolvido nesta área, constatou-se que a informação existente possuía algumas lacunas. Com o trabalho desenvolvido preparou-se esta dissertação que pretende clarificar algumas questões que surgem na modelação de um robô. Neste documento explica-se como modelar um robô de corpo flexível, modelar as pernas e as respectivas juntas da anca e do joelho assim como também se apresenta a modelação de um contacto com o solo recorrendo a um modelo descrito na literatura. Este documento foi escrito a pensar no leitor, procurando-se explicar de forma simples mas concisa os diversos passos necessários para construir um modelo virtual de um robô. O autor espera, desta forma, ajudar futuros colegas que pretendam trabalhar com o Simmechanics™ a mais facilmente se integrarem com o programa aumentando desta forma o declive da curva de aprendizagem e permitindo um maior aproveitamento desta ferramenta.

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..

“Green Electrodes” Modified with Au Nanoparticles Synthesized in Glycerol, as Electrochemical Nitrite Sensor

A new environmentally friendly Au nanoparticles (Au NPs) synthesis in glycerol by using ultraviolet irradiation and without extra-added stabilizers is described. The synthesis proposed in this work may impact on the non-polluting production of noble nanoparticles with simple chemicals normally found in standard laboratories. These Au NPs were used to modify a carbon paste electrode (CPE) without having to separate them from the reaction medium. This green electrode was used as an electrochemical sensor for the nitrite detection in water. At the optimum conditions the green sensor presented a linear response in the 2.0×10−7–1.5×10−5 M concentration range, a good detection sensitivity (0.268 A L mol−1), and a low detection limit of 2.0×10−7 M of nitrite. The proposed modified green CPE was used to determine nitrite in tap water samples.

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.

Effects of tissue handling and processing steps on PCR for detection of Mycobacterium tuberculosis in formalin-fixed paraffin-embedded samples

Development and standardization of reliable methods for detection of Mycobacterium tuberculosis in clinical samples is an important goal in laboratories throughout the world. In this work, lung and spleen fragments from a patient who died with the diagnosis of miliary tuberculosis were used to evaluate the influence of the type of fixative as well as the fixation and paraffin inclusion protocols on PCR performance in paraffin embedded specimens. Tissue fragments were fixed for four h to 48 h, using either 10% non-buffered or 10% buffered formalin, and embedded in pure paraffin or paraffin mixed with bee wax. Specimens were submitted to PCR for amplification of the human beta-actin gene and separately for amplification of the insertion sequence IS6110, specific from the M. tuberculosis complex. Amplification of the beta-actin gene was positive in all samples. No amplicons were generated by PCR-IS6110 when lung tissue fragments were fixed using 10% non-buffered formalin and were embedded in paraffin containing bee wax. In conclusion, combined inhibitory factors interfere in the detection of M. tuberculosis in stored material. It is important to control these inhibitory factors in order to implement molecular diagnosis in pathology laboratories.

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.

Segurança de Redes em Sistemas de Experimentação Remota

O crescimento dos sistemas de informação e a sua utilização massiva criou uma nova realidade no acesso a experiências remotas que se encontram geograficamente distribuídas. Nestes últimos tempos, a temática dos laboratórios remotos apareceu nos mais diversos campos como o do ensino ou o de sistemas industriais de controlo e monitorização. Como o acesso aos laboratórios é efectuado através de um meio permissivo como é o caso da Internet, a informação pode estar à mercê de qualquer atacante. Assim, é necessário garantir a segurança do acesso, de forma a criar condições para que não se verifique a adulteração dos valores obtidos, bem como a existência de acessos não permitidos. Os mecanismos de segurança adoptados devem ter em consideração a necessidade de autenticação e autorização, sendo estes pontos críticos no que respeita à segurança, pois estes laboratórios podem estar a controlar equipamentos sensíveis e dispendiosos, podendo até eventualmente comprometer em certos casos o controlo e a monotorização de sistemas industriais. Este trabalho teve como objectivo a análise da segurança em redes, tendo sido realizado um estudo sobre os vários conceitos e mecanismos de segurança necessários para garantir a segurança nas comunicações entre laboratórios remotos. Dele resultam as três soluções apresentadas de comunicação segura para laboratórios remotos distribuídos geograficamente, recorrendo às tecnologias IPSec, OpenVPN e PPTP. De forma a minimizar custos, toda a implementação foi assente em software de código aberto e na utilização de um computador de baixo custo. No que respeita à criação das VPNs, estas foram configuradas de modo a permitir obter os resultados pretendidos na criação de uma ligação segura para laboratórios remotos. O pfSense mostrou-se a escolha acertada visto que suporta nativamente quaisquer das tecnologias que foram estudadas e implementadas, sem necessidade de usar recursos físicos muito caros, permitindo o uso de tecnologias de código aberto sem comprometer a segurança no funcionamento das soluções que suportam a segurança nas comunicações dos laboratórios remotos.

Validation of a rapid stool antigen test for diagnosis of Helicobacter pylori infection

The aim of this study was to validate the rapid lateral flow Helicobacter pylori stool antigen test (One step H. pylori antigen test, ACON laboratories, San Diego, USA; Prime diagnostics, São Paulo), using 13C-Urea Breath Test as the gold standard for H. pylori infection diagnosis. A total of 98 consecutive patients, asymptomatic or dyspeptic, entered the study. Sixty-nine were women, with a mean age of 45.76 ± 14.59 years (14 to 79 years). In the H. pylori-positive group, the rapid stool antigen test detected H. pylori antigen in 44 of the 50 positive patients (sensitivity 88%; 95% CI: 75.7-95.5%), and six false-negative; and in the H. pylori-negative group 42 presented negative results (specificity 87.5%; 95% CI: 74.7-95.3%), and six false-positive, showing a substantial agreement (Kappa Index = 0.75; p < 0.0001; 95% CI: 0.6-0.9). Forty four of fifty patients that had positive stool antigen were H. pylori-positive, the PPV of the stool antigen test was 88% (95% CI: 75.7-95.5%), and 42 patients with negative stool antigen test were H. pylori-negative, the NPV of the stool antigen test was 87.5% (95% CI: 74.7-95.3%). We conclude that the lateral flow stool antigen test can be used as an alternative to breath test for H. pylori infection diagnosis especially in developing countries.

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

Comparison of five methods for oxacillin susceptibility testing of Staphylococcus aureus isolates from cystic fibrosis patients

Methicillin-resistant Staphylococcus aureus (MRSA) are now a worldwide problem. Cystic fibrosis (CF) patients are commonly colonized and infected by MRSA. Accurate oxacillin susceptibility testing is mandatory for the adequate management of these patients. We performed a comparison of the accuracy of different tests in CF isolates, including methicillin-susceptible S. aureus and MRSA with different SCCmec types, and using the mecA gene as the gold-standard. The sensitivity and specificity of oxacillin disc, Etest, and oxacillin agar screening plate were 100%. Sensitivity of the cefoxitin disc was 85% and specificity was 100%. For clinically relevant isolates, laboratories may consider the use of a combination of two phenotypic methods.

HOOKWORM AND THREADWORM INFECTIONS AND THEIR ASSOCIATION WITH HEMOGLOBIN AND EOSINOPHIL CONCENTRATIONS IN RESIDENTS OF SALVADOR-BAHIA, BRAZIL

SUMMARY Parasitic infections are responsible for substantial mortality and morbidity worldwide. In most healthy individuals, little overt pathology is observed during infection with S. stercoralis. However, the symptoms in advanced cases may include gastrointestinal bleeding. Anemia is most commonly associated with hookworm infection, especially when several hundred worms are present. Our study evaluates the relationship between the hookworm or S. stercoralis infection status and the hemoglobin concentration of individuals examined by a private network of laboratories in Salvador, Bahia, Brazil. We examined 374,120 samples from middle-class individuals living in Salvador City from January 2004 to April 2008. The stool samples were analyzed by the Lutz and Baermann-Moraes methods, and the blood samples were analyzed for hemoglobin concentration and eosinophil counting. The prevalence of hookworm and S. stercoralis were 0.27% (1,027) and 0.34% (1,286), respectively. The prevalence of hookworm and S. stercoralis infection was significantly higher in males than in females and increased with age. Eosinophilia was a common laboratorial finding in individuals infected with hookworm and S. stercoralis. The hemoglobin concentration was lower in the hookworm-infected individuals than in non-infected ones, but none of the examined patients were anemic. Lack of anemia could be a consequence of the socioeconomic status of these patients.

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