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.

A New Approach for Real Time Fault Diagnosis in Induction Motors Based on Vibration Measurement

Condition monitoring is used to increase machinery availability and machinery performance, reducing consequential damage, increasing machine life, reducing spare parts inventories, and reducing breakdown maintenance. An efficient real time vibration measurement and analysis instruments is capable of providing warning and predicting faults at early stages. In this paper, a new methodology for the implementation of vibration measurement and analysis instruments in real time based on circuit architecture mapped from a MATLAB/Simulink model is presented. In this study, signal processing applications such as FIR filters and fast Fourier transform are treated as systems, which are implemented in hardware using a system generator toolbox, which translates a Simulink model in a hardware description language - HDL for FPGA implementations.

A Novel Diagnostic Target in the Hepatitis C Virus Genome

BackgroundDetection and quantification of hepatitis C virus (HCV) RNA is integral to diagnostic and therapeutic regimens. All molecular assays target the viral 5'-noncoding region (59-NCR), and all show genotype-dependent variation of sensitivities and viral load results. Non-western HCV genotypes have been under-represented in evaluation studies. An alternative diagnostic target region within the HCV genome could facilitate a new generation of assays.Methods and FindingsIn this study we determined by de novo sequencing that the 3'-X-tail element, characterized significantly later than the rest of the genome, is highly conserved across genotypes. To prove its clinical utility as a molecular diagnostic target, a prototype qualitative and quantitative test was developed and evaluated multicentrically on a large and complete panel of 725 clinical plasma samples, covering HCV genotypes 1-6, from four continents (Germany, UK, Brazil, South Africa, Singapore). To our knowledge, this is the most diversified and comprehensive panel of clinical and genotype specimens used in HCV nucleic acid testing (NAT) validation to date. The lower limit of detection (LOD) was 18.4 IU/ml (95% confidence interval, 15.3-24.1 IU/ml), suggesting applicability in donor blood screening. The upper LOD exceeded 10(-9) IU/ml, facilitating viral load monitoring within a wide dynamic range. In 598 genotyped samples, quantified by Bayer VERSANT 3.0 branched DNA (bDNA), X-tail-based viral loads were highly concordant with bDNA for all genotypes. Correlation coefficients between bDNA and X-tail NAT, for genotypes 1-6, were: 0.92, 0.85, 0.95, 0.91, 0.95, and 0.96, respectively; X-tail-based viral loads deviated by more than 0.5 log10 from 5'-NCR-based viral loads in only 12% of samples (maximum deviation, 0.85 log10). The successful introduction of X-tail NAT in a Brazilian laboratory confirmed the practical stability and robustness of the X-tail-based protocol. The assay was implemented at low reaction costs (US$8.70 per sample), short turnover times (2.5 h for up to 96 samples), and without technical difficulties.ConclusionThis study indicates a way to fundamentally improve HCV viral load monitoring and infection screening. Our prototype assay can serve as a template for a new generation of viral load assays. Additionally, to our knowledge this study provides the first open protocol to permit industry-grade HCV detection and quantification in resource-limited settings.

A constructive heuristic algorithm to Short Term Transmission Network Expansion Planning

In this paper a method for solving the Short Term Transmission Network Expansion Planning (STTNEP) problem is presented. The STTNEP is a very complex mixed integer nonlinear programming problem that presents a combinatorial explosion in the search space. In this work we present a constructive heuristic algorithm to find a solution of the STTNEP of excellent quality. In each step of the algorithm a sensitivity index is used to add a circuit (transmission line or transformer) to the system. This sensitivity index is obtained solving the STTNEP problem considering as a continuous variable the number of circuits to be added (relaxed problem). The relaxed problem is a large and complex nonlinear programming and was solved through an interior points method that uses a combination of the multiple predictor corrector and multiple centrality corrections methods, both belonging to the family of higher order interior points method (HOIPM). Tests were carried out using a modified Carver system and the results presented show the good performance of both the constructive heuristic algorithm to solve the STTNEP problem and the HOIPM used in each step.

Heuristic algorithm to solve the short term transmission network expansion planning

In this paper, a method for solving the short term transmission network expansion planning problem is presented. This is a very complex mixed integer nonlinear programming problem that presents a combinatorial explosion in the search space. In order to And a solution of excellent quality for this problem, a constructive heuristic algorithm is presented in this paper. In each step of the algorithm, a sensitivity index is used to add a circuit (transmission line or transformer) or a capacitor bank (fixed or variable) to the system. This sensitivity index is obtained solving the problem considering the numbers of circuits and capacitors banks to be added (relaxed problem), as continuous variables. The relaxed problem is a large and complex nonlinear programming and was solved through a higher order interior point method. The paper shows results of several tests that were performed using three well-known electric energy systems in order to show the possibility and the advantages of using the AC model. ©2007 IEEE.

