Control of a power supply with cycling current using different controllers

Fast Field Cycling (FFC) Nuclear Magnetic Resonance (NMR) relaxometers require controlled current sources in order to get accurate flux density with respect to its magnet. The main elements of the proposed solution are a power semiconductor, a DC voltage source and the magnet. The power semiconductor is commanded in order to get a linear control of the flux density. To implement the flux density control, a Hall Effect sensor is used. Furthermore, the dynamic behavior of the current source is analyzed and compared when using a PI controller and a PD2I controller.

Optimising and adapting the QoS of a dynamic set of inter-dependent tasks

Due to the growing complexity and adaptability requirements of real-time systems, which often exhibit unrestricted Quality of Service (QoS) inter-dependencies among supported services and user-imposed quality constraints, it is increasingly difficult to optimise the level of service of a dynamic task set within an useful and bounded time. This is even more difficult when intending to benefit from the full potential of an open distributed cooperating environment, where service characteristics are not known beforehand and tasks may be inter-dependent. This paper focuses on optimising a dynamic local set of inter-dependent tasks that can be executed at varying levels of QoS to achieve an efficient resource usage that is constantly adapted to the specific constraints of devices and users, nature of executing tasks and dynamically changing system conditions. Extensive simulations demonstrate that the proposed anytime algorithms are able to quickly find a good initial solution and effectively optimise the rate at which the quality of the current solution improves as the algorithms are given more time to run, with a minimum overhead when compared against their traditional versions.

Dynamic QoS adaptation of inter- dependent task sets in cooperative embedded systems

Due to the growing complexity and dynamism of many embedded application domains (including consumer electronics, robotics, automotive and telecommunications), it is increasingly difficult to react to load variations and adapt the system's performance in a controlled fashion within an useful and bounded time. This is particularly noticeable when intending to benefit from the full potential of an open distributed cooperating environment, where service characteristics are not known beforehand and tasks may exhibit unrestricted QoS inter-dependencies. This paper proposes a novel anytime adaptive QoS control policy in which the online search for the best set of QoS levels is combined with each user's personal preferences on their services' adaptation behaviour. Extensive simulations demonstrate that the proposed anytime algorithms are able to quickly find a good initial solution and effectively optimise the rate at which the quality of the current solution improves as the algorithms are given more time to run, with a minimum overhead when compared against their traditional versions.

Control of a power supply with cycling current using different controllers

Fast Field Cycling (FFC) Nuclear Magnetic Resonance (NMR) relaxometers require controlled current sources in order to get accurate flux density with respect to its magnet. The main elements of the proposed solution are a power semiconductor, a DC voltage source and the magnet. The power semiconductor is commanded in order to get a linear control of the flux density. To implement the flux density control, a Hall Effect sensor is used. Furthermore, the dynamic behavior of the current source is analyzed and compared when using a PI controller and a PD2I controller.

Real time fault injection using a modified debugging infrastructure

Dependability is a critical factor in computer systems, requiring high quality validation & verification procedures in the development stage. At the same time, digital devices are getting smaller and access to their internal signals and registers is increasingly complex, requiring innovative debugging methodologies. To address this issue, most recent microprocessors include an on-chip debug (OCD) infrastructure to facilitate common debugging operations. This paper proposes an enhanced OCD infrastructure with the objective of supporting the verification of fault-tolerant mechanisms through fault injection campaigns. This upgraded on-chip debug and fault injection (OCD-FI) infrastructure provides an efficient fault injection mechanism with improved capabilities and dynamic behavior. Preliminary results show that this solution provides flexibility in terms of fault triggering and allows high speed real-time fault injection in memory elements

Using NEXUS compliant debuggers for real time fault injection on microprocessors

As electronic devices get smaller and more complex, dependability assurance is becoming fundamental for many mission critical computer based systems. This paper presents a case study on the possibility of using the on-chip debug infrastructures present in most current microprocessors to execute real time fault injection campaigns. The proposed methodology is based on a debugger customized for fault injection and designed for maximum flexibility, and consists of injecting bit-flip type faults on memory elements without modifying or halting the target application. The debugger design is easily portable and applicable to different architectures, providing a flexible and efficient mechanism for verifying and validating fault tolerant components.

