Identificação da combinação ótima das fontes de energia renovável de origem hídrica, eólica e fotovoltaica para a integração no sistema elétrico português

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Estudo e proposta de algoritmo para a minimização do corte de eólica no contexto de uma análise custo-benefício multicritério

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Eletrólise da água para produção de gás de síntese

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica Ramo de Processos Químicos

Melhoria da eficiência de amplificadores de potência para sinais RF com envolvente variável

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Electrónica e Telecomunicações

A termografia como a forma mais simples e rápida na resolução de problemas elétricos!

As imagens térmicas são uma forma simples de identificar diferenças de temperatura em circuitos de sistemas trifásicos, comparando com a sua operação em condições normais. Inspecionando o gradiente térmico das três fases juntas, podemos rapidamente detetar anomalias, numa das fases, devido a desequilíbrios ou sobrecargas.

Unidades Ininterruptas de Alimentação (UPS). O que escolher?

As UPS (unidades de alimentação ininterruptas) são sistemas destinados à alimentação de dispositivos elétricos quando existe um corte de energias de rede. As UPS diferenciam-se dos restantes sistemas de emergência na medida em que possibilitam a alimentação instantânea quando ocorre um corte através de baterias e circuitos eletrónicos associados para sistemas de baixa potência ou geradores diesel e sistemas “flywheel*” para sistemas de grande potência. As UPS são normalmente utilizadas para proteger equipamentos que possam conter dados essenciais ou indispensáveis para o funcionamento de um edifício com datacenters, computadores, equipamentos de telecomunicações ou outros equipamentos cuja interrupção de funcionamento possa causar danos irreversíveis em sistemas, dados ou negócios. Para além da capacidade de fornecer energia em caso de interrupção por um período limitado de tempo, as UPS podem corrigir outros eventos de rede como sobretensões, cavas, variações de tensão, ruído, instabilidade de frequência ou distorção harmónica.

Simulação de processos de adsorção recorrendo ao Aspen Chromatography

As operações de separação por adsorção têm vindo a ganhar importância nos últimos anos, especialmente com o desenvolvimento de técnicas de simulação de leitos móveis em colunas, tal como a cromatografia de Leito Móvel Simulado (Simulated Moving Bed, SMB). Esta tecnologia foi desenvolvida no início dos anos 60 como método alternativo ao processo de Leito Móvel Verdadeiro (True Moving Bed, TMB), de modo a resolver vários dos problemas associados ao movimento da fase sólida, usuais nestes métodos de separação cromatográficos de contracorrente. A tecnologia de SMB tem sido amplamente utilizada em escala industrial principalmente nas indústrias petroquímica e de transformação de açúcares e, mais recentemente, na indústria farmacêutica e de química fina. Nas últimas décadas, o crescente interesse na tecnologia de SMB, fruto do alto rendimento e eficiente consumo de solvente, levou à formulação de diferentes modos de operação, ditos não convencionais, que conseguem unidades mais flexíveis, capazes de aumentar o desempenho de separação e alargar ainda mais a gama de aplicação da tecnologia. Um dos exemplos mais estudados e implementados é o caso do processo Varicol, no qual se procede a um movimento assíncrono de portas. Neste âmbito, o presente trabalho foca-se na simulação, análise e avaliação da tecnologia de SMB para dois casos de separação distintos: a separação de uma mistura de frutose-glucose e a separação de uma mistura racémica de pindolol. Para ambos os casos foram considerados e comparados dois modos de operação da unidade de SMB: o modo convencional e o modo Varicol. Desta forma, foi realizada a implementação e simulação de ambos os casos de separação no simulador de processos Aspen Chromatography, mediante a utilização de duas unidades de SMB distintas (SMB convencional e SMB Varicol). Para a separação da mistura frutose-glucose, no quediz respeito à modelização da unidade de SMB convencional, foram utilizadas duas abordagens: a de um leito móvel verdadeiro (modelo TMB) e a de um leito móvel simulado real (modelo SMB). Para a separação da mistura racémica de pindolol foi considerada apenas a modelização pelo modelo SMB. No caso da separação da mistura frutose-glucose, procedeu-se ainda à otimização de ambas as unidades de SMB convencional e Varicol, com o intuito do aumento das suas produtividades. A otimização foi realizada mediante a aplicação de um procedimento de planeamento experimental, onde as experiências foram planeadas, conduzidas e posteriormente analisadas através da análise de variância (ANOVA). A análise estatística permitiu selecionar os níveis dos fatores de controlo de modo a obter melhores resultados para ambas as unidades de SMB.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Sistema de optimização de amplificadores em ambiente distribuído

