Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Multi-agent simulation of competitive electricity markets: Autonomous systems cooperation for European market modeling

The electricity market restructuring, and its worldwide evolution into regional and even continental scales, along with the increasing necessity for an adequate integration of renewable energy sources, is resulting in a rising complexity in power systems operation. Several power system simulators have been developed in recent years with the purpose of helping operators, regulators, and involved players to understand and deal with this complex and constantly changing environment. The main contribution of this paper is given by the integration of several electricity market and power system models, respecting to the reality of different countries. This integration is done through the development of an upper ontology which integrates the essential concepts necessary to interpret all the available information. The continuous development of Multi-Agent System for Competitive Electricity Markets platform provides the means for the exemplification of the usefulness of this ontology. A case study using the proposed multi-agent platform is presented, considering a scenario based on real data that simulates the European Electricity Market environment, and comparing its performance using different market mechanisms. The main goal is to demonstrate the advantages that the integration of various market models and simulation platforms have for the study of the electricity markets’ evolution.

Decision Support for Energy Contracts Negotiation with Game Theory and Adaptive Learning

This paper presents a decision support methodology for electricity market players’ bilateral contract negotiations. The proposed model is based on the application of game theory, using artificial intelligence to enhance decision support method’s adaptive features. This model is integrated in AiD-EM (Adaptive Decision Support for Electricity Markets Negotiations), a multi-agent system that provides electricity market players with strategic behavior capabilities to improve their outcomes from energy contracts’ negotiations. Although a diversity of tools that enable the study and simulation of electricity markets has emerged during the past few years, these are mostly directed to the analysis of market models and power systems’ technical constraints, making them suitable tools to support decisions of market operators and regulators. However, the equally important support of market negotiating players’ decisions is being highly neglected. The proposed model contributes to overcome the existing gap concerning effective and realistic decision support for electricity market negotiating entities. The proposed method is validated by realistic electricity market simulations using real data from the Iberian market operator—MIBEL. Results show that the proposed adaptive decision support features enable electricity market players to improve their outcomes from bilateral contracts’ negotiations.

Municipal solid waste management system: decision support through systems analysis

Thesis submitted to the Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia for the degree of Doctor of Philosophy in Environmental Engineering

Monitoring morphisms to support sustainable interoperability of enterprise systems

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

Estratégias de Comercialização de Potência como Medida de Eficiência Energética

A presente dissertação insere-se no âmbito da unidade curricular “ Dissertação” do 2º ano do mestrado em Engenharia Eletrotécnica – Sistemas Elétricos de Energia. Com o aumento crescente do número de consumidores de energia, é cada vez mais imperioso a adoção de medidas de racionalização e gestão dos consumos da energia elétrica. Existem diferentes tipos de dificuldades no planeamento e implementação de novas centrais produtoras de energia renovável, pelo que também por este motivo é cada vez mais importante adoção de medidas de gestão de consumos, quer ao nível dos clientes alimentados em média tensão como de baixa tensão. Desta forma será mais acessível a criação de padrões de eficiência energética elevados em toda a rede de distribuição de energia elétrica. Também a economia é afetada por uma fraca gestão dos consumos por parte dos clientes. Elevados desperdícios energéticos levam a que mais energia tenha que ser produzida, energia essa que contribui ainda mais para a elevada taxa de dependência energética em Portugal, e para o degradar da economia nacional. Coloca-se assim a necessidade de implementar planos e métodos que promovam a eficiência energética e a gestão racional de consumos de energia elétrica. Apresenta-se nesta dissertação várias propostas, algumas na forma de projetos já em execução, que visam sensibilizar o consumidor para a importância da utilização eficiente de energia e, ao mesmo tempo, disponibilizam as ferramentas tecnológicas adequadas para auxiliar a implementação dos métodos propostos. Embora os planos apresentados, sobejamente conhecidos, tenham imensa importância, a implementação nos vários consumidores de sistemas capazes de efetivamente reduzir consumos tem um papel fundamental. Equipamentos de gestão de consumos, que são apresentados nesta dissertação, permitem ao consumidor aceder diretamente ao seu consumo. Podem aceder não apenas ao consumo global da instalação mas também ao consumo específico por equipamento, permitindo perceber onde se verifica a situação mais desfavorável. Funcionalidades de programação de perfis tipo, com limitações de potência em vários períodos horários, bem como possibilidades de controlo remoto com recurso a aplicações para Smartphones permitem a redução de consumos ao nível da rede de distribuição e, desta forma, contribuir para a redução dos desperdícios e da dependência energética em Portugal. No âmbito do trabalho de dissertação é desenvolvida uma metodologia de comercialização de potência, que é apresentada nesta tese. Esta metodologia propõem que o consumidor, em função dos seus consumos, pague apenas a quantidade de potência que efetivamente necessita num certo período de tempo. Assim, o consumidor deixa de pagar uma tarifa mensal fixa associada á sua potência contratada, e passará a pagar um valor correspondente apenas à potência que efetivamente solicitou em todas as horas durante o mês. Nesta metodologia que é apresentada, o consumidor poderá também fazer uma análise do seu diagrama de cargas e simular uma alteração da sua tarifa, tarifa esta que varia entre tarifa simples, bi-horária semanal, bi-horária diária, tri-horária semanal ou tri-horária diária, de forma a perceber em qual destas pagará um menor valor pela mesma energia. De forma a que o consumidor possa perceber se haverá vantagem de uma alteração para uma potência contratada flexível, ou para uma outra tarifa associada á energia, tem ao seu dispor uma ferramenta, que em função dos seus consumos, permite retirar conclusões sobre o preço final a pagar na fatura, após cada tipo de alteração. Esta ferramenta foi validada com recurso a várias simulações, para diferentes perfis de consumidores. Desta forma, o utilizador fica a perceber que realmente pode poupar com uma potência contratada flexível, ao mesmo tempo que pode identificar-se com um perfil de simulação e, mais facilmente, perceber para que alteração tarifária pode usufruir de uma maior poupança.

