944 resultados para mixed verification methods
Resumo:
5th Brazilian Symposium on Computing Systems Engineering, SBESC 2015 (SBESC 2015). 3 to 6, Nov, 2015. Foz do Iguaçu, Brasil.
Resumo:
The autonomic nervous system (ANS) plays a role as a modulator in the pathogenesis of paroxysmal atrial fibrillation (PAF). The clinical pattern of vagally mediated PAF has been observed mainly in young patients. Neurocardiogenic responses during orthostatic stress are related to autonomic reflexes in which the vagal influence predominates. AIM: To evaluate the susceptibility of elderly patients with PAF to activation of vasovagal syncope mechanisms. METHODS: We performed passive head-up tilt testing (HUT) in 34 patients (62% women, aged 72 +/- 7 years), with > or = 1 year of clinical history of PAF--19 without structural heart disease, 11 with hypertensive heart disease and 4 with coronary artery disease (who had no previous myocardial infarction, had undergone myocardial revascularization, and had no documented ischemia) (PAF group), and compared the results with those obtained in a group of 34 age-matched patients (53% women, aged 74 +/- 6 years), who underwent HUT due to recurrent syncope (Sc group). In this group, 21 had no documented heart disease and none had a clinical history of AF. There was no diabetes, congestive heart failure or syncope in the PAF group. After a supine resting period, the subjects were tilted at 70 degrees for 20 minutes while in sinus rhythm. No provocative agents were used to complement the HUT. ECG and blood pressure were continuously monitored (Task Force Monitor, CNSystems). The test was considered positive when syncope or presyncope occurred with bradycardia and/or arterial hypotension. Abnormal responses were classified as cardioinhibitory, vasodepressor or mixed. RESULTS: HUT was positive in seven patients of the PAF group--vasodepressor response in five and mixed in two (20.5% of the total; 26.3% of those without heart disease)--and in eight patients (vasodepressor in six and mixed in two) of the Sc group (p=NS). During HUT, three patients of the PAF group had short periods of self-limited PAF (in one, after vasodepressor syncope). There were no differences in gender distribution, age or heart disease. No cardioinhibitory responses or orthostatic hypotension were observed. CONCLUSION: In elderly patients with PAF, a significant number of false positive results during passive HUT may be expected, suggesting increased vasovagal reactions despite aging. This suggests that ANS imbalances may be observed in this population.
Resumo:
Sample preparation and DNA extraction protocols for DNA amplification by PCR, which can be applied in human fecal samples for taeniasis diagnosis, are described. DNA extracted from fecal specimens with phenol/chloroform/isoamilic alcohol and DNAzol® reagent had to be first purified to generate fragments of 170 pb and 600 pb by HDP2-PCR. This purification step was not necessary with the use of QIAmp DNA stool mini kit®. Best DNA extraction results were achieved after eggs disruption with glass beads, either with phenol/chloroform/isoamilic alcohol, DNAzol® reagent or QIAmp DNA stool mini kit®.
Resumo:
13th International Conference on Autonomous Robot Systems (Robotica), 2013, Lisboa
Resumo:
Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.
Resumo:
A utilização de juntas adesivas em aplicações industriais tem vindo a aumentar, em detrimento dos métodos tradicionais tais como a soldadura, brasagem e ligações aparafusadas e rebitadas. Este facto deve-se às vantagens que estas oferecem, como o facto de serem mais leves, comportarem-se bem sob cargas cíclicas ou de fadiga, a ligação de materiais diferentes e menores concentrações de tensões. Para aumentar a confiança no projeto de estruturas adesivas, é importante conseguir prever com precisão a sua resistência mecânica e respetivas propriedades de fratura (taxa crítica de libertação de energia de deformação à tração, GIC, e corte, GIIC). Estas propriedades estão diretamente relacionadas com a Mecânica da Fratura e são estimadas através de uma análise energética. Para este efeito, distinguem-se três tipos de modelos: modelos que necessitam da medição do comprimento de fenda durante a propagação do dano, modelos que utilizam um comprimento de fenda equivalente e métodos baseados no integral J. Como na maioria dos casos as solicitações ocorrem em modo misto (combinação de tração com corte), é de grande importância a perceção da fratura nesta condições, nomeadamente das taxas de libertação de energia relativamente a diferentes critérios ou envelopes de fratura. Esta comparação permite, por exemplo, averiguar qual o melhor critério energético de rotura a utilizar em modelos numéricos baseados em Modelos de Dano Coesivo. Neste trabalho é realizado um estudo experimental utilizando o ensaio Single-Leg Bending (SLB) em provetes colados com três tipos de adesivos, de forma a estudar e comparar as suas propriedades de fratura. Para tal, são aplicados alguns modelos de redução da taxa de libertação de energia de deformação à tração, GI, e corte, GII, enquadrados nos modelos que necessitam da medição do comprimento de fenda e nos modelos que utilizam um comprimento de fenda equivalente. Numa fase posterior, procedeu-se à análise e comparação dos resultados adquiridos durante a fase experimental de GI e GII de cada adesivo. A discussão de resultados foi também feita através da análise dos valores obtidos em diversos envelopes de fratura, no sentido de averiguar qual o critério de rotura mais adequado a considerar para cada adesivo. Foi obtida uma concordância bastante boa entre métodos de determinação de GI e GII, com exceção do adesivo mais dúctil, para o qual o método baseado no comprimento de fenda equivalente apresentou resultados ligeiramente superiores.
Resumo:
To compare two yeast identification methods, i. e, the manual and the VITEK mechanical methods, 62 clinical samples from hemocultures and animal sources were analyzed. After identification as Candida yeasts by the VITEK method, the strains were recharacterized using manual assimilation methods and sugar fermentation tests. Our findings reveal 58% concurrent identification between the two methods for animal strains, and 51% for human hemoculture strains.
Resumo:
The transmission of malaria in Brazil is heterogeneous throughout endemic areas and the presence of asymptomatic Plasmodium sp. carriers (APCs) in the Brazilian Amazon has already been demonstrated. Malaria screening in blood banks is based on the selection of donors in respect to possible risks associated with travel or residence, clinical evidence and/or inaccurate diagnostic methods thereby increasing the probability of transfusion-transmitted infection. We evaluated the frequency of APCs in four blood services in distinct areas of the Brazilian Amazon region. DNA was obtained from 400 human blood samples for testing using the phenol-chloroform method followed by a nested-PCR protocol with species-specific primers. The positivity rate varied from 1 to 3% of blood donors from the four areas with an average of 2.3%. All positive individuals had mixed infections for Plasmodium vivax and Plasmodium falciparum. No significant differences in the results were detected among these areas; the majority of cases originated from the transfusion centres of Porto Velho, Rondônia State and Macapá, Amapá State. Although it is still unclear whether APC individuals may act as reservoirs of the parasite, efficient screening of APCs and malaria patients in Brazilian blood services from endemic areas needs to be improved.
Resumo:
INTRODUCTION: The main extra-hepatic manifestation of hepatitis C is mixed cryoglobulinemia (MC). The aim of this study was to evaluate its prevalence among patients with chronic hepatitis C (CHC), to correlate its presence to host and virological variables and to the response to combined therapy with interferon-alpha and ribavirin. CASUISTIC AND METHODS: 202 CHC naive patients (136 with chronic hepatitis and 66 with cirrhosis) were consecutively evaluated for the presence of cryoglobulins. Cryoprecipitates were characterized by immunoelectrophoresis and classified according to the Brouet's criteria. RESULTS: The prevalence of MC was 27% (54/202), and 24% of them (13/54) showed major clinical manifestation of the disease. Even though type III MC was more frequent (78%), symptomatic MC was more common in type II MC. The presence of cirrhosis (RR = 2.073; IC95% = 1.029 - 4.179; p = 0.041), and age of the patients (RR = 1.035; IC95% = 1.008 - 1.062; p = 0.01) were independently associated with the presence of cryoglobulins. No relationship was found with viral load and genotype. 102 patients were treated with interferon alpha and ribavirin. Among these, 31 had MC. Sustained virological response (around 30%) was similar in patients with and without MC (p = 0.971). CONCLUSION: MC represents a prevalent complication in patients with CHC, specially older and cirrhotic patients. Only 24% of these patients show clinical manifestation of the disease, specially those with type II MC. The presence of MC did not affect the response to therapy.
Resumo:
A furazolidona é uma substância ativa do medicamento Giarlam que contém um espetro anti-bacteriano relativamente amplo e que é frequentemente usado para tratar certas doenças bacterianas e protozoárias no homem. A maioria dos fármacos exige uma dosagem que garanta os níveis de segurança e eficácia de atuação. A necessidade de dosear os medicamentos e os seus metabólitos exige o desenvolvimento constante de métodos analíticos eficientes. Neste trabalho desenvolveu-se um novo sensor eletroquímico para a deteção da furazolidona, baseado num elétrodo de pasta de carbono modificado com um polímero molecularmente impresso. A procura de novos materiais que permitam uma melhor seletividade e sensibilidade aos sistemas de deteção é especialmente importante no desenvolvimento de métodos analíticos. Os polímeros molecularmente impressos enquadram-se nesse perfil e o seu uso tem vindo a ser cada vez mais frequente como ferramenta importante em química analítica. Assim, sintetizou-se um polímero com cavidades seletivas para a Furazolidona. Este polímero foi, misturado com grafite e perafina de modo a produzir uma pasta de carbono. Uma seringa de plástico foi usada como suporte da pasta de carbono. O comportamento eletroquímico do sensor foi avaliado e diversas condições de utilização foram estudadas e otimizadas. O sensor apresenta um comportamento linear entre a intensidade do pico e a concentração numa gama de concentrações entre 1 e 100 μM, um limite de deteção de 1 μM e uma precisão (repetibilidade) inferior a 7%. A aplicabilidade do sensor fabricado em amostras complexas foi avaliada pela deteção do fármaco em amostras de urina.
Resumo:
Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..
Resumo:
The in vitro susceptibility of dermatophytes to the azole antifungals itraconazole, fluconazole and ketoconazole was evaluated by broth macro and microdilution methods, according to recommendations of the CLSI, with some adaptations. Twenty nail and skin clinical isolates, four of Trichophyton mentagrophytes and 16 of T. rubrum were selected for the tests. Itraconazole minimal inhibitory concentrations (MIC) varied from < 0.03 to 0.25 µg/mL in the macrodilution and from < 0.03 to 0.5 µg/mL in the microdilution methods; for fluconazole, MICs were in the ranges of 0.5 to 64 µg/mL and 0.125 to 16 µg/mL by the macro and microdilution methods, respectively, and from < 0.03 to 0.5 µg/mL by both methods for ketoconazole. Levels of agreement between the two methods (± one dilution) were 70% for itraconazole, 45% for fluconazole and 85% for ketoconazole. It is concluded that the strains selected were inhibited by relatively low concentrations of the antifungals tested and that the two methodologies are in good agreement especially for itraconazole and ketoconazole.
Resumo:
EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.
Resumo:
This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.
Resumo:
O BIM – Building Information Modeling – é um conceito de controlo e gestão de informação desenvolvida, entre diferentes especialidades e intervenientes envolventes, durante o ciclo de vida das construções. A utilização das tecnologias BIM, no ramo da Engenharia Mecânica e Civil, tem sido uma aposta constante, e cada vez mais concisa, nos projetos de construção. A justificação para a adoção destas metodologias mais eficientes, em substituição dos processos convencionais, prende-se com o facto desses processos convencionais, ainda hoje, apresentarem muitas dificuldades e problemas associados, por exemplo, à falta de comunicação entre os intervenientes e ao ineficiente controlo na gestão de projetos. O objetivo desta dissertação centra-se na análise da interoperabilidade de softwares BIM, ou seja, na verificação da viabilidade de exportação de dados dos modelos produzidos, entre as ferramentas BIM. Para este campo de ação contribuirá a análise da passagem de informação, relativa ao modelo de uma Nave Industrial modelada, em alguns dos softwares BIM, correntemente mais utilizados. O conhecimento adquirido com a modelação do caso de estudo do presente trabalho irá permitir identificar algumas lacunas existentes ao nível da falta de recomendações práticas que sirvam de orientação na modelação recorrendo a ferramentas informáticas BIM-compatíveis. Assim, a base deste trabalho consiste na criação de uma série de recomendações ou de um roteiro de modelação em específico para a disciplina de estruturas enquanto área de aplicação concreta do estudo efetuado. Nesse sentido, a proposta deste trabalho é de apresentar alguns critérios de modelação onde são definidos os elementos a modelar em cada fase do projeto.