Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Produção Fotovoltaica em Autoconsumo e Pequena Produção: Caso de Estudo do ISEP

A presente dissertação insere-se no âmbito da unidade curricular de “Dissertação/Projeto/Estágio”, do 2º ano do mestrado em Engenharia Eletrotécnica – Sistemas Elétricos de Energia. Com o crescente aumento do consumo energético a nível mundial, e consequente esgotamento dos recursos fósseis, surge a necessidade de procurar soluções alternativas para a produção de energia. As energias renováveis aparecem como uma solução sustentável na produção de eletricidade, pois a sua produção representa um menor custo. Este trabalho tem como principais objetivos o dimensionamento de uma central de produção fotovoltaica para o ISEP nos regimes de exploração em autoconsumo e pequena produção, tendo em conta o atual Decreto-Lei (DL) n.º 153/2014, e também a análise de viabilidade económica dessa mesma instalação. O sistema fotovoltaico usado no dimensionamento em autoconsumo e pequena produção foi realizado com recurso ao software PVsyst. Tendo em conta que os consumos do ISEP são bastante inferiores nos períodos de férias escolares e fins-de-semana, e também por haver uma limitação de área disponível para a colocação dos módulos fotovoltaicos, a melhor opção a adotar será um sistema fotovoltaico de 237 kWp, tanto para autoconsumo como para pequena produção. Outro objetivo é a realização de um estudo de viabilidade económica do sistema fotovoltaico dimensionado. Os resultados obtidos permitem então clarificar qual dos regimes de exploração é mais viável para o ISEP, sendo que esses resultados poderão servir de apoio a uma futura decisão, caso o ISEP decida instalar um sistema deste tipo.

Autoconsumo: Um Elemento de Eficiência Energética

Nos últimos anos assistiu-se ao crescente aumento do custo da Energia Elétrica (EE), com grande impacto após o ano 2012 devido à alteração no escalão da taxa de IVA aplicável. Por outro lado tem-se ainda vindo a verificar o aumento do défice tarifário devido a um conjunto de medidas e decisões estratégicas que atualmente estão a ser pagas por todos os consumidores de energia. A introdução dos programas da microprodução seguida da miniprodução, por parte da Direção Geral de Energia e Geologia (DGEG), permitiu aos pequenos e grandes consumidores de EE, efetuar localmente produção de EE por intermedio de fontes renováveis. Contudo, segundo as “limitações” por parte destes programas, apenas era permitido aos novos pequenos produtores injetar toda a eletricidade produzida na rede elétrica, não proporcionando qualquer benefício ao nível do consumo de energia local. Ano após ano, tem-se verificado uma revisão negativa, por parte da DGEG, sobre as tarifas de remuneração da energia produzida por estes sistemas, o que abalou significativamente um setor que até aqui tinha vindo a crescer a passos largos. Tendo em conta esta nova realidade surge a necessidade de procurar alternativas mais viáveis. A alternativa proposta, não é nada mais do que uma “revisão eficiente” dos atuais sistemas em vigor, permitindo assim aos pequenos produtores, atenuar os consumos energéticos e injetar na rede os excedentes de energia. O Autoconsumo revoluciona assim os atuais mecanismos existentes, garantindo deste modo que os consumidores de EE possam reduzir a sua fatura de eletricidade através da geração local de energia.

Impacto da influência de um Sistema de Gestão Técnica Centralizada na redução dos custos de exploração de um edifício

