Rede sem fios de microcontroladores com acesso remoto aplicada à domótica

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

Geração de código VHDL a partir de especificações IOPT PNML2VHDL

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

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.

Real time mobile system for support in firefighting environments

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

Transactional filesystems

Dissertação de Mestrado em Engenharia Informática

Petri net model decomposition - a model based approach supporting distributed execution

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

Wave4IOPT - editor e visualizador web de formas de onda – aplicação a controladores digitais especificados com modelos de Redes de Petri IOPT

Este trabalho tem o objectivo de criar um Editor e Visualizador Web de Formas de Onda para controladores digitais especificados com modelos Redes de Petri Input-Output Place-Transition (IOPT). Após uma análise das ferramentas existentes e constatando-se a inexistência de uma ferramenta adequada a essa função, desenvolveu-se uma ferramenta denominada Wave4IOPT, que permite a visualização das formas de onda de sinais e eventos de entrada e de saída ao longo do tempo. A ferramenta permite também a visualização dos resultados do histórico de uma simulação de uma Rede de Petri IOPT, proveniente do Simulador das IOPT-Tools. Esta ferramenta incorpora funcionalidades de edição, modos de visualização e um módulo básico de identificação e correcção de erros dos valores das formas de onda. O Wave4IOPT está disponível a partir de um browser e prevê-se que venha a estar integrado no ambiente de ferramentas IOPT-Tools. Esta ferramenta foi construída utilizando tecnologias Web como HTML, JavaScript, CSS, SVG e JSON. Adicionalmente, o Wave4IOPT poderá também servir para a edição, visualização e análise de outros tipos de sinais digitais, desde que sejam preenchidos os requisitos da estrutura do ficheiro JSON que será lido pela ferramenta.

Implementação integrada de SPC e EPC na melhoria contínua do processo

Dissertação apresentada na faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Industrial

Modelação do desempenho académico de estudantes universitários utilizando redes neuronais

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 Aplicações - Actuariado, Estatística e Investigação Operacional.

Controlo unfalsified em sistemas MIMO

Com o crescente progresso tecnológico, surgem sistemas mais eficientes, mas também mais complexos e não-lineares. Isto torna-se mais evidente em sistemas Multi-Input Multi-Output (MIMO), devido a diferentes efeitos que uma entrada possa ter sobre diversas saídas. Para estes sistemas, a obtenção de modelos matemáticos que capturem, com precisão aceitável, a dinâmica do sistema, torna-se cada vez mais complexa e custosa. Sendo que muitos dos sistemas utilizados hoje em dia são MIMO, a diminuição na precisão dos modelos matemáticos é uma adversidade à eficiência dos sistemas de controlo. Isto deve-se a grande parte dos métodos de projeto de controladores terem como base o modelo do sistema. O trabalho realizado nesta dissertação pretende desenvolver uma estrutura de supervisão para sistemas MIMO, com base em controlo Unfalsified, ou Unfalsified Control (UC). Este consiste numa abordagem de controlo adaptativo, cujo processo de adaptação se traduz na seleção de um controlador, de entre um conjunto pré-determinado. Em cada momento é selecionado o controlador que mais se adequa ao objetivo de controlo pretendido. A utilização de UC representa uma possível solução para o problema apresentado, pois utiliza apenas dados experimentais recolhidos do funcionamento do processo. Assim, contorna a necessidade da existência de modelos do processo. Existem, no entanto, dificuldades associadas à comutação de controladores, pelo que este trabalho pretende também desenvolver uma estrutura de Bumpless Transfer (BT), de forma a reduzir estes efeitos. Finalmente, a utilização de dados experimentais implica que a aplicação de UC a um processo está apenas limitada ao ajuste dos parâmetros do sistema de supervisão, e à existência de um conjunto de controladores adequados.

Um modelo Data Envelopment Analysis para avaliação da eficiência dos terminais de contentores do grupo TERTIR

O transporte marítimo tem vindo a adquirir uma considerável importância na economia mundial desde o século XV. O transporte marítimo é visto como um dos meios de transporte mais viáveis, que engloba um largo número de destinos no mundo e representa, para uma determinada distância a percorrer, o menor custo por tonelada. É, também, comparativamente com o transporte aéreo e rodoviário, o meio de transporte menos poluente, tornando-o, assim, uma alternativa “amiga do ambiente”. Em particular, o transporte via contentores tem vindo a ser cada vez mais utilizado devido às suas inúmeras vantagens. O contentor permite o transporte de qualquer tipo de mercadoria em boas condições de acondicionamento e permitiu otimizar as operações efetuadas através da redução de tempo de trabalho, custos e espaço. Ademais, com a globalização, a evolução do mercado, a construção de navios de maiores dimensões e a maior tecnologia investida no setor, a competição entre os portos alcançou níveis que exigem uma maior eficiência de toda a estrutura portuária. Neste contexto, a presente dissertação visa avaliar a eficiência dos terminais de contentores do grupo TERTIR, nomeadamente os de Lisboa, Leixões e Setúbal, utilizando o método Data Envelopment Analaysis (DEA). De um modo geral, o método DEA avalia a capacidade dos terminais em converter inputs em outputs. Mais especificamente os inputs selecionados nesta dissertação dizem respeito às infraestruturas e equipamentos dos terminais em estudo, e o output considera a carga movimentada por cada terminal, sendo neste caso representada pelo número de TEUs movimentados. O modelo proposto é aplicado a um conjunto de 30 terminais de contentores Europeus de 6 países diferentes, nomeadamente, Alemanha, Bélgica, Espanha, França, Holanda e Portugal. De um modo geral, os terminais TERTIR apresentam níveis de eficiência baixos quando comparados com outros terminais Europeus. Os resultados contribuem, também, para auxiliar o grupo TERTIR no debate de algumas questões atuais com as autoridades portuárias, nomeadamente no que se refere à descida dos tarifários praticados aos seus clientes e à enunciada construção do terminal de contentores do Barreiro.