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.

Oficiais da Marinha Mercante: um estudo sobre os fatores contribuintes para a evasão nos anos iniciais da carreira embarcada

A indústria de transporte marítimo brasileira passa por um momento de forte expansão decorrente, entre outros fatores, de políticas governamentais que incentivam a construção, nos estaleiros nacionais, de navios para serem utilizados em apoio às atividades da indústria de óleo e gás. Ao mesmo tempo, para complementar a frota brasileira, as empresas petroleiras demandam a contratação de grande quantidade de navios estrangeiros para apoiar as suas operações. Este quadro de crescimento da frota, observado, particularmente, nos últimos 10 anos, contrasta com a escassez de mão de obra qualificada para tripular as embarcações, de modo especial dos Oficiais da Marinha Mercante (OMM). Acentuando o contraste, o Conselho Nacional de Imigração editou a Resolução Normativa n° 72/2006, determinando às empresas de navegação, que operam barcos de bandeira estrangeira, a contratação de proporções mínimas de tripulantes brasileiros, após 90 dias contínuos de operação no país. Além disso, estudos encomendados pelo Sindicato dos Armadores, SYNDARMA, apontam que a taxa de evasão dos OMM, nos anos iniciais da carreira embarcada, é de cerca de trinta por cento. Assim, o presente estudo, a partir de uma revisão bibliográfica acerca da história da Marinha Mercante brasileira, da cultura brasileira, da motivação, dos conflitos família-trabalho, do trabalho em espaço confinado e da rotatividade, se desenvolveu em uma pesquisa exploratória e de campo, por meio de entrevistas pessoais, analisadas à luz da técnica da análise de conteúdo, com profissionais de reconhecida experiência com o tema, além de OMM, com o objetivo de identificar os fatores contribuintes para a evasão dos OMM nos anos iniciais da carreira embarcada. Como resultado, o estudo mostrou que os agentes motivadores intrínsecos e extrínsecos agem continuamente direcionando o comportamento dos OMM para a permanência ou saída da carreira embarcada. Nessa alternância de forças psicológicas e comportamentais, associadas à motivação, influenciam no processo decisório as alternativas existentes representadas pelas oportunidades de emprego oferecidas aos OMM, os conflitos trabalho-família e a dificuldade de adaptação ao trabalho em ambiente confinado. No caso dos OMM, do gênero feminino, a situação é ainda mais sensível, pois enfrentam dificuldades para conciliar a vida embarcada com o papel de mãe e esposa. Portanto, a motivação para a permanência ou saída da carreira embarcada está fortemente relacionada à busca pela realização das expectativas pessoais e ao desejo de equilibrar vida pessoal com a profissional.

Meta-theories in research: positivism, postmodernism, and critical realism

No scholar or researcher is able to provide robust evidence that counters the scant reflection on metatheory – mostly ontology and epistemology – underlying management studies in general, and industrial marketing and purchasing research in particular. This paper is a contribution to the indispensable discussion of metatheoretical alternatives in research, and most importantly, the strengths and shortcomings thereof, and respective implications on research questions, objectives, and findings.

Ventilatory compensation of the alkaline tide during digestion in the snake Boa constrictor

The increased metabolic rate during digestion is associated with changes in arterial acid-base parameters that are caused by gastric acid secretion (the 'alkaline tide'). Net transfer of HCl to the stomach lumen causes an increase in plasma HCO3- levels, but arterial pH does not change because of a ventilatory compensation that counters the metabolic alkalosis. It seems, therefore, that ventilation is controlled to preserve pH and not P-CO2, during the postprandial period. To investigate this possibility, we determined arterial acid-base parameters and the metabolic response to digestion in the snake Boa constrictor, where gastric acid secretion was inhibited pharmacologically by oral administration of omeprazole. The increase in oxygen consumption of omeprazole-treated snakes after ingestion of 30% of their own body mass was quantitatively similar to the response in untreated snakes, although the peak of the metabolic response occurred later (36 h versus 24 h). Untreated control animals exhibited a large increase in arterial plasma HCO3- concentration of approximately 12 mmol 1(-1), but arterial pH only increased by 0.12 pH units because of a simultaneous increase in arterial P-CO2 by about 10 mmHg. Omeprazole virtually abolished the changes in arterial pH and plasma HCO3- concentration during digestion and there was no increase in arterial P-CO2. The increased arterial P-CO2 during digestion is not caused, therefore, by the increased metabolism during digestion or a lower ventilatory responsiveness to ventilatory stimuli during a presumably relaxed state in digestion. Furthermore, the constant arterial P-CO2, in the absence of an alkaline tide, of omeprazole-treated snakes strongly suggests that pH rather than P-CO2 normally affects chemoreceptor activity and ventilatory drive.

