A comparative analysis of fault injection methods via enhanced on-chip debug infrastructures

On-chip debug (OCD) features are frequently available in modern microprocessors. Their contribution to shorten the time-to-market justifies the industry investment in this area, where a number of competing or complementary proposals are available or under development, e.g. NEXUS, CJTAG, IJTAG. The controllability and observability features provided by OCD infrastructures provide a valuable toolbox that can be used well beyond the debugging arena, improving the return on investment rate by diluting its cost across a wider spectrum of application areas. This paper discusses the use of OCD features for validating fault tolerant architectures, and in particular the efficiency of various fault injection methods provided by enhanced OCD infrastructures. The reference data for our comparative study was captured on a workbench comprising the 32-bit Freescale MPC-565 microprocessor, an iSYSTEM IC3000 debugger (iTracePro version) and the Winidea 2005 debugging package. All enhanced OCD infrastructures were implemented in VHDL and the results were obtained by simulation within the same fault injection environment. The focus of this paper is on the comparative analysis of the experimental results obtained for various OCD configurations and debugging scenarios.

Particle swarm optimization with fractional-order velocity

This paper proposes a novel method for controlling the convergence rate of a particle swarm optimization algorithm using fractional calculus (FC) concepts. The optimization is tested for several well-known functions and the relationship between the fractional order velocity and the convergence of the algorithm is observed. The FC demonstrates a potential for interpreting evolution of the algorithm and to control its convergence.

Methods and challenges for the health impact assessment of vaccination programs in Latin America

ABSTRACT OBJECTIVE To describe methods and challenges faced in the health impact assessment of vaccination programs, focusing on the pneumococcal conjugate and rotavirus vaccines in Latin America and the Caribbean. METHODS For this narrative review, we searched for the terms "rotavirus", "pneumococcal", "conjugate vaccine", "vaccination", "program", and "impact" in the databases Medline and LILACS. The search was extended to the grey literature in Google Scholar. No limits were defined for publication year. Original articles on the health impact assessment of pneumococcal and rotavirus vaccination programs in Latin America and the Caribbean in English, Spanish or Portuguese were included. RESULTS We identified 207 articles. After removing duplicates and assessing eligibility, we reviewed 33 studies, 25 focusing on rotavirus and eight on pneumococcal vaccination programs. The most frequent studies were ecological, with time series analysis or comparing pre- and post-vaccination periods. The main data sources were: health information systems; population-, sentinel- or laboratory-based surveillance systems; statistics reports; and medical records from one or few health care services. Few studies used primary data. Hospitalization and death were the main outcomes assessed. CONCLUSIONS Over the last years, a significant number of health impact assessments of pneumococcal and rotavirus vaccination programs have been conducted in Latin America and the Caribbean. These studies were carried out few years after the programs were implemented, meet the basic methodological requirements and suggest positive health impact. Future assessments should consider methodological issues and challenges arisen in these first studies conducted in the region.

Particle swarm design of digital circuits

Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) agents interacting locally with their environment cause coherent functional global patterns to emerge. Particle swarm optimization (PSO) is a form of SI, and a population-based search algorithm that is initialized with a population of random solutions, called particles. These particles are flying through hyperspace and have two essential reasoning capabilities: their memory of their own best position and knowledge of the swarm's best position. In a PSO scheme each particle flies through the search space with a velocity that is adjusted dynamically according with its historical behavior. Therefore, the particles have a tendency to fly towards the best search area along the search process. This work proposes a PSO based algorithm for logic circuit synthesis. The results show the statistical characteristics of this algorithm with respect to number of generations required to achieve the solutions. It is also presented a comparison with other two Evolutionary Algorithms, namely Genetic and Memetic Algorithms.

Derivation methods for hybrid knowledge bases with rules and ontologies

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Part I : Comparing derivatization methods for amino acids – one and two-step procedures using gas chromatography – flame ion detector (GC-FID) Part II: Story of an icon from its execution until its conservation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Conservação e Restauro

