Designing single event upset mitigation techniques for large SRAM-Based FPGA components

This thesis presents the study and development of fault-tolerant techniques for programmable architectures, the well-known Field Programmable Gate Arrays (FPGAs), customizable by SRAM. FPGAs are becoming more valuable for space applications because of the high density, high performance, reduced development cost and re-programmability. In particular, SRAM-based FPGAs are very valuable for remote missions because of the possibility of being reprogrammed by the user as many times as necessary in a very short period. SRAM-based FPGA and micro-controllers represent a wide range of components in space applications, and as a result will be the focus of this work, more specifically the Virtex® family from Xilinx and the architecture of the 8051 micro-controller from Intel. The Triple Modular Redundancy (TMR) with voters is a common high-level technique to protect ASICs against single event upset (SEU) and it can also be applied to FPGAs. The TMR technique was first tested in the Virtex® FPGA architecture by using a small design based on counters. Faults were injected in all sensitive parts of the FPGA and a detailed analysis of the effect of a fault in a TMR design synthesized in the Virtex® platform was performed. Results from fault injection and from a radiation ground test facility showed the efficiency of the TMR for the related case study circuit. Although TMR has showed a high reliability, this technique presents some limitations, such as area overhead, three times more input and output pins and, consequently, a significant increase in power dissipation. Aiming to reduce TMR costs and improve reliability, an innovative high-level technique for designing fault-tolerant systems in SRAM-based FPGAs was developed, without modification in the FPGA architecture. This technique combines time and hardware redundancy to reduce overhead and to ensure reliability. It is based on duplication with comparison and concurrent error detection. The new technique proposed in this work was specifically developed for FPGAs to cope with transient faults in the user combinational and sequential logic, while also reducing pin count, area and power dissipation. The methodology was validated by fault injection experiments in an emulation board. The thesis presents comparison results in fault coverage, area and performance between the discussed techniques.

Detection of mixed microbial biofilms on central venous catheters removed from Intensive care Unit Patients

Cateteres venosos centrais inseridos em pacientes internados em unidade de terapia intensiva foram avaliados por métodos microbiológicos (cultura semi-quantitativa) e microscopia eletrônica de varredura a fim de detectar adesão microbiana e correlacionar com a cultura de sangue. Durante o período de estudo, foram avaliados 59 pacientes com cateter venoso central. A idade dos pacientes, sexo, sítio de inserção e tempo de permanência do cateter foram anotados. O cateter era de poliuretano não tunelizado e de único lúmen. O sangue para cultura foi coletado no momento da remoção do cateter. de 63 pontas de cateteres, 30 (47,6%) foram colonizadas e a infecção encontrada em 5 (23,8%) cateteres. A infecção foi mais prevalente em 26 pacientes (41,3%) com cateteres inseridos em veia subclávia do que nos 3 (3,2%) inseridos em veia jugular. A infecção foi observada com mais freqüência em cateteres com tempo de permanência maior do que sete dias. Os microrganismos isolados incluíram 32 estafilococos coagulase-negativa (29,7%), 61 bactérias Gram-negativas (52,9%), 9 estafilcocos coagulase-positiva (8,3%) e 3 leveduras (2,7%). Como agentes causais de infecções em unidade de terapia intensiva foram isolados E. aerogenes, P. aeruginosa, A. baumannii. Os antimicrobianos com maior atividade in vitro contra as bactérias Gram-negativas foram o imipenem e contra as Gram-positivas vancomicina, cefepime, penicilina, rifampicina e tetraciclina. As análises por microscopia eletrônica de varredura revelaram biofilmes sobre a superfície de todos os cateteres examinados.

Peritoneal Dialysis-Related Peritonitis Due to Staphylococcus aureus: A Single-Center Experience over 15 Years

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Distribution transformers modeling with angular displacement: actual values and per unit analysis