É de conhecimento do meio, que os Sistemas de Gestão Técnica Centralizada (SGTC) são uma mais-valia para a redução de utilização de energia associados principalmente aos sistemas de Aquecimento, Ventilação e Ar Condicionado (AVAC) apesar das potencialidades serem abrangentes a outras áreas. No entanto, existe alguma lacuna quanto à quantificação dessa mais-valia, facto importante sobretudo para a alteração de mentalidades dos promotores e proprietários dos edifícios, que por falta de prova, normalmente apenas associam o SGTC a um investimento num serviço desnecessário. As potencialidades dos SGTC são muitas, a título de exemplo, redução na utilização de fontes de energia, gestão da manutenção de sistemas e equipamentos, análise de eficiências de equipamentos, entre muitas outras, sendo nesta dissertação estudado com mais profundidade a questão associada à diferença dos custos de exploração resultantes da utilização de energia num edifício por parte dos sistemas de AVAC, isto é, quais serão os ganhos na utilização da energia, associados ao sistema AVAC, que podem ser obtidos com a implementação de um SGTC. Para o efeito, utilizou-se os sistemas e equipamentos existentes no edifício ECOTERMOLAB, pertencente ao Instituto de Soldadura e Qualidade (ISQ), com o objetivo de verificar as diferenças de utilização de energia resultantes do funcionamento do edifício em normal atividade, isto é, o edifício com todos os seus sistemas operacionais, incluindo o SGTC, e o edifício em funcionamento sem o auxílio do SGTC, ou seja, todos os sistemas associados ao sistema AVAC em funcionamento em modo manual e sem recurso a variação de caudal na rede aeráulica e hidráulica. Em termos anuais, o ECOTERMOLAB consome, aproximadamente, cerca de 38,1 MWh de energia elétrica e 39,2 MWh de gás natural, o que representa uma utilização de energia primária de 14,4 tep/ano. Esta energia, representa um encargo financeiro anual de, aproximadamente, 9500€/ano, correspondente a 7000€/ano de energia elétrica e 2500€/ano de gás natural. Após a análise desenvolvida neste trabalho, conclui-se que o funcionamento do edifício sem controlo do sistema de AVAC por SGTC representaria em termos anuais a um aumento de, aproximadamente, 25,2 MWh e 6,2 MWh de energia elétrica e de gás natural, respetivamente. Em termos de energia primária, a diferença entre soluções origina um acréscimo na utilização de energia de 7,8 tep/ano o que representa um aumento de emissão de CO2 na ordem das 9,4 ton/ano. A avaliação económica, recaiu sobre a determinação de indicadores para avaliação da viabilidade de implementação de um SGTC, nomeadamente, o período de retorno simples, o valor atual líquido e a taxa interna de rentabilidade. Todos estes indicadores se revelaram positivos, apresentando um período de retorno ligeiramente superior a oito anos, um valor atual líquido positivo (8864,1€) e uma taxa interna de rentabilidade superior à taxa de custo de capital (11,2%).

Auditoria Energética a Instalação Comercial

O setor da indústria destaca-se como um dos maiores consumidores de energia final em Portugal, representando cerca de 30% do consumo. Para fazer face a esta situação e no âmbito da Estratégia Nacional para a Energia foi criado, pelo Decreto-Lei n.º 71/2008, o Sistema de Gestão dos Consumos Intensivos de Energia (SGCIE), regulamento que classifica como Consumidoras Intensivas de Energia (CIE) as indústrias com um consumo anual superior aos 500 tep. Prevendo a elaboração de Planos de Racionalização dos Consumos de Energia (PREn), estabelecendo-se acordos de racionalização dos consumos com a Direção Geral de Energia e Geologia (DGEG) [1]. Atuando ao nível da eficiência energética o consumo de energia na indústria pode diminuir significativamente, para tal é necessário proceder-se à execução de auditorias energéticas e determinar as soluções mais adequadas de forma a reduzir os desperdícios e custos associados ao consumo de energia. Nesta dissertação apresenta-se a realização de uma auditoria energética a uma instalação comercial, que assenta essencialmente em quatro etapas, nomeadamente: planeamento da intervenção, trabalho de campo, tratamento e análise da informação recolhida, elaboração do relatório da auditoria. A aplicação desta metodologia constitui uma grande ajuda na realização de auditorias energéticas conferindo uma maior qualidade à sua execução. De forma a validar a metodologia utilizada nas auditorias energéticas foi realizado o estudo a uma instalação comercial que registou no ano 2013, um consumo energético inferior a 500 tep, contudo aderiu de forma voluntária ao Sistema de Gestão dos Consumos Intensivos de Energia (SGCIE), sendo obrigado a racionalizar o seu consumo de energia de acordo com as metas estabelecidas no SGCIE.

