Tolerância a falhas com base em comutação de controladores – implementação em autómatos programáveis

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

Esquemas de controlo de acesso ao meio para sistemas CSMA/CA p-persistente

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

Agentes inteligentes para coordenação do controlo descentralizado em sistemas de canais de distribuição de água

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

Avaliação comparativa de formatos de dados georreferenciados para troca de informação entre sistemas de comando e controlo no contexto militar

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

O uso dos sistemas de informação no apoio ao planeamento e controlo corporativo

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

Perdas em redes de abastecimento de água – Sistemas de detecção, controlo e gestão. Aplicação do conceito Smart Cities na óptica de sustentabilidade do ciclo da água

O desenvolvimento da Sociedade obrigou à gestão integrada dos recursos hídricos. A gestão do ciclo de água é executada de forma a optimizar este recurso ao máximo, tendo em consideração os aspectos económicos, ambientais, normativos e sociais, de forma coordenada com os restantes recursos naturais e com os planos intersectoriais e geracionais. No entanto, continua a constatar-se a ocorrência de elevados níveis de perdas e fugas de água, nos sistemas urbanos de abastecimento e distribuição de água, constituindo um prejuízo para as entidades gestoras, o qual se reflecte, economicamente no cliente final, e no equilíbrio do meio-ambiente. Impera, assim, a necessidade de garantir a utilização da água, de forma consciente, eficiente e sustentável. No âmbito desta temática, surgem, actualmente, termos, como, “água inteligente” ou “smart water”, aplicados especialmente ao conceito “Smart Cities”. Pressupõe-se com este, a aplicação das novas tecnologias de informação, em prol das políticas urbanas que gerem uma cidade, por forma a garantir o controlo em tempo real, da informação inerente à exploração das infra-estruturas existentes na cidade. Estuda-se, neste trabalho, o estado normativo Português e os objectivos governamentais relacionados com o combate às perdas de água, no sentido de obter maiores níveis de eficiência e sustentabilidade do recurso água. Pretende-se analisar, também, a importância da implementação de parcerias (ao nível nacional e internacional), entre empresas de tecnologias de informação (detentoras de métodos inovadores de gestão de dados) e as entidades gestoras dos sistemas de abastecimento de água (conhecedoras dos reais problemas operacionais, inerentes à exploração dos sistemas). Neste trabalho, enumeram-se ainda, exemplos de aplicações inovadoras na gestão de sistemas de abastecimento de água, assim como onde está a ser aplicado o conceito Smart Cities, e quais os meios utilizados para obter apoio para o financiamento das soluções preconizadas.

Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT

O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento.

Jet Grouting - controlo de qualidade em terrenos do miocénio de Lisboa

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Geológica (Geotecnia)

Redes de Petri reactivas e hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Controlo de odores no sistema de saneamento básico dos SMAS de Peniche

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 Química e Bioquímica

Interacções medicamentosas e definição de modelo de controlo de risco

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestrado Integrado em Engenharia Biomédica

Controlo preditivo sobre redes de sensores e actuadores sem fios com tolerância a falhas de comunicação

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

Vulnerabilidade dos sistemas dunares da praia do Meco

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 Engenharia Ecológica

Integração dos sistemas normativos (ISO 22000, IFS e BRC) na indústria alimentar

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Tecnologia Alimentar e Qualidade

Ferramentas informáticas de controlo de projectos nas grandes empresas de construção portuguesas: caracterização e avaliação da sua utilização e benefícios

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Civil, Perfil de Construção