A lightweight distributed super peer election algorithm for unstructured dynamic P2P systems

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

Selection Constructive based Hyper-heuristic for Dynamic Scheduling

A função de escalonamento desempenha um papel importante nos sistemas de produção. Os sistemas de escalonamento têm como objetivo gerar um plano de escalonamento que permite gerir de uma forma eficiente um conjunto de tarefas que necessitam de ser executadas no mesmo período de tempo pelos mesmos recursos. Contudo, adaptação dinâmica e otimização é uma necessidade crítica em sistemas de escalonamento, uma vez que as organizações de produção têm uma natureza dinâmica. Nestas organizações ocorrem distúrbios nas condições requisitos de trabalho regularmente e de forma inesperada. Alguns exemplos destes distúrbios são: surgimento de uma nova tarefa, cancelamento de uma tarefa, alteração na data de entrega, entre outros. Estes eventos dinâmicos devem ser tidos em conta, uma vez que podem influenciar o plano criado, tornando-o ineficiente. Portanto, ambientes de produção necessitam de resposta imediata para estes eventos, usando um método de reescalonamento em tempo real, para minimizar o efeito destes eventos dinâmicos no sistema de produção. Deste modo, os sistemas de escalonamento devem de uma forma automática e inteligente, ser capazes de adaptar o plano de escalonamento que a organização está a seguir aos eventos inesperados em tempo real. Esta dissertação aborda o problema de incorporar novas tarefas num plano de escalonamento já existente. Deste modo, é proposta uma abordagem de otimização – Hiper-heurística baseada em Seleção Construtiva para Escalonamento Dinâmico- para lidar com eventos dinâmicos que podem ocorrer num ambiente de produção, a fim de manter o plano de escalonamento, o mais robusto possível. Esta abordagem é inspirada em computação evolutiva e hiper-heurísticas. Do estudo computacional realizado foi possível concluir que o uso da hiper-heurística de seleção construtiva pode ser vantajoso na resolução de problemas de otimização de adaptação dinâmica.

Sustainability of systems interoperability in dynamic business networks

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

Dynamic adaptation of interaction models for stateful web services

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

How do current term structure model behave beyond the last liquid point?: A comparison of the DNS and Smith-Wilson methods

A Work Project, presented as part of the requirements for the Award of a Master’s Double Degree in Finance from Maastricht University and NOVA – School of Business and Economics

Three-phase current-source shunt active power filter with solar photovoltaic grid interface

This paper presents the proposal of a three phase current source shunt active power filter (CS-SAPF) with photovoltaic grid interface. The proposed system combines the compensation of reactive power and harmonics with the injection of energy from a solar photovoltaic array into the electrical power grid. The proposed equipment presents the advantage of giving good use to the current source inverter, even when the solar photovoltaic array is not producing energy. The paper describes the control system of the CS SAPF, the energy injection control strategy, and the current harmonics and power factor compensation strategy. Simulation results to assess the performance of the proposed system are also presented.

Impact performance prediction of injection-molded talc-filled polypropylene through thermomechanical environment assessment

Due to the fact that different injection molding conditions tailor the mechanical response of the thermoplastic material, such effect must be considered earlier in the product development process. The existing approaches implemented in different commercial software solutions are very limited in their capabilities to estimate the influence of processing conditions on the mechanical properties. Thus, the accuracy of predictive simulations could be improved. In this study, we demonstrate how to establish straightforward processing-impact property relationships of talc-filled injection-molded polypropylene disc-shaped parts by assessing the thermomechanical environment (TME). To investigate the relationship between impact properties and the key operative variables (flow rate, melt and mold temperature, and holding pressure), the design of experiments approach was applied to systematically vary the TME of molded samples. The TME is characterized on computer flow simulation outputsanddefined bytwo thermomechanical indices (TMI): the cooling index (CI; associated to the core features) and the thermo-stress index (TSI; related to the skin features). The TMI methodology coupled to an integrated simulation program has been developed as a tool to predict the impact response. The dynamic impact properties (peak force, peak energy, and puncture energy) were evaluated using instrumented falling weight impact tests and were all found to be similarly affected by the imposed TME. The most important molding parameters affecting the impact properties were found to be the processing temperatures (melt andmold). CI revealed greater importance for the impact response than TSI. The developed integrative tool provided truthful predictions for the envisaged impact properties.

