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

Projecto e implementação de supervisor inteligente em controladores lógicos programáveis

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

Simulador de linguagem em texto estruturado para autómato TSX3721

Os controladores lógicos programáveis (PLC) são muito ,e cada vez mais, utilizados na indústria. Este tipo de equipamento, além de ser inerentemente caro, pode causar situações perigosas e perda de produtividade caso sejam incorretamente programados. Existem programas de alguns fabricantes que permitem a simulação de linguagens utilizadas na programação de autómatos (segundo a norma internacional IEC 61131-3), mas uma simulação da linguagem em Texto Estruturado (ST) em particular, é complicada e de difícil acesso. O principal objetivo deste projeto é a realização de um simulador em tempo real, capaz de realizar testes e simulações prévias de código de Texto Estruturado, a testar posteriormente no autómato TSX Micro 3721 da Schneider. É necessário a construção de um compilador e interpretador de linguagens de programação, para realização do simulador e interface gráfica. Os dois sistemas utilizados para gerar as regras formais gramaticais e de produção em linguagens de programação são o Lex e o Yacc. O Lex gera um analisador léxico dividindo o ficheiro de linguagem em texto estruturado em tokens (símbolos significativos). O Yacc, através desses símbolos recebidos, forma as regras de produção e a respetiva estrutura hierárquica do programa. A partir da interpretação desta estrutura gerada é possível traduzir ou compilar qualquer linguagem de programação, neste caso o texto estruturado, e criar um simulador correspondente numa outra linguagem. O simulador recebe o código ST e através de funções definidas pelo sistema de compilação, interpretação e tradução, reconhece as instruções em linguagem de texto estruturado correspondente e realiza o conjunto de ações propostas. Analisando os testes no autómato e os resultados apresentados pela interface, podemos concluir que é possível realizar compiladores e respetivos simuladores, utilizando análises gramaticais das linguagens de programação, em particular, podemos concluir que o simulador para linguagem em Texto Estruturado foi realizado com sucesso.

GIS from a cultural heritage perspective: when past and future collide

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

Avaliação experimental de esquemas de pré-distribuição de chaves em redes de sensores sem fios

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

Monóides de transformações

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

Gestão de Informação: Inteligência Artificial

A informação e a sua gestão é considerada nos nossos dias como o principal factor de sucesso ou insucesso para qualquer actividade económica ou social. O desenvolvimento de novas tecnologias força todos os agentes econcómicos a desenvolverem-se nestas áreas para conseguirem vantagens concorrenciais. Este trabalho visa fazer uma apresentação de uma “nova” área da ciência da computação a que se chamou Inteligência Artificial.

Laboratório remoto de automação industrial (Lab-RAI)

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

Cenários de alterações de uso e ocupação do solo até 2040 em Portugal Continental

Uma previsão de alterações futuras, assim como a simulação de cenários, podem sobretudo auxiliar e permitir uma antevisão de políticas de desenvolvimento de ordenamento do território. O desenvolvimento dos Sistemas de Informação Geográfica (SIG) nesta área permite, em conjunto com modelos espaciais, a simulação de cenários alternativos de uso e ocupação do solo com base em alterações passadas. O presente estudo consiste, numa primeira parte, na previsão em termos quantitativos do uso e ocupação do solo em Portugal Continental, utilizando um modelo de Markov para os anos de 2020, 2030 e 2040, tendo como base as alterações ocorridas entre 1990 e 2000. Este modelo permite prever a mudança de forma quantitativa do uso e ocupação do solo com base nas alterações do período imediatamente anterior. Estas previsões foram feitas para todo o território continental e detalhadamente para cada uma das cinco regiões NUTS II. Numa segunda parte, o modelo espacial de simulação de alteração de uso e ocupação do solo para o ano de 2040 foi realizado com recurso a cadeias de Markov com Autómatos Celulares e com base em Regressão Logística. Foi através do modelo, baseado em Autómatos Celulares, e após validação positiva deste, que se simularam três cenários futuros: (1) cenário de sustentabilidade ambiental; (2) cenário de desenvolvimento industrial; e (3) cenário de desertificação utilizando como referência a previsão para 2040, considerando o cenário Business-as-Usual.