Multicore Scheduling of Real-Time Irregular Parallel Algorithms in Linux

Face à estagnação da tecnologia uniprocessador registada na passada década, aos principais fabricantes de microprocessadores encontraram na tecnologia multi-core a resposta `as crescentes necessidades de processamento do mercado. Durante anos, os desenvolvedores de software viram as suas aplicações acompanhar os ganhos de performance conferidos por cada nova geração de processadores sequenciais, mas `a medida que a capacidade de processamento escala em função do número de processadores, a computação sequencial tem de ser decomposta em várias partes concorrentes que possam executar em paralelo, para que possam utilizar as unidades de processamento adicionais e completar mais rapidamente. A programação paralela implica um paradigma completamente distinto da programação sequencial. Ao contrário dos computadores sequenciais tipificados no modelo de Von Neumann, a heterogeneidade de arquiteturas paralelas requer modelos de programação paralela que abstraiam os programadores dos detalhes da arquitectura e simplifiquem o desenvolvimento de aplicações concorrentes. Os modelos de programação paralela mais populares incitam os programadores a identificar instruções concorrentes na sua lógica de programação, e a especificá-las sob a forma de tarefas que possam ser atribuídas a processadores distintos para executarem em simultâneo. Estas tarefas são tipicamente lançadas durante a execução, e atribuídas aos processadores pelo motor de execução subjacente. Como os requisitos de processamento costumam ser variáveis, e não são conhecidos a priori, o mapeamento de tarefas para processadores tem de ser determinado dinamicamente, em resposta a alterações imprevisíveis dos requisitos de execução. `A medida que o volume da computação cresce, torna-se cada vez menos viável garantir as suas restrições temporais em plataformas uniprocessador. Enquanto os sistemas de tempo real se começam a adaptar ao paradigma de computação paralela, há uma crescente aposta em integrar execuções de tempo real com aplicações interativas no mesmo hardware, num mundo em que a tecnologia se torna cada vez mais pequena, leve, ubíqua, e portável. Esta integração requer soluções de escalonamento que simultaneamente garantam os requisitos temporais das tarefas de tempo real e mantenham um nível aceitável de QoS para as restantes execuções. Para tal, torna-se imperativo que as aplicações de tempo real paralelizem, de forma a minimizar os seus tempos de resposta e maximizar a utilização dos recursos de processamento. Isto introduz uma nova dimensão ao problema do escalonamento, que tem de responder de forma correcta a novos requisitos de execução imprevisíveis e rapidamente conjeturar o mapeamento de tarefas que melhor beneficie os critérios de performance do sistema. A técnica de escalonamento baseado em servidores permite reservar uma fração da capacidade de processamento para a execução de tarefas de tempo real, e assegurar que os efeitos de latência na sua execução não afectam as reservas estipuladas para outras execuções. No caso de tarefas escalonadas pelo tempo de execução máximo, ou tarefas com tempos de execução variáveis, torna-se provável que a largura de banda estipulada não seja consumida por completo. Para melhorar a utilização do sistema, os algoritmos de partilha de largura de banda (capacity-sharing) doam a capacidade não utilizada para a execução de outras tarefas, mantendo as garantias de isolamento entre servidores. Com eficiência comprovada em termos de espaço, tempo, e comunicação, o mecanismo de work-stealing tem vindo a ganhar popularidade como metodologia para o escalonamento de tarefas com paralelismo dinâmico e irregular. O algoritmo p-CSWS combina escalonamento baseado em servidores com capacity-sharing e work-stealing para cobrir as necessidades de escalonamento dos sistemas abertos de tempo real. Enquanto o escalonamento em servidores permite partilhar os recursos de processamento sem interferências a nível dos atrasos, uma nova política de work-stealing que opera sobre o mecanismo de capacity-sharing aplica uma exploração de paralelismo que melhora os tempos de resposta das aplicações e melhora a utilização do sistema. Esta tese propõe uma implementação do algoritmo p-CSWS para o Linux. Em concordância com a estrutura modular do escalonador do Linux, ´e definida uma nova classe de escalonamento que visa avaliar a aplicabilidade da heurística p-CSWS em circunstâncias reais. Ultrapassados os obstáculos intrínsecos `a programação da kernel do Linux, os extensos testes experimentais provam que o p-CSWS ´e mais do que um conceito teórico atrativo, e que a exploração heurística de paralelismo proposta pelo algoritmo beneficia os tempos de resposta das aplicações de tempo real, bem como a performance e eficiência da plataforma multiprocessador.

Establishing a cell biology platform: isolation and preservation of human blood products

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Comparative analysis of multicriteria decision making methods

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