Auditoria à qualidade do ar interior de um edifício de serviços - RSECE QAI

O objectivo principal deste trabalho é a realização de uma auditoria, à qualidade do ar interior (QAI), a um edifício de serviços – COCIGA, SA, tendo como base o Regulamento dos Sistemas Energéticos de Climatização dos Edifícios (RSECE). A auditoria QAI implica a medição de vários parâmetros físicos, químicos, microbiológicos e também a inspecção aos componentes do sistema de climatização com a finalidade de averiguar o seu estado de limpeza e manutenção. Assim, foram seleccionados 3 espaços, para a realização de amostragens designados por Comercial - Produtos, AVAC e Mezaninne das oficinas, nos quais foi efectuada a medição de diversos parâmetros, de acordo com as imposições do RSECE, utilizando medidores portáteis ou recorrendo a métodos analíticos. Relativamente aos parâmetros físicos, registaram-se valores de temperatura, para os três espaços estudados, entre os 21 e os 24 ºC e valores médios de humidade relativa de cerca de 50 %. Outro parâmetro medido, e de grande importância para garantir o conforto dos ocupantes, foi a velocidade do ar nos postos de trabalho. De acordo com o RSECE este valor não deve ser superior a 0,2 m/s, o que se verificou em todos os pontos medidos. O último parâmetro físico medido foi a concentração de partículas (PM10) tendo-se obtido valores de cerca de 23 μg/m3ar, valor bastante inferior ao máximo permitido pelo RSECE (150 μg/m3ar). Também no que diz respeito aos parâmetros químicos, ou seja, CO2, CO, formaldeído e ozono, não se verificaram valores superiores aos regulamentares. No caso do CO2, o valor máximo encontrado, nestes três espaços, foi de 745 ppm na Mezaninne das Oficinas e para o CO, na zona AVAC com uma concentração de 0,73 ppm. A medição do formaldeído registou valores perto dos 45 μg/m3ar e o ozono apenas foi detectado, em concentração muito reduzida, na zona Comercial – Produtos. Por fim, as concentrações de bactérias e fungos, de acordo com o RSECE, não devem ultrapassar as 500 UFC/m3ar (parâmetros microbiológicos). Em qualquer dos espaços, os valores medidos foram inferiores ao máximo legal, não ultrapassando as 50 UFC/m3ar. Da avaliação do projecto AVAC, e através da medição dos caudais de insuflação/ extracção em cada zona, concluiu-se que os seus valores não estão de acordo com os valores do projecto inicial que poderá ser imputada a uma insuficiência no funcionamento do sistema detectada na altura das medições. No que diz respeito ao estado de limpeza do sistema AVAC, apenas foi possível inspeccionar as unidades de tratamento de ar, tendo-se constatado que se encontram em boas condições. Ou seja, do ponto de vista do RSECE, e referindo-nos apenas à vertente da Qualidade do Ar Interior, o edifício em causa, cumpre todos os limites impostos para as concentrações de poluentes mas, apresenta algumas deficiências no que respeita aos caudais de ar novo insuflados em cada espaço.

Applications of Fourier methods to the analysis of some stochastic processes

Dissertação de Doutoramento em Matemática: Processos Estocásticos

Comparative analysis of time-frequency methods estimating the time-varying microstructure of sleep EEG spindles

Proceedings of the Information Technology Applications in Biomedicine, Ioannina - Epirus, Greece, October 26-28, 2006

Epidemiological survey of Trypanosoma cruzi infection in North-Eastern Brazil using different diagnostic methods

A survey of the prevalence of Trypanosoma cruzi infection was carried out in Oitis, a small community in the State of Piaui, Brazil. Two hundred and sixty five individuals were screened by microscopic examination, hémoculture, indirect immunofluorescence (IFA), enzyme-linked immunosorbent assay (ELISA), and competitive enzyme-linked immunosorbent assay (C-ELISA) using the monoclonal antibody TCF87 against to a 25kd T. cruzi antigen. Seropositivity was 14.3% by the IFA test, 14.7% by ELISA, and 13.2% by C-ELISA. The C-ELISA using the TCF87 monoclonal antibody seems to be applicable in serodiagnosis of Chagas' disease.

