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.

A study on reducing digital piracy: an analytical network process approach with benefits, opportunities, costs and risks analysis

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

SPf66 vaccine trial in Brazil: conceptual framework study design and analytical approach

This paper describes the study population and the study design of the phase III field trial of the SPf66 vaccine in Brazil. Assessment of validity and precision principles necessary for the appropriate evaluation of the protective effect of the vaccine are discussed, as well as the results of the preliminary analyses of the gathered data. The analytical approach for the estimation of the protective effect of the vaccine is presented. This paper provides the conceptual framework for future publications.

Estudo laboratorial de correntes de densidade quasi-permanentes sobre leito rugoso e liso

Dissertação para a obtenção do grau de Mestre em Engenharia Civil - Perfil de Construção

Adverse reactions associated with a Fuenzalida-Palacios rabies vaccine: a quasi-experimental study

The Fuenzalida-Palacios rabies vaccine has been used in South America for rabies post-exposure prophylaxis. To determine the frequency of adverse reactions associated with this vaccine compared to a control group a quasi-experimental study was carried out in Uberlândia, Brazil, from May 1997 to April 1998. Victims of bites or other injuries by dogs or other mammals and who received or not post-exposure prophylaxis with Fuenzalida-Palacios rabies vaccine were compared as to the occurrence of a list of signs and symptoms. Out of 2,440 victims of bites and other injuries from dogs and other mammals 2,114 participated in the study; 1,004 of them provided follow-up information within 10 to 15 days. Headache and pain at the injection sites were the most commonly found symptoms (125/1,000). No neuroparalytic event was detected. Patients who were given Fuenzalida-Palacios rabies vaccine and those who were not had similar incidences of symptoms (risk ratios close to 1). Regarding the occurrence of adverse reactions, Fuenzalida-Palacios rabies vaccine is a valid alternative for rabies post-exposure prophylaxis.

Predictive analytical and numerical modeling for orthogonal cutting

In this thesis, a predictive analytical and numerical modeling approach for the orthogonal cutting process is proposed to calculate temperature distributions and subsequently, forces and stress distributions. The models proposed include a constitutive model for the material being cut based on the work of Weber, a model for the shear plane based on Merchants model, a model describing the contribution of friction based on Zorev’s approach, a model for the effect of wear on the tool based on the work of Waldorf, and a thermal model based on the works of Komanduri and Hou, with a fraction heat partition for a non-uniform distribution of the heat in the interfaces, but extended to encompass a set of contributions to the global temperature rise of chip, tool and work piece. The models proposed in this work, try to avoid from experimental based values or expressions, and simplifying assumptions or suppositions, as much as possible. On a thermo-physical point of view, the results were affected not only by the mechanical or cutting parameters chosen, but also by their coupling effects, instead of the simplifying way of modeling which is to contemplate only the direct effect of the variation of a parameter. The implementation of these models was performed using the MATLAB environment. Since it was possible to find in the literature all the parameters for AISI 1045 and AISI O2, these materials were used to run the simulations in order to avoid arbitrary assumption.

The use of analytical hierarchy process in spatial decision support system for land use management

Geographic information systems give us the possibility to analyze, produce, and edit geographic information. Furthermore, these systems fall short on the analysis and support of complex spatial problems. Therefore, when a spatial problem, like land use management, requires a multi-criteria perspective, multi-criteria decision analysis is placed into spatial decision support systems. The analytic hierarchy process is one of many multi-criteria decision analysis methods that can be used to support these complex problems. Using its capabilities we try to develop a spatial decision support system, to help land use management. Land use management can undertake a broad spectrum of spatial decision problems. The developed decision support system had to accept as input, various formats and types of data, raster or vector format, and the vector could be polygon line or point type. The support system was designed to perform its analysis for the Zambezi river Valley in Mozambique, the study area. The possible solutions for the emerging problems had to cover the entire region. This required the system to process large sets of data, and constantly adjust to new problems’ needs. The developed decision support system, is able to process thousands of alternatives using the analytical hierarchy process, and produce an output suitability map for the problems faced.

The brushstroke and materials of Amadeo de Souza-Cardoso combined in an authentication tool

