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.

Funding social sector activity in Brazil: a case study analysis of agency risk incidence and mitigation

Empresas e organizações sociais têm um papel cada vez mais importante no mercado brasileiro. Essas organizações - sejam elas com ou sem fins lucrativos –têm como objetivocausar um profundo e positivo impacto social.Ambas enfrentamtambém o mesmo desafio: financiar as suas operações. Recentemente, dois modelos inovadores de financiamento, o fundo de venture capitalVox Capital e o fundo de empréstimo social SITAWI, entraram no mercado brasileiro para solucionar esse desafio. Este estudo analisa ambos os fundos,associando o problema do financiamento de empresas e organizações sociais às teorias tradicionais de negócio. Mais especificamente, por meio de um estudo de caso,é avaliado se o risco de agência (agency risk) explica as práticas e o designcontratual utilizados pelos fundos. A pesquisa é baseada num estudo de Alemany e Scarlata (2010) sobre a estruturação dos negócios de fundos filantrópicos de capital empreendedor (PhVC, na sigla em inglês) na América do Norte e na Europa. Uma definição chave desse estudo é que organizações sem fins lucrativos, ao contrário daquelas com fins lucrativos, estão sujeitas a uma restrição de distribuição de lucros. Embora Alemany e Scarlata (2010) tivessem descobertoque parceria (stewardship), mais do que o problema de agência (agency problem), explica a estrutura dos negócios dos fundos PhVC, as implicações do presente estudo de caso para o Brasil são diferentes. Os resultados sugerem que o problema de agência,mais do que a parceria,descreve adequadamente os contratos analisados de financiamento. Detectou-seque cláusulas contratuais não foram apenas usadas para mitigar o risco de agênciaresultanteda ausência de uma restrição de distribuição de lucros, mas também para reger as estruturas cooperativas com organizações sem fins lucrativos. No caso de SITAWI, a restrição dos destinatários de fundos de distribuir lucros provou-se uma ferramenta efetiva para alinhar os interesses entre os financiadores e os destinatários dos fundos. Apesar daimplicação da presença de parceria, os contratos do fundo social contiveram cláusulas geralmente usadas para reduzir o risco de agência. No caso de Vox Capital, os destinatários dos fundos eram empresas com fins lucrativos, portanto não sujeitas à restrição de distribuição de lucros. O modelo de negócio de Vox Capital é organizado para impedir qualquer incidência potencial do problema de agência. Ambos os fundos, independentemente da estrutura jurídica dos beneficiários destes fundos, evidenciaram o intuito de garantir a aplicação de práticas de negócio utilizadas pelas empresas tradicionais do setor corporativo em vez daquelas utilizadas no setor social.

On determining spectral parameters, tracking jitter, and GPS positioning improvement by scintillation mitigation

A method of determining spectral parameters p (slope of the phase PSD) and T (phase PSD at 1 Hz) and hence tracking error variance in a GPS receiver PLL from just amplitude and phase scintillation indices and an estimated value of the Fresnel frequency has been previously presented. Here this method is validated using 50 Hz GPS phase and amplitude data from high latitude receivers in northern Norway and Svalbard. This has been done both using (1) a Fresnel frequency estimated using the amplitude PSD (in order to check the accuracy of the method) and (2) a constant assumed value of Fresnel frequency for the data set, convenient for the situation when contemporaneous phase PSDs are not available. Both of the spectral parameters (p, T) calculated using this method are in quite good agreement with those obtained by direct measurements of the phase spectrum as are tracking jitter variances determined for GPS receiver PLLs using these values. For the Svalbard data set, a significant difference in the scintillation level observed on the paths from different satellites received simultaneously was noted. Then, it is shown that the accuracy of relative GPS positioning can be improved by use of the tracking jitter variance in weighting the measurements from each satellite used in the positioning estimation. This has significant advantages for scintillation mitigation, particularly since the method can be accomplished utilizing only time domain measurements thus obviating the need for the phase PSDs in order to extract the spectral parameters required for tracking jitter determination.

Solid-liquid transition in Nb powder determined by third harmonic susceptibility

Measurements of the third harmonic of the AC-susceptibility were employed to determine the boundaries of the linear regime of the magnetic response of Nb powder. Non-linear contributions to the magnetic response reveal the occurrence of a structured phase, disappearing as the vortex lattice melts to the liquid state. A systematic study of the third harmonic was conducted to determine how its onset temperature depends on experimental parameters, such as the frequency and amplitude of the excitation field. The melting line (ML) has been extracted from the onset temperature measured at low-frequencies and low-excitation fields in the presence of DC magnetic fields. The study indicates that the ML can be described by a 3D vortex-glass model, except at lower fields, where the system experiences a depinning crossover, and the best description of the experimental data is provided by a 3D Bose-glass model. (c) 2008 Elsevier B. V. All rights reserved.

On anomalous diffusion and the fractional generalized Langevin equation for a harmonic oscillator

The fractional generalized Langevin equation (FGLE) is proposed to discuss the anomalous diffusive behavior of a harmonic oscillator driven by a two-parameter Mittag-Leffler noise. The solution of this FGLE is discussed by means of the Laplace transform methodology and the kernels are presented in terms of the three-parameter Mittag-Leffler functions. Recent results associated with a generalized Langevin equation are recovered.

Neural Network-Based Approach for Identification of the Harmonic Content of a Nonlinear Load in a Single-Phase System

