Improving fECG signal acquisition in the evaluation of fetal well-being

The ability to monitor fetal heart rate is vital during late pregnancy and labor in order to evaluate fetal well-being. Current monitoring practice is essentially based on external cardiotocography and, less frequently, during labor, invasive fetal scalp electrocardiography. Many current and envisaged applications could benefi t from simpler devices using a 3-lead ECG confi guration. We are designing a maternity support belt with an embedded wireless 3-lead ECG sensor, and have investigated the infl uence of the ground electrode position on signal quality. Data from over 100 pregnant women was collected with the ground electrode placed in 3 locations in order to determine optimum electrode placement and belt form factor.

A process-based control for evolvable production systems

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

Energy Harvesting for Autonomous Underwater Vehicles

In this study, energy production for autonomous underwater vehicles is investigated. This project is part of a bigger project called TURTLE. The autonomous vehicles perform oceanic researches at seabed for which they are intended to be kept operational underwater for several months. In order to ful l a long-term underwater condition, powerful batteries are combined with \micro- scale" energy production on the spot. This work tends to develop a system that generates power up to a maximum of 30 W. Latter energy harvesting structure consists basically of a turbine combined with a generator and low-power electronics to adjust the achieved voltage to a required battery charger voltage. Every component is examined separately hence an optimum can be de ned for all, and subsequently also an overall optimum. Di erent design parameters as e.g. number of blades, solidity ratio and cross-section area are compared for di erent turbines, in order to see what is the most feasible type. Further, a generator is chosen by studying how ux distributions might be adjusted to low velocities, and how cogging torque can be excluded by adapted designs. Low-power electronics are con gured in order to convert and stabilize heavily varying three-phase voltages to a constant, recti ed voltage which is usable for battery storage. Clearly, di erent component parameters as maximum power and torque are matched here to increase the overall power generation. Furthermore an overall maximum power is set up for achieving a maximum power ow at load side. Due to among others typical low velocities of about 0.1 to 0.5 m/s, and constructing limits of the prototype, the vast range of components is restricted to only a few that could be used. Hence, a helical turbine is combined in a direct drive mode to a coreless-stator axial- ux permanent-magnet generator, from which the output voltage is adjusted subsequently by a recti er, impedance matching unit, upconverter circuit and an overall control unit to regulate di erent component parameters. All these electronics are combined in a closed-loop design to involve positive feedback signals. Furthermore a theoretical con guration for the TURTLE vehicle is described in this work and a solution is proposed that might be implemented, for which several design tests are performable in a future study.

Towards an engine for coordination-based architectural reconfigurations

Software reconfigurability became increasingly relevant to the architectural process due to the crescent dependency of modern societies on reliable and adaptable systems. Such systems are supposed to adapt themselves to surrounding environmental changes with minimal service disruption, if any. This paper introduces an engine that statically applies reconfigurations to (formal) models of software architectures. Reconfigurations are specified using a domain specific language— ReCooPLa—which targets the manipulation of software coordinationstructures,typicallyusedinservice-orientedarchitectures(soa).Theengine is responsible for the compilation of ReCooPLa instances and their application to the relevant coordination structures. The resulting configurations are amenable to formal analysis of qualitative and quantitative (probabilistic) properties.

Sistema de control remot d'una màquina de rajos X via web

El projecte desenvolupat té com a objectiu la millora en la gestió de la configuració de les màquines de rajos X de l'empresa Varpe. La principal funció d’aquestes màquines és la inspecció d'envasos de productes alimentaris, amb l'objectiu de detectar anomalies produïdes durant l'envasat. En l'actualitat la resolució d'incidències d'aquestes màquines requereix el desplaçament físic d'operaris a les localitzacions on estan situades les màquines. El projecte proporciona una nova forma de treball a partir de l'ús de bases de dades distribuïdes en les màquines de rajos X i que són gestionades per un servidor central. Entre d'altres, la principal avantatge d'aquesta gestió és que la reconfiguració i resolució d'indecències es pot realitzar fàcilment a través d'una aplicació web.

The semi-presidential system of Cape Verde: the relationship between the executive and the legislative powers = O sistema semi-presidencialista caboverdiano: a relação entre os poderes executivo e legislativo

