Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

A filter inexact-restoration method for nonlinear programming

A new iterative algorithm based on the inexact-restoration (IR) approach combined with the filter strategy to solve nonlinear constrained optimization problems is presented. The high level algorithm is suggested by Gonzaga et al. (SIAM J. Optim. 14:646–669, 2003) but not yet implement—the internal algorithms are not proposed. The filter, a new concept introduced by Fletcher and Leyffer (Math. Program. Ser. A 91:239–269, 2002), replaces the merit function avoiding the penalty parameter estimation and the difficulties related to the nondifferentiability. In the IR approach two independent phases are performed in each iteration, the feasibility and the optimality phases. The line search filter is combined with the first one phase to generate a “more feasible” point, and then it is used in the optimality phase to reach an “optimal” point. Numerical experiences with a collection of AMPL problems and a performance comparison with IPOPT are provided.

A Multiple Criteria Utility-based Approa h for the Unit Commitment with Wind Power and Pumped Storage Hydro

The integration of wind power in eletricity generation brings new challenges to unit commitment due to the random nature of wind speed. For this particular optimisation problem, wind uncertainty has been handled in practice by means of conservative stochastic scenario-based optimisation models, or through additional operating reserve settings. However, generation companies may have different attitudes towards operating costs, load curtailment, or waste of wind energy, when considering the risk caused by wind power variability. Therefore, alternative and possibly more adequate approaches should be explored. This work is divided in two main parts. Firstly we survey the main formulations presented in the literature for the integration of wind power in the unit commitment problem (UCP) and present an alternative model for the wind-thermal unit commitment. We make use of the utility theory concepts to develop a multi-criteria stochastic model. The objectives considered are the minimisation of costs, load curtailment and waste of wind energy. Those are represented by individual utility functions and aggregated in a single additive utility function. This last function is adequately linearised leading to a mixed-integer linear program (MILP) model that can be tackled by general-purpose solvers in order to find the most preferred solution. In the second part we discuss the integration of pumped-storage hydro (PSH) units in the UCP with large wind penetration. Those units can provide extra flexibility by using wind energy to pump and store water in the form of potential energy that can be generated after during peak load periods. PSH units are added to the first model, yielding a MILP model with wind-hydro-thermal coordination. Results showed that the proposed methodology is able to reflect the risk profiles of decision makers for both models. By including PSH units, the results are significantly improved.

Advances on the production of polyhydroxyalkanoates (PHA) by mixed microbial cultures from sugar cane molasses

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Parallel programming in biomedical signal processing

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

Balancing and lot-sizing mixed-model lines in the footwear industry

This report describes the full research proposal for the project \Balancing and lot-sizing mixed-model lines in the footwear industry", to be developed as part of the master program in Engenharia Electrotécnica e de Computadores - Sistemas de Planeamento Industrial of the Instituto Superior de Engenharia do Porto. The Portuguese footwear industry is undergoing a period of great development and innovation. The numbers speak for themselves, Portugal footwear exported 71 million pairs of shoes to over 130 countries in 2012. It is a diverse sector, which covers different categories of women, men and children shoes, each of them with various models. New and technologically advanced mixed-model assembly lines are being projected and installed to replace traditional mass assembly lines. Obviously there is a need to manage them conveniently and to improve their operations. This work focuses on balancing and lot-sizing stitching mixed-model lines in a real world environment. For that purpose it will be fundamental to develop and evaluate adequate effective solution methods. Different objectives may be considered, which are relevant for the companies, such as minimizing the number of workstations, and minimizing the makespan, while taking into account a lot of practical restrictions. The solution approaches will be based on approximate methods, namely by resorting to metaheuristics. To show the impact of having different lots in production the initial maximum amount for each lot is changed and a Tabu Search based procedure is used to improve the solutions. The developed approaches will be evaluated and tested. A special attention will be given to the solution of real applied problems. Future work may include the study of other neighbourhood structures related to Tabu Search and the development of ways to speed up the evaluation of neighbours, as well as improving the balancing solution method.