Producción in vitro de Embriones Bovinos Transgénicos mediante Inyección Intracitoplasmática de Espermatozoides (ICSI) con Enzimas de Restricción. In vitro Production of Transgenic Bovine Embryos using Intracitoplasmic Sperm Injection (ICSI) and Restriction Enzymes

La ingeniería genética y la reprogramación de organismos vivos representan las nuevas fronteras biotecnológicas que permitirán generar animales con modificaciones precisas en sus genomas para un sinnúmero de aplicaciones biomédicas y agropecuarias. Las técnicas para inducir modificaciones génicas intencionales en animales, especialmente en especies mayores de interés agropecuario, se encuentran rezagadas si se compara con los avances significativos que se han producido en el área de la transgénesis de roedores de laboratorio, especialmente el ratón. Es así que, el presente proyecto persigue desarrollar y optimizar protocolos para generar embriones bovinos transgénicos para aplicaciones biotecnológicas. La estrategia propuesta, se basa en conseguir la presencia simultánea en el interior celular de una enzima de restricción (I-SceI) más un transgén (formado por casetes de expresión de una proteína fluorescente -ZsGreen1- y neomicina fosfotransferasa). Específicamente, proyectamos estudiar una vía alternativa para generar embriones bovinos transgénicos mediante la incorporación del transgén (casetes ZsGreen1 y neo) flanqueado por sitios I-SceI más la enzima I-SceI al interior del ovocito junto con el espermatozoide durante la técnica conocida como inyección intracitoplasmática de espermatozoides (ICSI). Los embriones así generados se cultivarán in vitro, inspeccionándolos diariamente para detectar la emisión de fluorescencia, indicativa de la expresión de la proteína ZsGreen1. Los embriones que alcancen el estado de blastocisto y expresen el transgén se transferirán quirúrgicamente al útero de ovejas sincronizadas y se mantendrán durante 7 días. Al cabo de este período, los embriones se recolectarán quirúrgicamente del útero ovino y se transportarán al laboratorio para determinar el número de sitios de integración y número de copias del transgén mediante el análisis de su ADN por Southern blot. Se prevé que los resultados de esta investigación permitirán sentar las bases para el desarrollo de métodos eficientes para obtener modificaciones precisas en el genoma de los animales domésticos para futuras aplicaciones biotecnológicas. Genetic engineering and reprogrammed organisms represent the new biotechnological frontiers which will make possible to generate animals with precise genetic modifications for agricultural and biomedical applications. Current methods used to generate genetically modified large animals, lay behind those used in laboratory animals, specially the mouse. Therefore, we seek to develop and optimize protocols to produce transgenic bovine embryos through the use of a non-viral vector. The strategy involves the simultaneous presence inside the cell of a restriction enzyme (I-SceI) and a transgene (carrying cassettes for a fluorescent protein -ZsGreen1- and neomycin phosphotransferase) flanked by restriction sites for the endonuclease. We plan to develop an alternative approach to generate transgenic bovine embryos by coinjecting the transgene flanked by I-SceI restriction sites plus the enzyme I-SceI along with the spermatozoon during the technique known as intracytoplasmic sperm injection (ICSI). Embryos will be cultured in vitro and inspected daily with a fluorescence microscope to characterize transgene expression. Embryos that reach the blastocyst stage and express the transgene will be surgically transfer to the uterus of a synchronized ewe. After 7 days, the embryos will be flushed out the ovine uterus and transported to the laboratory to determine the number of integration sites and transgene copies by Southern blot. We anticipate that results from this research will set the stage for the development of efficient strategies to achieve precise genetic modifications in large domestic animals for future biotechnological applications.