Estimating data divergence in cloud computing storage systems

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

A constructive technology assessment of stationary energy storage systems: prospective life cycle orientated analysis

Based on the presentation and discussion at the 3rd Winter School on Technology Assessment, December 2012, Universidade Nova de Lisboa (Portugal), Caparica Campus, PhD programme on Technology Assessment

Evaluation of Leishmania antigens preparation and storage for use in enzyme immunoassays

The influence of time and temperature on the storage of an alkaline antigen of L.major-like and L.(V.) braziliensis promastigotes added or not of a proteases inhibitor (PMSF) was evaluted by means of an IgG-ELISA. Antibodies in assays using L. major-like antigen stored at -20oC for 6 monsths had a statistically lower geometric mean titer (GMT) and different 95% confidence interval limits (CL) than antigens stored otherwise, as assessed by the "t" statistic. The PMSF L. major-like antigen after storage for 6 months at a temperature of 4oC had the same GMT and 95% CL displayed at time zero as well as when storage for 4 and 6 months at -20oC. Significant diferences were not found when L.(V.) braziliensis antigens were stored at times and temperatures mentioned; the PMSF antigen stored for 2 months at -70oC resulted in a lower serum GMT and 95% CL than any other, as assessed by the "t" statistic. Antigen performance did not show any statistical difference associated to the addition of PMSF within the same species; the largest difference between antigens was that between PMSF-L. (V.) braziliensis and L. major-like without PMSF.

TSKY: a dependable middleware solution for data privacy using public storage clouds

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

Experimental high-throughput adsorption unit for multi-evaluation of adsorbents for gas capture, storage and separation applications

Dissertação para obtenção do grau de Mestre em Engenharia Química e Bioquímica

Evaluation of an immunochromatography test for malaria diagnosis under different storage conditions

This study aimed to evaluate the second-generation OptiMal test for malaria diagnosis under various storage conditions. It detected all the positive samples, except for two Plasmodium malariae samples. Further research evaluating diverse environmental conditions are important for ICT test applicability in Brazilian malaria areas.

Storage of water molecules into biomimetic heterostructures: the role of roughness

The development of devices based on heterostructured thin films of biomolecules conveys a huge contribution on biomedical field. However, to achieve high efficiency of these devices, the storage of water molecules into these heterostructures, in order to maintain the biological molecules hydrated, is mandatory. Such hydrated environment may be achieved with lipids molecules which have the ability to rearrange spontaneously into vesicles creating a stable barrier between two aqueous compartments. Yet it is necessary to find conditions that lead to the immobilization of whole vesicles on the heterostructures. In this work, the conditions that govern the deposition of open and closed liposomes of 1.2-dipalmitoyl-sn-Glycero-3-[Phospho-rac-(1-glycerol)] (sodium Salt) (DPPG) onto polyelectrolytes cushions prepared by the layer-by-layer (LbL) method were analyzed. Electronic transitions of DPPG molecules as well as absorption coefficients were obtained by vacuum ultraviolet spectroscopy, while the elemental composition of the heterostructures was characterized by x-ray photoelectron spectroscopy (XPS). The presence of water molecules in the films was inferred by XPS and infrared spectroscopy. Quartz crystal microbalance (QCM) data analysis allowed to conclude that, in certain cases, the DPPG adsorbed amount is dependent of the bilayers number already adsorbed. Moreover, the adsorption kinetics curves of both adsorbed amount and surface roughness allowed to determine the kinetics parameters that are related with adsorption processes namely, electrostatic forces, liposomes diffusion and lipids re-organization on surface. Scaling exponents attained from atomic force microscopy images statistical analysis demonstrate that DPPG vesicles adsorption mechanism is ruled by the diffusion Villain model confirming that adsorption is governed by electrostatic forces. The power spectral density treatment enabled a thorough description of the accessible surface of the samples as well as of its inner structural properties. These outcomes proved that surface roughness influences the adsorption of DPPG liposomes onto surfaces covered by a polyelectrolyte layer. Thus, low roughness was shown to induce liposome rupture creating a lipid bilayer while high roughness allows the adsorption of whole liposomes. In addition, the fraction of open liposomes calculated from the normalized maximum adsorbed amounts decreases with the cushion roughness increase, allowing us to conclude that the surface roughness is a crucial variable that governs the adsorption of open or whole liposomes. This conclusion is fundamental for the development of well-designed sensors based on functional biomolecules incorporated in liposomes. Indeed, LbL films composed of polyelectrolytes and liposomes with and without melanin encapsulated were successfully applied to sensors of olive oil.