In this work a detailed modeling of three-phase distribution transformers aimed at complementing well-known approaches is presented. Thus, incidence of angular displacement and tapping is taken into account in the proposed models, considering both actual values and per unit. The analysis is based on minimal data requirement: solely short-circuit admittance is needed since three-phase transformers are treated as non-magnetically-coupled single-phase transformers. In order to support the proposed methodology, results obtained through laboratory tests are presented.

Single walled MgF2 nanotubes

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

The Bauru Group: A continental Cretaceous unit in Brazil - Concepts based on micropaleontological, oxygen isotope and stratigraphical data

The integration of outcrop and subsurface information, including micropaleontological data, facies and sequence stratigraphic studies, and oxygen isotope analysis, allow us to present a new stratigraphic model for the Cretaceous continental deposits of the Bauru Group, Brazil. Thirty-eight fossil taxa were recovered from these deposits, including 29 species of ostracodes and 9 species of charophytes. Seven of these ostracode species and three subspecies are new and formally described here. The associations of Chara barbosai - Ilyocypris cf. riograndensis, found in the Adamantina Formation, and Amblyochara sp. - Neuquenocypris minor mineira nov. subsp., found in the Marília Formation. Ponte Alta Member, represent two distinct groups that are respectively Turonian-Santonian and Maastrichtian (probably Late Maastrichtian) in age. Therefore, a hiatus, encompassing more than 11 Ma, separates those two formations. From bottom to top, four depositional cycles were recognized in the Bauru Group in western São Paulo: cycles 1 and 2 belong to Caiuá Formation (fluvio-lacustrine and lacustrine deposits in the Presidente Prudente region), cycle 3 to the Santo Anastácio and lower Adamantina Formation (respectively fluvial and lacustrine deposits), and cycle 4 to the upper Adamantina Formation (fluvio-lacustrine facies). An erosional unconformity separates the Caiuá and Santo Anastácio Formations (between cycles 2 and 3). The Marília Formation is a distinct unit from the underlying succession; it does not occur in western São Paulo, but is found in restricted areas of São Paulo, Minas Gerais, Mato Grosso do Sul and Goiás States. During the deposition of the Bauru Group (Aptian? to Maastrichtian) the climate was hot and arid-semiarid. Shallow lakes underwent fluctuations in expansion (wet phases) and contraction (dry phases), as well as variations in salinity. During the deposition of the Adamantina Formation (Turonian-Santonian) there were long, dry periods that caused segmentation of large lakes (due to topographic irregularities in the basaltic substrate) and sometimes exposures of the lake floors; when flooded these lake floors were colonized by extensive meadows of single species of charophytes. Small ephemeral ponds, that were hydrochemically unstable and colonized by multiple species of charophytes, were the depositional sites for the marls and mudstones of Ponte Alta Member (Maastrichtian, Late Maastrichtian?). Our micropaleontological age control, combined with the Late Cretaceous ages of volcanic ashes found in the southeastern Brazil coastal basins, and the stratigraphic position of analcimites from the Jaboticabal-SP region, suggest a Late Coniacian-Santonian age for important magmatic events occurred in the interior of Brazil (north-central São Paulo State, Triângulo Mineiro, and southwestern Goiás State).

Using state-space techniques to represent frequency dependent single-phase lines directly in time domain

This paper proposes to use a state-space technique to represent a frequency dependent line for simulating electromagnetic transients directly in time domain. The distributed nature of the line is represented by a multiple 1t section network made up of the lumped parameters and the frequency dependence of the per unit longitudinal parameters is matched by using a rational function. The rational function is represented by its equivalent circuit with passive elements. This passive circuit is then inserted in each 1t circuit of the cascade that represents the line. Because the system is very sparse, it is possible to use a sparsity technique to store only nonzero elements of this matrix for saving space and running time. The model was used to simulate the energization process of a 10 km length single-phase line. ©2008 IEEE.

