40 K Neon liquid energy storage unit

Cryocoolers have been progressively replacing the use of the stored cryogens in cryogenic chains used for detector cooling, thanks to their higher and higher reliability. However, the mechanical vibrations, the electromagnetic interferences and the temperature fluctuations inherent to their functioning could reduce the sensor’s sensitivity. In order to minimize this problem, compact thermal energy storage units (ESU) are studied, devices able to store thermal energy without significant temperature increase. These devices can be used as a temporary cold source making it possible to turn the cryocooler OFF providing a proper environment for the sensor. A heat switch is responsible for the thermal decoupling of the ESU from the cryocooler’s temperature that increases when turned OFF. In this work, several prototypes working around 40 K were designed, built and characterized. They consist in a low temperature cell that contains the liquid neon connected to an expansion volume at room temperature for gas storage during the liquid evaporation phase. To turn this system insensitive to the gravity direction, the liquid is retained in the low temperature cell by capillary effect in a porous material. Thanks to pressure regulation of the liquid neon bath, 900 J were stored at 40K. The higher latent heat of the liquid and the inexistence of triple point transitions at 40 K turn the pressure control during the evaporation a versatile and compact alternative to an ESU working at the triple point transitions. A quite compact second prototype ESU directly connected to the cryocooler cold finger was tested as a temperature stabilizer. This device was able to stabilize the cryocooler temperature ((≈ 40K ±1 K) despite sudden heat bursts corresponding to twice the cooling power of the cryocooler. This thesis describes the construction of these devices as well as the tests performed. It is also shown that the thermal model developed to predict the thermal behaviour of these devices, implemented as a software,describes quite well the experimental results. Solutions to improve these devices are also proposed.

WebGIS applied to improve spatial knowledge of high school students

This research seeks to design and implement a WebGIS application allowing high school students to work with information related to the disciplinary competencies of the competency-teaching model, in Mexico. This paradigm assumes knowledge to be acquired through the application of new technologies and to link it with everyday life situations of students. The WebGIS provides access to maps regarding natural risks in Mexico, e.g. volcanism, seismic activities, or hurricanes; the prototype's user interface was designed with special emphasis on scholar needs for high school students.

40 K neon liquid energy storage unit

Cryocoolers have been progressively replacing the use of the stored cryogens in cryogenic chains used for detector cooling, thanks to their higher and higher reliability. However, the mechanical vibrations, the electromagnetic interferences and the temperature fluctuations inherent to their functioning could reduce the sensor’s sensitivity. In order to minimize this problem, compact thermal energy storage units (ESU) are studied, devices able to store thermal energy without significant temperature increase. These devices can be used as a temporary cold source making it possible to turn the cryocooler OFF providing a proper environment for the sensor. A heat switch is responsible for the thermal decoupling of the ESU from the cryocooler’s temperature that increases when turned OFF. In this work, several prototypes working around 40 K were designed, built and characterized. They consist in a low temperature cell that contains the liquid neon connected to an expansion volume at room temperature for gas storage during the liquid evaporation phase. To turn this system insensitive to the gravity direction, the liquid is retained in the low temperature cell by capillary effect in a porous material. Thanks to pressure regulation of the liquid neon bath, 900 J were stored at 40K. The higher latent heat of the liquid and the inexistence of triple point transitions at 40 K turn the pressure control during the evaporation a versatile and compact alternative to an ESU working at the triple point transitions. A quite compact second prototype ESU directly connected to the cryocooler cold finger was tested as a temperature stabilizer. This device was able to stabilize the cryocooler temperature ((≈ 40K ±1 K) despite sudden heat bursts corresponding to twice the cooling power of the cryocooler. This thesis describes the construction of these devices as well as the tests performed. It is also shown that the thermal model developed to predict the thermal behaviour of these devices,implemented as a software, describes quite well the experimental results. Solutions to improve these devices are also proposed.

Mobile image processing to support educational geometry games

The mobile IT era is here, it is still growing and expanding at a steady rate and, most of all, it is entertaining. Mobile devices are used for entertainment, whether social through the so-called social networks, or private through web browsing, video watching or gaming. Youngsters make heavy use of these devices, and even small children show impressive adaptability and skill. However not much attention is directed towards education, especially in the case of young children. Too much time is usually spent in games which only purpose is to keep children entertained, time that could be put to better use such as developing elementary geometric notions. Taking advantage of this pocket computer scenario, it is proposed an application geared towards small children in the 6 – 9 age group that allows them to consolidate knowledge regarding geometric shapes, forming a stepping stone that leads to some fundamental mathematical knowledge to be exercised later on. To achieve this goal, the application will detect simple geometric shapes like squares, circles and triangles using the device’s camera. The novelty of this application will be a core real-time detection system designed and developed from the ground up for mobile devices, taking into account their characteristic limitations such as reduced processing power, memory and battery. User feedback was be gathered, aggregated and studied to assess the educational factor of the application.

Avaliação da monitorização diária da proteína C-Reativa no doente crítico

RESUMO: O objectivo desta Tese de Doutoramento foi estudar o valor da Proteína CReactiva(PCR) como marcador de infecção e sepsis. Por definição, um marcador da infecção não está presente se o doente não está infectado, deve aparecer concomitantemente ou idealmente preceder a instalação da infecção, deve desaparecer com a instituição de terapêutica antimicrobiana adequada e permanecer elevado se a infecção for refractária ao tratamento. Do ponto de vista biológico, a PCR é o protótipo das proteínas de fase aguda, com uma marcada elevação da sua concentração sérica em resposta a diversos estímulos inflamatórios em particular infecções bacterianas. A sua concentração sérica depende apenas da intensidade do estímulo e da velocidade de síntese hepática, não sendo influenciada por nenhum factor ou tratamento a não ser que este tenha influência directa sobre o estímulo desencadeante, o que a torna um marcador de infecção com grande potencial. Nesta Tese comparou-se a PCR com marcadores clássicos de infecção, temperatura e contagem leucocitária, em diversas situações clínicas analisando doentes com infecções documentadas e doentes controlos, sem infecção. Globalmente os resultados dos trabalhos desta Tese mostram que a PCR é um bom marcador de infecção de acordo com a definição previamente apresentada. Em conjunto com a restante avaliação clínica e laboratorial, a monitorização diária da PCR nos doentes sem infecção mostrou ser útil como sentinela da infecção, isto é, apresenta valores baixos nos doentes sem infecção e sobe precocemente nos doentes que desenvolvem uma infecção. Nos doentes com infecção documentada revelou um ser bom marcador de resposta à terapêutica e evolução clínica, diminuindo naqueles que melhoravam e persistindo elevada nos que tinham mau prognóstico, bem assim como identificar diferentes perfis evolutivos. Em suma, a monitorização diária da PCR mostrou utilidade ao longo de todo o internamento na Unidade de Cuidados Intensivos, quer na presença quer na ausência de infecção. Deste todo, a monitorização diária da PCR pode a possibilitar uma utilização mais racional e judiciosa da terapêutica antimicrobiana, contribuindo dessa forma para uma diminuição da toxicidade e da pressão antibiótica, menor risco de emergência de resistências e finalmente diminuição dos custos. Uma vez que, os doentes internados nas Unidades de Cuidados Intensivos apresentam as mesmas doenças que os restantes doentes admitidos no hospital apenas se distinguindo pela sua maior gravidade, poder-se-á extrapolar que a PCR também é potencialmente um bom marcador de infecção nestes doentes. ----------------ABSTRACT: The aim of this PhD Thesis was to assess the value of C-Reactive Protein (CRP) as a marker of infection and sepsis. A marker of infection should be absent in a non-infected patient, should increase alongside or ideally precede the development of an infection, and finally should assess the therapeutic response, that is to say decrease or even disappear with adequate antimicrobial therapy or on the opposite remain elevated if the infection is refractory to the prescribed treatment. The biology of CRP makes it the prototype of acute phase proteins, with marked and sharp elevations of its serum concentration in response to several inflammatory stimulus in particular bacterial infections. Besides, CRP level depends only of the intensity of the stimulus and the rate of hepatic synthesis. Its concentration is not modified by any therapy or intervention. Only those interventions affecting the inflammatory process responsible for the acute phase reaction can change the CRP level. These properties make CRP a potentially good marker of infection. In this Thesis the value of CRP was studied in comparison to traditional markers of infection, like temperature and white cell count, in different clinical situations analysing patients with documented infections and a control group without infection. The aggregated results of the analysis presented in this Thesis illustrate that CRP could be used as a marker of infection. In conjunction with other clinical and laboratory manifestations of sepsis, daily CRP measurement in patients without infection was useful in prediction of infection as its concentration remains low in patients without infection whereas if an infection appears its levels raise markedly. In addition, in patients with documented infections CRP was useful as a marker of therapeutic response and follow-up, with marked decreases in patients with good outcome and remaining elevated in those with poor prognosis, as well as the recognition of different patterns of evolution. In summary, daily CRP measurement was helpful in critical ill patients along the entire Intensive Care Unit stay, both in the presence and in the absence of infection. As a result, daily CRP measurement can assure a better and more rational use of antibiotics and consequently contribute to a decrease in the antibiotic toxicity and demand, reducing the risks of emergence of resistant strains aas well as costs. Provided that patients admitted to an Intensive Care Unit presented the same clinical diagnosis as those admitted to the wards but with higher severity, one can speculate that CRP is also a potentially good marker of infection in these of patients.

Building a thinner gap in a gas-gap heat switch

25th International Cryogenic Engineering Conference and the International Cryogenic Materials Conference in 2014, ICEC 25–ICMC 2014

8-Phase Ring oscillator for modern receivers

The evolution of receiver architectures, built in modern CMOS technologies, allows the design of high efficient receivers. A key block in modern receivers is the oscillator. The main objective of this thesis is to design a very low power and low area 8-Phase Ring Oscillator for biomedical applications (ISM and WMTS bands). Oscillators with multiphase outputs and variable duty cycles are required. In this thesis we are focused in 12.5% and 50% duty-cycles approaches. The proposed circuit uses eight inverters in a ring structure, in order to generate the output duty cycle of 50%. The duty cycle of 1/8 is achieved through the combination of the longer duty cycle signals in pairs, using, for this purpose, NAND gates. Since the general application are not only the wireless communications context, as well as industrial, scientific and medical plans, the 8-Phase Oscillator is simulated to be wideband between 100 MHz and 1 GHz, and be able to operate in the ISM bands (447 MHz-930 MHz) and WMTS (600 MHz). The circuit prototype is designed in UMC 130 nm CMOS technology. The maximum value of current drawn from a DC power source of 1.2 V, at a maximum frequency of 930 MHz achieved, is 17.54 mA. After completion of the oscillator layout studied (occupied area is 165 μm x 83 μm). Measurement results confirm the expected operating range from the simulations, and therefore, that the oscillator fulfil effectively the goals initially proposed in order to be used as Local Oscillator in RF Modern Receivers.

Cylindrical spinning rotor gauge — A new approach for vacuum measurement

The spinning rotor gauge (SRG) is one of the most interesting vacuum gauges ever made, covering a pressure range of over seven orders of magnitude, with minimal gas interference (no pumping, ionization or heating of the measured gas), and a great stability of less than 1% drift per year. But despite its remarkable properties, apparently the SRG has not been further developed since the eighties, when it gained commercial interest. In this context, this dissertation aims at providing a starting point for a new line of investigation regarding this instrument, focused on the rotor itself. A brief study of different rotor geometries is provided, including a comparison between a cylindrical rotor and a spherical one. A cylindrical spinning rotor gauge (CSRG) is then proposed, based on the original SRG, but requiring a completely new lateral damping system. A prototype was built and tested against a non calibrated reference gauge.

Ion-beam sources based on superionic solid electrolytes

An ion emitter consisting of a sharp silver tip covered in RbAg4I5 solid electrolyte film has been developed and studied. An accelerating potential is applied and Ag+ ions are emitted from the tip’s apex by field evaporation. The emitted ions are collected by a Faraday cup, producing a current on the pico/nanoampere level which is read by an electrometer. The tips were produced mechanically by sandpaper polishing. The sharpest tip produced had a 2:4 m apex radius. Two deposition methods were studied: thermal vacuum and pulsed laser deposition. The best tip produced a peak current value of 96nA at 180oC, and a quasi-stable 4nA emission current at 160oC, both using an extraction potential of 10kV . The emission dependence on time, temperature and accelerating potential has been studied. Deposited films were characterized by X-ray diffraction (XRD), profilometry, optical and Scanning Electron Microscope (SEM) and Secondary Ion Mass Spectroscopy (SIMS) measurements. Several ion emitters were developed, the latter ones were all able to maintain stable high ion emissions for long periods of time. This investigation was a continuation of an ongoing project backed by the European Space Agency, with the objective of making a proof of concept of this kind of ion emitter with potential application on ion thrusters for orbiting satellites. Going forward, it would be interesting to make a finer analysis of the electrolyte’s conductivity at high temperatures, explore Wien Effect-based emission and to further develop a multi-tip ion emitter prototype.

User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

ReedCob – An eco-efficient building technology for monolithic walls based on earth and reeds

4th Conference COST ACTION FP1303 – Designing with Bio-based Materials – Challenges and opportiunities. INIA – CSIC, Madrid, 24-25 February 2016. Book of abstracts, T.Troya, J.Galván, D.Jones (Eds.), INIA and IETcc – CSIS, pg. 79-80 (ISBN: 978-91-88349-16-3)

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Genetic algorithm for shipping route estimation with long-range tracking data : automatic reconstruction of shipping routes based on the historical ship positions for maritime safety applications

Ship tracking systems allow Maritime Organizations that are concerned with the Safety at Sea to obtain information on the current location and route of merchant vessels. Thanks to Space technology in recent years the geographical coverage of the ship tracking platforms has increased significantly, from radar based near-shore traffic monitoring towards a worldwide picture of the maritime traffic situation. The long-range tracking systems currently in operations allow the storage of ship position data over many years: a valuable source of knowledge about the shipping routes between different ocean regions. The outcome of this Master project is a software prototype for the estimation of the most operated shipping route between any two geographical locations. The analysis is based on the historical ship positions acquired with long-range tracking systems. The proposed approach makes use of a Genetic Algorithm applied on a training set of relevant ship positions extracted from the long-term storage tracking database of the European Maritime Safety Agency (EMSA). The analysis of some representative shipping routes is presented and the quality of the results and their operational applications are assessed by a Maritime Safety expert.

Operation modes of battery chargers for electric vehicles in the future smart grids

This paper presents an on-board bidirectional battery charger for Electric Vehicles (EVs), which operates in three different modes: Grid-to- Vehicle (G2V), Vehicle-to-Grid (V2G), and Vehicle-to-Home (V2H). Through these three operation modes, using bidirectional communications based on Information and Communication Technologies (ICT), it will be possible to exchange data between the EV driver and the future smart grids. This collaboration with the smart grids will strengthen the collective awareness systems, contributing to solve and organize issues related with energy resources and power grids. This paper presents the preliminary studies that results from a PhD work related with bidirectional battery chargers for EVs. Thus, in this paper is described the topology of the on-board bidirectional battery charger and the control algorithms for the three operation modes. To validate the topology it was developed a laboratory prototype, and were obtained experimental results for the three operation modes.

Smart platform towards batteries analysis based on internet-of-things

This paper presents a new approach of pre-defined profiles, based in different voltage and current values, to control the charging and discharging processes of batteries in order to assess their performance. This new approach was implemented in a prototype that was specially developed for such purpose. This prototype is a smart power electronics platform that allows to perform batteries analysis and to control the charging and discharging processes through a web application using pre-defined profiles. This platform was developed aiming to test different batteries technologies. Considering the relevance of the energy storage area based in batteries, especially for the batteries applied to electric mobility systems, this platform allows to perform controlled tests to the batteries, in order to analyze the batteries performance under different scenarios of operation. Besides the results obtained with the batteries, this work also intends to produce results that can contribute to an involvement in the strengthening of the Internet-of-Things.