Simulação e estudo experimental de protocolos de encaminhamento seguro com tolerância a intrusões em redes de sensores sem fios de grande escala

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

Aplicação de um modelo de programação linear inteira mista (PLIM) na expansão da rede de distribuição de energia elétrica em Angola

Em Angola, apenas cerca de 30% da população tem acesso à energia elétrica, nível que decresce para valores inferiores a 10% em zonas rurais mais remotas. Este problema é agravado pelo facto de, na maioria dos casos, as infraestruturas existentes se encontrarem danificadas ou não acompanharem o desenvolvimento da região. Em particular na capital angolana, Luanda que, sendo a menor província de Angola, é a que regista atualmente a maior densidade populacional. Com uma população de cerca de 5 milhões de habitantes, não só há frequentemente problemas relacionados com a falha do fornecimento de energia elétrica como há ainda uma percentagem considerável de municípios onde a rede elétrica ainda nem sequer chegou. O governo de Angola, no seu esforço de crescimento e aproveitamento das suas enormes potencialidades, definiu o setor energético como um dos fatores críticos para o desenvolvimento sustentável do país, tendo assumido que este é um dos eixos prioritários até 2016. Existem objetivos claros quanto à reabilitação e expansão das infraestruturas do setor elétrico, aumentando a capacidade instalada do país e criando uma rede nacional adequada, com o intuito não só de melhorar a qualidade e fiabilidade da rede já existente como de a aumentar. Este trabalho de dissertação consistiu no levantamento de dados reais relativamente à rede de distribuição de energia elétrica de Luanda, na análise e planeamento do que é mais premente fazer relativamente à sua expansão, na escolha dos locais onde é viável localizar novas subestações, na modelação adequada do problema real e na proposta de uma solução ótima para a expansão da rede existente. Depois de analisados diferentes modelos matemáticos aplicados ao problema de expansão de redes de distribuição de energia elétrica encontrados na literatura, optou-se por um modelo de programação linear inteira mista (PLIM) que se mostrou adequado. Desenvolvido o modelo do problema, o mesmo foi resolvido por recurso a software de otimização Analytic Solver e CPLEX. Como forma de validação dos resultados obtidos, foi implementada a solução de rede no simulador PowerWorld 8.0 OPF, software este que permite a simulação da operação do sistema de trânsito de potências.

Deteção e identificação de anomalias em redes de distribuição de energia elétrica

Na ocorrência de anomalias nas redes de distribuição de energia elétrica, muitas vezes devido ao reduzido número de informação disponível, a determinação da localização dos defeitos é uma tarefa árdua e morosa. Consequentemente, impõe-se o recurso por parte das companhias elétricas a sistemas que, contribuindo para a diminuição do tempo despendido na localização dos defeitos, assegurem a redução da duração e frequência das falhas de alimentação. Esta dissertação pretende estudar os diversos sistemas de deteção de defeitos existentes, com destaque para a utilização de Indicadores de Passagem de Defeito e analisar o contributo destes sistemas para a melhoria dos Índices de Qualidade de Serviço. Abordar as dificuldades que se colocam à implementação destes sistemas, nomeadamente, pelas características específicas das redes de distribuição. Pretende, ainda, desenvolver uma metodologia e a respetiva ferramenta, que permita a deteção de defeitos baseada na utilização de Indicadores de Passagem de Defeito comunicantes, numa saída da rede de distribuição de média tensão pertencente à EDP. Analisar técnica e economicamente os benefícios a obter com a implementação da metodologia desenvolvida. Esta dissertação pretende, não só atingir os objetivos acima referidos, mas também, através deles, elaborar uma ferramenta útil para as Companhias Elétricas, no sentido de adotarem sistemas de deteção de defeitos e com fim principal de uma possível redução dos tempos de indisponibilidade de alimentação, intimamente associados à persecução de melhores índices de Qualidade de Serviço por parte das mesmas.

Estudo e Acompanhamento de Projeto de Estabilidade

O trabalho foi desenvolvido na empresa Masterprojetos – soluções integradas, através da elaboração e desenvolvimento do projeto de estabilidade de um edifício de cinco pisos, em que um deles se encontra enterrado. Este edifício incorpora um bloco de habitação multifamiliar e um bloco de habitação unifamiliar e comércio. Tanto o edifício como a empresa estão localizados no Peso da Régua. O trabalho pode-se dividir em duas partes: Numa primeira parte estão descritas as funções desempenhadas e contextualizada a metodologia de trabalho. Nesta parte está ainda descrita a ferramenta de trabalho Cypecad, a qual não houve oportunidade de aprender a usar durante o meu percurso académico e desenvolveu-se capacidades de maneira autodidata. São ainda referidos alguns softwares disponíveis no mercado, para o mesmo ramo de atividade. Numa segunda parte encontram-se descritos os pressupostos considerados no pré-dimensionamento do edifício assim como os elementos utilizados para a formulação do modelo de cálculo. Estão ainda feitas algumas verificações analíticas para a validação do modelo tido em conta para o dimensionamento. Estabeleceu-se também uma comparação entre as soluções obtidas através do software Cypecad e através do cálculo analítico para uma laje maciça. No final estão descritas as conclusões que foram obtidas, das quais se salientam a atenção que é necessário ter, quando se utiliza softwares de cálculo automático, quanto à introdução de dados e soluções que se obtêm , assim como a poupança de tempo que este tipo de ferramenta proporciona. É de referir também neste ponto as oportunidades que o estágio me proporcionou, como a visita de alguns locais de obras, as atividades de medição e orçamento de obra e acompanhamento de projetos de outras especialidades como redes prediais, térmica, acústica e ITED (infra-estruturas de Telecomunicações em Edifícios).