40 K Liquid Neon Energy Storage Unit

A thermal Energy Storage Unit (ESU) could be used to attenuate inherent temperature fluctuations of a cold finger, either from a cryocooler working or due to sudden income heat bursts. An ESU directly coupled to the cold source acts as a thermal buffer temporarily increasing its cooling capacity and providing a better thermal stability of the cold finger (“Power Booster mode”). The energy storage units presented here use an enthalpy reservoir based on the high latent heat of the liquid-vapour transition of neon in the temperature range 38 - 44 K to store up to 900 J, and that uses a 6 liters expansion volume at RT in order to work as a closed system. Experimental results in the power booster mode will be described: in this case, the liquid neon cell was directly coupled to the cold finger of the working cryocooler, its volume (12 cm3) allowing it to store 450 J at around 40 K. 10 W heat bursts were applied, leading to liquid evaporation, with quite reduced temperature changes. The liquid neon reservoir can also work as a temporary cold source to be used after stopping the cryocooler, allowing for a vibration-free environment. In this case the enthalpy reservoir implemented (24 cm3) was linked to the cryocooler cold finger through a gas gap heat switch for thermal coupling/decoupling of the cold finger. We will show that, by controlling the enthalpy reservoir’s pressure, 900 J can be stored at a constant temperature of 40 K as in a triple-point ESU.

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.

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.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

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.

Minimal computation structures for visual information applications based on printed electronics

In the early nineties, Mark Weiser wrote a series of seminal papers that introduced the concept of Ubiquitous Computing. According to Weiser, computers require too much attention from the user, drawing his focus from the tasks at hand. Instead of being the centre of attention, computers should be so natural that they would vanish into the human environment. Computers become not only truly pervasive but also effectively invisible and unobtrusive to the user. This requires not only for smaller, cheaper and low power consumption computers, but also for equally convenient display solutions that can be harmoniously integrated into our surroundings. With the advent of Printed Electronics, new ways to link the physical and the digital worlds became available. By combining common printing techniques such as inkjet printing with electro-optical functional inks, it is starting to be possible not only to mass-produce extremely thin, flexible and cost effective electronic circuits but also to introduce electronic functionalities into products where it was previously unavailable. Indeed, Printed Electronics is enabling the creation of novel sensing and display elements for interactive devices, free of form factor. At the same time, the rise in the availability and affordability of digital fabrication technologies, namely of 3D printers, to the average consumer is fostering a new industrial (digital) revolution and the democratisation of innovation. Nowadays, end-users are already able to custom design and manufacture on demand their own physical products, according to their own needs. In the future, they will be able to fabricate interactive digital devices with user-specific form and functionality from the comfort of their homes. This thesis explores how task-specific, low computation, interactive devices capable of presenting dynamic visual information can be created using Printed Electronics technologies, whilst following an approach based on the ideals behind Personal Fabrication. Focus is given on the use of printed electrochromic displays as a medium for delivering dynamic digital information. According to the architecture of the displays, several approaches are highlighted and categorised. Furthermore, a pictorial computation model based on extended cellular automata principles is used to programme dynamic simulation models into matrix-based electrochromic displays. Envisaged applications include the modelling of physical, chemical, biological, and environmental phenomena.

Analysis of a controversial decision process: the case of the pumped hydro storage power plant Atdorf in Germany

Based on the report for the unit “Métodos Interactivos de Participação e Decisão A” (Interactive methods of participation and decision A), coordinated by Prof. Lia Maldonado Teles de Vasconcelos and Prof. Nuno Miguel Ribeiro Videira Costa. This unit was provided for the PhD Program in Technology Assessment in 2015/2016.

Ontology-based representation and generation of workflows for micro-task human-machine computation

Doctoral Program in Computer Science