Design, implementation, and performance of a distributed and scalable sensor system for critical distance measurements in the CMS detector at LHC

The “CMS Safety Closing Sensors System” (SCSS, or CSS for brevity) is a remote monitoring system design to control safety clearance and tight mechanical movements of parts of the CMS detector, especially during CMS assembly phases. We present the different systems that makes SCSS: its sensor technologies, the readout system, the data acquisition and control software. We also report on calibration and installation details, which determine the resolution and limits of the system. We present as well our experience from the operation of the system and the analysis of the data collected since 2008. Special emphasis is given to study positioning reproducibility during detector assembly and understanding how the magnetic fields influence the detector structure.

Digitally programmable delay-locked-loop with adaptive charge pump current for UWB radar system

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 Computadores

Design of a tool to study the fate of Chlamydia trachomatis infected cells

Chlamydia trachomatis has a unique obligate intracellular developmental cycle that ends by the lysis of the cell and/or the extrusion of the bacteria in order to allow for re-infections. While Chlamydia trachomatis infections are often asymptomatic the diagnosis of Chlamydia trachomatis is usually late, occurring after manifestation of persistency. Investigations on the consequences of long-term infections and the molecular mechanisms behind it will reveal light to what extent bacteria can modulate host cell function and what the ultimate fate of host cells after clearance of an infection is. Such studies on the host cell fate could be greatly facilitated if the infected cells become permanently marked during and after the infection. Therefore, this project intends to develop a new genetic tool that would allow permanently labeling of Chlamydia trachomatis host cells. The plan was to generate a Chlamydia trachomatis strain that encodes a recombinant CRE recombinase, fused to a secretory effector function of the Chlamydia type 3 secretion system (T3SS). Upon translocation into the host cell, this recombinant CRE enzyme could then, owing to its site-specific recombination function, switch a reporter gene contained in the host cell genome. To this end, the reporter line carried a membrane-tagged tdTomato (mT) gene flanked by two LoxP sequences followed by a GFP gene. The translocation of the recombinant CRE recombinase into this cell line was designed to trigger the recombination of the LoxP sites whereby the cells would turn from red fluorescence to green as an irreversible label of the infected cells. Successful execution of this mechanism would allow to draw a direct link between Chlamydia trachomatis infection and the subsequent fate of the infected cell.

Analysis and implementation of a multi-ratio switched capacitor DC-DC converter for a supercapacitor power supply

An energy harvesting system requires an energy storing device to store the energy retrieved from the surrounding environment. This can either be a rechargeable battery or a supercapcitor. Due to the limited lifetime of rechargeable batteries, they need to be periodically replaced. Therefore, a supercapacitor, which has ideally a limitless number of charge/discharge cycles can be used to store the energy; however, a voltage regulator is required to obtain a constant output voltage as the supercapacitor discharges. This can be implemented by a Switched-Capacitor DC-DC converter which allows a complete integration in CMOS technology, although it requires several topologies in order to obtain a high efficiency. This thesis presents the complete analysis of four different topologies in order to determine expressions that allow to design and determine the optimum input voltage ranges for each topology. To better understand the parasitic effects, the implementation of the capacitors and the non-ideal effect of the switches, in 130 nm technology, were carefully studied. With these two analysis a multi-ratio SC DC-DC converter was designed with an output power of 2 mW, maximum efficiency of 77%, and a maximum output ripple, in the steady state, of 23 mV; for an input voltage swing of 2.3 V to 0.85 V. This proposed converter has four operation states that perform the conversion ratios of 1/2, 2/3, 1/1 and 3/2 and its clock frequency is automatically adjusted to produce a stable output voltage of 1 V. These features are implemented through two distinct controller circuits that use asynchronous time machines (ASM) to dynamically adjust the clock frequency and to select the active state of the converter. All the theoretical expressions as well as the behaviour of the whole system was verified using electrical simulations.

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.

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Translation encoding for OGC services

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

WIFI indoor positioning for mobile devices, an application for the UJI Smart Campus

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Decentralization and privatization in Portuguese health reforms

ABSTRACT - The Portuguese National Health Service (SNS), a universal, centralized and public owned health care system, exhibits an extraordinary record of equalization in the access to health care and health gains in the late thirty years. However, the most recent history of the Portuguese health reform is pervaded by the influence of decentralization and privatization. Decentralization has been present in the system design since the 1976 Constitution, at least in theory. Private ownership of health care suppliers and out-ofpocket expenditures, on the financing side, both have a long tradition of relevance in the NHS mix of services. The initial aim of this study was to demonstrate expected parallelism between health reforms and public administration reforms, where a common pattern of joint decentralization and privatization was observed in many countries. Observers would be tempted to consider these two movements as common signs of new public management (NPM) developments. They have common objectives, are established around the core concepts of gains in effectiveness, efficiency, equity and quality of public services, through improved accountability. However, in practice, in Portugal, each movement was developed in a totally separated way. Besides those rooted in the NPM theory, there are few visible signs of association between decentralization and privatization. Decentralization, in the Portuguese SNS, was never intended to be followed by a privatization movement; it was seen merely as a public administration tool. Private management of health services, as stated in the most recent SNS legislation, was never intended to have decentralization as a condition or as a consequence. Paradoxically, in the Portuguese context, it has led invariably to centralized control. While presented as separate instruments for a common purpose, the association between decentralization and privatization still lacks a convincing demonstration. Many common health care management stereotypes remain to be checked out if we want to look for eventual associations between these two organizational tools.

Design and implementation of a behaviorally typed programming system for web services

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 Informática.

Design and implementation of an autonomous, proactive, and reactive software infrastructure to help improving the management level of projects

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

An agent-based evolutionary approach for manufacturing system layout design

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

Design and implementation of 3D buildings integration for a Webgl-Based Virtual Globe: a case study of Valencian Cadastre and Fide Building Mode

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Design of a balanced scorecard-type management system for a back-office department in a bank

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