Nowadays, authentication studies for paintings require a multidisciplinary approach, based on the contribution of visual features analysis but also on characterizations of materials and techniques. Moreover, it is important that the assessment of the authorship of a painting is supported by technical studies of a selected number of original artworks that cover the entire career of an artist. This dissertation is concerned about the work of modernist painter Amadeo de Souza-Cardoso. It is divided in three parts. In the first part, we propose a tool based on image processing that combines information obtained by brushstroke and materials analysis. The resulting tool provides qualitative and quantitative evaluation of the authorship of the paintings; the quantitative element is particularly relevant, as it could be crucial in solving authorship controversies, such as judicial disputes. The brushstroke analysis was performed by combining two algorithms for feature detection, namely Gabor filter and Scale Invariant Feature Transform. Thanks to this combination (and to the use of the Bag-of-Features model), the proposed method shows an accuracy higher than 90% in distinguishing between images of Amadeo’s paintings and images of artworks by other contemporary artists. For the molecular analysis, we implemented a semi-automatic system that uses hyperspectral imaging and elemental analysis. The system provides as output an image that depicts the mapping of the pigments present, together with the areas made using materials not coherent with Amadeo’s palette, if any. This visual output is a simple and effective way of assessing the results of the system. The tool proposed based on the combination of brushstroke and molecular information was tested in twelve paintings obtaining promising results. The second part of the thesis presents a systematic study of four selected paintings made by Amadeo in 1917. Although untitled, three of these paintings are commonly known as BRUT, Entrada and Coty; they are considered as his most successful and genuine works. The materials and techniques of these artworks have never been studied before. The paintings were studied with a multi-analytical approach using micro-Energy Dispersive X-ray Fluorescence spectroscopy, micro-Infrared and Raman Spectroscopy, micro-Spectrofluorimetry and Scanning Electron Microscopy. The characterization of Amadeo’s materials and techniques used on his last paintings, as well as the investigation of some of the conservation problems that affect these paintings, is essential to enrich the knowledge on this artist. Moreover, the study of the materials in the four paintings reveals commonalities between the paintings BRUT and Entrada. This observation is supported also by the analysis of the elements present in a photograph of a collage (conserved at the Art Library of the Calouste Gulbenkian Foundation), the only remaining evidence of a supposed maquete of these paintings. The final part of the thesis describes the application of the image processing tools developed in the first part of the thesis on a set of case studies; this experience demonstrates the potential of the tool to support painting analysis and authentication studies. The brushstroke analysis was used as additional analysis on the evaluation process of four paintings attributed to Amadeo, and the system based on hyperspectral analysis was applied on the painting dated 1917. The case studies therefore serve as a bridge between the first two parts of the dissertation.

How to bring equity investors to the social sector? A quasi-equity approach through the case study of SPEAK

As nonprofits do not have access to the same capital markets as for-profit enterprises, organizations usually scramble for funding to keep up with their mission. This scenario can be changed through the use of the right financial engineering. This Work Project aims at studying an innovative financing mechanism based on the concept of quasi-equity for organizations devoted to social ends to cope with their capital needs. A quasi-equity investment model is built for the Portuguese social business SPEAK, and an in-depth assessment of its current financial, organizational and impact situations is conducted. This is a pioneer case study in Portugal.

The effectiveness of a rotavirus vaccine in preventing hospitalizations and deaths presumably due to acute infectious diarrhea in Brazilian children: a quasi-experimental study

INTRODUCTION: Rotavirus is the main etiologic agent of acute infectious diarrhea in children worldwide. Considering that a rotavirus vaccine (G1P8, strain RIX4414) was added to the Brazilian vaccination schedule in 2006, we aimed to study its effectiveness and safety regarding intestinal intussusception. METHODS: A quasi-experimental trial was performed in which the primary outcome was the number of hospitalizations that were presumably due to acute infectious diarrhea per 100,000 children at risk (0-4 years old). The secondary outcomes included mortality due to acute infectious diarrhea and the intestinal intussusception rates in children in the same age range. We analyzed three scenarios: Health Division XIII of the State of São Paulo (DRS XIII) from 2002 to 2008, the State of São Paulo, and Brazil from 2002 to 2012. RESULTS: The averages of the hospitalization rates for 100,000 children in the pre- and post-vaccination periods were 1,413 and 959, respectively, for DRS XIII (RR=0.67), 312 and 249, respectively, for the State of São Paulo (RR=0.79), and 718 and 576, respectively, for Brazil (RR=0.8). The mortality rate per 100,000 children in the pre- and post-vaccination periods was 2.0 and 1.3, respectively, for DRS XIII (RR=0.66), 5.5 and 2.5, respectively, for the State of São Paulo (RR=0.47), and 15.0 and 8.0, respectively, for Brazil (RR=0.53). The average annual rates of intussusception for 100,000 children in DRS XIII were 28.0 and 22.0 (RR=0.77) in the pre- and post-vaccination periods, respectively. CONCLUSIONS: A monovalent rotavirus vaccine was demonstrated to be effective in preventing the hospitalizations and deaths of children that were presumably due to acute infectious diarrhea, without increasing the risk of intestinal intussusception.

A formação em rastreio e intervenções breves do álcool muda as atitudes dos profissionais de saúde ocupacional? : estudo quasi experimental exploratório para uma estratégia para o meio laboral

