535 resultados para TEOREMAS INDICATIVOS


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study used the Thermogravimetry (TG) and molecular absorption spectroscopy in UV-visible region to determine the iron content in herbal medicinal ferrous sulfate used in the treatment of iron deficiency anemia. The samples were characterized by IR, UV, TG / DTG, DTA, DSC and XRD. The thermoanalytical techniques evaluated the thermal stability and physicochemical events and showed that the excipients interfere in the decomposition of the active ingredients. The results of thermogravimetry showed that the decomposition temperature of the active principle Fe2(SO4)3 (T = 602 °C) is higher as compared to samples of tablets (566 586 °C). In the DTA and DSC curves were observed exothermic and endo events for samples of medicines and active analysis. The infrared spectra identified key functional groups exist in all samples of active ingredients, excipients and compressed studied, such as symmetric and asymmetric stretching of OH, CH, S=O. The analysis by X-ray diffraction showed that all samples had crystallinity and the final residue showed peaks indicating the presence of silicon dioxide, titanium dioxide and talc that are excipients contained in pharmaceutical formulations in addition to iron oxide. The results obtained by TG to determine the iron content of the studied drugs showed a variance when compared with those obtained by theoretical and UV-visible, probably due to formation of a mixture of Fe2O3 and Fe2(SO4)3. In one tablet was obtained FE content of 15.7 % and 20.6 % for TG by UV-visible, the sample EF 2 was obtained as a percentage of 15.4 % and 21.0 % for TG by UV-visible . In the third SF samples were obtained a content of 16.1 % and 25.5 % in TG by UV-visible, and SF 4 in the percentage of TG was 16.7 % and 14.3 % UV-visible

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work were synthesized the materials called vanadyl phosphate, hydrogen vanadyl phosphate and vanadyl phosphate doped by transition metals with the aim in adsorption the following compounds: ammonia, hydrogen sulfide and nitrogen oxide. To characterize the starting compounds was used DRX, FTIR, FRX and TG analysis. After the characterization of substrates, proceeded de adsorption of NH3 and H2S gases in reactor, passing the gases with continuous flow for 30 min and room temperature. Gravimetric data indicate that the matrices of higher performance in adsorption of ammonia was those doped by aluminum and manganese, obtaining results of 216,77 mgNH3/g and 200,40 mgNH3/g of matrix, respectively. The matrice of higher performance in adsorption of hydrogen sulfide was that doped by manganese, obtaining results of 86,94 mgH2S/g of matrix. The synthesis of substrates VOPO4.2H2O and MnVOPO4.2H2O with nitrogen oxide was made in solution, aiming the final products VOPO4.G.nH2O and MnVOPO4.G.nH2O (G = NO and n = number of water molecules). The thermo analytical behavior and the infrared spectroscopy are indicative of formation of VOPO4.2,5NO.3H2O compound. Results of scanning electron microscopy (SEM) and Energy dispersive spectroscopy (EDS) of materials vanadyl phosphate and vanadyl phosphate modified after reaction in solid state or in solution with the gases show morphology changes in substrates, beyond the formation of orthorhombic sulfur crystals over their respective hosts when these adsorb hydrogen sulfide

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This is a work involving fundamental studies of chemistry where the synthesis and structural characterization, as well as a possible future application of these new compounds as luminescent sensors or sunscreen agents, complexes with 4,4 diaminostilbene-2,2-disulfonic (DSD) and trivalent lanthanide ions La3+, Nd3+, Eu3+, Gd3+ and Yb3+, were synthesized in the ratio of 3 mmol: 1 mmol (DSD: lanthanides). The complexes obtained with these ions were present in powder form and were characterized by complexometric titration with EDTA CHN Elemental analysis, molecular absorption spectroscopy in the ultraviolet region, the absorption spectroscopy in the infrared, thermal analysis (TG / DTG), Nuclear Magnetic Resonance - NMR 1H and Luminescence Spectroscopy. The complexometric titration and CHN analysis, confirmed the TG / DTG which suggest that these complexes have the following general chemical formulas: [La2(C14H12S2O6N2)2(H2O)2Cl2].7H2O,[Nd2(C14H12S2O6N2)2(H2O)2Cl2].6H2O,[Eu2(C14 H12S2O6N2)2(H2O)2Cl2].7H2O,[Gd2(C14H12S2O6N2)2(H2O)2Cl2].4H2O e [Yb2(C14H12S2O6N2)2(H2O)2].6H2O. The disappearance of the bands in the infrared spectrum at 2921 cm-1 and 2623 cm-1 and the displacement of the bands in the spectra of the amine complex indicate that the lanthanide ion is coordinated to the oxygen atoms and the sulfonate groups of the nitrogens amines, suggesting the formation of the dimer. The disappearance of the signal and the displacement signal SO3H amines in the 1H NMR spectrum of this complex are also indicative coordination and dimer formation. The Thermogravimetry indicates that the DSD is thermally stable in the range of 40º to 385°C and their complexes with lanthanide ions exhibit weight loss between 4 and 5 stages. The Uv-visible spectra indicated that the DSD and complexes exhibit cis isomers. The analysis of luminescence indicates that the complexes do not exhibit emission in the region of the lanthanides but an intense emission part of the binder. This is related to the triplet states of the ligand, which are in the lowest energy state emitting lanthanide ions, and also the formation of the dimer that suppress the luminescence of ion Eu3+. The formation of dimer was also confirmed by calculating the europium complex structure using the model Hamiltonian PM6 and Sparkle

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis deals with the sedimentological/stratigraphic and structural evolution of the sedimentary rocks that occur in the NW continental border of the Potiguar Basin. These rocks are well exposed along coastal cliffs between the localities of Lagoa do Mato and Icapuí, Ceará State (NE Brazil). The sedimentological/stratigraphic study involved, at the outcrop scale, detailed facies descriptions, profile mapping of the vertical succession of different beds, and columnar sections displaying inferred lateral relationships. The approach was complemented by granulometric and petrographic analyses, including the characterization of heavy mineral assemblages. The data set allowed to recognize two kinds of lithological units, a carbonate one of very restricted occurrence at the base of the cliffs, and three younger, distinct siliciclastic units, that predominate along the cliffs, in vertical and lateral extent. The carbonate rocks were correlated to the late Cretaceous Jandaíra Formation, which is covered by the siliciclastic Barreiras Formation. The Barreiras Formation occurs in two distinct structural settings, the usual one with nondeformed, subhorizontal strata, or as tilted beds, affected by strong deformation. Two lithofacies were recognized, vertically arranged or in fault contacts. The lower facies is characterized by silty-argillaceous sandstones with low-angle cross bedding; the upper facies comprises medium to coarse grained sandstones, with conglomeratic layers. The Tibau Formation (medium to coarse-grained sandstones with argillite intercalations) occurs at the NW side of the studied area, laterally interlayered with the Barreiras Formation. Eolic sediments correlated to the Potengi Formation overly the former units, either displaying an angular unconformity, or simply an erosional contact (stratigraphic unconformity). Outstanding structural features, identified in the Barreiras Formation, led to characterize a neocenozoic stress field, which generated faults and folds and/or reactivated older structures in the subjacent late cretaceous (to paleogene, in the offshore basin) section. The structures recognized in the Barreiras Formation comprise two distinct assemblages, namely a main extensional deformation between the localities of Ponta Grossa and Redonda, and a contractional style (succeeded by oblique extensional structures) at Vila Nova. In the first case, the structural assemblage is dominated by N-S (N±20°Az) steep to gently-dipping extensional faults, displaying a domino-style or listric geometry with associated roll-over structures. This deformation pattern is explained by an E-W/WNW extension, contemporaneous with deposition of the upper facies of the Barreiras Formation, during the time interval Miocene to Pleistocene. Strong rotation of blocks and faults generated low-angle distensional faults and, locally, subvertical bedding, allowing to estimate very high strain states, with extension estimates varying between 40% up to 200%. Numerous detachment zones, parallel to bedding, help to acommodate this intense deformation. The detachment surfaces and a large number of faults display mesoscopic features analoguous to the ones of ductile shear zones, with development of S-C fabrics, shear bands, sigmoidal clasts and others, pointing to a hydroplastic deformation regime in these cases. Local occurrences of the Jandaíra limestone are controled by extensional faults that exhume the pre-Barreiras section, including an earlier event with N-S extension. Finally, WNWtrending extensional shear zones and faults are compatible with the Holocene stress field along the present continental margin. In the Vila Nova region, close to Icapuí, gentle normal folds with fold hinges shallowly pluging to SSW affect the lower facies of the Barreiras Formation, displaying an incipient dissolution cleavage associated with an extension lineation at high rake (a S>L fabric). Deposition of the upper facies siliciclastics is controlled by pull-apart graben structures, bordered by N-NE-trending sinistral-normal shear zones and faults, characterizing an structural inversion. Microstructures are compatible with tectonic deformation of the sedimentary pile, burried at shallow depths. The observed features point to high pore fluid pressures during deformation of the sediments, producing hydroplastic structures through mechanisms of granular flow. Such structures are overprinted by microfractures and microfaults (an essentially brittle regime), tracking the change to microfracturing and frictional shear mechanisms accompanying progressive dewatering and sediment lithification. Correlation of the structures observed at the surface with those present at depth was tested through geophysical data (Ground Penetrating Radar, seismics and a magnetic map). EW and NE-trending lineaments are observed in the magnetic map. The seismic sections display several examples of positive flower structures which affect the base of the cretaceous sediments; at higher stratigraphic levels, normal components/slips are compatible with the negative structural inversion characterized at the surface. Such correlations assisted in proposing a structural model compatible with the regional tectonic framework. The strong neogenepleistocene deformation is necessarily propagated in the subsurface, affecting the late cretaceous section (Açu and Jandaíra formations), wich host the hydrocarbon reservoirs in this portion of the Potiguar Basin. The proposed structural model is related to the dextral transcurrent/transform deformation along the Equatorial Margin, associated with transpressive terminations of E-W fault zones, or at their intersections with NE-trending lineaments, such as the Ponta Grossa-Fazenda Belém one (the LPGFB, itself controlled by a Brasiliano-age strike-slip shear zone). In a first step (and possibly during the late Cretaceous to Paleogene), this lineament was activated under a sinistral transpressional regime (antithetic to the main dextral deformation in the E-W zones), giving way to the folds in the lower facies of the Barreiras Formation, as well as the positive flower structures mapped through the seismic sections, at depth. This stage was succeeded (or was penecontemporaneous) by the extensional structures related to a (also sinistral) transtensional movement stage, associated to volcanism (Macau, Messejana) and thermal doming processes during the Neogene-Pleistocene time interval. This structural model has direct implications to hydrocarbon exploration and exploitation activities at this sector of the Potiguar Basin and its offshore continuation. The structure of the reservoirs at depth (Açu Formation sandstones of the post-rift section) may be controlled (or at least, strongly influenced) by the deformation geometry and kinematics characterized at the surface. In addition, the deformation event recognized in the Barreiras Formation has an age close to the one postulated for the oil maturation and migration in the basin, between the Oligocene to the Miocene. In this way, the described structural cenario represents a valid model to understand the conditions of hydrocarbon transport and acummulation through space openings, trap formation and destruction. This model is potentially applicable to the NW region of the Potiguar Basin and other sectors with a similar structural setting, along the brazilian Equatorial Atlantic Margin

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work presents a proposal for introducing the teaching of Geometry Space study attempts to demonstrate that the use of manipulatives as a teaching resource can be an alternative learning facilitator for fixing the primitive concepts of geometry, the postulates and theorems, position relationships between points, lines and planes and calculating distances. The development makes use of a sequence of activities aimed at ensuring that students can build a more systematic learning and these are divided into four steps

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Among several theorems which are taught in basic education some of them can be proved in the classroom and others do not, because the degree of difficulty of its formal proof. A classic example is the Fundamental Theorem of Algebra which is not proved, it is necessary higher-level knowledge in mathematics. In this paper, we justify the validity of this theorem intuitively using the software Geogebra. And, based on [2] we will present a clear formal proof of this theorem that is addressed to school teachers and undergraduate students in mathematics

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Relevância:

