Real-time Parallel Applications on Many-core Architectures

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

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.

mRPL: Boosting mobility in the Internet of Things

The 6loWPAN (the light version of IPv6) and RPL (routing protocol for low-power and lossy links) protocols have become de facto standards for the Internet of Things (IoT). In this paper, we show that the two native algorithms that handle changes in network topology – the Trickle and Neighbor Discovery algorithms – behave in a reactive fashion and thus are not prepared for the dynamics inherent to nodes mobility. Many emerging and upcoming IoT application scenarios are expected to impose real-time and reliable mobile data collection, which are not compatible with the long message latency, high packet loss and high overhead exhibited by the native RPL/6loWPAN protocols. To solve this problem, we integrate a proactive hand-off mechanism (dubbed smart-HOP) within RPL, which is very simple, effective and backward compatible with the standard protocol. We show that this add-on halves the packet loss and reduces the hand-off delay dramatically to one tenth of a second, upon nodes’ mobility, with a sub-percent overhead. The smart-HOP algorithm has been implemented and integrated in the Contiki 6LoWPAN/RPL stack (source-code available on-line mrpl: smart-hop within rpl, 2014) and validated through extensive simulation and experimentation.

Dynamic stability metrics for the container loading problem

The Container Loading Problem (CLP) literature has traditionally evaluated the dynamic stability of cargo by applying two metrics to box arrangements: the mean number of boxes supporting the items excluding those placed directly on the floor (M1) and the percentage of boxes with insufficient lateral support (M2). However, these metrics, that aim to be proxies for cargo stability during transportation, fail to translate real-world cargo conditions of dynamic stability. In this paper two new performance indicators are proposed to evaluate the dynamic stability of cargo arrangements: the number of fallen boxes (NFB) and the number of boxes within the Damage Boundary Curve fragility test (NB_DBC). Using 1500 solutions for well-known problem instances found in the literature, these new performance indicators are evaluated using a physics simulation tool (StableCargo), replacing the real-world transportation by a truck with a simulation of the dynamic behaviour of container loading arrangements. Two new dynamic stability metrics that can be integrated within any container loading algorithm are also proposed. The metrics are analytical models of the proposed stability performance indicators, computed by multiple linear regression. Pearson’s r correlation coefficient was used as an evaluation parameter for the performance of the models. The extensive computational results show that the proposed metrics are better proxies for dynamic stability in the CLP than the previous widely used metrics.

Measures in Sectorization Problems

Sectorization means dividing a whole into parts (sectors), a procedure that occurs in many contexts and applications, usually to achieve some goal or to facilitate an activity. The objective may be a better organization or simplification of a large problem into smaller sub-problems. Examples of applications are political districting and sales territory division. When designing/comparing sectors some characteristics such as contiguity, equilibrium and compactness are usually considered. This paper presents and describes new generic measures and proposes a new measure, desirability, connected with the idea of preference.

Cutting path as a rural postman problem

The Rural Postman Problem (RPP) is a particular Arc Routing Problem (ARP) which consists of determining a minimum cost circuit on a graph so that a given subset of required edges is traversed. The RPP is an NP-hard problem with significant real-life applications. This paper introduces an original approach based on Memetic Algorithms - the MARP algorithm - to solve the RPP and, also deals with an interesting Industrial Application, which focuses on the path optimization for component cutting operations. Memetic Algorithms are a class of Metaheuristics which may be seen as a population strategy that involves cooperation and competition processes between population elements and integrates “social knowledge”, using a local search procedure. The MARP algorithm is tested with different groups of instances and the results are compared with those gathered from other publications. MARP is also used in the context of various real-life applications.

Adaptive Penalty and Barrier function based on Fuzzy Logic

Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.

A framework for scientific computing with GPUs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Efficient succinic acid production from glycerol by actinobacillus succinogenes using dimethyl sulfoxid as electron acceptor

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Municipalização da educação?: O programa APROXIMAR

A contemporaneidade exige que nos tornemos cada vez mais capazes de responder eficazmente às necessidades de mudança, exige que localmente sejamos capazes de responder aos problemas que a sociedade nos coloca e deve, essa mesma sociedade, ser parte da solução para o problema. É urgente aproximar as respostas das pessoas para que as respostas possam ser contextualizadas. A municipalização da Educação ocupa um lugar importante no fenómeno da descentralização e desconcentração de poder. Contudo há muitos receios neste processo que está muito dependente das vontades políticas dos intervenientes. Ao longo do projeto procurou-se perceber qual o envolvimento das partes no processo da municipalização da Educação, mais propriamente, no concelho de Matosinhos, com o Programa APROXIMAR. Aproximar o Ministério da Educação, o Município de Matosinhos e os Agrupamentos de Escolas. Houve a preocupação de se proceder a uma análise de modo a identificar os meios como o programa é operacionalizado pela autarquia, os recursos que envolve e a perceção que tinham os entrevistados. Entendeu-se com a realização das entrevistas que um dos entraves à plena realização do Programa APROXIMAR está na matriz de responsabilidades mas antecede-lhe a ausência de diálogo que se traduza em reais compromissos de trabalho conjunto em prol do bem comum que é a educação. É precisamente na criação de uma rede de comunicação entre os intervenientes que se investe neste projeto com o intuito de posteriormente se discutir a matriz de responsabilidades e só depois decidir os caminhos a seguir nas lógicas de atuação da educação.

