Middleware for Large-scale Distributed Systems

Nos últimos anos o aumento exponencial da utilização de dispositivos móveis e serviços disponibilizados na “Cloud” levou a que a forma como os sistemas são desenhados e implementados mudasse, numa perspectiva de tentar alcançar requisitos que até então não eram essenciais. Analisando esta evolução, com o enorme aumento dos dispositivos móveis, como os “smartphones” e “tablets” fez com que o desenho e implementação de sistemas distribuidos fossem ainda mais importantes nesta área, na tentativa de promover sistemas e aplicações que fossem mais flexíveis, robutos, escaláveis e acima de tudo interoperáveis. A menor capacidade de processamento ou armazenamento destes dispositivos tornou essencial o aparecimento e crescimento de tecnologias que prometem solucionar muitos dos problemas identificados. O aparecimento do conceito de Middleware visa solucionar estas lacunas nos sistemas distribuidos mais evoluídos, promovendo uma solução a nível de organização e desenho da arquitetura dos sistemas, ao memo tempo que fornece comunicações extremamente rápidas, seguras e de confiança. Uma arquitetura baseada em Middleware visa dotar os sistemas de um canal de comunicação que fornece uma forte interoperabilidade, escalabilidade, e segurança na troca de mensagens, entre outras vantagens. Nesta tese vários tipos e exemplos de sistemas distribuídos e são descritos e analisados, assim como uma descrição em detalhe de três protocolos (XMPP, AMQP e DDS) de comunicação, sendo dois deles (XMPP e AMQP) utilzados em projecto reais que serão descritos ao longo desta tese. O principal objetivo da escrita desta tese é demonstrar o estudo e o levantamento do estado da arte relativamente ao conceito de Middleware aplicado a sistemas distribuídos de larga escala, provando que a utilização de um Middleware pode facilitar e agilizar o desenho e desenvolvimento de um sistema distribuído e traz enormes vantagens num futuro próximo.

Scalable and interference aware wi-fi mesh networks using cots devices

A crescente tendencia no acesso móvel tem sido potenciada pela tecnologia IEEE 802.11. Contudo, estas redes têm alcance rádio limitado. Para a extensão da sua cobertura é possível recorrer a redes emalhadas sem fios baseadas na tecnologia IEEE 802.11, com vantagem do ponto de vista do custo e da flexibilidade de instalação, face a soluções cabladas. Redes emalhadas sem fios constituídas por nós com apenas uma interface têm escalabilidade reduzida. A principal razão dessa limitação deve-se ao uso do mecanismo de acesso ao meio partilhado Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) em topologias multi-hop. Especificamente, o CSMA/CA não evita o problema do nó escondido levando ao aumento do número de colisões e correspondente degradação de desempenho com impacto direto no throughput e na latência. Com a redução da tecnologia rádio torna-se viável a utilização de múltiplos rádios por nó, sem com isso aumentar significativamente o custo da solução final de comunicações. A utilização de mais do que um rádio por nó de comuniações permite superar os problemas de desempenho inerentes ás redes formadas por nós com apenas um rádio. O objetivo desta tese, passa por desenvolver uma nova solução para redes emalhadas multi-cana, duar-radio, utilizando para isso novos mecanismos que complementam os mecanismos definidos no IEEE 802.11 para o estabelecimento de um Basic Service Set (BSS). A solução é baseada na solução WiFIX, um protocolo de routing para redes emalhadas de interface única e reutiliza os mecanismos já implementados nas redes IEEE 802.11 para difundir métricas que permitam à rede escalar de forma eficaz minimizando o impacto na performance. A rede multi-hop é formada por nós equipados com duas interfaces, organizados numa topologia hierárquica sobre múltiplas relações Access Point (AP) – Station (STA). Os resultados experimentais obtidos mostram a eficácia e o bom desempenho da solução proposta face à solução WiFIX original.

User friendly knowledge acquisition system for medical devices actuation

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

Hypermedia-based Web Services as System Integrators

As we move more closely to the practical concept of the Internet of Things and, our reliance on public and private APIs increases, web services and their related topics have become utterly crucial to the informatics community. However, the question about which style of web services would best solve a particular problem, can raise signi cant and multifarious debates. There can be found two implementation styles that highlight themselves: the RPC-oriented style represented by the SOAP protocol’s implementations and the hypermedia style, which is represented by the REST architectural style’s implementations. As we search examples of already established web services, we can nd a handful of robust and reliable public and private SOAP APIs, nevertheless, it seems that RESTful services are gaining popularity in the enterprise community. For the current generation of developers that work on informatics solutions, REST seems to represent a fundamental and straightforward alternative and even, a more deep-rooted approach than SOAP. But are they comparable? Do both approaches have each speci c best suitable scenarios? Such study is brie y carried out in the present document’s chapters, starting with the respective background study, following an analysis of the hypermedia approach and an instantiation of its architecture, in a particular case study applied in a BPM context.