Um modelo de unit commitment hidrotérmico para o ambiente de mercados de energia

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Clinical Comparison of the Effectiveness of Single-file Reciprocating Systems and Rotary Systems for Removal of Endotoxins and Cultivable Bacteria from Primarily Infected Root Canals

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Progetto di reti Sensori Wireless e tecniche di Fusione Sensoriale

Ambient Intelligence (AmI) envisions a world where smart, electronic environments are aware and responsive to their context. People moving into these settings engage many computational devices and systems simultaneously even if they are not aware of their presence. AmI stems from the convergence of three key technologies: ubiquitous computing, ubiquitous communication and natural interfaces. The dependence on a large amount of fixed and mobile sensors embedded into the environment makes of Wireless Sensor Networks one of the most relevant enabling technologies for AmI. WSN are complex systems made up of a number of sensor nodes, simple devices that typically embed a low power computational unit (microcontrollers, FPGAs etc.), a wireless communication unit, one or more sensors and a some form of energy supply (either batteries or energy scavenger modules). Low-cost, low-computational power, low energy consumption and small size are characteristics that must be taken into consideration when designing and dealing with WSNs. In order to handle the large amount of data generated by a WSN several multi sensor data fusion techniques have been developed. The aim of multisensor data fusion is to combine data to achieve better accuracy and inferences than could be achieved by the use of a single sensor alone. In this dissertation we present our results in building several AmI applications suitable for a WSN implementation. The work can be divided into two main areas: Multimodal Surveillance and Activity Recognition. Novel techniques to handle data from a network of low-cost, low-power Pyroelectric InfraRed (PIR) sensors are presented. Such techniques allow the detection of the number of people moving in the environment, their direction of movement and their position. We discuss how a mesh of PIR sensors can be integrated with a video surveillance system to increase its performance in people tracking. Furthermore we embed a PIR sensor within the design of a Wireless Video Sensor Node (WVSN) to extend its lifetime. Activity recognition is a fundamental block in natural interfaces. A challenging objective is to design an activity recognition system that is able to exploit a redundant but unreliable WSN. We present our activity in building a novel activity recognition architecture for such a dynamic system. The architecture has a hierarchical structure where simple nodes performs gesture classification and a high level meta classifiers fuses a changing number of classifier outputs. We demonstrate the benefit of such architecture in terms of increased recognition performance, and fault and noise robustness. Furthermore we show how we can extend network lifetime by performing a performance-power trade-off. Smart objects can enhance user experience within smart environments. We present our work in extending the capabilities of the Smart Micrel Cube (SMCube), a smart object used as tangible interface within a tangible computing framework, through the development of a gesture recognition algorithm suitable for this limited computational power device. Finally the development of activity recognition techniques can greatly benefit from the availability of shared dataset. We report our experience in building a dataset for activity recognition. Such dataset is freely available to the scientific community for research purposes and can be used as a testbench for developing, testing and comparing different activity recognition techniques.

Continuos Flow Single Cell Separation into Open Microwell Arrays

A novel design based on electric field-free open microwell arrays for the automated continuous-flow sorting of single or small clusters of cells is presented. The main feature of the proposed device is the parallel analysis of cell-cell and cell-particle interactions in each microwell of the array. High throughput sample recovery with a fast and separate transfer from the microsites to standard microtiter plates is also possible thanks to the flexible printed circuit board technology which permits to produce cost effective large area arrays featuring geometries compatible with laboratory equipment. The particle isolation is performed via negative dielectrophoretic forces which convey the particles’ into the microwells. Particles such as cells and beads flow in electrically active microchannels on whose substrate the electrodes are patterned. The introduction of particles within the microwells is automatically performed by generating the required feedback signal by a microscope-based optical counting and detection routine. In order to isolate a controlled number of particles we created two particular configurations of the electric field within the structure. The first one permits their isolation whereas the second one creates a net force which repels the particles from the microwell entrance. To increase the parallelism at which the cell-isolation function is implemented, a new technique based on coplanar electrodes to detect particle presence was implemented. A lock-in amplifying scheme was used to monitor the impedance of the channel perturbed by flowing particles in high-conductivity suspension mediums. The impedance measurement module was also combined with the dielectrophoretic focusing stage situated upstream of the measurement stage, to limit the measured signal amplitude dispersion due to the particles position variation within the microchannel. In conclusion, the designed system complies with the initial specifications making it suitable for cellomics and biotechnology applications.

