Pré-fabricação em betão armado – Uma abordagem sobre a indústria e seus processos

O presente relatório resulta do estágio que decorreu na empresa TELHABEL, em Vila Nova de Famalicão e insere-se na unidade curricular Dissertação, Projeto e Estágio (DIPRE) do 2º semestre do 2º ano do curso de Mestrado em Engenharia Civil no ramo de construções no Instituto Superior de Engenharia do Porto. Durante o período de estágio foi possível adquirir uma visão abrangente da pré-fabricação em betão armado e pré-esforçado, que incluiu todas as áreas envolvidas no processo: atividades prévias, organização fabril, processo industrial, produção, transporte e montagem. Foi estabelecido um programa de trabalhos que envolveu a pesquisa de elementos bibliográficos sobre pré-fabricação, e o contacto com o dia-a-dia de uma empresa industrial. Foram estudadas várias tecnologias fabris de produção de elementos pré-fabricados, tentando perceber as suas vantagens, campos de aplicação e condicionantes de utilização. Analisou-se o trabalho fabril incidindo na organização e sequência de atividades, desde a realização de armaduras, cofragens, betonagem, controlo de qualidade até à armazenagem de produto acabado. Com complemento da atividade fabril fez-se uma breve referência ao transporte e montagem do material e a sua íntima relação com a produção. Uma vez que, em Portugal, a pré-fabricação se encontra numa fase de escassa atividade, procurou-se simular um caso real que permitisse ao formando o estudo de um projeto fictício, mas perfeitamente realizável. Concebeu-se a estrutura pré-fabricada para construir um armazém, da qual se fez a medição, orçamentação e elaboração dos desenhos de cofragem para fabrico. Posteriormente estudou-se também a produção da ponte sobre o rio Giraul, que se encontra, presentemente, em produção pela empresa, em Angola. Neste estudo procurou-se perceber as questões envolvidas nas cofragens e armaduras, tendo sido estudada a preparação destas últimas, de modo a alertar o formando para os problemas envolvidos na sua execução. A análise aos projetos propostos permitiu compreender a responsabilidade e complexidade das tarefas envolvidas na produção de pré-fabricados.

Physical Activity, Obesity Status, and Blood Pressure in Preschool Children

Objective To examine the combined effects of physical activity and weight status on blood pressure (BP) in preschool-aged children. Study design The sample included 733 preschool-aged children (49% female). Physical activity was objectively assessed on 7 consecutive days by accelerometry. Children were categorized as sufficiently active if they met the recommendation of at least 60 minutes daily of moderate-to-vigorous physical activity (MVPA). Body mass index was used to categorize children as nonoverweight or overweight/obese, according to the International Obesity Task Force benchmarks. BP was measured using an automated BP monitor and categorized as elevated or normal using BP percentile-based cut-points for age, sex, and height. Results The prevalence of elevated systolic BP (SBP) and diastolic BP was 7.7% and 3.0%, respectively. The prevalence of overweight/obese was 32%, and about 15% of children did not accomplish the recommended 60 minutes of daily MVPA. After controlling for age and sex, overweight/obese children who did not meet the daily MVPA recommendation were 3 times more likely (OR 3.8; CI 1.6-8.6) to have elevated SBP than nonoverweight children who met the daily MVPA recommendation. Conclusions Overweight or obese preschool-aged children with insufficient levels of MVPA are at significantly greater risk for elevated SBP than their non overweight and sufficiently active counterparts. (J Pediatr 2015;167:98-102).

Key-CRDT stores

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

Autoavaliação das organizações escolares: articulação da equipa de autoavaliação com as lideranças intermédias

O presente trabalho de projeto resulta de um estudo na área da Avaliação Institucional, realizado num agrupamento de escolas com educação pré-escolar e ensinos básico e secundário. O objetivo principal relacionou-se com a construção de um Plano de Ação, que promova o desenvolvimento de uma cultura de avaliação, procurando envolver todos os ‘atores’ educativos no processo de mudança e melhoria do agrupamento, com principal incidência na articulação da Equipa de Autoavaliação do Agrupamento, com as Lideranças Intermédias, de forma a implementar o processo de Autoavaliação do Agrupamento. A avaliação das escolas deve basear-se em dispositivos simples e exequíveis e nesse sentido é importante que a avaliação respeite critérios de pertinência, de coerência, de eficácia, de eficiência e de oportunidade. As Equipas de Autoavaliação, em articulação com as Lideranças Intermédias, assumem cada vez mais importância, nas organizações escolares, podendo ser potenciadoras da melhoria da eficácia e eficiência das organizações escolares. Um dos instrumentos de recolha de dados foi o inquérito por questionário, aplicado a 89 professores e educadores, que representam 51,2 % dos docentes do agrupamento em estudo. Outro instrumento de recolha de dados foi o focus group, constituído por 11 professores, dos departamentos curriculares existentes no agrupamento. Os resultados mostraram que o processo de autoavaliação é já uma prática comum no agrupamento, com uma certa consolidação. No entanto, ao nível da estrutura que lidera, apesar de integrar representantes de toda a comunidade educativa, ainda se verifica uma participação muito centrada nos docentes. Esta estrutura deve tornar-se mais abrangente, de forma a permitir a incorporação de outros pontos de vista. Os resultados mostraram ainda, diferentes tipos de abordagem aos assuntos relacionados com a autoavaliação, nos distintos departamentos curriculares. O incentivo das Lideranças Intermédias e a sua implicação na tarefa de motivar os professores para a participação no processo, a articulação com a Equipa de Autoavaliação e a comunicação serão determinantes para a melhoria da eficácia e eficiência da organização. No plano de ação, é apresentado um conjunto de propostas, que pretendem colmatar estas debilidades.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

A europeização da educação e formação em Portugal (2000-2009): o ensino profissionalizante

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Educação

User Profiling and Knowledge Extraction For Tourism

O sector do turismo é uma área francamente em crescimento em Portugal e que tem desenvolvido a sua divulgação e estratégia de marketing. Contudo, apenas se prende com indicadores de desempenho e de oferta instalada (número de quartos, hotéis, voos, estadias), deixando os indicadores estatísticos em segundo plano. De acordo com o “ Travel & tourism Competitiveness Report 2013”, do World Economic Forum, classifica Portugal em 72º lugar no que respeita à qualidade e cobertura da informação estatística, disponível para o sector do Turismo. Refira-se que Espanha ocupa o 3º lugar. Uma estratégia de mercado, sem base analítica, que sustente um quadro de orientações específico e objetivo, com relevante conhecimento dos mercados alvo, dificilmente é compreensível ou até mesmo materializável. A implementação de uma estrutura de Business Intelligence que permita a realização de um levantamento e tratamento de dados que possibilite relacionar e sustentar os resultados obtidos no sector do turismo revela-se fundamental e crucial, para que sejam criadas estratégias de mercado. Essas estratégias são realizadas a partir da informação dos turistas que nos visitam, e dos potenciais turistas, para que possam ser cativados no futuro. A análise das características e dos padrões comportamentais dos turistas permite definir perfis distintos e assim detetar as tendências de mercado, de forma a promover a oferta dos produtos e serviços mais adequados. O conhecimento obtido permite, por um lado criar e disponibilizar os produtos mais atrativos para oferecer aos turistas e por outro informá-los, de uma forma direcionada, da existência desses produtos. Assim, a associação de uma recomendação personalizada que, com base no conhecimento de perfis do turista proceda ao aconselhamento dos melhores produtos, revela-se como uma ferramenta essencial na captação e expansão de mercado.

A modular distributed transactional memory framework

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

Partial replication in distributed software transactional memory

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

Comparing exchange market pressure in West and Southern African countries

We compare the performance of Cape Verde and Mozambique concerning financial credibility as measured by Exchange Market Pressure, an institutional feature that has often been overlooked in the literature as a relevant institution for economies. Drawing on previous research by Macedo et al. (2009), we expand their analysis and, using several definitions of “financial credibility”, all related to different angles on Exchange Market Pressure indices, we conclude that - against reasonable benchmarks in their respective regions - financial credibility has been very good for Cape Verde and fairly good for Mozambique.

Simulações Monte Carlo da redução da dose no cristalino e na tiroide em exames de tomografia computorizada utilizando proteções de bismuto

A presente dissertação foi desenvolvida com colaboração do Campus Tecnológico e Nuclear e do Hospital de São José

Business model analysis of Mobitto: How to solve the chicken and egg problem of a multi-sided platform?

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

How to improve supply chain performance of a specialized retailer: Managing landed costs of Zippy’s global supply chain

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

Heterogeneous computing with an algorithmic skeleton framework

The Graphics Processing Unit (GPU) is present in almost every modern day personal computer. Despite its specific purpose design, they have been increasingly used for general computations with very good results. Hence, there is a growing effort from the community to seamlessly integrate this kind of devices in everyday computing. However, to fully exploit the potential of a system comprising GPUs and CPUs, these devices should be presented to the programmer as a single platform. The efficient combination of the power of CPU and GPU devices is highly dependent on each device’s characteristics, resulting in platform specific applications that cannot be ported to different systems. Also, the most efficient work balance among devices is highly dependable on the computations to be performed and respective data sizes. In this work, we propose a solution for heterogeneous environments based on the abstraction level provided by algorithmic skeletons. Our goal is to take full advantage of the power of all CPU and GPU devices present in a system, without the need for different kernel implementations nor explicit work-distribution.To that end, we extended Marrow, an algorithmic skeleton framework for multi-GPUs, to support CPU computations and efficiently balance the work-load between devices. Our approach is based on an offline training execution that identifies the ideal work balance and platform configurations for a given application and input data size. The evaluation of this work shows that the combination of CPU and GPU devices can significantly boost the performance of our benchmarks in the tested environments, when compared to GPU-only executions.

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.