Robot Manipulator Systems: Analysis and Control

Manipulator systems are rather complex and highly nonlinear which makes difficult their analysis and control. Classic system theory is veil known, however it is inadequate in the presence of strong nonlinear dynamics. Nonlinear controllers produce good results [1] and work has been done e. g. relating the manipulator nonlinear dynamics with frequency response [2–5]. Nevertheless, given the complexity of the problem, systematic methods which permit to draw conclusions about stability, imperfect modelling effects, compensation requirements, etc. are still lacking. In section 2 we start by analysing the variation of the poles and zeros of the descriptive transfer functions of a robot manipulator in order to motivate the development of more robust (and computationally efficient) control algorithms. Based on this analysis a new multirate controller which is an improvement of the well known “computed torque controller” [6] is announced in section 3. Some research in this area was done by Neuman [7,8] showing tbat better robustness is possible if the basic controller structure is modified. The present study stems from those ideas, and attempts to give a systematic treatment, which results in easy to use standard engineering tools. Finally, in section 4 conclusions are presented.

Optical clearing mechanisms characterization in muscle

Optical immersion clearing is a technique that has been widely studied for more than two decades and that is used to originate a temporary transparency effect in biological tissues. If applied in cooperation with clinical methods it provides optimization of diagnosis and treatment procedures. This technique turns biological tissues more transparent through two main mechanisms — tissue dehydration and refractive index (RI) matching between tissue components. Such matching is obtained by partial replacement of interstitial water by a biocompatible agent that presents higher RI and it can be completely reversible by natural rehydration in vivo or by assisted rehydration in ex vivo tissues. Experimental data to characterize and discriminate between the two mechanisms and to find new ones are necessary. Using a simple method, based on collimated transmittance and thickness measurements made from muscle samples under treatment, we have estimated the diffusion properties of glucose, ethylene glycol (EG) and water that were used to perform such characterization and discrimination. Comparing these properties with data from literature that characterize their diffusion in water we have observed that muscle cell membrane permeability limits agent and water diffusion in the muscle. The same experimental data has allowed to calculate the optical clearing (OC) efficiency and make an interpretation of the internal changes that occurred in muscle during the treatments. The same methodology can now be used to perform similar studies with other agents and in other tissues in order to solve engineering problems at design of inexpensive and robust technologies for a considerable improvement of optical tomographic techniques with better contrast and in-depth imaging.

On the track of β-lactam resistance: Studies on the regulation of methicillinresistance in Staphylococcus aureus

Dissertação para obtenção do Grau de Doutor em Biologia

HIV-2 Integrase Polymorphisms and Longitudinal Genotypic Analysis of HIV-2 Infected Patients Failing a Raltegravir-Containing Regimen

To characterize the HIV-2 integrase gene polymorphisms and the pathways to resistance of HIV-2 patients failing a raltegravir-containing regimen, we studied 63 integrase strand transfer inhibitors (INSTI)-naïve patients, and 10 heavily pretreated patients exhibiting virological failure while receiving a salvage raltegravir-containing regimen. All patients were infected by HIV-2 group A. 61.4% of the integrase residues were conserved, including the catalytic motif residues. No INSTI-major resistance mutations were detected in the virus population from naïve patients, but two amino acids that are secondary resistance mutations to INSTIs in HIV-1 were observed. The 10 raltegravir-experienced patients exhibited resistance mutations via three main genetic pathways: N155H, Q148R, and eventually E92Q - T97A. The 155 pathway was preferentially used (7/10 patients). Other mutations associated to raltegravir resistance in HIV-1 were also observed in our HIV-2 population (V151I and D232N), along with several novel mutations previously unreported. Data retrieved from this study should help build a more robust HIV-2-specific algorithm for the genotypic interpretation of raltegravir resistance, and contribute to improve the clinical monitoring of HIV-2-infected patients.

Desenvolvimento de microfluídica em papel para utilização em biossensores

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

LATERAL FLOW ASSAY FOR CRYPTOCOCCAL ANTIGEN: AN IMPORTANT ADVANCE TO IMPROVE THE CONTINUUM OF HIV CARE AND REDUCE CRYPTOCOCCAL MENINGITIS-RELATED MORTALITY