Analysis, testing and development of safe cleaning methods of rusted stone material

Three different treatments were applied on several specimens of dolomitic and calcitic marble, properly stained with rust to mimic real situations (the stone specimens were exposed to the natural environment for about six months in contact with rusted iron). Thirty six marble specimens, eighteen calcitic and eighteen dolomitic, were characterized before and after treatment and monitored throughout the cleaning tests. The specimens were characterized by SEM-EDS (Scanning Electron Microscopy coupled with Energy Dispersion System), XRD (XRay Diffraction), XRF (X-Ray Fluorescence), FTIR (Fourier Transform Infrared Spectroscopy) and color measurements. It was also made a microscopic and macroscopic analysis of the stone surface along with the tests of short and long term capillary absorption. A series of test trials were conducted in order to understand which concentrations and contact times best suits to this purpose, to confirm what had been written to date in the literature. We sought to develop new methods of treatment application, skipping the usual methods of applying chemical treatments on stone substrates, with the use of cellulose poultice, resorting to the agar, a gel already used in many other areas, being something new in this area, which possesses great applicability in the field of conservation of stone materials. After the application of the best methodology for cleaning, specimens were characterized again in order to understand which treatment was more effective and less harmful, both for the operator and the stone material. Very briefly conclusions were that for a very intense and deep penetration into the stone, a solution of 3.5% of SDT buffered with ammonium carbonate to pH around 7 applied with agar support would be indicated. For rust stains in its initial state, the use of Ammonium citrate at a concentration of 5% buffered with ammonium to pH 7 could be applied more than once until satisfactory results appear.

Evaluation of the use of real-time PCR for human T cell lymphotropic virus 1 and 2 as a confirmatory test in screening for blood donors

INTRODUCTION: HTLV-1/2 screening among blood donors commonly utilizes an enzyme-linked immunosorbent assay (EIA), followed by a confirmatory method such as Western blot (WB) if the EIA is positive. However, this algorithm yields a high rate of inconclusive results, and is expensive. METHODS: Two qualitative real-time PCR assays were developed to detect HTLV-1 and 2, and a total of 318 samples were tested (152 blood donors, 108 asymptomatic carriers, 26 HAM/TSP patients and 30 seronegative individuals). RESULTS: The sensitivity and specificity of PCR in comparison with WB results were 99.4% and 98.5%, respectively. PCR tests were more efficient for identifying the virus type, detecting HTLV-2 infection and defining inconclusive cases. CONCLUSIONS: Because real-time PCR is sensitive and practical and costs much less than WB, this technique can be used as a confirmatory test for HTLV in blood banks, as a replacement for WB.

Real-time collaborative editing of OutSystems DSL models

Real-time collaborative editing systems are common nowadays, and their advantages are widely recognized. Examples of such systems include Google Docs, ShareLaTeX, among others. This thesis aims to adopt this paradigm in a software development environment. The OutSystems visual language lends itself very appropriate to this kind of collaboration, since the visual code enables a natural flow of knowledge between developers regarding the developed code. Furthermore, communication and coordination are simplified. This proposal explores the field of collaboration on a very structured and rigid model, where collaboration is made through the copy-modify-merge paradigm, in which a developer gets its own private copy from the shared repository, modifies it in isolation and later uploads his changes to be merged with modifications concurrently produced by other developers. To this end, we designed and implemented an extension to the OutSystems Platform, in order to enable real-time collaborative editing. The solution guarantees consistency among the artefacts distributed across several developers working on the same project. We believe that it is possible to achieve a much more intense collaboration over the same models with a low negative impact on the individual productivity of each developer.

Effects of flooding of the River Paraná on the temporal activity of Anopheles (Nyssorhynchus) darlingi Root (Diptera: Culicidae), at the border state of Mato Grosso do Sul and São Paulo, Brazil

INTRODUCTION: Study of the temporal activity of malaria vectors during the implantation of a hydroelectric power station on the River Paraná, intended to generate electrical energy. The river separates the States of São Paulo and Mato Grosso do Sul, in Brazil. The objective was to verify whether alterations occurred in the wealth and diversity indices of Anopheles, following two successive floods, extended to the temporal activity and nycthemeral rhythm followed over a five year period. METHODS: Mosquito capture was performed monthly using the Human Attraction Technique and Shannon Traps. The first, executed for 24h, provided the nycthemeral rhythm and the second, lasting 15h, permitted the tracking of Anopheles during the two floods. RESULTS: The bimodal pattern of Anopheles darlingi defined before these floods was modified throughout the environment interventions. The same effect had repercussions on the populations of An albitarsis s.l., An triannulatus and An galvaoi. Activity prior to twilight was less affected by the environment alterations. CONCLUSIONS: The dam construction provoked changes in Anopheles temporal activity patterns, permitting classification of the area as an ecologically steady and unstable situation. Differences observed in Anopheles behavior due to the capture methods revealed the influence of solo and multiple attractiveness inside the populations studied.