Beliefs and Conflicts in a Real World Multi-Agent System

In a real world multiagent system, where the agents are faced with partial, incomplete and intrinsically dynamic knowledge, conflicts are inevitable. Frequently, different agents have goals or beliefs that cannot hold simultaneously. Conflict resolution methodologies have to be adopted to overcome such undesirable occurrences. In this paper we investigate the application of distributed belief revision techniques as the support for conflict resolution in the analysis of the validity of the candidate beams to be produced in the CERN particle accelerators. This CERN multiagent system contains a higher hierarchy agent, the Specialist agent, which makes use of meta-knowledge (on how the con- flicting beliefs have been produced by the other agents) in order to detect which beliefs should be abandoned. Upon solving a conflict, the Specialist instructs the involved agents to revise their beliefs accordingly. Conflicts in the problem domain are mapped into conflicting beliefs of the distributed belief revision system, where they can be handled by proven formal methods. This technique builds on well established concepts and combines them in a new way to solve important problems. We find this approach generally applicable in several domains.

Adapted Control Methods for Cerebral Palsy Users of an Intelligent Wheelchair

The development of an intelligent wheelchair (IW) platform that may be easily adapted to any commercial electric powered wheelchair and aid any person with special mobility needs is the main objective of this project. To be able to achieve this main objective, three distinct control methods were implemented in the IW: manual, shared and automatic. Several algorithms were developed for each of these control methods. This paper presents three of the most significant of those algorithms with emphasis on the shared control method. Experiments were performed by users suffering from cerebral palsy, using a realistic simulator, in order to validate the approach. The experiments revealed the importance of using shared (aided) controls for users with severe disabilities. The patients still felt having complete control over the wheelchair movement when using a shared control at a 50% level and thus this control type was very well accepted. Thus it may be used in intelligent wheelchairs since it is able to correct the direction in case of involuntary movements of the user but still gives him a sense of complete control over the IW movement.

Otimização de placas compósitas laminadas utilizando redes neuronais e enxames de partículas

Trabalho Final de mestrado para obtenção do grau de Mestre em engenharia Mecância

Destruction of the tar present in syngas by combustion in porous media

The cleaning of syngas is one of the most important challenges in the development of technologies based on gasification of biomass. Tar is an undesired byproduct because, once condensed, it can cause fouling and plugging and damage the downstream equipment. Thermochemical methods for tar destruction, which include catalytic cracking and thermal cracking, are intrinsically attractive because they are energetically efficient and no movable parts are required nor byproducts are produced. The main difficulty with these methods is the tendency for tar to polymerize at high temperatures. An alternative to tar removal is the complete combustion of the syngas in a porous burner directly as it leaves the particle capture system. In this context, the main aim of this study is to evaluate the destruction of the tar present in the syngas from biomass gasification by combustion in porous media. A gas mixture was used to emulate the syngas, which included toluene as a tar surrogate. Initially, CHEMKIN was used to assess the potential of the proposed solution. The calculations revealed the complete destruction of the tar surrogate for a wide range of operating conditions and indicated that the most important reactions in the toluene conversion are C6H5CH3 + OH <-> C6H5CH2 + H2O, C6H5CH3 + OH <-> C6H4CH3 + H2O, and C6H5CH3 + O <-> OC6H4CH3 + H and that the formation of toluene can occur through C6H5CH2 + H <-> C6H5CH3. Subsequently, experimental tests were performed in a porous burner fired with pure methane and syngas for two equivalence ratios and three flow velocities. In these tests, the toluene concentration in the syngas varied from 50 to 200 g/Nm(3). In line with the CHEMKIN calculations, the results revealed that toluene was almost completely destroyed for all tested conditions and that the process did not affect the performance of the porous burner regarding the emissions of CO, hydrocarbons, and NOx.