Contadores eletrônicos no laboratório didático: parte II. Medida de intervalos de tempo sucessivos

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

An experimental verification of newton's second law

We describe an experimental procedure to probe the validity of Newton's second law. The experimental arrangement allows us to accelerate a glider on an air track by means of forces that are both steady and known. We also show how to determine acceleration from average speeds calculated for successive time intervals of the motion measured by using several electronic counters connected to a single-crystal oscillator circuit. Within experimental errors, the experiments clearly show the proportionality between acceleration and force for a fixed mass and between acceleration and inverse of mass for a fixed force. © by the Sociedade Brasileira de Física.

Evolução da expressão de CD45+ e do leucograma de cães linfomatosos durante quimioterapia com o protocolo de Madison-Wisconsin

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

Influência dos níveis de ferritina sérica, das mutações no gene da beta globina e dos valores das enzimas de detoxificação Catalase e Glutationa S -Transferase na expressão fenotípica de Beta Talassemia Heterozigota

Pós-graduação em Genética - IBILCE

Avaliação da contagem plaquetária pelo contador automático QBC Vet Autoread comparado com estimativa em esfregaço sanguíneo e contagem em hemocitômetro

The platelet blood count in laboratorial routine provides to the clinician important information about the hemostasis of the patient. There are many techniques described, however the gold standard techniques realized in hemocytometer spent a lot of time, making this technique impracticable in great routines. This research had the intent to evaluate if the automatic veterinary blood counter QBC Vet Autoread (R), whose results get five minutes to be ready, is capable to offer a trustworthy platelet count number. To this end, were evaluated the correlations among three different forms of platelets count in dogs: count in automatic blood counter QBC Vet Autoread (R), estimative in blood smear and the gold standard method by manual count in hemocytometer. The viability and confidence use of automatic blood counters of the medicine veterinary routine. Seventeen dogs were chosen randomly way, in the medical and surgical routine of HOVET-USP. The analysis revel high correlation between the hemocytometer and the estimative in blood smear (r=0,875) and between the hemocytometer and automatic blood count by QBC Vet Autoread (R) (r=0,939). Conclude that the platelet blood cont by QBC Vet Autoread (R), in addition to be fast, it's more truthful when compared with estimative in blood smear, although the latter one also had elevated correlation. However, morphological analysis through the smears cannot be dismissed because none of the other two techniques evaluated have the ability to assess platelet morphological changes.

Aplicações práticas de proteção radiológica nas áreas de medicina nuclear e radiodiagnóstico em instalações hospitalares

After the discovery of ionizing radiation, its applications in various fields of science began to take significant proportions. In the case of medicine, there are the application areas in radiotherapy, diagnostic radiology and nuclear medicine. It was then necessary to create the field of radiological protection to establish the conditions necessary for the safe use of such ionizing radiation. Apply knowledge obtained during the graduation stage and in the practice of radiological protection in the areas of nuclear medicine and diagnostic radiology. In the area of nuclear medicine, tests were made in the Geiger-Muller counters (GM) and the dose calibrator (curiometer), the monitoring tests of radiation, waste management, clean of the Therapeutic room and testing the quality control of gamma-chambers. In the area of radiology, were performed tests of quality control equipment for conventional X-ray equipment and x-ray fluoroscopy, all following the rules of the National Health Surveillance Agency (ANVISA), and reporting of tests. The routine developed in the fields of nuclear medicine in hospitals has proved very useful, since the quality control of GM counters contribute to the values of possible contamination are more reliable. The control of dose calibrator enables the patient not to receive different doses of the recommended amounts, which prevents the repetition of tests and unnecessary exposure to radiation. The management of waste following the rules and laws established and required for its management. Tests for quality control of gamma chambers help to evaluate its medical performance through image. In part of diagnostic radiology, tests for quality control are performed in order to verify that the equipment is acceptable for usage or if repairs are needed. The knowledge acquired at the internship consolidated the learning of graduation course

