Síntese de catalisadores nanoporosos na ausência total e parcial de direcionadores orgânicos para pirólise catalítica de óleos pesados e intermediários

The processing of heavy oil produced in Brazil is an emergency action and a strategic plan to obtain self-sufficiency and economic surpluses. Seen in these terms, it is indispensable to invest in research to obtain new catalysts for obtaining light fraction of hydrocarbons from heavy fractions of petroleum. This dissertation for the degree of Doctor of Philosophy reports the materials preparation that combine the high catalytic activity of zeolites with the greater accessibility of the mesoporosity, more particularly the HZSM-5/MCM-41 hybrid, done by synthesis processes with less environmental impact than conventional ones. Innovative methodologies were developed for the synthesis of micro-mesoporous hybrid material by dual templating mechanism and from crystalline zeolitic aluminosilicate in the absence of organic template. The synthesis of hybrid with pore bimodal distribution took place from one-single organic directing agent aimed to eliminate the use of organic templates, acids of any kind or organic solvents like templating agent of crystalline zeolitic aluminosilicate together with temperature-programmed microwave-assisted, making the experimental procedures of preparation most practical and easy, with good reproducibility and low cost. The study about crystalline zeolitic aluminosilicate in the absence of organic template, especially MFI type, is based on use of H2O and Na+ cation playing a structural directing role in place of an organic template. Advanced characterization techniques such as X-Ray Diffraction (XRD), Fourier Transform Infrared Spectroscopy (FTIR), Scanning Electron Microscopy (SEM), Highresolution Transmission Electron Microscopy (HRTEM), Adsorption of N2 and CO2, kinetic studies by Thermogravimetric Analysis (TGA) and Pyrolysis coupled to Gas Chromatography/Mass Spectrometry (Pyrolysis-GC/MS) were employed in order to evaluate the synthesized materials. Achieve the proposed objectives, has made available a set of new methodologies for the synthesis of zeolite and hybrid micro-mesoporous material, these suitable for catalytic pyrolysis of heavy oils aimed at producing light fraction

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões

The use of multi-agent systems for classification tasks has been proposed in order to overcome some drawbacks of multi-classifier systems and, as a consequence, to improve performance of such systems. As a result, the NeurAge system was proposed. This system is composed by several neural agents which communicate and negotiate a common result for the testing patterns. In the NeurAge system, a negotiation method is very important to the overall performance of the system since the agents need to reach and agreement about a problem when there is a conflict among the agents. This thesis presents an extensive analysis of the NeurAge System where it is used all kind of classifiers. This systems is now named ClassAge System. It is aimed to analyze the reaction of this system to some modifications in its topology and configuration

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Espectros fractais em sistemas nanoestruturados e cristais fotônicos

The study of the elementary excitations such as photons, phonons, plasmons, polaritons, polarons, excitons and magnons, in crystalline solids and nanostructures systems are nowdays important active field for research works in solid state physics as well as in statistical physics. With this aim in mind, this work has two distinct parts. In the first one, we investigate the propagation of excitons polaritons in nanostructured periodic and quasiperiodic multilayers, from the description of the behavior for bulk and surface modes in their individual constituents. Through analytical, as well as computational numerical calculation, we obtain the spectra for both surface and bulk exciton-polaritons modes in the superstructures. Besides, we investigate also how the quasiperiodicity modifies the band structure related to the periodic case, stressing their amazing self-similar behavior leaving to their fractal/multifractal aspects. Afterwards, we present our results related to the so-called photonic crystals, the eletromagnetic analogue of the electronic crystalline structure. We consider periodic and quasiperiodic structures, in which one of their component presents a negative refractive index. This unusual optic characteristic is obtained when the electric permissivity and the magnetic permeability µ are both negatives for the same range of angular frequency ω of the incident wave. The given curves show how the transmission of the photon waves is modified, with a striking self-similar profile. Moreover, we analyze the modification of the usual Planck´s thermal spectrum when we use a quasiperiodic fotonic superlattice as a filter.

On fuzzy ideals and fuzzy filters of fuzzy lattices

In the literature there are several proposals of fuzzi cation of lattices and ideals concepts. Chon in (Korean J. Math 17 (2009), No. 4, 361-374), using the notion of fuzzy order relation de ned by Zadeh, introduced a new notion of fuzzy lattice and studied the level sets of fuzzy lattices, but did not de ne a notion of fuzzy ideals for this type of fuzzy lattice. In this thesis, using the fuzzy lattices de ned by Chon, we de ne fuzzy homomorphism between fuzzy lattices, the operations of product, collapsed sum, lifting, opposite, interval and intuitionistic on bounded fuzzy lattices. They are conceived as extensions of their analogous operations on the classical theory by using this de nition of fuzzy lattices and introduce new results from these operators. In addition, we de ne ideals and lters of fuzzy lattices and concepts in the same way as in their characterization in terms of level and support sets. One of the results found here is the connection among ideals, supports and level sets. The reader will also nd the de nition of some kinds of ideals and lters as well as some results with respect to the intersection among their families. Moreover, we introduce a new notion of fuzzy ideals and fuzzy lters for fuzzy lattices de ned by Chon. We de ne types of fuzzy ideals and fuzzy lters that generalize usual types of ideals and lters of lattices, such as principal ideals, proper ideals, prime ideals and maximal ideals. The main idea is verifying that analogous properties in the classical theory on lattices are maintained in this new theory of fuzzy ideals. We also de ne, a fuzzy homomorphism h from fuzzy lattices L and M and prove some results involving fuzzy homomorphism and fuzzy ideals as if h is a fuzzy monomorphism and the fuzzy image of a fuzzy set ~h(I) is a fuzzy ideal, then I is a fuzzy ideal. Similarly, we prove for proper, prime and maximal fuzzy ideals. Finally, we prove that h is a fuzzy homomorphism from fuzzy lattices L into M if the inverse image of all principal fuzzy ideals of M is a fuzzy ideal of L. Lastly, we introduce the notion of -ideals and - lters of fuzzy lattices and characterize it by using its support and its level set. Moreover, we prove some similar properties in the classical theory of - ideals and - lters, such as, the class of -ideals and - lters are closed under intersection. We also de ne fuzzy -ideals of fuzzy lattices, some properties analogous to the classical theory are also proved and characterize a fuzzy -ideal on operation of product between bounded fuzzy lattices L and M and prove some results.