925 resultados para incompleteness and inconsistency detection
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Ciências Farmacêuticas - FCFAR
Resumo:
Hepatitis C virus (HCV) is a serious public health problem and is the leading cause of liver transplantation due to cirrhosis and hepatocellular carcinoma. In Brazil, it is estimated that there are approximately 2 to 3 million HCV chronic carriers. Few data regarding HCV infection are available in West region of Minas Gerais State. Due to the absence of an effective vaccine against this important human pathogen and the high costs of antiviral treatment, it is important to conduct epidemiological studies with the purpose of carry out the planning and implementation of measures to prevent hepatitis C in different populations. Therefore, the aim of this study is to describe the epidemiological aspects of HCV patients from West region of Minas Gerais State, Brazil. Sociodemographic data and risk factors for HCV infection were determined from 74 HCV patients from Uberlandia city (Minas Gerais State). Reactive anti-HCV sera samples were submitted to HCV RNA and genotype detection. Most of individuals were male (63.5%) with mean age of 51 years and presenting low socioeconomic status. HCV genotype was determined among 40 samples and the frequencies were: genotype 2 (45%), 1 (37.5%) and 3 (17.5%). Hepatitis C virus (HCV) infection was common among male and low socioeconomic status individuals.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Synthetic-heterodyne demodulation is a useful technique for dynamic displacement and velocity detection in interferometric sensors, as it can provide an output signal that is immune to interferometric drift. With the advent of cost-effective, high-speed real-time signal-processing systems and software, processing of the complex signals encountered in interferometry has become more feasible. In synthetic heterodyne, to obtain the actual dynamic displacement or vibration of the object under test requires knowledge of the interferometer visibility and also the argument of two Bessel functions. In this paper, a method is described for determining the former and setting the Bessel function argument to a set value, which ensures maximum sensitivity. Conventional synthetic-heterodyne demodulation requires the use of two in-phase local oscillators; however, the relative phase of these oscillators relative to the interferometric signal is unknown. It is shown that, by using two additional quadrature local oscillators, a demodulated signal can be obtained that is independent of this phase difference. The experimental interferometer is aMichelson configuration using a visible single-mode laser, whose current is sinusoidally modulated at a frequency of 20 kHz. The detected interferometer output is acquired using a 250 kHz analog-to-digital converter and processed in real time. The system is used to measure the displacement sensitivity frequency response and linearity of a piezoelectric mirror shifter over a range of 500 Hz to 10 kHz. The experimental results show good agreement with two data-obtained independent techniques: the signal coincidence and denominated n-commuted Pernick method.
Resumo:
At present the prediction and characterization of the emission output of a diffusive random laser remains a challenge, despite the variety of investigated materials and theoretical interpretations given up to now. Here, a new mode selection method, based on spatial filtering and ultrafast detection, which allows to separate individual lasing modes and follow their temporal evolution is presented. In particular, the work explores the random laser behavior of a ground powder of an organic-inorganic hybrid compound based on Rhodamine B incorporated into a di-ureasil host. The experimental approach gives direct access to the mode structure and dynamics, shows clear modal relaxation oscillations, and illustrates the lasing modes stochastic behavior of this diffusive scattering system. The effect of the excitation energy on its modal density is also investigated. Finally, imaging measurements reveal the dominant role of diffusion over amplification processes in this kind of unconventional lasers. (C) 2015 Optical Society of America
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
This study compared the hematological and serological analysis of diagnosis of canine ehrlichiosis. The survey of Ehrlichia canis was performed through the evaluation of blood smears from 150 dogs. The serological test was performed on 12 samples selected by the platelet count (less than 170,000 platelets / uL). Serologic testing was performed with the Imunocomb kit - Dot-blot-ELISA. No cytoplasmatic inclusion characteristic of morula of E. canis was found in blood smears. In serologic testing, eight samples were positive for Ehrlichia canis, concluding that thrombocytopenia is an important hematological finding of ehrlichiosis diagnosis and the detection of Ehrlichia canis morulae is uncommon. The serological evaluation Dot-blot ELISA is an accurate and brief diagnosis method of canine ehrlichiosis, been the most appropriate to be used in veterinary practice routine.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Química - IQ
Resumo:
Pós-graduação em Saúde Coletiva - FMB
Resumo:
Spreadsheets are widely used but often contain faults. Thus, in prior work we presented a data-flow testing methodology for use with spreadsheets, which studies have shown can be used cost-effectively by end-user programmers. To date, however, the methodology has been investigated across a limited set of spreadsheet language features. Commercial spreadsheet environments are multiparadigm languages, utilizing features not accommodated by our prior approaches. In addition, most spreadsheets contain large numbers of replicated formulas that severely limit the efficiency of data-flow testing approaches. We show how to handle these two issues with a new data-flow adequacy criterion and automated detection of areas of replicated formulas, and report results of a controlled experiment investigating the feasibility of our approach.
Resumo:
Pós-graduação em Saúde Coletiva - FMB