10.00% 10.00%

Publicador:

Resumo:

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Relevância:

10.00% 10.00%

Publicador:

Resumo:

OBJETIVO: comparar as condições emocionais de mães cujos filhos nascem com malformações visíveis (Grupo M) com as das mães de crianças eutróficas (Grupo E) logo após o nascimento. MÉTODO: foram avaliados os sintomas de ansiedade e depressão de 22 mães de cada grupo por meio do Inventário de Depressão de Beck (BDI) e do Inventário de Ansiedade Traço-Estado (IDATE). Foram excluídas as mães portadoras de deficiência sensorial incapacitante, HIV, distúrbios psiquiátricos e síndromes genéticas. Os dados foram complementados com consultas a prontuários médicos da criança e da mãe. Para análise comparativa entre as medianas dos grupos foi utilizado o teste não-paramétrico U de Mann-Whitney; para amostras independentes e para os escores indicativos de sintomas clínicos, o teste exato de Fisher e o teste do χ2. RESULTADOS: houve diferenças significativas nas medianas dos escores das três subescalas (ansiedade-traço, ansiedade-estado e disforia/depressão) entre os dois grupos de mães. Houve uma porcentagem significativamente maior de mães do Grupo M com escores indicativos de sinais clínicos para depressão ou ansiedade no pós-parto imediato e, para ambos os quadros, quando comparadas com mães do Grupo E. Os resultados podem ser decorrentes de traços de personalidade materna, visto que os índices de ansiedade-traço eram significativamente maiores nas mães de crianças malformadas, mas especialmente pelo estado da criança, seu encaminhamento para a UTI e sua condição de vida futura. CONCLUSÕES: a porcentagem de mães de recém-nascidos com malformações visíveis que apresentou escores indicativos de sinais clínicos para ansiedade, depressão e ambos sugerem a necessidade de suporte, individual ou em grupo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Descreve-se um surto de abscesso mandibular em ovelhas da raça Bergamácia no município de Botucatu, estado de São Paulo. do rebanho de 120 animais, 35 apresentaram aumento de volume mandibular com a presença de nódulos únicos, de consistência pétrea, de diferentes tamanhos, fistulados ou não e sem indicativos de inflamação dos tecidos moles adjacentes. Os animais eram criados em pasto de Panicum maximum cv. Tanzânia com água e sal mineral ad libitum e everminados, via oral, com pistolas dosificadoras. O material para diagnóstico microbiológico e antibiograma foi coletado de cinco animais acometidos, por punção e aspiração dos nódulos. Dos 35 animais acometidos, 19 foram submetidos ao exame radiográfico, um ao exame tomográfico e outro à biópsia óssea da região submandibular. O único ovino que morreu, encontrava-se em estado de caquexia provavelmente devido à localização do aumento de volume que afetou a implantação dos dentes molares daquela região impedindo a apreensão e mastigação adequadas levando a perda da condição corporal e morte. Ao exame necroscópico, observaram-se áreas de necrose caseosa na mandíbula direita de onde isolou-se Pseudomonas aeruginosa. O tratamento utilizado foi baseado na aplicação de iodeto de sódio a 10% por via intramuscular e antibioticoterapia segundo antibiograma com enrofloxacina por via intramuscular, porém com pouca eficácia. Diante do quadro clínico, dos dados de anamnese, da localização das lesões no tecido ósseo mandibular, do resultado do cultivo microbiológico, das alterações radiográficas e tomográficas foi feito o diagnóstico de abscesso mandibular causado por Pseudomonas aeruginosa.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Óleos de sementes de girassol com diferentes níveis de ácido oléico foram utilizados sob condições de termoxidação e fritura para avaliar o comportamento do óleo de girassol com alto teor de ácido oléico quanto ao seu grau de insaturação quando comparado com o óleo de girassol convencional. Os métodos analíticos aplicados incluíram a determinação de compostos polares totais, quantificação de compostos glicerídicos menores, quantificação da composição triglicerídica, período de indução a 100oC e níveis de a -tocoferol. Os resultados para compostos polares totais apresentaram menores valores em óleo de girassol com alto teor de ácido oléico quando comparados com óleo de girassol convencional. Quanto à distribuição dos compostos glicerídicos menores, verificou-se, de modo geral, que o aumento dos compostos polares totais estava relacionado essencialmente aos compostos de maior peso molecular, isto é, polímeros, dímeros e triglicerídios oxidados, os quais são representantes das alterações térmica e oxidativa. Já os diglicerídios e ácidos graxos, indicativos da alteração hidrolítica, permaneceram praticamente nos níveis originais; uma vez que a umidade não se encontrava presente no meio. A perda quantitativa da composição triglicerídica dependeu do grau de insaturação do triglicerídio, sendo mais elevada em triglicerídios que contêm duas ou três moléculas de ácido linoléico. em todos os casos, o óleo de girassol convencional teve uma maior tendência à polimerização, um maior grau de alteração total e uma maior perda de triglicerídios majoritários que o óleo de girassol com alto teor de ácido oléico. Assim, dentre os óleos utilizados neste estudo, os resultados mostraram um excelente comportamento do óleo de girassol com alto teor de ácido oléico em relação à termoxidação, independente do tipo de aquecimento e à fritura descontínua. Tais resultados demonstraram que sua resistência à alteração termoxidativa estava relacionada com seu baixo teor em ácidos graxos polinsaturados e alto teor em ácido oléico e trioleína.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Determinou-se a prevalência dos genes de virulência expressando fimbrias, produção de hemolisina, colicina e aerobactina em cepas de Escherichia coli obtidas do trato genital de vacas saudáveis que não apresentam sinais clínicos indicativos de infecção. A presença dos genes responsáveis pela expressão de fimbrias (pap, sfa, afa) foi avaliada através de reação em cadeia da polimerase utilizando primers especificos para cada um dos genes, nenhum deles foi detectado em qualquer uma das cepas isoladas. A prevalência dos fatores de virulência foi de 90,4%, 69,8%, 28,5% para colicina, hemolisina e aerobactina, respectivamente. A análise da patogenicidade das cepas do trato genital pode contribuir para o entendimento do comportamento das cepas de E. coli.