Determinação de cargas de colapso: análise incremental versus análise limite

Dissertação para obtenção do Grau de Mestre em Engenharia Civil

Incremental compilation and deployment for OutSystems Platform

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deployment unit. When the developer published an application, even if he only changed a very small aspect of it, the application would be fully compiled and deployed. Our goal is to reduce compilation and deployment times for the most common use case, in which the developer performs small changes to an application before compiling and deploying it. We modified the OutSystems Platform to support a new incremental compilation and deployment model that reuses previous computations as much as possible in order to improve performance. In our approach, the full application is broken down into smaller compilation and deployment units, increasing what can be cached and reused. We also observed that this finer model would benefit from a parallel execution model. Hereby, we created a task driven Scheduler that executes compilation and deployment tasks in parallel. Our benchmarks show a substantial improvement of the compilation and deployment process times for the aforementioned development scenario.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Risk management of new product development process

Dissertation submitted to Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa for the achievement of Integrated Master´s degree in Industrial Management Engineering

Formulação corrotacional para análise de vigas com elementos finitos

Dissertação apresentada na faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Mecânica

POST-PROCESSING TECHNIQUES SUITABILITY FOR MESOLEVEL FREE BOUNDARY FLOWS

Reliable flow simulation software is inevitable to determine an optimal injection strategy in Liquid Composite Molding processes. Several methodologies can be implemented into standard software in order to reduce CPU time. Post-processing techniques might be one of them. Post-processing a finite element solution is a well-known procedure, which consists in a recalculation of the originally obtained quantities such that the rate of convergence increases without the need for expensive remeshing techniques. Post-processing is especially effective in problems where better accuracy is required for derivatives of nodal variables in regions where Dirichlet essential boundary condition is imposed strongly. In previous works influence of smoothness of non-homogeneous Dirichlet condition, imposed on smooth front was examined. However, usually quite a non-smooth boundary is obtained at each time step of the infiltration process due to discretization. Then direct application of post-processing techniques does not improve final results as expected. The new contribution of this paper lies in improvement of the standard methodology. Improved results clearly show that the recalculated flow front is closer to the ”exact” one, is smoother that the previous one and it improves local disturbances of the “exact” solution.

Model morphisms (MoMo) to enable language independent information models and interoperable business networks

MSc. Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Systems biotechnology of baculovirus-producing insect cells

Dissertation presented to obtain the Ph.D degree in Ciências da Engenharia e Tecnologia, especialidade Biotecnologia

Reabilitação respiratória na DPOC : efeito de duas intensidades de treino de exercício aeróbio nos resultados centrados no doente

RESUMO: Introdução: O treino de exercício assume uma importância fundamental nos programas de reabilitação respiratória, contudo permanece desconhecida qual a intensidade de treino efectiva na mudança dos resultados centrados no doente. Objectivos: Foram estudados os efeitos de duas intensidades de treino aeróbio na qualidade de vida relacionada com a saúde, no controlo de sintomas e na tolerância ao exercício, num programa de reabilitação respiratória para doentes com DPOC. Métodos: Trinta e quatro doentes com DPOC de estádios GOLD de ligeiro a muito grave, foram alocados aleatoriamente a intensidades de treino de exercício aeróbio de 60% ou 80% da intensidade máxima avaliada na prova de esforço num programa ambulatório de reabilitação respiratória de 20 sessões. Foram avaliados resultados centrados no doente pela aplicação do questionário respiratório de St.George, do índice de dispneia de Mahler, do questionário de actividades da vida diária do London Chest, da prova de 6 minutos, da prova de endurance a carga constante e da prova de esforço máxima incremental. Resultados: Apesar de existirem melhorias significativas em todos os resultados para ambos os grupos, a diferença média intergrupal por efeito da intensidade de treino aeróbio a 60% ou 80% da carga máxima em prova de esforço não foi significativa no questionário respiratório de St.George (p=0,306), no índice de dispneia de Mahler (p=0,378), no questionário de actividades da vida diária do London Chest (p=0,425), na prova de marcha de 6 minutos (p=0,917), na prova de endurance a carga constante (p=0,504) e na prova de esforço máxima incremental (p=0,117). Verificou-se ainda que a média das diferenças intergrupais na prova de endurance a carga constante e na prova de marcha de 6 minutos não apresentou qualquer associação com a idade dos doentes. Conclusões: O estudo permite concluir que não existem diferenças significativas nas alterações médias da qualidade de vida relacionada com a saúde, do controle de sintomas e da tolerância ao exercício em doentes com DPOC como efeito de duas intensidades de treino aeróbio. Os autores propõem para a prática clínica em reabilitação respiratória, a aplicação de intensidades de treino aeróbio individualmente adaptadas, de pelo menos 60% da carga máxima na prova de esforço inicial. -------------------------------ABSTRACT: Introduction: Exercise training is an important component of pulmonary rehabilitation, but it remains questionable as how training intensity changes patient-centered outcomes. Aims and objectives: The effects of two aerobic exercise training intensities in health-related quality of life, symptoms control and exercise tolerance in COPD patients were studied. Methods: Thirty-four COPD patients from mild to very severe GOLD stages were randomly assigned to a 60% or 80% aerobic exercise training intensity in a twenty-session outpatient pulmonary rehabilitation program. Patient-centered outcomes were assessed with St.George's respiratory questionnaire, Mahler dyspnoea index, London Chest activity of daily living, six minute walk test, constant work rate test and maximal incremental test. Results: Although there were significant improvements in all outcomes for both groups, there were no differences in mean change in St.George's respiratory questionnaire (p=0,306), Mahler dyspnoea index (p=0,378), London Chest activity of daily living (p=0,917), six-minute walk test (p=0,504), constant work rate test (p=0,504) and maximal incremental test (p=0,117), as an effect of aerobic exercise training intensity of 60% or 80%. Mean changes in constant work rate and six-minute walk test were not age-related. Conclusions: It is concluded that there are no differences in mean changes in health-related quality of life, symptoms control and exercise tolerance in COPD patients as an effect of two aerobic exercise training intensities. Therefore, the authors suggest that individually tailored exercise intensities above 60% should guide clinical practice in pulmonary rehabilitation.

Modelação dos efeitos viscosos no comportamento de túneis em maciços terrosos

Dissertação elaborada no Laboratório Nacional de Engenharia Civil para obtenção do Grau de Mestre em Engenharia Civil no Ramo de Geotecnia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa no âmbito do protocolo de cooperação entre a FCTUNL e o LNEC

Web competitive intelligence methodology

Master’s Degree Dissertation

Intention recognition, commitment and their roles in the evolution of cooperation

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

Value relevance of financial assets

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

The born global phenomenon: The Portuguese case

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics