Combining global tabu search with local search for solving systems of equalities and inequalities

This papers aims at providing a combined strategy for solving systems of equalities and inequalities. The combined strategy uses two types of steps: a global search step and a local search step. The global step relies on a tabu search heuristic and the local step uses a deterministic search known as Hooke and Jeeves. The choice of step, at each iteration, is based on the level of reduction of the l2-norm of the error function observed in the equivalent system of equations, compared with the previous iteration.

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Global localization with non-quantized local image features

In the field of appearance-based robot localization, the mainstream approach uses a quantized representation of local image features. An alternative strategy is the exploitation of raw feature descriptors, thus avoiding approximations due to quantization. In this work, the quantized and non-quantized representations are compared with respect to their discriminativity, in the context of the robot global localization problem. Having demonstrated the advantages of the non-quantized representation, the paper proposes mechanisms to reduce the computational burden this approach would carry, when applied in its simplest form. This reduction is achieved through a hierarchical strategy which gradually discards candidate locations and by exploring two simplifying assumptions about the training data. The potential of the non-quantized representation is exploited by resorting to the entropy-discriminativity relation. The idea behind this approach is that the non-quantized representation facilitates the assessment of the distinctiveness of features, through the entropy measure. Building on this finding, the robustness of the localization system is enhanced by modulating the importance of features according to the entropy measure. Experimental results support the effectiveness of this approach, as well as the validity of the proposed computation reduction methods.

Expropriações: dos impactes dos planos municipais de ordenamento do território à identificação local das áreas a expropriar

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Evolução da população no período 2001–2026 no Concelho de Alenquer – Um aeroporto na Ota? Impactos de desenvolvimento local

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Mudanças nos padrões de poder do "Hinterland" de Luanda: o impacto da colonização sobre os Mbundu (c.1845-1920)

Penélope. Fazer e desfazer a história, n.14, pág.43-91

Factores que influenciam a mortalidade de abetarda e sisão por colisão em linhas de muito alta tensão. Análises às escalas local e regional e implicações para o Ordenamento do Território

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Ordenamento do Território e Planeamento Ambiental

Impacte da subida do nível do mar sobre o turismo

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia do Ambiente, perfil de Gestão e Sistemas Ambientais

Suporte à computação paralela e distribuída em Java: distribuição e execução de trabalho

Nos últimos anos começaram a ser vulgares os computadores dotados de multiprocessadores e multi-cores. De modo a aproveitar eficientemente as novas características desse hardware começaram a surgir ferramentas para facilitar o desenvolvimento de software paralelo, através de linguagens e frameworks, adaptadas a diferentes linguagens. Com a grande difusão de redes de alta velocidade, tal como Gigabit Ethernet e a última geração de redes Wi-Fi, abre-se a oportunidade de, além de paralelizar o processamento entre processadores e cores, poder em simultâneo paralelizá-lo entre máquinas diferentes. Ao modelo que permite paralelizar processamento localmente e em simultâneo distribuí-lo para máquinas que também têm capacidade de o paralelizar, chamou-se “modelo paralelo distribuído”. Nesta dissertação foram analisadas técnicas e ferramentas utilizadas para fazer programação paralela e o trabalho que está feito dentro da área de programação paralela e distribuída. Tendo estes dois factores em consideração foi proposta uma framework que tenta aplicar a simplicidade da programação paralela ao conceito paralelo distribuído. A proposta baseia-se na disponibilização de uma framework em Java com uma interface de programação simples, de fácil aprendizagem e legibilidade que, de forma transparente, é capaz de paralelizar e distribuir o processamento. Apesar de simples, existiu um esforço para a tornar configurável de forma a adaptar-se ao máximo de situações possível. Nesta dissertação serão exploradas especialmente as questões relativas à execução e distribuição de trabalho, e a forma como o código é enviado de forma automática pela rede, para outros nós cooperantes, evitando assim a instalação manual das aplicações em todos os nós da rede. Para confirmar a validade deste conceito e das ideias defendidas nesta dissertação foi implementada esta framework à qual se chamou DPF4j (Distributed Parallel Framework for JAVA) e foram feitos testes e retiradas métricas para verificar a existência de ganhos de performance em relação às soluções já existentes.

Diagnóstico de funcionamento e otimização das ETARs do concelho da Póvoa de Varzim

O tratamento das águas residuais é uma matéria de extrema importância para o município da Póvoa de Varzim, não só por uma questão de saúde pública e conservação do meio ambiente como também pela vertente turística deste concelho, que tem na sua orla costeira seis praias às quais foram atribuídas bandeiras azuis pela sua qualidade. O concelho da Póvoa de Varzim engloba doze freguesias e possui quinze estações de tratamento de águas residuais (ETARs), sendo catorze delas compactas. O seu controlo é assegurado pela divisão de saneamento básico da câmara municipal da Póvoa de Varzim. O objetivo deste trabalho foi o diagnóstico de funcionamento das ETARs do município tendo em vista a identificação dos problemas existentes e a sua resolução/otimização. De forma a poder identificar o princípio de funcionamento e a presença de anomalias nas estações de tratamento, foram realizadas várias visitas a cada uma delas ao longo do período de estágio. A recolha de amostras para análises dos diferentes parâmetros foi feita por um funcionário e estas foram enviadas para o laboratório com parceria com a Câmara Municipal. Após uma extensa recolha de informação no local e de um estudo exaustivo de toda a documentação associada a cada ETAR concluiu-se que apenas quatro delas apresentavam problemas revelantes. As ETARs do parque industrial de Laúndos e do centro histórico de Rates apresentam caudais de admissão bastante elevados devido à descarga pontual de camiões cisterna o que faz com que o tratamento não seja eficaz. Como solução sugeriu-se a construção de um tanque de equalização em ambas as ETARs, com agitador e regulador de caudal, de forma a garantir, respetivamente, a mistura e uniformização das águas residuais domésticas e industriais e que apenas será bombeado o caudal adequado para tratamento. As ETARs da Incondave e das Fontaínhas apresentam sobretudo anomalias a nível do equipamento, o que leva a um mau desempenho da instalação. Aconselhou-se o conserto dos equipamentos danificados e uma inspeção mais frequente das instalações para que mal ocorra uma avaria, esta seja reparada o mais depressa possível. O estágio na câmara municipal da Póvoa de Varzim (CMPV) teve a duração de 10 meses, entre Outubro e Julho de 2012 e foi realizado no âmbito da disciplina de dissertação/ estágio do mestrado de tecnologias de proteção ambiental no Instituto Superior de Engenharia do Porto. Este estágio foi uma mais-valia para mim na medida em que pude consolidar os conhecimentos adquiridos ao longo de todo o meu percurso académico e conhecer a realidade do mercado de trabalho.

The intersection of people, technology and local space. PPGIS and Web in practice for participatory planning

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

DIGRA (Digital Graffiti) um protótipo de apoio à realização de percursos topográficos

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Turismo como motor de desenvolvimento local: o caso do Vale do Tua

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, perfil Engenharia Gestão e Sistemas Ambientais

Paridades de poder de compra: estudo dos índices binários e multilaterais e sua aplicação no cálculo dos índices de custo de vida

Relatório de Estágio apresentado como requisito parcial para a obtenção do grau de Mestre em Estatística e Gestão de Informação