SUMMARYAIDS-related cryptococcal meningitis continues to cause a substantial burden of death in low and middle income countries. The diagnostic use for detection of cryptococcal capsular polysaccharide antigen (CrAg) in serum and cerebrospinal fluid by latex agglutination test (CrAg-latex) or enzyme-linked immunoassay (EIA) has been available for over decades. Better diagnostics in asymptomatic and symptomatic phases of cryptococcosis are key components to reduce mortality. Recently, the cryptococcal antigen lateral flow assay (CrAg LFA) was included in the armamentarium for diagnosis. Unlike the other tests, the CrAg LFA is a dipstick immunochromatographic assay, in a format similar to the home pregnancy test, and requires little or no lab infrastructure. This test meets all of the World Health Organization ASSURED criteria (Affordable, Sensitive, Specific, User friendly, Rapid/robust, Equipment-free, and Delivered). CrAg LFA in serum, plasma, whole blood, or cerebrospinal fluid is useful for the diagnosis of disease caused by Cryptococcusspecies. The CrAg LFA has better analytical sensitivity for C. gattii than CrAg-latex or EIA. Prevention of cryptococcal disease is new application of CrAg LFA via screening of blood for subclinical infection in asymptomatic HIV-infected persons with CD4 counts < 100 cells/mL who are not receiving effective antiretroviral therapy. CrAg screening of leftover plasma specimens after CD4 testing can identify persons with asymptomatic infection who urgently require pre-emptive fluconazole, who will otherwise progress to symptomatic infection and/or die.

SURVIVAL CAPACITY OF Arcobacter butzleri INOCULATED IN POULTRY MEAT AT TWO DIFFERENT REFRIGERATION TEMPERATURES

Arcobacter spp. are emerging enteropathogens and potential zoonotic agents that can be transmitted by food and water, being considered a public health risk. The high isolation rate of these bacteria from poultry products suggests that it may be a major source of human infections. One hallmark for differentiating the genus Arcobacter fromCampylobacter includes their growing capacity at low temperatures (15-30 °C) under aerobic conditions. However, little is known about the population density variation of these bacteria at different refrigeration temperatures. The aim of this study was to determine the survival behavior of two different Arcobacter butzleri concentrations (104 CFU/mL and 107 CFU/mL) inoculated on chicken legs and held at two different refrigeration temperatures (4 and 10 °C) throughout storage time. Results have shown that A. butzleri had growing capacity both at 4 and 10 °C. No statistical difference between the survival trends was found for both bacterial concentrations and temperatures tested. This study shows that A. butzleri is a robust species with regard to storage temperature, and represents a potential health risk for poultry meat consumers.

Cerebrospinal Fluid Synaptic Proteins as Useful Biomarkers in Tyrosine Hydroxylase Deficiency

Tyrosine hydroxylase (TH) deficiency is an inborn error of dopamine biosynthesis and a cause of early parkinsonism. Two clinical phenotypes have been described. Type “B”: early onset severe encephalopathy; type “A”: later onset, less severe and better response to L-dopa. We aimed to study the expression of several key dopaminergic and gabaergic synaptic proteins in the cerebrospinal fluid (CSF) of a series of patients with TH deficiency and their possible relation with the clinical phenotype and response to L-DOPA. Dopamine transporter (DAT), D2-receptor and vesicularmonoamine transporter (VMAT2)weremeasured in the CSF of 10 subjectswith THdeficiency byWestern blot analysis. In 3 patients, data of pre- and post-treatmentwith L-DOPA were available, and in one of them, GABA vesicular transporter was determined. Results were compared to an age-matched control population. The concentration of D2-receptors in CSFwas significantly higher in patients with TH deficiency than in controls. Similarly, DAT and vesicular monoamine transporter type 2 were up-regulated. Studies performed before LDOPA, and on L-DOPA therapy showed a paradoxical response with D2 receptor expression increase as L-Dopa doses and homovanillic concentration gradually raised in a B phenotype patient. The opposite results were found in two patients with A phenotype. However, this is a very small sample, and further studies are needed to conclude robust differences between phenotypes. Synaptic proteins are detectable in the CSF and their quantification can be useful for understanding the pathophysiology of neurotransmitter defects and potentially to adjust and personalize treatments in the future.

Advanced instrumentation for superheated liquid detectors in dark matter searches

Dissertação para obtenção do Grau de Doutor em Engenharia Física

Five-Year Review of an International Clinical Research-Training Program

The exponential increase in clinical research has profoundly changed medical sciences. Evidence that has accumulated in the past three decades from clinical trials has led to the proposal that clinical care should not be based solely on clinical expertise and patient values, and should integrate robust data from systematic research. As a consequence, clinical research has become more complex and methods have become more rigorous, and evidence is usually not easily translated into clinical practice. Therefore, the instruction of clinical research methods for scientists and clinicians must adapt to this new reality. To address this challenge, a global distance-learning clinical research-training program was developed, based on collaborative learning, the pedagogical goal of which was to develop critical thinking skills in clinical research. We describe and analyze the challenges and possible solutions of this course after 5 years of experience (2008-2012) with this program. Through evaluation by students and faculty, we identified and reviewed the following challenges of our program: 1) student engagement and motivation, 2) impact of heterogeneous audience on learning, 3) learning in large groups, 4) enhancing group learning, 5) enhancing social presence, 6) dropouts, 7) quality control, and 8) course management. We discuss these issues and potential alternatives with regard to our research and background.

NEGOSEIO: framework for the sustainability of model-oriented enterprise interoperability

Dissertation to obtain the degree of Doctor of Philosophy in Electrical and Computer Engineering(Industrial Information Systems)