Measuring Aeolian Saltation: A Comparison of Sensors

SHERMAN, D.J.; LI, B.; FERRELL E.J.; ELLIS, J.T.; COX, W.D.; MAIA, L.P., and SOUSA, P.H.G.O., 2011. Measuring Aeolian Saltation: A Comparison of Sensors. In: Roberts, T.M., Rosati, J.D., and Wang, P. (eds.), Proceedings, Symposium to Honor Dr. Nicholas C. Kraus, Journal of Coastal Research, Special Issue, No. 59, pp. 280-290. West Palm Beach (Florida), ISSN 0749-0208. We report the results of field experiments designed to compare four types of aeolian saltation sensors: the Safire; the Wenglor (R) Particle Counter; the Miniphone; and the Buzzer Disc. Sets of sensors were deployed in tight spatial arrays and sampled at rates as fast as 20 kHz. In two of the three trials, the data from the sensors are compared to data obtained from sand traps. The Miniphone and the Buzzer Disc, based on microphone and piezoelectric technologies, respectively, produced grain impact counts comparable to those derived from the trap data. The Satire and the Wenglor (R) Particle Counter produce count rates that were an order of magnitude too slow. Satires undercount because of their large momentum threshold and because its signal is saturated at relatively slow transport rates. We conclude that the Miniphone and the Buzzer Disc are appropriate for deployment as grain counters because their small size allows them to be installed in closely-spaced sets.

Deviation from quark number scaling of the anisotropy parameter v(2) of pions, kaons, and protons in Au+Au collisions at root s(NN)=200 GeV

Measurements of the anisotropy parameter v(2) of identified hadrons (pions, kaons, and protons) as a function of centrality, transverse momentum p(T), and transverse kinetic energy KET at midrapidity (vertical bar eta vertical bar < 0.35) in Au + Au collisions at root s(N N) = 200 GeV are presented. Pions and protons are identified up to p(T) = 6 GeV/c, and kaons up to p(T) = 4 GeV/c, by combining information from time-of-flight and aerogel Cerenkov detectors in the PHENIX Experiment. The scaling of v(2) with the number of valence quarks (n(q)) has been studied in different centrality bins as a function of transverse momentum and transverse kinetic energy. A deviation from previously observed quark-number scaling is observed at large values of KET/n(q) in noncentral Au + Au collisions (20-60%), but this scaling remains valid in central collisions (0-10%).

Un approccio innovativo alla pianificazione della mobilità ciclabile

L’approccio innovativo di questa tesi alla pianificazione ciclabile consiste nell’integrare le linee guida per la redazione di un biciplan con aspetti, metodologie e strumenti nuovi, per rendere più efficace la programmazione di interventi. I limiti del biciplan risiedono nella fase di pianificazione e di monitoraggio, quindi, nel 1° capitolo, vengono esaminate le differenze esistenti tra la normativa americana (AASHTO) e quella italiana (D.P.R. 557/99). Nel 2° capitolo vengono analizzati gli indicatori usati nella fase di monitoraggio e la loro evoluzione fino alla definizione degli attuali indici per la determinazione del LOS delle infrastrutture ciclabili: BLOS e BCI. L’analisi è integrata con le nuove applicazioni di questi indici e con lo studio del LOS de HCM 2010. BCI e BISI sono stati applicati alla rete di Bologna per risolvere problemi di pianificazione e per capire se esistessero problemi di trasferibilità. Gli indici analizzati prendono in considerazione solo il lato offerta del sistema di trasporto ciclabile; manca un giudizio sui flussi, per verificare l’efficacia delle policy. Perciò il 3° capitolo è dedicato alla metodologia sul monitoraggio dei flussi, mediante l’utilizzo di comuni traffic counter per le rilevazioni dei flussi veicolari. Dal monitoraggio è possibile ricavare informazioni sul numero di passaggi, periodi di punta, esistenza di percorsi preferiti, influenza delle condizioni climatiche, utili ai progettisti; si possono creare serie storiche di dati per controllare l’evoluzione della mobilità ciclabile e determinare l’esistenza di criticità dell’infrastruttura. L’efficacia della pianificazione ciclabile è legata al grado di soddisfazione dell’utente e all’appetibilità delle infrastrutture, perciò il progettista deve conoscere degli elementi che influenzano le scelte del ciclista. Nel 4° capitolo sono analizzate le tecniche e gli studi sulle scelte dell’itinerario dei ciclisti, e lo studio pilota fatto a Bologna per definire le variabili che influenzano le scelte dei ciclisti e il loro peso.