Implementação de um sistema MPPT em circuito integrado CMOS

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Baysian Model Averaging, Learning and Model Selection

Agents have two forecasting models, one consistent with the unique rational expectations equilibrium, another that assumes a time-varying parameter structure. When agents use Bayesian updating to choose between models in a self-referential system, we find that learning dynamics lead to selection of one of the two models. However, there are parameter regions for which the non-rational forecasting model is selected in the long-run. A key structural parameter governing outcomes measures the degree of expectations feedback in Muth's model of price determination.

Modification of the Perrine-Baum diagram to improve the calculation of high voltage electric lines

Through the history of Electrical Engineering education, vectorial and phasorial diagrams have been used as a fundamental learning tool. At present, computational power has replaced them by long data lists, the result of solving equation systems by means of numerical methods. In this sense, diagrams have been shifted to an academic background and although theoretically explained, they are not used in a practical way within specific examples. This fact may be against the understanding of the complex behavior of the electrical power systems by students. This article proposes a modification of the classical Perrine-Baum diagram construction to allowing both a more practical representation and a better understanding of the behavior of a high-voltage electric line under different levels of load. This modification allows, at the same time, the forecast of the obsolescence of this behavior and line’s loading capacity. Complementary, we evaluate the impact of this tool in the learning process showing comparative undergraduate results during three academic years

A dynamic model for stem cell homeostasis and patterning in Arabidopsis meristems.

Plants maintain stem cells in their meristems as a source for new undifferentiated cells throughout their life. Meristems are small groups of cells that provide the microenvironment that allows stem cells to prosper. Homeostasis of a stem cell domain within a growing meristem is achieved by signalling between stem cells and surrounding cells. We have here simulated the origin and maintenance of a defined stem cell domain at the tip of Arabidopsis shoot meristems, based on the assumption that meristems are self-organizing systems. The model comprises two coupled feedback regulated genetic systems that control stem cell behaviour. Using a minimal set of spatial parameters, the mathematical model allows to predict the generation, shape and size of the stem cell domain, and the underlying organizing centre. We use the model to explore the parameter space that allows stem cell maintenance, and to simulate the consequences of mutations, gene misexpression and cell ablations.

Analysis of torque and speed ripple producing non-idealities of frequency converters in electric drives

Electric motors driven by adjustable-frequency converters may produce periodic excitation forces that can cause torque and speed ripple. Interaction with the driven mechanical system may cause undesirable vibrations that affect the system performance and lifetime. Direct drives in sensitive applications, such as elevators or paper machines, emphasize the importance of smooth torque production. This thesis analyses the non-idealities of frequencyconverters that produce speed and torque ripple in electric drives. The origin of low order harmonics in speed and torque is examined. It is shown how different current measurement error types affect the torque. As the application environment, direct torque control (DTC) method is applied to permanent magnet synchronous machines (PMSM). A simulation model to analyse the effect of the frequency converter non-idealities on the performance of the electric drives is created. Themodel enables to identify potential problems causing torque vibrations and possibly damaging oscillations in electrically driven machine systems. The model is capable of coupling with separate simulation software of complex mechanical loads. Furthermore, the simulation model of the frequency converter's control algorithm can be applied to control a real frequency converter. A commercial frequencyconverter with standard software, a permanent magnet axial flux synchronous motor and a DC motor as the load are used to detect the effect of current measurement errors on load torque. A method to reduce the speed and torque ripple by compensating the current measurement errors is introduced. The method is based on analysing the amplitude of a selected harmonic component of speed as a function oftime and selecting a suitable compensation alternative for the current error. The speed can be either measured or estimated, so the compensation method is applicable also for speed sensorless drives. The proposed compensation method is tested with a laboratory drive, which consists of commercial frequency converter hardware with self-made software and a prototype PMSM. The speed and torque rippleof the test drive are reduced by applying the compensation method. In addition to the direct torque controlled PMSM drives, the compensation method can also beapplied to other motor types and control methods.

The Effect of Load Follow Operation on Fuel Behaviour in Loviisa NPP