Atorvastatin versus Bezafibrate in Mixed Hyperlipidaemia : Randomised Clinical Trial of Efficacy and Safety (the ATOMIX Study)

OBJECTIVE: Combined hyperlipidaemia is a common and highly atherogenic lipid phenotype with multiple lipoprotein abnormalities that are difficult to normalise with single-drug therapy. The ATOMIX multicentre, controlled clinical trial compared the efficacy and safety of atorvastatin and bezafibrate in patients with diet-resistant combined hyperlipidaemia. PATIENTS AND STUDY DESIGN: Following a 6-week placebo run-in period, 138 patients received atorvastatin 10mg or bezafibrate 400mg once daily in a randomised, double-blind, placebo-controlled trial. To meet predefined low-density lipoprotein-cholesterol (LDL-C) target levels, atorvastatin dosages were increased to 20mg or 40mg once daily after 8 and 16 weeks, respectively. RESULTS: After 52 weeks, atorvastatin achieved greater reductions in LDL-C than bezafibrate (percentage decrease 35 vs 5; p < 0.0001), while bezafibrate achieved greater reductions in triglyceride than atorvastatin (percentage decrease 33 vs 21; p < 0.05) and greater increases in high-density lipoprotein-cholesterol (HDL-C) [percentage increase 28 vs 17; p < 0.01 ]. Target LDL-C levels (according to global risk) were attained in 62% of atorvastatin recipients and 6% of bezafibrate recipients, and triglyceride levels <200 mg/dL were achieved in 52% and 60% of patients, respectively. In patients with normal baseline HDL-C, bezafibrate was superior to atorvastatin for raising HDL-C, while in those with baseline HDL-C <35 mg/dL, the two drugs raised HDL-C to a similar extent after adjustment for baseline values. Both drugs were well tolerated. CONCLUSION: The results show that atorvastatin has an overall better efficacy than bezafibrate in concomitantly reaching LDL-C and triglyceride target levels in combined hyperlipidaemia, thus supporting its use as monotherapy in patients with this lipid phenotype.

Segregated modeling and selection of populations for polyhydroxyalkanoate production by mixed microbial cultures

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Química e Bioquímica

Development of mixed matrix membranes with metal - organic framework and ionic liquids for biogas upgrading

Dissertation presented to Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa for obtaining the master degree in Membrane Engineering

Food waste valorization through the production of polyhydroxyalkanoates by mixed microbial cultures

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

Data-centric concurrency control on the java programming language

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

Child programming: an adequate domain specific language for programming specific robots

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

Constraint-based modelling of mixed microbial populations: Application to polyhydroxyalkanoates production

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

Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Barriers preventing the successful integration of mental health services into Primary Health Care in Nigeria : a mixed methods approach