Determination of the gluon polarisation from open charm production at COMPASS

One of the main goals of the COMPASS experiment at CERN is the determination of the gluon polarisation in the nucleon. It is determined from spin asymmetries in the scattering of 160 GeV/c polarised muons on a polarised LiD target. The gluon polarisation is accessed by the selection of photon-gluon fusion (PGF) events. The PGF-process can be tagged through hadrons with high transverse momenta or through charmed hadrons in the final state. The advantage of the open charm channel is that, in leading order, the PGF-process is the only process for charm production, thus no physical background contributes to the selected data sample. This thesis presents a measurement of the gluon polarisation from the COMPASS data taken in the years 2002-2004. In the analysis, charm production is tagged through a reconstructed D0-meson decaying in $D^{0}-> K^{-}pi^{+}$ (and charge conjugates). The reconstruction is done on a combinatorial basis. The background of wrong track pairs is reduced using kinematic cuts to the reconstructed D0-candidate and the information on particle identification from the Ring Imaging Cerenkov counter. In addition, the event sample is separated into D0-candidates, where a soft pion from the decay of the D*-meson to a D0-meson, is found, and the D0-candidates without this tag. Due to the small mass difference between D*-meson and D0-meson the signal purity of the D*-tagged sample is about 7 times higher than in the untagged sample. The gluon polarisation is measured from the event asymmetries for the for the different spin configurations of the COMPASS target. To improve the statistical precision of the final results, the events in the final sample are weighted. This method results in an average value of the gluon polarisation in the x-range covered by the data. For the COMPASS data from 2002-2004, the resulting value of the gluon polarisation is $=-0.47+-0.44 (stat)+-0.15(syst.)$. The result is statistically compatible with the existing measurements of $$ in the high-pT channel. Compared to these, the open charm measurement has the advantage of a considerably smaller model dependence.

Experimental investigation of the reactions 25 Mg(alpha,n)28 Si, 26 Mg(alpha,n)29 Si, 18 O(alpha,n)21 Ne and their impact on stellar nucleosynthesis

In der vorliegenden Dissertation werden die Kernreaktionen 25Mg(alpha,n)28Si, 26Mg(alpha,n)29Si und 18O(alpha,n)21Ne im astrophysikalisch interessanten Energiebereich von E alpha = 1000 keV bis E alpha = 2450 keV untersucht.rnrnDie Experimente wurden am Nuclear Structure Laboratory der University of Notre Dame (USA) mit dem vor Ort befindlichen Van-de-Graaff Beschleuniger KN durchgeführt. Hierbei wurden Festkörpertargets mit evaporiertem Magnesium oder anodisiertem Sauerstoff mit alpha-Teilchen beschossen und die freigesetzten Neutronen untersucht. Zum Nachweis der freigesetzten Neutronen wurde mit Hilfe von Computersimulationen ein Neutrondetektor basierend auf rn3He-Zählrohren konstruiert. Weiterhin wurden aufgrund des verstärkten Auftretens von Hintergrundreaktionen verschiedene Methoden zur Datenanalyse angewendet.rnrnAbschliessend wird mit Hilfe von Netzwerkrechnungen der Einfluss der Reaktionen 25Mg(alpha,n)28Si, 26Mg(alpha,n)29Si und 18O(alpha,n)21Ne auf die stellare Nukleosynthese untersucht.rn