An application of CHA to concurrent short-term transmission expansion & reactive power planning

In this paper a heuristic technique for solving simultaneous short-term transmission network expansion and reactive power planning problem (TEPRPP) via an AC model is presented. A constructive heuristic algorithm (CHA) aimed to obtaining a significant quality solution for such problem is employed. An interior point method (IPM) is applied to solve TEPRPP as a nonlinear programming (NLP) during the solution steps of the algorithm. For each proposed network topology, an indicator is deployed to identify the weak buses for reactive power sources placement. The objective function of NLP includes the costs of new transmission lines, real power losses as well as reactive power sources. By allocating reactive power sources at load buses, the circuit capacity may increase while the cost of new lines can be decreased. The proposed methodology is tested on Garver's system and the obtained results shows its capability and the viability of using AC model for solving such non-convex optimization problem. © 2011 IEEE.

Short-term planning of electric power distribution networks using multiobjective genetic algorithim

The high active and reactive power level demanded by the distribution systems, the growth of consuming centers, and the long lines of the distribution systems result in voltage variations in the busses compromising the quality of energy supplied. To ensure the energy quality supplied in the distribution system short-term planning, some devices and actions are used to implement an effective control of voltage, reactive power, and power factor of the network. Among these devices and actions are the voltage regulators (VRs) and capacitor banks (CBs), as well as exchanging the conductors sizes of distribution lines. This paper presents a methodology based on the Non-Dominated Sorting Genetic Algorithm (NSGA-II) for optimized allocation of VRs, CBs, and exchange of conductors in radial distribution systems. The Multiobjective Genetic Algorithm (MGA) is aided by an inference process developed using fuzzy logic, which applies specialized knowledge to achieve the reduction of the search space for the allocation of CBs and VRs.

A fast cholinergic modulation of the primary acoustic startle circuit in rats

Cochlear root neurons (CRNs) are the first brainstem neurons which initiate and participate in the full expression of the acoustic startle reflex. Although it has been suggested that a cholinergic pathway from the ventral nucleus of the trapezoid body (VNTB) conveys auditory prepulses to the CRNs, the neuronal origin of the VNTB-CRNs projection and the role it may play in the cochlear root nucleus remain uncertain. To determine the VNTB neuronal type which projects to CRNs, we performed tract-tracing experiments combined with mechanical lesions, and morphometric analyses. Our results indicate that a subpopulation of non-olivocochlear neurons projects directly and bilaterally to CRNs via the trapezoid body. We also performed a gene expression analysis of muscarinic and nicotinic receptors which indicates that CRNs contain a cholinergic receptor profile sufficient to mediate the modulation of CRN responses. Consequently, we investigated the effects of auditory prepulses on the neuronal activity of CRNs using extracellular recordings in vivo. Our results show that CRN responses are strongly inhibited by auditory prepulses. Unlike other neurons of the cochlear nucleus, the CRNs exhibited inhibition that depended on parameters of the auditory prepulse such as intensity and interstimulus interval, showing their strongest inhibition at short interstimulus intervals. In sum, our study supports the idea that CRNs are involved in the auditory prepulse inhibition of the acoustic startle reflex, and confirms the existence of multiple cholinergic pathways that modulate the primary acoustic startle circuit. © 2013 Springer-Verlag Berlin Heidelberg.

Origin and function of short-latency inputs to the neural substrates underlying the acoustic startle reflex

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

Anteprojeto de um sistema digital de proteção e controle aplicado em uma subestação elétrica industrial

With the growth of the demand on electric energy in the last decades, the urban distribution and transmission systems have experienced a bigger necessity to improve on the substations, the automation procedures and techniques on the operation maneuvers of such systems, in a sense that better attends the quality levels, availability, continuity and operational reliability. In this way, the objective of the present paper is to perform a study of protection and control on an electrical industrial system involving the procedures of digitizing and maneuvers automatism utilizing operational techniques and other pertinent information used in a typical high-voltage Industrial Electrical System. Analysis were made on short-circuits to specify the main components of the 138 [kV] substation, in addition, there were used digital MiCOM relays to make the protection of the present elements. With that, a program was developed to allow the user to monitor the condition of circuit-breakers through a supervision screen being able to simulate some kinds of faults, as well as observing the characteristics of each device. This way, the importance of having a fast and reliable system that ensures the equipment’s protection and the industrial process continuity due to faults on the electrical system is noticeable. It’s important to highlight that all this digitizing was mainly favored by the development of digital technology on the last years, mainly on microelectronics, also with the appearance of supervision gadgets allowing the development of complex systems in supervision and electric energy control