Water jet based autonomous surface vehicle for coastal waters operations

This paper presents the design of low cost, small autonomous surface vehicle for missions in the coastal waters and specifically for the challenging surf zone. The main objective of the vehicle design described in this paper is to address both the capability of operation at sea in relative challenging conditions and maintain a very low set of operational requirements (ease of deployment). This vehicle provides a first step towards being able to perform general purpose missions (such as data gathering or patrolling) and to at least in a relatively short distances to be able to be used in rescue operations (with very low handling requirements) such as carrying support to humans on the water. The USV is based on a commercially available fiber glass hull, it uses a directional waterjet powered by an electrical brushless motor for propulsion, thus without any protruding propeller reducing danger in rescue operations. Its small dimensions (1.5 m length) and weight allow versatility and ease of deployment. The vehicle design is described in this paper both from a hardware and software point of view. A characterization of the vehicle in terms of energy consumption and performance is provided both from test tank and operational scenario tests. An example application in search and rescue is also presented and discussed with the integration of this vehicle in the European ICARUS (7th framework) research project addressing the development and integration of robotic tools for large scale search and rescue operations.

Learning sustainability by developing a solar dryer for microalgae retrieval

The development of nations depends on energy consumption, which is generally based on fossil fuels. This dependency produces irreversible and dramatic effects on the environment, e.g. large greenhouse gas emissions, which in turn cause global warming and climate changes, responsible for the rise of the sea level, floods, and other extreme weather events. Transportation is one of the main uses of energy, and its excessive fossil fuel dependency is driving the search for alternative and sustainable sources of energy such as microalgae, from which biodiesel, among other useful compounds, can be obtained. The process includes harvesting and drying, two energy consuming steps, which are, therefore, expensive and unsustainable. The goal of this EPS@ISEP Spring 2013 project was to develop a solar microalgae dryer for the microalgae laboratory of ISEP. A multinational team of five students from distinct fields of study was responsible for designing and building the solar microalgae dryer prototype. The prototype includes a control system to ensure that the microalgae are not destroyed during the drying process. The solar microalgae dryer works as a distiller, extracting the excess water from the microalgae suspension. This paper details the design steps, the building technologies, the ethical and sustainable concerns and compares the prototype with existing solutions. The proposed sustainable microalgae drying process is competitive as far as energy usage is concerned. Finally, the project contributed to increase the deontological ethics, social compromise skills and sustainable development awareness of the students.

Impact of sensor nodes scaling and velocity on handover mechanisms for healthcare wireless sensor networks with mobility support

Health promotion in hospital environments can be improved using the most recent information and communication technologies. The Internet connectivity to small sensor nodes carried by patients allows remote access to their bio-signals. To promote these features the healthcare wireless sensor networks (HWSN) are used. In these networks mobility support is a key issue in order to keep patients under realtime monitoring even when they move around. To keep sensors connected to the network, they should change their access points of attachment when patients move to a new coverage area along an infirmary. This process, called handover, is responsible for continuous network connectivity to the sensors. This paper presents a detailed performance evaluation study considering three handover mechanisms for healthcare scenarios (Hand4MAC, RSSI-based, and Backbone-based). The study was performed by simulation using several scenarios with different number of sensors and different moving velocities of sensor nodes. The results show that Hand4MAC is the best solution to guarantee almost continuous connectivity to sensor nodes with less energy consumption.

Diagnóstico energético da indústria de pneus e sugestões de melhoria