RESUMO: A Nigéria tem uma população estimada em cerca de 170 milhões de pessoas. O número de profissionais de saúde mental é muito diminuto, contando apenas com 150 psiquiatras o que perfaz aproximadamente um rácio de psiquiatra: população de mais de 1:1 milhão de pessoas. O Plano Nacional de Saúde Mental de 1991 reconheceu esta insuficiência e recomendou a integração dos serviços de saúde mental nos cuidados de saúde primários (CSP). Depois de mais de duas décadas, essa política não foi ainda implementada. Este estudo teve como objetivos mapear a estrutura organizacional dos serviços de saúde mental da Nigéria, e explorar os desafios e barreiras que impedem a integração bem-sucedida dos serviços de saúde mental nos cuidados de saúde primários, isto segundo a perspectiva dos profissionais dos cuidados de saúde primários. Com este objetivo, desenvolveu-se um estudo exploratório sequencial e utilizou-se um modelo misto para a recolha de dados. A aplicação em simultâneo de abordagens qualitativas e quantitativas permitiram compreender os problemas relacionados com a integração dos serviços de saúde mental nos CSP na Nigéria. No estudo qualitativo inicial, foram realizadas entrevistas com listagens abertas a 30 profissionais dos CSP, seguidas de dois grupos focais com profissionais dos CSP de duas zonas governamentais do estado de Oyo de forma a obter uma visão global das perspectivas destes profissionais locais sobre os desafios e barreiras que impedem uma integração bem-sucedida dos serviços de saúde mental nos CSP. Subsequentemente, foram realizadas entrevistas com quatro pessoas-chave, especificamente coordenadores e especialistas em saúde mental. Os resultados do estudo qualitativo foram utilizados para desenvolver um questionário para análise quantitativa das opiniões de uma amostra maior e mais representativa dos profissionais dos CSP do Estado de Oyo, bem como de duas zonas governamentais locais do Estado de Osun. As barreiras mais comummente identificadas a partir deste estudo incluem o estigma e os preconceitos sobre a doença mental, a formação inadequada dos profissionais dos CPS sobre saúde mental, a perceção pela equipa dos CSP de baixa prioridade de ação do Governo, o medo da agressão e violência pela equipa dos CSP, bem como a falta de disponibilidade de fármacos. As recomendações para superar estes desafios incluem a melhoria sustentada dos esforços da advocacia à saúde mental que vise uma maior valorização e apoio governamental, a formação e treino organizados dos profissionais dos cuidados primários, a criação de redes de referência e de apoio com instituições terciárias adjacentes, e o engajamento da comunidade para melhorar o acesso aos serviços e à reabilitação, pelas pessoas com doença mental. Estes resultados fornecem indicações úteis sobre a perceção das barreiras para a integração bem sucedida dos serviços de saúde mental nos CSP, enquanto se recomenda uma abordagem holística e abrangente. Esta informação pode orientar as futuras tentativas de implementação da integração dos serviços de saúde mental nos cuidados primários na Nigéria.------------ABSTRACT: Nigeria has an estimated population of about 170 million people but the number of mental health professionals is very small, with about 150 psychiatrists. This roughly translates to a psychiatrist:population ratio of more than 1:1 million people. The National Mental Health Policy of 1991 recognized this deficiency and recommended the integration of mental health into primary health care (PHC) delivery system. After more than two decades, this policy has yet to be implemented. This study aimed to map out the organizational structure of the mental health systems in Nigeria, and to explore the challenges and barriers preventing the successful integration of mental health into primary health care, from the perspective of the primary health care workers. A mixed methods exploratory sequential study design was employed, which entails the use of sequential timing in the combined methods of data collection. A combination of qualitative and uantitative approaches in sequence, were utilized to understand the problems of mental health services integration into PHC in Nigeria. The initial qualitative phase utilized free listing interviews with 30 PHC workers, followed by two focus group discussions with primary care workers from two Local Government Areas (LGA) of Oyo State to gain useful insight into the local perspectives of PHC workers about the challenges and barriers preventing successful integration of mental health care services into PHC. Subsequently, 4 key informant interviews with PHC co-ordinators and mental health experts were carried out. The findings from the qualitative study were utilized to develop a quantitative study questionnaire to understand the opinions of a larger and more representative sample of PHC staff in two more LGAs of Oyo State, as well as 2 LGAs from Osun State. The common barriers identified from this study include stigma and misconceptions about mental illness, inadequate training of PHC staff about mental health, low government priority, fear of aggression and violence by the PHC staff, as well as non-availability of medications. Recommendations for overcoming these challenges include improved and sustained efforts at mental health advocacy to gain governmental attention and support, organized training and retraining for primary care staff, establishment of referral and supportive networks with neighbouring tertiary facilities and community engagement to improve service utilization and rehabilitation of mentally ill persons. These findings provide useful insight into the barriers to the successful integration of mental health into PHC, while recommending a holistic and comprehensive approach. This information can guide future attempts to implement the integration of mental health into primary care in Nigeria.