RESUMO - Estudos anteriores nos Cuidados de Saúde Primários (CSP) apontam para um incremento da Deteção Precoce (DP) e Intervenções Breves (IB) em pacientes com Problemas Ligados ao Álcool (PLA) após formação apropriada dos profissionais de saúde (com melhoria das suas atitudes). Este estudo quasi experimental, exploratório, é pioneiro no âmbito da Saúde Ocupacional (SO) para a implementação de Rastreio/DP e IB nos PLA. O objetivo principal foi avaliar se uma formação sobre Rastreio/DP e IB pode melhorar as atitudes dos profissionais de SO ao lidar com os PLA em Meio Laboral (PLAML). Foi aplicado um questionário em duas partes: Q1/pré-formação (variáveis sociodemográficas, profissionais, competências em alcoologia, experiência pessoal com álcool/familiares com PLA, dificuldades em lidar com trabalhadores com PLA, AUDIT-C e SAAPPQ) e Q2/pós-formação (avaliação da formação e das atitudes SAAPPQ - Adequação, Legitimidade, Motivação, Autoestima e Satisfação). Os resultados na amostra (N=39) revelaram um aumento sobretudo na Adequação e Satisfação. No entanto, naqueles com níveis baixos das atitudes pré-formação constou-se melhoria das atitudes à excepção da Autoestima e foram encontradas algumas associações com as características do perfil inicial dos participantes. Sugerem-se estudos posteriores para identificação de pacotes formativos mais efetivos e propostas para um Plano integrador de RIB para PLAML

Analysis of classification algorithms for crop detection using LANDSAT 8 images

Remote sensing - the acquisition of information about an object or phenomenon without making physical contact with the object - is applied in a multitude of different areas, ranging from agriculture, forestry, cartography, hydrology, geology, meteorology, aerial traffic control, among many others. Regarding agriculture, an example of application of this information is regarding crop detection, to monitor existing crops easily and help in the region’s strategic planning. In any of these areas, there is always an ongoing search for better methods that allow us to obtain better results. For over forty years, the Landsat program has utilized satellites to collect spectral information from Earth’s surface, creating a historical archive unmatched in quality, detail, coverage, and length. The most recent one was launched on February 11, 2013, having a number of improvements regarding its predecessors. This project aims to compare classification methods in Portugal’s Ribatejo region, specifically regarding crop detection. The state of the art algorithms will be used in this region and their performance will be analyzed.

Genetic algorithms for the non emergency patients transport service

The authors would like to thank the anonymous reviewers for their valuable comments and suggestions to improve the paper. The authors would like to thank Dr. Elaine DeBock for reviewing the manuscript.

Analytical approach for the flexural analysis of RC beams strengthened with prestressed CFRP

The objective of this paper is to propose a simplified analytical approach to predict the flexural behavior of simply supported reinforced-concrete (RC) beams flexurally strengthened with prestressed carbon fiber reinforced polymer (CFRP) reinforcements using either externally bonded reinforcing (EBR) or near surface mounted (NSM) techniques. This design methodology also considers the ultimate flexural capacity of NSM CFRP strengthened beams when concrete cover delamination is the governing failure mode. A moment–curvature (M–χ) relationship formed by three linear branches corresponding to the precracking, postcracking, and postyielding stages is established by considering the four critical M–χ points that characterize the flexural behavior of CFRP strengthened beams. Two additional M–χ points, namely, concrete decompression and steel decompression, are also defined to assess the initial effects of the prestress force applied by the FRP reinforcement. The mid-span deflection of the beams is predicted based on the curvature approach, assuming a linear curvature variation between the critical points along the beam length. The good predictive performance of the analytical model is appraised by simulating the force–deflection response registered in experimental programs composed of RC beams strengthened with prestressed NSM CFRP reinforcements.

Flexural strengthening of RC beams using hybrid composite plate (HCP): experimental and analytical study

Hybrid Composite Plate (HCP) is a reliable recently proposed retrofitting solution for concrete structures, which is composed of a strain hardening cementitious composite (SHCC) plate reinforced with Carbon Fibre Reinforced Polymer (CFRP). This system benefits from the synergetic advantages of these two composites, namely the high ductility of SHCC and the high tensile strength of CFRPs. In the materialstructural of HCP, the ultra-ductile SHCC plate acts as a suitable medium for stress transfer between CFRP laminates (bonded into the pre-sawn grooves executed on the SHCC plate) and the concrete substrate by means of a connection system made by either chemical anchors, adhesive, or a combination thereof. In comparison with traditional applications of FRP systems, HCP is a retrofitting solution that (i) is less susceptible to the detrimental effect of the lack of strength and soundness of the concrete cover in the strengthening effectiveness; (ii) assures higher durability for the strengthened elements and higher protection to the FRP component in terms of high temperatures and vandalism; and (iii) delays, or even, prevents detachment of concrete substrate. This paper describes the experimental program carried out, and presents and discusses the relevant results obtained on the assessment of the performance of HCP strengthened reinforced concrete (RC) beams subjected to flexural loading. Moreover, an analytical approach to estimate the ultimate flexural capacity of these beams is presented, which was complemented with a numerical strategy for predicting their load-deflection behaviour. By attaching HCP to the beams’ soffit, a significant increase in the flexural capacity at service, at yield initiation of the tension steel bars and at failure of the beams can be achieved, while satisfactory deflection ductility is assured and a high tensile capacity of the CFRP laminates is mobilized. Both analytical and numerical approaches have predicted with satisfactory agreement, the load-deflection response of the reference beam and the strengthened ones tested experimentally.