Caracterização da ocupação do solo com recurso à aplicação de modelos de misturas espectrais em séries multi-temporais de imagens MODIS

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

Protocolo Mac para acesso multi-modo em redes de sensores sem fios móveis

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 Electrotécnica e de Computadores

Serviços pós-4G em redes de satélite LEO com recepção multi-pacote e com handover

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Serviços pós-4G em redes de satélite com recepção multi-pacote de acesso com agendamento

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e Computadores

De arquitecturas organizacionais em i* para arquitecturas baseadas em agentes: uma abordagem orientada a modelos

Os requisitos dizem, normalmente, o que um sistema deve fazer, por oposição a como fazê-lo. O contexto organizacional justifica e ajuda a compreender os porquês que levam à necessidade de certos requisitos importantes para um sistema de software ser bem sucedido. As técnicas de modelação de requisitos oferecem o conhecimento que permite a análise necessária nesta fase inicial do desenvolvimento. Contudo, a maioria das técnicas de requisitos são mais adequadas para uma fase posterior do processo da engenharia de requisitos. O desenvolvimento de software orientado a agentes procura preencher esta lacuna, mas é um paradigma relativamente recente. Para a consolidação deste novo paradigma, o projecto Tropos está a desenvolver uma abordagem para o desenvolvimento orientado a Agentes que se baseia nos conceitos sociais e intencionais oferecidos pela abordagem de modelação organizacional i*. No entanto, o uso do i* não é suficientemente expressivo como uma linguagem de descrição arquitectural. Reconhecendo no UML a capacidade de actuar como linguagem de descrição arquitectural, esta dissertação especifica as transformações necessárias dos modelos arquitecturais organizacionais descritos em i*, para os modelos arquitecturais descritos no perfil de Agência do UML utilizado para modelar sistemas multi-agente, através de uma abordagem orientada a modelos.

A decisão política em educação: análise estratégica da mudança de modelos decisionais em administração pública

Dissertação de mestrado em Ciências de Educação: área de Educação e Desenvolvimento

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Modelos estatísticos de previsão do ozono troposférico na região de Lisboa e Vale do Tejo

A previsão das concentrações de ozono troposférico é importante devido aos impactos deste poluente na saúde humana e na vegetação. Neste contexto, o objectivo principal deste trabalho é a previsão de ozono na região de Lisboa e Vale do Tejo, através de métodos estatísticos com base em dados horários do próprio dia, para cada estação. A previsão foi dividida entre avaliação instantânea (previsão baseada em dados momentâneos) recorrendo a árvores de regressão, e previsão horária para um período horário de previsão específico (13:00 -17:00 horas UTC) utilizando modelos de regressão linear. A Avaliação instantânea foi dividida entre análise espacial e análise meteorológica e de precursores. Foram utilizadas séries temporais de dados de 2000 a 2005. No caso da previsão horária utilizaram-se, na fase de validação, dados de 2006. Concluiu-se que, para a avaliação instantânea, a análise espacial apresenta melhores resultados do que a meteorológica. Os modelos de regressão elaborados, para a previsão horária apresentam bons resultados na fase de treino, mas os índices de performance demonstram resultados menos bons na fase de validação. No geral, estes podem ser considerados bons a explicar o comportamento do ozono, contudo menos rigorosos na previsão de excedências. Foi constatada a existência de uma tendência geral para um decréscimo do coeficiente de determinação e um aumento do erro padrão ao longo do período de previsão. Assim os coeficientes de determinação mais elevados e os erros padrão menores verificam-se às 13:00 e o contrário verifica-se às 17:00 horas UTC.

Visitas guiadas através de modelos de volumetria

Esta dissertação tem por fim o estudo de algoritmos que permitem efectuar uma visita guiada a um modelo volumétrico. A visita guiada permite ao utilizador observar todas as partes relevantes do modelo. Assim, expõe-se como seleccionar de forma automática as posições que melhor permitem observar as partes relevantes. Dadas essas posições, mostra-se como criar um percurso que passe por todas elas. O esforço exigido ao utilizador, durante a visita guiada, face à metodologia aplicada, é o mínimo possível, como se este estivesse numa plataforma móvel e alguém empurrasse essa plataforma. Liberto de todas as preocupações associadas à sua deslocação, o utilizador poderá concentrar-se apenas na observação do modelo. É também abordado o caso particular da visita guiada a um modelo representativo de um museu de pintura. As técnicas estudadas são implementadas, tendo sido criado um protótipo que permite efectuar uma visita guiada ao museu. Nessa visita guiada, as peças expostas, que são as partes relevantes do museu, são visualizadas da melhor forma possível, ou seja, de maneira a que sua dimensão e o contexto em que estão inseridas sejam perceptíveis para o utilizador.

Modelos de planos em blocos incompletos: revisão e perspectivas

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Estatística e Optimização

Famílias estruturadas de modelos com modelo base ortogonal: Teoria e aplicações

Dissertação apresentada para obtenção do Grau de Doutor em Matemática com especialização em Estatística pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Integração de ambientes industriais colaborativos através da visualização orientada pelos modelos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Estratégia multi-temporal para produção automática de cartografia de ocupação do solo com imagens AWiFS

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

Modelos de apreçamento e cobertura para derivados sobre matérias-primas (Commodities)

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Matemática e as suas aplicações-Ramo Ciências Actuariais

Multi-region routing

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 Electrotécnica e de Computadores