Cada vez mais a indústria tem vindo a sofrer algumas mudanças no seu processo produtivo. Hoje, mais que nunca, é preciso garantir que as instalações produtivas sejam as mais eficientes possíveis, procurando a racionalização da energia com um decrescimento dos custos. Deste modo o objectivo desta dissertação é o diagnóstico energético na fábrica de pneus e sugestões de melhoria na empresa CNB/CAMAC. A realização de um diagnóstico energético, para a detecção de desperdícios de energia tem sido amplamente utilizada. A optimização irá prospectar potenciais de mudanças e aplicação de tecnologias de eficiência energética. Pretende-se deste modo travar o consumo energético sem que seja afectada a produção, já que a empresa é considerada consumidora intensiva de energia. Na empresa CNB/CAMAC há consumo de fuelóleo, gasóleo, vapor e energia eléctrica, sendo o vapor a forma de energia mais consumida (36,1%) seguido da energia eléctrica (33,8%), fuelóleo (29,9) e gasóleo (0,3%). O levantamento energético permitiu estudar a influência de algumas variáveis, nos consumos anuais da energia, e assim apresentar propostas de melhoria. Uma das propostas analisadas foi a possibilidade de efectuar um isolamento térmico a algumas válvulas no equipamento de produção e distribuição de vapor. Este isolamento conduziria a uma poupança de 33.540 kWh/ano. Também se propôs o isolamento dos tubos de transporte de vapor no sector da vulcanização o que geraria uma poupança de 549.826 kWh/ano. Sugere-se a implementação de um economizador na caldeira nº1 uma vez que a temperatura média dos gases de chaminé se situa á volta dos 311ºC. Uma vez que existe a pré instalação de um sistema de cogeração, sugere-se que este seja finalizado. Propôs-se a implementação de balastros electrónicos, que conduziria a uma diminuição em energia eléctrica de 33.5877 kWh/ano. Também se propõe a eliminação das fugas de ar na rede de distribuição do ar comprimido poupando assim 12,96kW/h.

PIASA: A power and interference aware resource management strategy for heterogeneous workloads in cloud data centers

Cloud data centers have been progressively adopted in different scenarios, as reflected in the execution of heterogeneous applications with diverse workloads and diverse quality of service (QoS) requirements. Virtual machine (VM) technology eases resource management in physical servers and helps cloud providers achieve goals such as optimization of energy consumption. However, the performance of an application running inside a VM is not guaranteed due to the interference among co-hosted workloads sharing the same physical resources. Moreover, the different types of co-hosted applications with diverse QoS requirements as well as the dynamic behavior of the cloud makes efficient provisioning of resources even more difficult and a challenging problem in cloud data centers. In this paper, we address the problem of resource allocation within a data center that runs different types of application workloads, particularly CPU- and network-intensive applications. To address these challenges, we propose an interference- and power-aware management mechanism that combines a performance deviation estimator and a scheduling algorithm to guide the resource allocation in virtualized environments. We conduct simulations by injecting synthetic workloads whose characteristics follow the last version of the Google Cloud tracelogs. The results indicate that our performance-enforcing strategy is able to fulfill contracted SLAs of real-world environments while reducing energy costs by as much as 21%.

Análise da viabilidade económica da implementação de uma central de micro-cogeração no setor da agropecuária

O crescente aumento do consumo energético das sociedades desenvolvidas e emergentes, motivado pelo progresso económico e social, tem induzido a procura de alternativas focalizadas nas energias renováveis, que possam contribuir para assegurar o fornecimento de energia sem agravar o consumo de combustíveis fósseis e a emissão de gases com efeito de estufa. Nesse sentido, a produção de energia eléctrica a partir do gás metano resultante da estabilização anaeróbia de efluentes tem vindo a ser estudada e praticada desde finais do século XIX, tendo assumido maior expressão a partir dos anos 70 do século XX, na sequência das primeiras crises petrolíferas. As instalações agropecuárias reúnem dois fatores chave para o sucesso do aproveitamento energético do biogás produzido no tratamento dos efluentes: por um lado, produzem matéria-prima com potencial energético – dejeto animal com um potencial enorme de criação de biogás quando procedido de tratamento anaeróbio - e, por outro, necessitam de energia eléctrica para o funcionamento dos equipamentos electromecânicos e de calor para a manutenção das instalações. A valorização energética do biogás produzido na estabilização anaeróbia dos efluentes agro-pecuários, para além de permitir obter um retorno financeiro, que contribui para o equilíbrio dos custos de investimento e de exploração, contribui igualmente para a redução das emissões de gases com efeito de estufa, como o dióxido de carbono e o metano, e para a segurança de abastecimento energético à instalação, na medida em que assegura a alimentação de energia eléctrica em caso de falha no fornecimento pela rede nacional. A presente dissertação apresenta um contributo para estudos a desenvolver por proprietários de agropecuárias, cooperativas regionais do setor da agropecuária, empresas de projecto e estudantes de Engenharia, constituído por uma compilação da informação mais relevante associada à estabilização anaeróbia de efluentes e à valorização energética do biogás produzido. Com base em informação referente ao número real de animais existentes em Portugal, este trabalho pretende fazer ver a essas entidades que o aproveitamento energético do biogás é viável e útil para o país. Com a criação de uma aplicação informática de análise económica de investimento, provar que o investimento em pequenas propriedades, com apenas 80 cabeças normais, pode obter um retorno financeiro razoável, com um prazo de recuperação do investimento bastante baixo, aproveitando um recurso que caso contrário será desperdiçado e poluirá o ambiente.