Malacological survey of Biomphalaria snails in municipalities along the Estrada Real in the southeast of the State of Minas Gerais, Brazil

INTRODUCTION: The increasing practice of ecotourism and rural tourism in the State of Minas Gerais, Brazil, highlights the importance of studies concerning the occurrence of potential intermediate hosts of Schistosoma mansoni. This study aimed to identify species of Biomphalaria snails in municipalities along the Estrada Real, an important Brazilian tourism project. METHODS: The specimens were collected in different water collections of 36 municipalities along the Estrada Real in the southeast of the State of Minas Gerais. Biomphalaria species were characterized using both morphological and molecular approaches. The research was conducted between August 2005 and September 2009 and all the sites visited were georeferenced using GPS. RESULTS: Six Biomphalaria species were found in 30 of the 36 municipalities studied: glabrata, tenagophila, straminea, peregrina, occidentalis and schrammi. The first three species of Biomphalaria, recognized as intermediate hosts of S. mansoni, were present in 33.3%, 47.2% and 8.3% of the municipalities studied, respectively. The mollusks were found in different types of water collections and no infection by S. mansoni was detected. The highest occurrence of Biomphalaria concentration was verified in the area covered by the Caminho Novo route (Diamantina/MG to Rio de Janeiro/RJ). CONCLUSIONS: Considering the occurrence of schistosomiasis in the State of Minas Gerais and the socioeconomic repercussions involved in the Estrada Real Project, this work focuses on the vulnerability of water collections due to the presence of Biomphalaria mollusks and emphasizes the need for epidemiological surveillance and sanitary and educational measures integrated with the local community and tourism sectors.

Rapid detection of Van genes in rectal swabs by real time PCR in Southern Brazil

INTRODUCTION: Laboratory-based surveillance is an important component in the control of vancomycin resistant enterococci (VRE). METHODS: The study aimed to evaluate real-time polymerase chain reaction (RT-PCR) (genes vanA-vanB) for VRE detection on 115 swabs from patients included in a surveillance program. RESULTS: Sensitivity of RT-PCR was similar to primary culture (75% and 79.5%, respectively) when compared to broth enriched culture, whereas specificity was 83.1%. CONCLUSIONS: RT-PCR provides same day results, however it showed low sensitivity for VRE detection.

Almirante: Evaluating the board game: Board game, startup, discounted cash flow, venture capital method, real options

This thesis evaluates a start-up company (Jogos Almirante Lda) whose single asset is a board game named Almirante. It aims to conclude whether it makes sense to create a company or just earn copyrights. The thesis analyzes the board game’s market, as part of the general toy’s market, from which some data exists: European countries as well as the USA. In this work it is analyzed the several ways to finance a start-up company and then present an overview of the valuation of the Jogos Almirante based on three different methods: Discounted Cash Flow, Venture Capital Method and Real Options.

The performance of four molecular methods for the laboratory diagnosis of congenital toxoplasmosis in amniotic fluid samples

Introduction Toxoplasmosis may be life-threatening in fetuses and in immune-deficient patients. Conventional laboratory diagnosis of toxoplasmosis is based on the presence of IgM and IgG anti-Toxoplasma gondii antibodies; however, molecular techniques have emerged as alternative tools due to their increased sensitivity. The aim of this study was to compare the performance of 4 PCR-based methods for the laboratory diagnosis of toxoplasmosis. One hundred pregnant women who seroconverted during pregnancy were included in the study. The definition of cases was based on a 12-month follow-up of the infants. Methods Amniotic fluid samples were submitted to DNA extraction and amplification by the following 4 Toxoplasma techniques performed with parasite B1 gene primers: conventional PCR, nested-PCR, multiplex-nested-PCR, and real-time PCR. Seven parameters were analyzed, sensitivity (Se), specificity (Sp), positive predictive value (PPV), negative predictive value (NPV), positive likelihood ratio (PLR), negative likelihood ratio (NLR) and efficiency (Ef). Results Fifty-nine of the 100 infants had toxoplasmosis; 42 (71.2%) had IgM antibodies at birth but were asymptomatic, and the remaining 17 cases had non-detectable IgM antibodies but high IgG antibody titers that were associated with retinochoroiditis in 8 (13.5%) cases, abnormal cranial ultrasound in 5 (8.5%) cases, and signs/symptoms suggestive of infection in 4 (6.8%) cases. The conventional PCR assay detected 50 cases (9 false-negatives), nested-PCR detected 58 cases (1 false-negative and 4 false-positives), multiplex-nested-PCR detected 57 cases (2 false-negatives), and real-time-PCR detected 58 cases (1 false-negative). Conclusions The real-time PCR assay was the best-performing technique based on the parameters of Se (98.3%), Sp (100%), PPV (100%), NPV (97.6%), PLR (∞), NLR (0.017), and Ef (99%).