Diagnostic of Silicon Carbide Surge Arresters using Leakage Current Measurement

Nowadays, the zinc oxide surge arresters (ZnO) are widely used in power systems, however, a large number of silicon carbide surge arresters (SiC) are still in service in the utilities. On the other hand, it is not possible to replace all SiC surge arresters in a short time period, being necessary to review the maintenance program taking into account the surge arresters that are more degraded. In this context, a research project was established between the University of Sao Paulo and the electrical utility CTEEP, aiming the investigation of its SiC surge arresters. This work shows that the leakage current measurement, a diagnostic method for the ZnO surge arresters, can provide useful information related to the condition of the SiC surge arresters. Analysis of the amplitude and distortion of the leakage current, also considering thermovision measurements, resulted in better evaluation of the SiC surge arresters.

Behavioural changes and occlusal splints are effective in the management of masticatory myofascial pain: a short-term evaluation

The aim of this research was to test the hypothesis that treatment with intra-oral appliances with different occlusal designs was beneficial in the management of pain of masticatory muscles compared with a control group. A total of 51 patients were analysed according to the Research Diagnostic Criteria for Temporomandibular Disorders (RDC/TMD) to obtain the diagnosis of masticatory myofascial pain (MMP). The sample was then randomly divided into three groups: group I (n = 21) wore a full coverage acrylic stabilisation occlusal splint; group II (n = 16) wore an anterior device nociceptive trigeminal inhibitory (NTI) system; and group III (n = 14) only received counselling for behavioural changes and self-care (the control group). The first two groups also received counselling. Follow-ups were performed after 2 and 6 weeks and 3 months. In these sessions, patients were evaluated by means of a visual analogue scale (VAS) and pressure pain threshold (PPT) of the masticatory muscles. Possible adverse effects were also recorded, such as discomfort while using the appliance and occlusal changes. The results were analysed with KruskalWallis, anova, Tukeys and Friedman tests, with a significance level of 5%. Group I showed improvement in the reported pain at the first follow-up (2 weeks), whereas for groups II and III, this progress was detected only after 6 weeks and 3 months, respectively. The PPT values did not change significantly. It was concluded that behavioural changes are effective in the management of pain in MMP patients. However, the simultaneous use of occlusal devices appears to produce an earlier improvement.

Modeling and simulation of a synthetic genetic circuit that implements a multicelled behavior in a growing microcolony of E. coli

