Desenvolvimento de uma rota química alternativa de síntese de SrCo0,8Fe0,2O3- e LaNi0,3Co0,7O3- para aplicação na reação de oxidação do CO

This thesis focuses on the coprecipitation synthesis method for preparation of ceramic materials with perovskite structure, their characterization and application as catalytic material in the reaction of converting CO to CO2 developing a methodological alternative route of synthesis from the middle via oxalate coprecipitation material SrCo0,8Fe0,2O3-d. In order to check the influence of this method, it was also synthesized using a combined citrate - EDTA complexing method. The material was characterized by: X-ray diffraction (XRD), Rietveld refinement method, thermogravimetry and differential thermo analysis (TG / DTA), scanning (SEM) and transmission (TEM) electron microscopy, particle size distribution and surface analysis method BET. Both methods led to post-phase synthesis, with pH as a relevant parameter. The synthesis based on the method via oxalate coprecipitation among particles led to the crystalline phase as those obtained using a combined citrate - EDTA complexing method under the same conditions of heat treatment. The nature of the reagent used via oxalate coprecipitation method produced a material with approximately 80 % lower than the average size of crystallites. Moreover, the via oxalate coprecipitation method precursors obtained in the solid state at low temperature (~ 26 oC), shorter synthesis, greater thermal stability and a higher yield of around 90-95 %, maintaining the same order of magnitude the crystallite size that the combined citrate - EDTA complexing method. For purposes of comparing the catalytic properties of the material was also synthesized by the using a combined citrate - EDTA complexing method. The evaluation of catalytic materials SrCo0,8Fe0,2O3-d LaNi0,3Co0,7O3-d was accompanied on the oxidation of CO to CO2 using a stainless steel tubular reactor in the temperature range of 75-300 oC. The conversion CO gas was evaluated in both materials on the results shaved that the firm conversion was loves for the material LaNi0,3Co0,7O3-d

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Termodinâmica de um gás de fótons no contexto de eletrodinâmicas não-lineares

The objective of this dissertation is the development of a general formalism to analyze the thermodynamical properties of a photon gas under the context of nonlinear electrodynamics (NLED). To this end it is obtained, through the systematic analysis of Maxwell s electromagnetism (EM) properties, the general dependence of the Lagrangian that describes this kind of theories. From this Lagrangian and in the background of classical field theory, we derive the general dispersion relation that photons must obey in terms of a background field and the NLED properties. It is important to note that, in order to achieve this result, an aproximation has been made in order to allow the separation of the total electromagnetic field into a strong background electromagnetic field and a perturbation. Once the dispersion relation is in hand, the usual Bose-Einstein statistical procedure is followed through which the thermodynamical properties, energy density and pressure relations are obtained. An important result of this work is the fact that equation of state remains identical to the one obtained under EM. Then, two examples are made where the thermodynamic properties are explicitly derived in the context of two NLED, Born-Infelds and a quadratic approximation. The choice of the first one is due to the vast appearance in literature and, the second one, because it is a first order approximation of a large class of NLED. Ultimately, both are chosen because of their simplicity. Finally, the results are compared to EM and interpreted, suggesting possible tests to verify the internal consistency of NLED and motivating further developement into the formalism s quantum case

Propriedades estruturais e optoeletrônicas dos compostos SrSnO3, SrxBa1-xSnO3 e BaSnO3

In this work we present a study for the structural, electronic and optical properties, at ambient conditions of SrSnO3, SrxBa1

Anisotropia sísmica crustal na região de Cascavel - CE

This dissertation presents a study on crustal seismic anisotropy in Cascavel - CE. The earthquake data employed here are from the Seismological Laboratory at Universidade Federal do Rio Grande do Norte (UFRN) and were colected from 29 September 1997 to 05 march 1998 using six three-component digital seismographic stations. In general, the cause of the observed seismic anisotropy in many regions of the world is interpreted in terms of fluid-filled stress aligned microcracks in the rockmass (EDA). In other words, the polarisation direction of the faster shear-wave splitting is parallel to SHmax. However, other researches on seismic anisotropy carried out in NE Brazil have shown a remarkable consistency of the faster shear-wave polarisation direction with the direction of the Precambrian fabric. The present work is another case study that is used to investigate this issue. In order to map the Precambrian fabric we used aeromagnetic data, since the study area is mostly covered with sediments (up to 50m thick) and in-situ field mapping would be very difficult to be carried out. According to the results from the present research, the observations of the faster shear-wave polarisation directions in two seismographic stations in Cascavel region are best explained in the framework of EDA. For the remaining two stations, the observed anisotropy may have two interpretions: (i) - 90_ flips of the direction of polarisation of the faster shear-wave, since that the event-to-station ray path would be through the fracture zone and hence would travel under a higher pore pressure and (ii) - the observed seismic anisotropy would agree with the direction on the ductile Precambrian fabric