A ten-year follow-up of human leptospirosis in Uruguay: an unresolved health problem

Leptospira spp. are delicate bacteria that cannot be studied by usual microbiological methods. They cause leptospirosis, a zoonotic disease transmitted to humans through infected urine of wild or domestic animals. We studied the incidence of this disease in the Uruguayan population, its epidemiologic and clinical features, and compared diagnostic techniques. After examining 6,778 suspect cases, we estimated that about 15 infections/100,000 inhabitants occurred yearly, affecting mainly young male rural workers. Awareness about leptospirosis has grown among health professionals, and its lethality has consequently decreased. Bovine infections were probably the principal source of human disease. Rainfall volumes and floods were major factors of varying incidence. Most patients had fever, asthenia, myalgias or cephalalgia, with at least one additional abnormal clinical feature. 30-40% of confirmed cases presented abdominal signs and symptoms, conjunctival suffusion and altered renal or urinary function. Jaundice was more frequent in patients aged > 40 years. Clinical infections followed an acute pattern and their usual outcome was complete recovery. Laboratory diagnosis was based on indirect micro-agglutination standard technique (MAT). Second serum samples were difficult to obtain, often impairing completion of diagnosis. Immunofluorescence was useful as a screening test and for early detection of probable infections.

Archaeometallurgical study of pre and protohistoric production remains and artefacts from Southern Portugal

Dissertação para obtenção do Grau de Doutor em Conservação e Restauro, especialidade Ciências da Conservação

Modeling assembly program with constraints. A contribution to WCET problem

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

Genetic Control of Mosquitoes: population suppression strategies

Over the last two decades, morbidity and mortality from malaria and dengue fever among other pathogens are an increasing Public Health problem. The increase in the geographic distribution of vectors is accompanied by the emergence of viruses and diseases in new areas. There are insufficient specific therapeutic drugs available and there are no reliable vaccines for malaria or dengue, although some progress has been achieved, there is still a long way between its development and actual field use. Most mosquito control measures have failed to achieve their goals, mostly because of the mosquito's great reproductive capacity and genomic flexibility. Chemical control is increasingly restricted due to potential human toxicity, mortality in no target organisms, insecticide resistance, and other environmental impacts. Other strategies for mosquito control are desperately needed. The Sterile Insect Technique (SIT) is a species-specific and environmentally benign method for insect population suppression, it is based on mass rearing, radiation mediated sterilization, and release of a large number of male insects. Releasing of Insects carrying a dominant lethal gene (RIDL) offers a solution to many of the drawbacks of traditional SIT that have limited its application in mosquitoes while maintaining its environmentally friendly and species-specific utility. The self-limiting nature of sterile mosquitoes tends to make the issues related to field use of these somewhat less challenging than for self-spreading systems characteristic of population replacement strategies. They also are closer to field use, so might be appropriate to consider first. The prospect of genetic control methods against mosquito vectored human diseases is rapidly becoming a reality, many decisions will need to be made on a national, regional and international level regarding the biosafety, social, cultural and ethical aspects of the use and deployment of these vector control methods.

High occurrence of giardiasis in children living on a 'landless farm workers' settlement in Araras, São Paulo, Brazil

Enteric parasitosis remains an important public health problem in many areas around the world including in Brazil, and it is frequently associated with poverty and lack of sanitation facilities. Research carried out over the course of a year revealed that 96.6% (28/29) of children randomly selected from a 'landless farm workers' settlement in Araras, São Paulo, aged 4 - 15 years, presented Giardia intestinalis cysts. After referral to the neighborhood Health Office, all the children received tinidazole, given as a single dose of 50 mg/kg and 12 months later, new fecal samples were collected and analyzed. Despite the low adherence to the study, a high percentage (64.3% - 9/14) of the children remained positive for the parasite. This study showed a high positivity of giardiasis in child residents of the settlement, even after treatment; adults were not sensitized to the study and did not collected and/or deliver children fecal samples. The precarious living conditions are consistent with a high susceptibility to parasitic diseases, suggesting that the treatment of the infected individuals without identifying and eradicating the means of contamination is simply a palliative measure.