Otimização energética da máquina de impregnar telas para pneus

Este trabalho realizou-se na empresa Continental – Indústria Têxtil do Ave, S.A (CITA) em colaboração com a empresa Cofely GDF Suez – Energia e Serviços Portugal, S.A. O principal objetivo desta dissertação foi a otimização energética da máquina de impregnar telas para pneus – a máquina ZELL, tendo em conta as principais utilidades envolvidas: eletricidade e gás natural. Deste modo foi feito um levantamento prévio das condições de operação desta máquina relativamente às telas mais representativas da produção da empresa. Tendo-se verificado que as telas em poliéster representam 65% da produção total da máquina ZELL. Para este tipo de produto, foi feita uma análise dos consumos energéticos anuais para avaliar qual das utilidades referidas corresponde à maior parcela energética. Verificou-se que o consumo de gás natural representa a maior parcela da fatura energética anual da empresa correspondendo a 47%. Além disso, da energia total consumida anualmente pela ZELL, que corresponde a 1360 tep, 32% é relativo à energia elétrica e os restantes 68% ao consumo de gás natural. Por fim, procedeu-se à otimização energética estudando as alterações possíveis no sentido de reduzir os consumos energéticos da máquina, sem prejuízo da qualidade do produto final. Para isso propôs-se a instalação de permutadores de fluxo cruzado para pré-aquecer quer o ar fresco quer o ar de combustão. A implementação desta medida tem um período de retorno à volta de três anos e pode levar a uma poupança anual entre 1.359.639 kWh e 2.370.114 kWh para o ar fresco e 393.523 kWh e 639.475 kWh para o ar de combustão.

Tecnologias de Produção de Frio: Estudo e Análise de Soluções Técnico-económicas

A preocupação com os consumos energéticos é um assunto do qual se tem vindo cada vez mais a ter atenção no sentido de que sejam feitas reduções para que se consiga manter a sustentabilidade do planeta. As indústrias agroalimentares são um dos setores mais importantes em Portugal, sendo que os sistemas de refrigeração são os seus principais consumidores de energia elétrica, ocupando a maior parte da fatia do consumo da instalação. A identificação de oportunidades de racionalização dos consumos de energia toma assim especial importância, tanto na utilização de tecnologias mais eficientes como em medidas de boas práticas, ou seja como são utilizados os serviços. Neste âmbito surge o presente trabalho que tem como objetivo principal estudar duas instalações do mesmo setor e de escalas semelhantes de forma a identificar as diferenças entre elas e de como as tecnologias e os hábitos de utilização de cada uma influenciam nos consumos de energia. Foram estudados os sistemas de refrigeração e os seus principais constituintes, bem como as melhorias passiveis de implementar para que conduzissem a uma redução dos consumos energéticos. Assim, foi desenvolvida uma metodologia de auditoria orientada para os sistemas de refrigeração, em que foi aplicada aquando das auditorias às duas instalações. Após toda a recolha da informação acerca das instalações em estudo, fez se a sua análise individual e a comparação entre ambas, daqui foram obtidos os resultados.

A eficiência energética nas redes de telecomunicações e tecnologias de informação e comunicação