RepComp - replicated software components for improved performance

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

AMANDO VÁRI@S – INDIVIDUALIZAÇÃO, REDES, ÉTICA E POLIAMOR

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação

REPRESENTAÇÃO ARTÍSTICA NAS REDES SOCIAIS: UMA ABORDAGEM BASEADA NO FACEBOOK

Dissertação de Mestrado em Ciências da Comunicação Especialização em Comunicação e Artes

Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri

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

Concepção de um aparelho de medição 3D da coluna vertebral: Desenvolvimento de um software de detecção de apófises espinhosas e cálculo da distância ântero-posterior

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

Análise da evolução de software com séries temporais

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

Modelação de um Sistema de AVAC, em Software LabVIEW

Na União Europeia, a energia utilizada nos edifícios é responsável por uma grande parte do consumo total, cerca de 40%, de toda a energia produzida, contribuindo em grande escala para as emissões de gases de efeito de estufa, como o CO2. [ADENE, 2014]. A minimização deste consumo, durante o período de ciclo de vida de um edifício, é um grande desafio associado ao ambiente e à economia. Na atualidade assistimos, cada vez mais, ao emergir de novas tecnologias. Faz parte dessa realidade, o crescimento e o desenvolvimento das UTA’s, que surgem como resposta do ser humano pela busca de otimização da sua zona de conforto, da qualidade de ar interior e da eficiência energética. Assim, para que não se sacrifique o conforto térmico, há que conciliar a qualidade de ar interior com a energia dispensada para climatizar os espaços. Para ajudar à minimização de CO2 em conjunto com uma eficiência energética e conforto térmico, traduzindo-se numa melhor qualidade de ar no interior de espaços climatizados, surge o objetivo de implementar uma aplicação através do software LabVIEW para prever uma experiência real. Como solução, recorreu-se a modelos matemáticos que traduzissem os vários balanços térmicos, balanços de massa e de CO2. As principais conclusões deste trabalho foram: validação do comportamento do modelo matemático da temperatura; validação do comportamento do modelo matemático de CO2; humidade relativa com 25% de registos válidos.

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.

Distribuição segura de chaves criptográficas em redes de sensores sem fios de grande escala: estudo e avaliação experimental em ambiente de simualação

Dissertação de Mestrado em Engenharia Informática

Modelo de controlo difuso de um sistema de produção de energia com base em recursos renováveis

A satisfação das necessidades energéticas mundiais, cada vez mais exigentes, bem como a necessidade urgente de procurar caminhos que permitam usufruir de energia, da forma menos poluente possível, levam à necessidade de serem explorados caminhos que permitam cumprir estes pressupostos. A escolha da utilização das energias renováveis na produção de energia, torna-se cada vez mais interessante, quer do ponto de vista ambiental quer económico. O fundamento da lógica difusa está associado à recolha de informações vagas, que são no fundo uma linguagem falada por seres humanos, possibilitando a passagem deste tipo de linguagem para formato numérico, permitindo assim uma manipulação computacional. Elementos climáticos como o sol e o vento, podem ser descritos em forma de variáveis linguísticas, como é o caso de vento forte, temperatura baixa, irradiação fraca, etc. Isto faz com que a aplicação de um controlo a partir destes fenómenos, justifique ser realizado com recurso a sistemas de inferência difusa. Para a realização do trabalho proposto, foram consumados estudos relativos às energias renováveis, com particular enfoque na solar e na eólica. Também foi realizado um estudo dos conceitos pertencentes à lógica difusa e a sistemas de inferência difusa com o objetivo de perceber os diversos parâmetros constituintes desta matéria. Foi realizado o estudo e desenvolvimento de um sistema de aquisição de dados, bem como do controlador difuso que é o busílis do trabalho descrito neste relatório. Para tal, o trabalho foi efetuado com o recurso ao software MATLAB, a partir do qual foram desenvolvidas aplicações que possibilitaram a obtenção de dados climáticos, com vista à sua utilização na toolbox Fuzzy Logic a qual foi utilizada para o desenvolvimento de todo o algoritmo de controlo. Com a possibilidade de aquisição de dados concluída e das variáveis que iriam ser necessárias definidas, foi implementado o controlador difuso que foi sendo sintonizado ao longo do trabalho por forma a garantir os melhores resultados possíveis. Com o recurso à ferramenta Guide, também do MATLAB, foi criada a interface do sistema com o utilizador, sendo possível a averiguação da energia a ser produzida, bem como das contribuições de cada uma das fontes de energia renováveis para a obtenção dessa mesma energia. Por último, foi feita uma análise de resultados através da comparação entre os valores reais esperados e os valores obtidos pelo controlador difuso, bem como assinaladas conclusões e possibilidades de desenvolvimentos futuros deste trabalho.

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.