Pesquisa segura de dados em redes de sensores

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 Informática

A Força Aérea Portuguesa e o voo nas redes sociais

Trabalho de projeto apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Dimensionamento de redes hidráulicas prediais

Relatório de Estágio para obtenção do grau de Mestre em Engenharia na Área de Especializção em Edificações

Otimização de placas compósitas laminadas utilizando redes neuronais e enxames de partículas

Trabalho Final de mestrado para obtenção do grau de Mestre em engenharia Mecância

Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. © 2015 IEEE.

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.

High-level Petri nets modules for embedded controllers design

Modular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.

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

Monitorização automática de redes de computadores: estudo e proposta de uma nova soluçã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

Modelização por redes neuronais de uma pilha de combustível do tipo PEM

Dissertação apresentada à Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, para a obtenção do grau de Mestre em Energia e Bio-energia

O impacto da europeização nos padrões de governança em Portugal: uma análise de redes sociais

Comunicação apresentação no XI Congresso Luso Afro Brasileiro de Ciências Sociais, Salvador, Agosto de 2011.

Indicadores de desempenho das redes de abastecimento de água – aplicação prática ao município de Santiago do Cacém

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Sanitária

O prognóstico em cirurgia abdominal: avaliação com redes neuronais

A presente dissertação tem como propósito a definição das características de um modelo prognóstico,utilizando uma rede neuronal, em doentes com patologia Cirúrgica, internados num serviço de Cirurgia Geral. Para esse fim obtive dados clínicos, operatórios, o resultado da intervenção e o tempo de internamento pós-operatório em doentes submetidos a um leque amplo de intervenções de Cirurgia abdominal. Construí um sistema computacional baseado em redes neuronais, utilizando os paradigmas considerados mais adequados para o tipo de variável a prever. Analisei em seguida o desempenho dos modelos obtidos. Construí um programa capaz de recolher os dados clínicos e apresentar o resultado da sua avaliação pelas redes neuronais criadas, sem envolver o seu utilizador nos aspectos técnicos da manipulação das redes neuronais. Para cumprimento desta estratégia procurei atingir os seguintes objectivos: Recolher dados de identificação, manifestações clínicas, tipo de doença(s), diagnósticos, características da intervenção cirúrgica e resultado, referentes a um conjunto de doentes suficiente para a construção de uma rede neuronal, com o número de variáveis empregue. Construir uma base de dados com os elementos de informação assim obtidos. Eliminar todos os casos em que se verificou faltar um elemento de informação. Criar dois grupos de casos, mutuamente exclusivos, para construção e validação das redes neuronais. Criar, com base nos elementos diagnósticos e resultado, 7 grupos não exclusivos, para avaliação das redes criadas. Avaliar estatisticamente as características dos grupos criados, para os comparar e caracterizar. Proceder à escolha de um programa para criação de redes neuronais em função da variedade de paradigmas oferecidos, facilidade de utilização, uso diversificado em diversos ambientes e mercados e a possibilidade de aceder às redes criadas, através de uma linguagem de programação de alto nível. Construir três tipos de redes diferentes. Cada tipo de rede utilizando um algoritmo diferente e adequado ao tipo de variável que se deseja prever. Avaliar as redes no que se refere à sua sensibilidade, especificidade, capacidade discriminativa e calibração. Criar um programa,usando a linguagem de programação "Delphi"©, para captura de dados, articulação dos mesmos com as redes neuronais criadas e expressão dos resultados prognósticos; esse programa permite alterar os valores dos elementos clínicos e verificar a repercussão dessa alteração no prognóstico.

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

Redes de distribuição de gás natural: projeto e desenvolvimento

Atualmente o gás natural é a principal fonte de energia utilizada pela maioria dos europeus nos setores doméstico, terciário e industrial. É considerado a alternativa energética do futuro e a mais ecologicamente correta de que podemos dispor, numa escala compatível com as elevadas necessidades energéticas da Humanidade a nível global. Aliado a estes factos, surgem cada vez mais regras de boa prática, normas e legislação, nomeadamente especificações técnicas de forma a regular o setor e dotar as entidades intervenientes na conceção e controlo de uma instalação de rede de gás, de um conhecimento mais detalhado e atualizado sobre esta matéria. Esta dissertação pretende assim contribuir para a melhoria e modernização do desempenho de todos os que exercem funções neste setor, com vista ao aperfeiçoamento da qualidade e utilidade dos seus serviços. Este trabalho reúne o conjunto de informação técnica presente na legislação e normas de forma a preencher a eventual falha do conhecimento neste ramo por parte destes profissionais dotando-os de um conhecimento mais aprofundado, de modo a que possam executar corretamente e de forma eficaz o seu trabalho. Por outro lado, esta dissertação tem como objetivo o projeto e desenvolvimento de uma rede de distribuição de gás natural aplicado a três redes concretas: rede de distribuição, edifício e moradia. A conceção do projeto de instalação de gás inicia-se com a recolha de informação, seguindo-se o desenvolvimento do estudo do traçado. Assim, estão reunidas as condições para dimensionar e providenciar a escolha de materiais mais adequados para a execução da obra. A metodologia de dimensionamento adotada teve por base a equação dos gases perfeitos e a fórmula de Renouard simplificada, encontrando-se implementada numa folha de cálculo. Esta ferramenta de cálculo aliada à metodologia permite realizar de forma expedita o correto dimensionamento de uma rede de gás, bem como apurar se a velocidade de escoamento se encontra em conformidade com o definido no projeto.