Environmental isolation, biochemical identification, and antifungal drug susceptibility of Cryptococcus species

Introduction The incidence of opportunistic fungal infections has increased in recent years and is considered an important public health problem. Among systemic and opportunistic mycoses, cryptococcosis is distinguished by its clinical importance due to the increased risk of infection in individuals infected by human immunodeficiency virus. Methods To determine the occurrence of pathogenic Cryptococcus in pigeon excrement in the City of Araraquara, samples were collected from nine environments, including state and municipal schools, abandoned buildings, parks, and a hospital. The isolates were identified using classical tests, and susceptibility testing for the antifungal drugs (fluconazole, itraconazole, voriconazole, and amphotericin B) independently was also performed. After collection, the excrement samples were plated on Niger agar and incubated at room temperature. Results A total of 87 bird dropping samples were collected, and 66.6% were positive for the genus Cryptococcus. The following species were identified: Cryptococcus neoformans (17.2%), Cryptococcus gattii (5.2%), Cryptococcus ater (3.5%), Cryptococcus laurentti (1.7%), and Cryptococcus luteolus (1.7%). A total of 70.7% of the isolates were not identified to the species level and are referred to as Cryptococcus spp. throughout the manuscript. Conclusions Although none of the isolates demonstrated resistance to antifungal drugs, the identification of infested areas, the proper control of birds, and the disinfection of these environments are essential for the epidemiological control of cryptococcosis.

Blocking tumor exosome release using nanovectorization systems

Exosomes are small membrane vesicles secreted by most cell types, either normal or malignant and are found in most body fluids such as saliva, plasma and breast milk. In the past decade, the interest in these vesicles has been growing more and more since it was found that besides their beneficial functions such as the removal of cellular debris and unnecessary proteins during cell maturation process, they can also interact with other cells and transfer information between them, thus helping diseases like cancer to progress. The present work intended to use gold nanoparticles as vehicles for gene silencing in an attempt to reduce the tumor-derived exosome secretion, regulated by Rab27a protein, and also aimed to compare the exosome secretion between two breast cell lines, MCF7 and MDA. Changes in RAB27A gene expression were measured by Real-time Quantitative PCR and it was revealed a decreased in RAB27A gene expression, as expected. Exosomes were isolated and purified by two different methods, ultracentrifugation and the commercial kit ExoQuick™ Solution, and further characterized using Western Blot analysis. ExoQuick™ Solution was proven to be the most efficient method for exosome isolation and it was revealed that MDA cells secrete more exosomes. Furthermore, the isolated MCF7-derived exosomes were placed together with a normal bronchial/tracheal epithelial cell line (BTEC) for an additional assay, which aimed to observe the uptake of exosomes by other cells and the exosomes’ capability of promoting cell-cell communication. This observation was made based on alterations in the expression levels of c-Myc and miR-21 genes and the fact that they both have an increased expression in BTEC cells incubated with tumor-derived exosomes when compared to control cells (without incubation with the exosomes) lead us to the conclusion that the exosome uptake and exchange of information between the exosomes and the normal cells did occurred.

In silico constraint-based strain optimization methods: the quest for optimal cell factories

Shifting from chemical to biotechnological processes is one of the cornerstones of 21st century industry. The production of a great range of chemicals via biotechnological means is a key challenge on the way toward a bio-based economy. However, this shift is occurring at a pace slower than initially expected. The development of efficient cell factories that allow for competitive production yields is of paramount importance for this leap to happen. Constraint-based models of metabolism, together with in silico strain design algorithms, promise to reveal insights into the best genetic design strategies, a step further toward achieving that goal. In this work, a thorough analysis of the main in silico constraint-based strain design strategies and algorithms is presented, their application in real-world case studies is analyzed, and a path for the future is discussed.

Comparing different methods to measure biofilm thickness: the techniques are: optical coherence tomography, confocal laser scanning microscopy and low load compression test

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Engenharia Clínica)