The APSEL4D Monolithic Active Pixel Sensor and its Usage in a Single Electron Interference Experiment

We have realized a Data Acquisition chain for the use and characterization of APSEL4D, a 32 x 128 Monolithic Active Pixel Sensor, developed as a prototype for frontier experiments in high energy particle physics. In particular a transition board was realized for the conversion between the chip and the FPGA voltage levels and for the signal quality enhancing. A Xilinx Spartan-3 FPGA was used for real time data processing, for the chip control and the communication with a Personal Computer through a 2.0 USB port. For this purpose a firmware code, developed in VHDL language, was written. Finally a Graphical User Interface for the online system monitoring, hit display and chip control, based on windows and widgets, was realized developing a C++ code and using Qt and Qwt dedicated libraries. APSEL4D and the full acquisition chain were characterized for the first time with the electron beam of the transmission electron microscope and with 55Fe and 90Sr radioactive sources. In addition, a beam test was performed at the T9 station of the CERN PS, where hadrons of momentum of 12 GeV/c are available. The very high time resolution of APSEL4D (up to 2.5 Mfps, but used at 6 kfps) was fundamental in realizing a single electron Young experiment using nanometric double slits obtained by a FIB technique. On high statistical samples, it was possible to observe the interference and diffractions of single isolated electrons traveling inside a transmission electron microscope. For the first time, the information on the distribution of the arrival time of the single electrons has been extracted.

Progettazione e sviluppo di un'unità di acquisizione ed elaborazione dati provenienti da giroscopi mems triassiali per lo studio della cinematica cardiaca

La rotazione dell’apice del cuore è una delle espressioni della complessa cinematica del miocardio e rappresenta un importante indice di funzionalità cardiaca. Disporre di un sensore impiantabile che permetta un monitoraggio continuo di tale parametro consentirebbe di individuare precocemente un deterioramento della performance cardiaca e di adattare tempestivamente la terapia. L’obiettivo del lavoro di tesi è la realizzazione di un sistema di acquisizione dati per segnali provenienti da un giroscopio MEMS triassiale da utilizzarsi per lo studio della cinematica cardiaca, in particolare della rotazione del cuore. Per leggere e decodificare i segnali digitali in uscita dal giroscopio MEMS triassiale utilizzato (CMR3100, VTI Technologies) è stata progettata e sviluppata un’unità di condizionamento composta da una board Arduino ADK, associata ad un adattatore di tensione PCA9306 e a 3 convertitori digitali/analogici MCP4921, che ha richiesto lo sviluppo di software per la gestione del protocollo di comunicazione e della decodifica del segnale digitale proveniente dal sensore. Per caratterizzare e validare il sistema realizzato sono state effettuate prove di laboratorio, che hanno permesso di individuare i parametri di lavoro ottimali del sensore. Una prima serie di prove ha dimostrato come l’unità di condizionamento realizzata consenta di acquisire i segnali con una velocità di processo elevata (1 kHz) che non comporta perdita di dati in uscita dal sensore. Successivamente, attraverso un banco prova di simulazione appositamente assemblato allo scopo di riprodurre rotazioni cicliche nel range dei valori fisio-patologici, è stato quantificato lo sfasamento temporale (St) tra il segnale rilevato dal CMR3100 e decodificato dall'unità di condizionamento e un segnale analogico in uscita da un giroscopio analogico, ottenendo un valore medio St=4 ms. Attraverso lo stesso banco di simulazione, è stata infine dimostrata una buona accuratezza (errore percentuale <10%) nella misura dell'angolo di rotazione derivato dal segnale di velocità angolare rilevato direttamente dal sensore CRM300.

