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.

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

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

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Mestrado integrado em Engenharia do Ambiente, perfil: Gestão de Sistemas Ambientais

Novel techniques for the design and practical realization of switched-capacitor circuits in deep-submicron CMOS technologies

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Low-voltage low-power CMOS analogue circuits for Gaussian and uniform noise generation

IEEE International Symposium on Circuits and Systems, MAY 25-28, 2003, Bangkok, Thailand. (ISI Web of Science)

Application of the EcoBlock method to eco-design - electric hand dryers versus paper towels

Sustainable Construction, Materials and Practice, p. 426-432

EDP - Energias de Portugal: Electric utilities: Equity Investment Report

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

EDP - Energias de Portugal: Electric utilities: Equity Investment Report

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Verification of analog circuits in power-down mode

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

Computational modeling of prefrontal cortex circuits

Dissertation presented to obtain the Ph.D degree in Biology

Technology transition towards electric mobility - technology assessment as a tool for policy design

Paper presented at the Colloquium Gerpisa 2013, Paris (http://gerpisa.org/node/2085), Session n°: 19 New kinds of mobility: old and new business models

Control system for actuation and sensing in digital microfluidics devices

Digital Microfluidics (DMF) is a second generation technique, derived from the conventional microfluidics that instead of using continuous liquid fluxes, it uses only individual droplets driven by external electric signals. In this thesis a new DMF control/sensing system for visualization, droplet control (movement, dispensing, merging and splitting) and real time impedance measurement have been developed. The software for the proposed system was implemented in MATLAB with a graphical user interface. An Arduino was used as control board and dedicated circuits for voltage switching and contacts were designed and implemented in printed circuit boards. A high resolution camera was integrated for visualization. In our new approach, the DMF chips are driven by a dual-tone signal where the sum of two independent ac signals (one for droplet operations and the other for impedance sensing) is applied to the electrodes, and afterwards independently evaluated by a lock-in amplifier. With this new approach we were able to choose the appropriated amplitudes and frequencies for the different proposes (actuation and sensing). The measurements made were used to evaluate the real time droplet impedance enabling the knowledge of its position and velocity. This new approach opens new possibilities for impedance sensing and feedback control in DMF devices.

Monitorização de consumos energéticos em edifícios: um estudo de caso na Schneider Electric

Na sequência do panorama económico atual, existe cada vez mais uma tendência de redução de custos e de, em simultâneo, obter a eficiência energética desejada, mais concretamente no setor dos edifícios, uma vez que este tem um peso bastante considerável nos consumos totais em Portugal e na Europa. Existem variadas formas de atuar neste sentido nomeadamente ao nível dos equipamentos e sistemas instalados, bem como, nos hábitos e comportamentos dos ocupantes. Com esse intuito, muitas empresas têm desenvolvido mecanismos ou formas de minimizar os gastos, nomeadamente em termos de consumos elétricos. Dentro dos possíveis caminhos para se alcançar esse objetivo, surgem os sistemas de monitorização e os sistemas de gestão técnica centralizada. O objetivo de reduzir a discrepância entre a fatura que se paga pela eletricidade e o que realmente consiste numa necessidade de consumo é atualmente uma preocupação real. Desta forma, o desenvolvimento de soluções com capacidade para garantir a redução do erro na tomada de decisão bem como as que tornem possível o acompanhamento do desempenho de toda a instalação em detalhe e em tempo real são áreas nas quais se tem e se vai continuar a investir. É por isso, realmente importante, perceber onde e porquê se consome mais e é um desafio alterar esse panorama e continuar a realizar a monitorização dos registos. Para tal, a empresa Schneider Electric tem instaladas estações de medida, mais concretamente analisadores de energia, nos seus quadros elétricos, de forma a conseguir percecionar os consumos de forma mais detalhada e direcionada, ou seja, permitindo visualizar dados de todas as frações do piso. 281 Esta dissertação tem como objetivo a avaliação dos consumos de eletricidade de forma detalhada, tendo como objeto de estudo o edifício onde está sediada a empresa Schneider Eletric, de forma detalhada e a posterior identificação de hábitos ou fatores que influenciem os mesmos da forma não pretendida. Tem ainda o objetivo de avaliar o comportamento da técnica solar passiva utilizada no referido edifício. Desta forma será possível saber, não só o perfil de consumos e respetivos impactos bem como sugerir possíveis ajustes que levem a uma maior eficiência energética. Os resultados deste estudo deverão permitir às pessoas responsáveis pela entidade tomar decisões assentes em informação concreta e detalhada.

Numerical prediction of diffusion and electric field-induced iron nanoparticle transport

Zero valent iron nanoparticles (nZVI) are considered very promising for the remediation of contaminated soils and groundwaters. However, an important issue related to their limited mobility remains unsolved. Direct current can be used to enhance the nanoparticles transport, based on the same principles of electrokinetic remediation. In this work, a generalized physicochemical model was developed and solved numerically to describe the nZVI transport through porous media under electric field, and with different electrolytes (with different ionic strengths). The model consists of the Nernst–Planck coupled system of equations, which accounts for the mass balance of ionic species in a fluid medium, when both the diffusion and electromigration of the ions are considered. The diffusion and electrophoretic transport of the negatively charged nZVI particles were also considered in the system. The contribution of electroosmotic flow to the overall mass transport was included in the model for all cases. The nZVI effective mobility values in the porous medium are very low (10−7–10−4 cm2 V−1 s−1), due to the counterbalance between the positive electroosmotic flow and the electrophoretic transport of the negatively charged nanoparticles. The higher the nZVI concentration is in the matrix, the higher the aggregation; therefore, low concentration of nZVI suspensions must be used for successful field application.

Historic and potential technology transition paths of grid battery storage: Co-evolution of energy grid, electric mobility and batteries

Scarcity of fuels, changes in environmental policy and in society increased the interest in generating electric energy from renewable energy sources (RES) for a sustainable energy supply in the future. The main problem of RES as solar and wind energy, which represent a main pillar of this transition, is that they cannot supply constant power output. This results inter alia in an increased demand of backup technologies as batteries to assure electricity system safety. The diffusion of energy storage technologies is highly dependent on the energy system and transport transition pathways which might lead to a replacement or reconfiguration of embedded socio-technical practices and regimes (by creating new standards or dominant designs, changing regulations, infrastructure and user patterns). The success of this technology is dependent on hardly predictable future technical advances, actor preferences, development of competing technologies and designs, diverging interests of actors, future cost efficiencies, environmental performance, the evolution of market demand and design and evolution of our society.