e article analyses the relationship established between the executive and legislative powers in the Cape Verdean government system where researchers seek to understand it, taking into account their theoretical and constitutional setting practice. It should be noted the prominence of the debate and studies undertaken to understand how the scienti c academy seeks to eradicate this problem. Two issues are relevant in this debate: the rst reporting to the theoretical and constitutional con guration of Cape Verdean government system and the other to its policy and legislative practice. Keywords: Cape Verde. Semi-presidential System. Systems of Government. Legislative and Executive Powers.

The number of planar central configurations for the 4-body problem is finite when 3 mass positions are fixed

In the n{body problem a central con guration is formed when the position vector of each particle with respect to the center of mass is a common scalar multiple of its acceleration vector. Lindstrom showed for n = 3 and for n > 4 that if n ? 1 masses are located at xed points in the plane, then there are only a nite number of ways to position the remaining nth mass in such a way that they de ne a central con guration. Lindstrom leaves open the case n = 4. In this paper we prove the case n = 4 using as variables the mutual distances between the particles.

On the existence of bi-pyramidal central configurations of the n + 2-body problem with an n-gon base

Abstract. In this paper we prove the existence of central con gurations of the n + 2{body problem where n equal masses are located at the vertices of a regular n{gon and the remaining 2 masses, which are not necessarily equal, are located on the straight line orthogonal to the plane containing the n{gon passing through its center. Here this kind of central con gurations is called bi{pyramidal central con gurations. In particular, we prove that if the masses mn+1 and mn+2 and their positions satisfy convenient relations, then the con guration is central. We give explicitly those relations.

Equilibrium points and central configurations for the Lennard-Jones 2-and 3-body problems

Abstract. In this paper we study the relative equilibria and their stability for a system of three point particles moving under the action of a Lennard{Jones potential. A central con guration is a special position of the particles where the position and acceleration vectors of each particle are proportional, and the constant of proportionality is the same for all particles. Since the Lennard{Jones potential depends only on the mutual distances among the particles, it is invariant under rotations. In a rotating frame the orbits coming from central con gurations become equilibrium points, the relative equilibria. Due to the form of the potential, the relative equilibria depend on the size of the system, that is, depend strongly of the momentum of inertia I. In this work we characterize the relative equilibria, we nd the bifurcation values of I for which the number of relative equilibria is changing, we also analyze the stability of the relative equilibria.

GdBaCo2O5+x layered perovskite as an intermediate temperature solid oxide fuel cell cathode

GdBaCo2O5+x (GBCO) was evaluated as a cathode for intermediate-temperature solid oxide fuel cells. A porous layer of GBCO was deposited on an anode-supported fuel cell consisting of a 15m thick electrolyte of yttria-stabilized zirconia (YSZ) prepared by dense screen-printing anda Ni–YSZ cermet as an anode (Ni–YSZ/YSZ/GBCO). Values of power density of 150 mW cm−2 at 700◦C and ca. 250 mW cm−2 at 800◦C are reported for this standard configuration using 5% of H2 in nitrogen as fuel. An intermediate porous layer of YSZ was introduced between the electrolyte and the cathode improving the performance of the cell. Values for power density of 300 mW cm−2 at 700◦C and ca. 500 mW cm−2 at 800◦C in this configuration were achieved.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Magnetic interactions between transition metal impurities and clusters mediated by low-dimensional metallic hosts: A first principles theoretical investigation

The magnetic properties and interactions between transition metal (TM) impurities and clusters in low-dimensional metallic hosts are studied using a first principles theoretical method. In the first part of this work, the effect of magnetic order in 3d-5d systems is addressed from the perspective of its influence on the enhancement of the magnetic anisotropy energy (MAE). In the second part, the possibility of using external electric fields (EFs) to control the magnetic properties and interactions between nanoparticles deposited at noble metal surfaces is investigated. The influence of 3d composition and magnetic order on the spin polarization of the substrate and its consequences on the MAE are analyzed for the case of 3d impurities in one- and two-dimensional polarizable hosts. It is shown that the MAE and easy- axis of monoatomic free standing 3d-Pt wires is mainly determined by the atomic spin-orbit (SO) coupling contributions. The competition between ferromagnetic (FM) and antiferromagnetic (AF) order in FePtn wires is studied in detail for n=1-4 as a function of the relative position between Fe atoms. Our results show an oscillatory behavior of the magnetic polarization of Pt atoms as a function of their distance from the magnetic impurities, which can be correlated to a long-ranged magnetic coupling of the Fe atoms. Exceptionally large variations of the induced spin and orbital moments at the Pt atoms are found as a function of concentration and magnetic order. Along with a violation of the third Hund’s rule at the Fe sites, these variations result in a non trivial behavior of the MAE. In the case of TM impurities and dimers at the Cu(111), the effects of surface charging and applied EFs on the magnetic properties and substrate-mediated magnetic interactions have been investigated. The modifications of the surface electronic structure, impurity local moments and magnetic exchange coupling as a result of the EF-induced metallic screening and charge rearrangements are analysed. In a first study, the properties of surface substitutional Co and Fe impurities are investigated as a function of the external charge per surface atom q. At large inter-impurity distances the effective magnetic exchange coupling ∆E between impurities shows RKKY-like oscillations as a function of the distance which are not significantly affected by the considered values of q. For distances r < 10 Å, important modifications in the magnitude of ∆E, involving changes from FM to AF coupling, are found depending non-monotonously on the value and polarity of q. The interaction energies are analysed from a local perspective. In a second study, the interplay between external EF effects, internal magnetic order and substrate-mediated magnetic coupling has been investigated for Mn dimers on Cu(111). Our calculations show that EF (∼ 1eV/Å) can induce a switching from AF to FM ground-state magnetic order within single Mn dimers. The relative coupling between a pair of dimers also shows RKKY-like oscillations as a function of the inter-dimer distance. Their effective magnetic exchange interaction is found to depend significantly on the magnetic order within the Mn dimers and on their relative orientation on the surface. The dependence of the substrate-mediated interaction on the magnetic state of the dimers is qualitatively explained in terms of the differences in the scattering of surface electrons. At short inter-dimer distances, the ground-state configuration is determined by an interplay between exchange interactions and EF effects. These results demonstrate that external surface charging and applied EFs offer remarkable possibilities of manipulating the sign and strength of the magnetic coupling of surface supported nanoparticles.

Uma arquitetura distribuída de hardware e software para controle de um robô móvel autônomo

In this work, we present a hardware-software architecture for controlling the autonomous mobile robot Kapeck. The hardware of the robot is composed of a set of sensors and actuators organized in a CAN bus. Two embedded computers and eigth microcontroller based boards are used in the system. One of the computers hosts the vision system, due to the significant processing needs of this kind of system. The other computer is used to coordinate and access the CAN bus and to accomplish the other activities of the robot. The microcontroller-based boards are used with the sensors and actuators. The robot has this distributed configuration in order to exhibit a good real-time behavior, where the response time and the temporal predictability of the system is important. We adopted the hybrid deliberative-reactive paradigm in the proposed architecture to conciliate the reactive behavior of the sensors-actuators net and the deliberative activities required to accomplish more complex tasks

Propriedades físicas de bicamadas magnéticas

The magnetic order of bylayers composed by a ferromagnetic film (F) coupled with an antiferromagnetic film (AF) is studied. Piles of coupled monolayers describe the films and the interfilm coupling is described by an exchange interaction between the magnetic moments at the interface. The F has a cubic anisotropy while the AF has a uniaxial anisotropy. We analyze the effects of an external do magnetic field applied parallel to the interface. We consider the intralayer coupling is strong enough to keep parallel all moments of the monolayer an then they are described by one vector proportional to the magnetization of the layer. The interlayer coupling is represented by an exchange interaction between these vectors. The magnetic energy of the system is the sum of the exchange. Anisotropy and Zeeman energies and the equilibrium configuration is one that gives the absolute minimum of the total energy. The magnetization of the system is calculated and the influence of the external do field combined with the interfilm coupling and the unidirectional anisotropy is studied. Special attention is given to the region near of the transition fields. The torque equation is used to study dynamical behavior of these systems. We consider small oscillations around the equilibrium position and we negleet nonlinear terms to obtain the natural frequencies of the system. The dependence of the frequencies with the external do field and their behavior in the phase transition region is analized

Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões

The use of multi-agent systems for classification tasks has been proposed in order to overcome some drawbacks of multi-classifier systems and, as a consequence, to improve performance of such systems. As a result, the NeurAge system was proposed. This system is composed by several neural agents which communicate and negotiate a common result for the testing patterns. In the NeurAge system, a negotiation method is very important to the overall performance of the system since the agents need to reach and agreement about a problem when there is a conflict among the agents. This thesis presents an extensive analysis of the NeurAge System where it is used all kind of classifiers. This systems is now named ClassAge System. It is aimed to analyze the reaction of this system to some modifications in its topology and configuration