Design of an indirectly fired gas turbine integrated with an organic rankine cycle unit for combined heat and power production

In the last years, the European countries have paid increasing attention to renewable sources and greenhouse emissions. The Council of the European Union and the European Parliament have established ambitious targets for the next years. In this scenario, biomass plays a prominent role since its life cycle produces a zero net carbon dioxide emission. Additionally, biomass can ensure plant operation continuity thanks to its availability and storage ability. Several conventional systems running on biomass are available at the moment. Most of them are performant either in the large-scale or in the small power range. The absence of an efficient system on the small-middle scale inspired this thesis project. The object is an innovative plant based on a wet indirectly fired gas turbine (WIFGT) integrated with an organic Rankine cycle (ORC) unit for combined heat and power production. The WIFGT is a performant system in the small-middle power range; the ORC cycle is capable of giving value to low-temperature heat sources. Their integration is investigated in this thesis with the aim of carrying out a preliminary design of the components. The targeted plant output is around 200 kW in order not to need a wide cultivation area and to avoid biomass shipping. Existing in-house simulation tools are used: They are adapted to this purpose. Firstly the WIFGT + ORC model is built; Zero-dimensional models of heat exchangers, compressor, turbines, furnace, dryer and pump are used. Different fluids are selected but toluene and benzene turn out to be the most suitable. In the indirectly fired gas turbine a pressure ratio around 4 leads to the highest efficiency. From the thermodynamic analysis the system shows an electric efficiency of 38%, outdoing other conventional plants in the same power range. The combined plant is designed to recover thermal energy: Water is used as coolant in the condenser. It is heated from 60°C up to 90°C, ensuring the possibility of space heating. Mono-dimensional models are used to design the heat exchange equipment. Different types of heat exchangers are chosen depending on the working temperature. A finned-plate heat exchanger is selected for the WIFGT heat transfer equipment due to the high temperature, oxidizing and corrosive environment. A once-through boiler with finned tubes is chosen to vaporize the organic fluid in the ORC. A plate heat exchanger is chosen for the condenser and recuperator. A quasi-monodimensional model for single-stage axial turbine is implemented to design both the WIFGT and the ORC turbine. The system simulation after the components design shows an electric efficiency around 34% with a decrease by 10% compared to the zero-dimensional analysis. The work exhibits the system potentiality compared to the existing plants from both technical and economic point of view.

Development of a fluorescent-based single liposome assay for studying calcium transporter LMCA1

The morphological and functional unit of all the living organisms is the cell. The transmembrane proteins, localized in the plasma membrane of cells, play a key role in the survival of the cells themselves. These proteins perform a variety of different tasks, for example the control of the homeostasis. In order to control the homeostasis, these proteins have to regulate the concentration of chemical elements, like ions, inside and outside the cell. These regulations are fundamental for the survival of the cell and to understand them we need to understand how transmembrane proteins work. Two of the most important categories of transmembrane proteins are ion channels and transporter proteins. The ion channels have been depth studied at the single molecule level since late 1970s with the development of patch-clamp technique. It is not possible to apply this technique to study the transporter proteins so a new technique is under development in order to investigate the behavior of transporter proteins at the single molecule level. This thesis describes the development of a nanoscale single liposome assay for functional studies of transporter proteins based on quantitative fluorescence microscopy in a highly-parallel manner and in real time. The transporter of interest is the prokaryotic transporter Listeria Monocytogenes Ca2+-ATPase1 (LMCA1), a structural analogue of the eukaryotic calcium pumps SERCA and PMCA. This technique will allow the characterization of LMCA1 functionality at the single molecule level. Three systematically characterized fluorescent sensors were tested at the single liposome scale in order to investigate if their properties are suitable to study the function of the transporter of interest. Further studies will be needed in order to characterize the selected calcium sensor and pH sensor both implemented together in single liposomes and in presence of the reconstituted protein LMCA1.