Työn tarkoituksena oli analysoida polttoainesauvojen käyttäytymistä Loviisan ydinvoimalaitoksen tehonsäätöajossa. Sähkömarkkinoiden vapautuminen Pohjoismaissa sekä tämän seurauksena vaihteleva sähkön markkinahinta ovat ajaneet sähkötuottajat tilanteeseen, jossa tuotanto aiempaa enemmän mukautuu markkinatilanteeseen. Näin ollen myös Loviisan ydinvoimalaitoksen osallistuminen sähkön tuotannon säätelyyn saattaa tulevaisuudessa olla ajankohtaista. Ennen kuin reaktorin tehonsäätöajoa voidaan alkaa toteuttaa, tulee varmistua siitä, että polttoainesauvassa tehonsäätöjen seurauksena tapahtuvat muutokset eivät aiheuta epäsuotuisia käyttäytymisilmiöitä. Työssä tarkastellaan kahden Loviisan ydinvoimalaitoksen polttoainetoimittajan, British Nuclear Fuels plc:n ja venäläisen TVEL:n ensinippujen polttoainesauvan käyttäytymistä tehonsäätötapauksissa. Työssä tarkastellut tehonsäätötapaukset on pyritty valitsemaan niin, että ne kuvaisivat tulevaisuudessa mahdollisesti toteutettavia tehonsäätöjä. Laskentatapauksien sauvatehohistoriat on generoitu HEXBU-3D sydänsimulaattoriohjelmalla lasketun nelivuotisen perustehohistorian pohjalta lisäämällä säätösauvan aiheuttama reaktoritehon muutos, säätösauvan viereisen polttoainenipun aksiaalitehon muutos sekä säätösauvan rakenteen aiheuttama paikallinen tehopiikki säätösauvan vieressä. Työssä tarkastellaan tehonsäätöjen toteuttamista eri tehotasoille ja vaihtelevilla määrillä tehonsäätösyklejä. Työssä käsitellyt laskentatapaukset on jaoteltu reaktorin ajotavan mukaan seuraavasti: peruskuorma-ajo, viikonloppusäätö ja päiväsäätö. Laskenta suoritettiin ydinpolttoaineen käyttäytymistä kuvaavaa ENIGMA-B 7.3.0 ohjelmaa apuna käyttäen. Laskelmien tulokset osoittavat, että molempien polttoainetoimittajien ensinippujen sauvat kestävät reaktorin tehonsäätöajoa rajoituksetta tarkastelluissa laskentatapauksissa. ENIGMA-ohjelman sisältämät mallit, jotka ennustavat polttoainesauvan suojakuoren vaurioitumistodennäköisyyden jännityskorroosion tai väsymismurtuman kautta, eivät näytä mitään merkkejä vaurioitumisesta. BNFL:n polttoainesauva saavuttaa kuitenkin suurempia väsymismurtumatodennäköisyyden arvoja. Tämä johtuu siitä, että polttoainepelletin ja suojakuoren välinen mekaaninen vuorovaikutus syntyy BNFL:n sauvassa aikaisemmin, joka taas johtaa suurempaan määrään sauvaa rasittavia muodonmuutoksia tehonnostotilanteissa. TVEL:n Zr1%Nb -materiaalista valmistetun suojakuoren käyttäytymistä ei voida kuitenkaan suoraan näiden laskujen perusteella arvioida, sillä ENIGMA-ohjelman mallit perustuvat Zircaloy-suojakuorimateriaaleilla suoritettuihin kokeisiin.

The Business Models of Telecommunications Equipment Manufacturers. Case: Cisco Systems.

Tutkielman tavoitteena oli tarkastella telekommunikaatiolaitevalmistajien liiketoimintamalleja. Tutkielma jakaantuu teoreettiseen ja empiiriseen osaan. Teoreettinen osa keskittyy lähinnä liiketoimintamallin käsitteen määrittelyyn. Olemassa olevien määritelmien, sekä liiketoimintamallin käsitteeseen läheisesti liittyvien termien, pohjalta luotiin liiketoimintamallille uusi malli. Tutkielman empiirinen osa keskittyy case-yritys Cisco Systemsin liiketoimintamallin määrittelyyn ja kehityksen kuvaamiseen. Liiketoimintamallin kehitystä seurattiin kahden vuoden ajalta perehtymällä lähinnä yrityksen lehdistötiedotteisiin, artikkeleihin ja muuhun julkiseen materiaaliin. Ciscon lisäksi empiirisessä osassa tutkittiin kahdeksan muun laitevalmistajan liiketoimintamallien kehitystä. Empiirisen osan päätavoitteena oli selvittää, miten telekommunikaatiolaitevalmistajien liiketoimintamallit kehittyvät nyt ja tulevaisuudessa.

Grounding in a wind power application

The subject of this master’s thesis is to research grounding in a particular wind power application. The aim is to define how the grounding from different points effects to the function of the whole system. The investigated subjects are generator voltage spikes, ground currents and system fault situations. The first part of this thesis represents power electronics, which is commonly used in wind power systems. The second part concentrates more to the grounding, electrical safety demands and potential fault situations. The object of the simulations is to investigate voltage spikes and fault situations. Measurements will be made with small-scale setup and in the last part simulation and measurement results are compared to each other and to a full-scale system.