In this paper an alternative method based on artificial neural networks is presented to determine harmonic components in the load current of a single-phase electric power system with nonlinear loads, whose parameters can vary so much in reason of the loads characteristic behaviors as because of the human intervention. The first six components in the load current are determined using the information contained in the time-varying waveforms. The effectiveness of this method is verified by using it in a single-phase active power filter with selective compensation of the current drained by an AC controller. The proposed method is compared with the fast Fourier transform.

Relating pseudospin and spin symmetries through charge conjugation and chiral transformations: the case of the relativistic harmonic oscillator

We solve the generalized relativistic harmonic oscillator in 1+1 dimensions, i.e., including a linear pseudoscalar potential and quadratic scalar and vector potentials which have equal or opposite signs. We consider positive and negative quadratic potentials and discuss in detail their bound-state solutions for fermions and antifermions. The main features of these bound states are the same as the ones of the generalized three-dimensional relativistic harmonic oscillator bound states. The solutions found for zero pseudoscalar potential are related to the spin and pseudospin symmetry of the Dirac equation in 3+1 dimensions. We show how the charge conjugation and gamma(5) chiral transformations relate the several spectra obtained and find that for massless particles the spin and pseudospin symmetry-related problems have the same spectrum but different spinor solutions. Finally, we establish a relation of the solutions found with single-particle states of nuclei described by relativistic mean-field theories with scalar, vector, and isoscalar tensor interactions and discuss the conditions in which one may have both nucleon and antinucleon bound states.

Mitigation of symmetry condition in positive realness for adaptive control

Feasibility of nonlinear and adaptive control methodologies in multivariable linear time-invariant systems with state-space realization (A, B, C) is apparently limited by the standard strictly positive realness conditions that imply that the product CB must be positive definite symmetric. This paper expands the applicability of the strictly positive realness conditions used for the proofs of stability of adaptive control or control with uncertainty by showing that the not necessarily symmetric CB is only required to have a diagonal Jordan form and positive eigenvalues. The paper also shows that under the new condition any minimum-phase systems can be made strictly positive real via constant output feedback. The paper illustrates the usefulness of these extended properties with an adaptive control example. (C) 2006 Elsevier Ltd. All rights reserved.

Experimental analysis of harmonic distortions in the excitation currents of double-excited three-phase transformers

This paper shows the results of experimental investigations of three-phase banks composed of single-phase transformers and three-phase three-limb core transformers under simultaneous alternating and direct current excitations, for several winding connections. Harmonic analysis of excitation currents for different de saturation levels is performed.

The critical number of atoms in an attractive Bose-Einstein condensate on optical plus harmonic traps

The stability of an attractive Bose-Einstein condensate on a joint one-dimensional optical lattice and an axially symmetrical harmonic trap is studied using the numerical solution of the time-dependent mean-field Gross-Pitaevskii equation and the critical number of atoms for a stable condensate is calculated. We also calculate this critical number of atoms in a double-well potential which is always greater than that in an axially symmetrical harmonic trap. The critical number of atoms in an optical trap can be made smaller or larger than the corresponding number in the absence of the optical trap by moving a node of the optical lattice potential in the axial direction of the harmonic trap. This variation of the critical number of atoms can be observed experimentally and compared with the present calculations.

Irreducibility and compositeness in q-deformed harmonic oscillator algebras

A study of the reducibility of the Fock space representation of the q-deformed harmonic oscillator algebra for real and root of unity values of the deformation parameter is carried out by using the properties of the Gauss polynomials. When the deformation parameter is a root of unity, an interesting result comes out in the form of a reducibility scheme for the space representation which is based on the classification of the primitive or nonprimitive character of the deformation parameter. An application is carried out for a q-deformed harmonic oscillator Hamiltonian, to which the reducibility scheme is explicitly applied.

The generator coordinate method for a reaction coordinate coupled to a harmonic oscillator bath

This paper investigates the usefulness of the generator coordinate method (GCM) for treating the dynamics of a reaction coordinate coupled to a bath of harmonic degrees of freedom. Models for the unimolecular dissociation and isomerization process (proton transfer) are analyzed. The GCM results, presented in analytical form, provide a very good description and are compared to other methods Like the basis set method and multiconfiguration time dependent self-consistent field. (C) 1998 American Institute of Physics. [S0021-9606(98)50934-8].

Expansion of a Bose-Einstein condensate formed on a joint harmonic and one-dimensional optical-lattice potential

We study the expansion of a Bose-Einstein condensate trapped in a combined optical-lattice and axially-symmetric harmonic potential using the numerical solution of the mean-field Gross-Pitaevskii equation. First, we consider the expansion of such a condensate under the action of the optical-lattice potential alone. In this case the result of numerical simulation for the axial and radial sizes during expansion is in agreement with two experiments by Morsch et al (2002 Phys. Rev. A 66 021601(R) and 2003 Laser Phys. 13 594). Finally, we consider the expansion under the action of the harmonic potential alone. In this case the oscillation, and the disappearance and revival of the resultant interference pattern is in agreement with the experiment by Muller et al (2003 J. Opt. B: Quantum Semiclass. Opt. 5 S38).

A realization of the q-deformed harmonic oscillator: rogers-Szegö and Stieltjes-Wigert polynomials

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

Hq(4) symmetry: the linear q-harmonic oscillator based on generalized irreps of the q-deformed Heisenberg algebra

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