Tese de Mestrado em Engenharia Electrotécnica e de Computadores

Análise comparativa de sistemas centralizados e descentralizados de valorização de chorumes de suiniculturas, utilizando o software UMBERTO

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 Sanitária

Optimização da recolha de resíduos sólidos indiferenciados no município de Sintra : Aplicação de SIG a um Sistema de Apoio à Decisão

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

Gestão de resíduos de navios e de carga caso de estudo: Porto 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 Gestão Integrada e Valorização de Resíduos, ramo Gestão Integrada de Resíduos

Betão auto-compactável com agregados reciclados provenientes da pré-fabricação

A crescente necessidade de tornar a construção mais sustentável e o intuito de contribuir com soluções de reaproveitamento e de escoamento dos desperdícios produzidos na indústria da construção foram determinantes para o financiamento atribuído a um projeto de investigação, com o objetivo de avaliar a viabilidade da utilização de agregados reciclados de betão provenientes da indústria de pré-fabricação para a produção de betões autocompactáveis (BAC). Desta forma, não só se pode contribuir positivamente para a melhoria da qualidade final das peças produzidas pela indústria de pré-fabricação, dispensando a utilização de métodos de vibração falíveis, mas também se contribui para a sustentabilidade do meio ambiente, minimizando o consumo de recursos naturais e a deposição de aterros de resíduos. O projeto é subdividido em diversas fases de otimização e de análise. Numa fase inicial, serão produzidos e selecionados os betões de origem (BO), onde se incluem os materiais produzidos em laboratório e os materiais provenientes de estruturas pré-fabricadas, os quais darão origem aos agregados a analisar. Esses agregados reciclados (AR) sofrerão um processo de trituração orientado (trituração primária e trituração primária e secundária) que pode influenciar as características do próprio betão. Dos resultados obtidos, seleciona-se o método de trituração a adotar para as fases subsequentes. Estas consistirão na produção de betões convencionais e autocompactáveis, que reproduzam aproximadamente a mesma classe de resistência dos betões de origem, nomeadamente 20, 45, 65 e 80 MPa, variando a sua composição (rácio a/c, adições e superplastificantes) e as taxas de agregados reciclados finos (AFR) e grossos (AGR). As percentagens de substituição AFR/AGR a considerar serão: 0/25, 25/0, 25/25, 0/100, 100/0 e 100/100%. Posteriormente, será efetuada a otimização desses betões para classes de resistência mais elevadas, utilizando, para o efeito, agregados reciclados com resistências mecânicas correspondentes a uma classe inferior. Serão incluídos neste estudo os betões de elevado desempenho autocompactáveis, cuja resistência se pretende que seja igual ou superior a 80 MPa. Em todas as fases, serão executados ensaios de avaliação às características mecânicas e de durabilidade dos betões, incluindo a análise microestrutural para a observação da evolução da estrutura porosa da pasta e dos agregados reciclados e da interface pasta/agregados. Pretende-se obter como resultado final um betão com agregados reciclados com agregados reciclados, cujas propriedades sejam compatíveis ou superiores às de um betão auto-compactável com agregados naturais.

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

A aplicação dos mercados de previsão no sector energético - o caso de estudo da EDP

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia e Gestão Industrial