A presente tese pretende fazer uma abordagem ao crescimento dos consumos de energia elétrica, que se tem verificado, nos últimos anos, no setor das telecomunicações e das tecnologias de informação; devido ao constante crescimento das redes, dos equipamentos a ela ligados e do tráfego que nelas transita. Num contexto de globalização da economia, no qual, as redes de telecomunicações e de energia elétrica são dois dos maiores contribuintes, a presente tese procura encontrar enquadramentos e soluções para um dos maiores desafios que a humanidade enfrenta atualmente, e que em parte, é consequente dessa globalização: encontrar novas fontes e formas de utilização da energia, -particularmente da energia elétrica - para que a humanidade continue a usufruir, de uma forma sustentável, dos benefícios que a mesma proporciona. Na primeira parte, procura-se fazer uma abordagem que utiliza fontes de informação e conhecimento, do mercado global, nomeadamente, entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, que abrangessem os três maiores mercados mundiais – União Europeia, Estados Unidos da América e Ásia-Pacífico. Considerou-se fundamental fazê-lo, por se tratar de uma dissertação no âmbito de um Mestrado com o selo de garantia EUR-ACE. Ao longo da dissertação analisou-se a temática da eficiência energética nas redes de telecomunicações e das tecnologias de informação e comunicação, um tema cada vez mais pertinente, já que o número de pessoas com ligações à Internet, já supera os 3 mil milhões, e as redes passaram a ser o meio por onde são transmitidos, a cada segundo, terabytes de sinais de voz, dados e vídeo. Procurou-se encontrar as linhas de orientação que estão a ser traçadas, para otimizar os consumos energéticos, de um complexo sistema convergente de redes e serviços, formado por entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, onde nem sempre as fronteiras estão perfeitamente definidas. Perante a constatação da realidade exposta, analisou-se as políticas energéticas desenvolvidas nos últimos anos, pelos vários players do mercado das telecomunicações, das tecnologias de informação e dos sistemas elétricos de energia bem como algumas métricas e objetivos comumente aceites. viii São analisados os contributos das partes interessadas, para o desenvolvimento de políticas energéticas eficazes, por forma a permitirem uma implementação, que considere o funcionamento dos equipamentos como um todo, e não de uma forma isolada como tradicionalmente o assunto era abordado. As especificidades na forma como funcionam as redes de telecomunicações e respetivos equipamentos, são expostas sobre várias óticas, comprovando-se que a temática da eficiência energética é uma das áreas mais difíceis lidar, de todas as consideradas nas políticas energéticas. Demonstrou-se que muitos dos equipamentos não estão otimizados em termos de gestão de energia, procurou-se evidenciar as consequências dessa realidade, uma vez que os equipamentos referidos, têm a necessidade de estar permanentemente a ser alimentados pela rede de energia elétrica, para garantir as funções para que foram projetados. Da pesquisa efetuada e descrita ao longo da dissertação, constatamos o empenho de toda a comunidade científica, operadores e agências de energia e de telecomunicações, em resolver o problema, já que há a consciencialização de que o ritmo de crescimento da rede e equipamentos terminais, é superior ao registado na melhoria da eficiência energética dos vários componentes e equipamentos terminais. Na segunda parte do relatório da tese, procurou-se testar a aplicabilidade das normas e recomendações dos organismos que tutelam a atividade a nível global - algumas publicadas nos últimos 2 anos - a um caso prático. Um edifício hospitalar de média dimensão. Foi elaborada uma aplicação informática, que suportada numa metodologia padronizada, seja capaz de fazer a avaliação da eficiência energética dos equipamentos serviços de telecomunicações de informação e comunicação em funcionamento do hospital. Por dificuldades de disponibilidade dos responsáveis do edifício, os resultados ficaram aquém do esperado. Conseguiu-se desenhar a aplicação, inventariar-se apenas parte dos equipamentos. Demonstrou-se que, a forma como alguns equipamentos estão a ser utilizados, não cumprem regras de utilização racional e eficiente. Procurou-se sensibilizar alguns dos responsáveis, para a necessidade de alterar comportamentos e prosseguir o processo de inventariação, por forma, a que o trabalho iniciado atinja os objetivos propostos.

Linear amplification with multiple nonlinear devices

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