Synthetic Biology is a relatively new discipline, born at the beginning of the New Millennium, that brings the typical engineering approach (abstraction, modularity and standardization) to biotechnology. These principles aim to tame the extreme complexity of the various components and aid the construction of artificial biological systems with specific functions, usually by means of synthetic genetic circuits implemented in bacteria or simple eukaryotes like yeast. The cell becomes a programmable machine and its low-level programming language is made of strings of DNA. This work was performed in collaboration with researchers of the Department of Electrical Engineering of the University of Washington in Seattle and also with a student of the Corso di Laurea Magistrale in Ingegneria Biomedica at the University of Bologna: Marilisa Cortesi. During the collaboration I contributed to a Synthetic Biology project already started in the Klavins Laboratory. In particular, I modeled and subsequently simulated a synthetic genetic circuit that was ideated for the implementation of a multicelled behavior in a growing bacterial microcolony. In the first chapter the foundations of molecular biology are introduced: structure of the nucleic acids, transcription, translation and methods to regulate gene expression. An introduction to Synthetic Biology completes the section. In the second chapter is described the synthetic genetic circuit that was conceived to make spontaneously emerge, from an isogenic microcolony of bacteria, two different groups of cells, termed leaders and followers. The circuit exploits the intrinsic stochasticity of gene expression and intercellular communication via small molecules to break the symmetry in the phenotype of the microcolony. The four modules of the circuit (coin flipper, sender, receiver and follower) and their interactions are then illustrated. In the third chapter is derived the mathematical representation of the various components of the circuit and the several simplifying assumptions are made explicit. Transcription and translation are modeled as a single step and gene expression is function of the intracellular concentration of the various transcription factors that act on the different promoters of the circuit. A list of the various parameters and a justification for their value closes the chapter. In the fourth chapter are described the main characteristics of the gro simulation environment, developed by the Self Organizing Systems Laboratory of the University of Washington. Then, a sensitivity analysis performed to pinpoint the desirable characteristics of the various genetic components is detailed. The sensitivity analysis makes use of a cost function that is based on the fraction of cells in each one of the different possible states at the end of the simulation and the wanted outcome. Thanks to a particular kind of scatter plot, the parameters are ranked. Starting from an initial condition in which all the parameters assume their nominal value, the ranking suggest which parameter to tune in order to reach the goal. Obtaining a microcolony in which almost all the cells are in the follower state and only a few in the leader state seems to be the most difficult task. A small number of leader cells struggle to produce enough signal to turn the rest of the microcolony in the follower state. It is possible to obtain a microcolony in which the majority of cells are followers by increasing as much as possible the production of signal. Reaching the goal of a microcolony that is split in half between leaders and followers is comparatively easy. The best strategy seems to be increasing slightly the production of the enzyme. To end up with a majority of leaders, instead, it is advisable to increase the basal expression of the coin flipper module. At the end of the chapter, a possible future application of the leader election circuit, the spontaneous formation of spatial patterns in a microcolony, is modeled with the finite state machine formalism. The gro simulations provide insights into the genetic components that are needed to implement the behavior. In particular, since both the examples of pattern formation rely on a local version of Leader Election, a short-range communication system is essential. Moreover, new synthetic components that allow to reliably downregulate the growth rate in specific cells without side effects need to be developed. In the appendix are listed the gro code utilized to simulate the model of the circuit, a script in the Python programming language that was used to split the simulations on a Linux cluster and the Matlab code developed to analyze the data.

Feasibility and diagnostic effectiveness of new capsule endoscopy techniques

Since its approval by FDA in 2001, capsule endoscopy revolutionized the study of small bowel. One of the main limitations of its diffusion has been the high cost. More recently, a new videocapsule system (OMOM CE) has been developed in China and obtained the CE mark. Its cost is approximately half that of other capsule systems. However, there are few studies regarding the clinical experience with this new videocapsule system and none of them has been performed in the western world. Among the limitations of capsule endoscopy, there is also one linked to the diagnostic yield. The rapid transit of the device in the proximal segments implies a high risk of false negatives; an indirect confirmation of this limit is offered by the poor ability to identify the papilla of Vater. In addition, recent studies show that in patients with obscure gastrointestinal bleeding, the negative outcome of capsule endoscopy is correlated to a significant risk of recurrence of anemia in the short term, as well as the presence of small bowel lesions documented by a second capsule endoscopy. It was recently approved the use of a new device called "CapsoCam" (CapsoVision, Inc. Saratoga) characterized by four side cameras that offer a panoramic view of 360 degrees, instead of the front to 160°. Two recent pilot studies showed comparable safety profiles and diagnostic yield with the more standardized capsule. Namely, side vision has made possible a clear visualization of the papilla in 70% of cases. The aim of our study is to evaluate the feasibility and diagnostic yield of these two new devices, which first may allow a reduction in costs. Moreover, their complementary use could lead to a recovery diagnostic in patients with false negative results in an initial investigation.

Very short telomere length by flow fluorescence in situ hybridization identifies patients with dyskeratosis congenita

Dyskeratosis congenita (DC) is an inherited bone marrow failure syndrome in which the known susceptibility genes (DKC1, TERC, and TERT) belong to the telomere maintenance pathway; patients with DC have very short telomeres. We used multicolor flow fluorescence in situ hybridization analysis of median telomere length in total blood leukocytes, granulocytes, lymphocytes, and several lymphocyte subsets to confirm the diagnosis of DC, distinguish patients with DC from unaffected family members, identify clinically silent DC carriers, and discriminate between patients with DC and those with other bone marrow failure disorders. We defined "very short" telomeres as below the first percentile measured among 400 healthy control subjects over the entire age range. Diagnostic sensitivity and specificity of very short telomeres for DC were more than 90% for total lymphocytes, CD45RA+/CD20- naive T cells, and CD20+ B cells. Granulocyte and total leukocyte assays were not specific; CD45RA- memory T cells and CD57+ NK/NKT were not sensitive. We observed very short telomeres in a clinically normal family member who subsequently developed DC. We propose adding leukocyte subset flow fluorescence in situ hybridization telomere length measurement to the evaluation of patients and families suspected to have DC, because the correct diagnosis will substantially affect patient management.