Estudo cinético da degradação térmica e catalítica de petróleo pesado usando Al-MCM-41

The mesoporous nanostructured materials have been studied for application in the oil industry, in particular Al-MCM-41, due to the surface area around 800 to 1.000 m2 g-1 and, pore diameters ranging from 2 to 10 nm, suitable for catalysis to large molecules such as heavy oil. The MCM-41 has been synthesized by hydrothermal method, on which aluminum was added, in the ratio Si/Al equal to 50, to increase the generation of active acid sites in the nanotubes. The catalyst was characterized by X-ray diffraction (XRD), surface area by the BET method and, the average pore volume BJH method using the N2 adsorption, absorption spectroscopy in the infrared Fourier Transform (FT-IR) and determination of surface acidity with application of a probe molecule - n-butylamine. The catalyst showed well-defined structural properties and consistent with the literature. The overall objective was to test the Al-MCM-41 as catalyst and thermogravimetric perform tests, using two samples of heavy oil with API º equal to 14.0 and 18.5. Assays were performed using a temperature range of 30-900 ° C and heating ratios (β) ranging from 5, 10 and 20 °C min-1.The aim was to verify the thermogravimetric profiles of these oils when subjected to the action of the catalyst Al- MCM-41. Therefore, the percentage ranged catalyst applied 1, 3, 5, 10 and 20 wt%, and from the TG data were applied two different kinetic models: Ozawa-Flynn-Wall (OFW) and Kissinger-Akahrira-Sunose (KAS).The apparent activation energies found for both models had similar values and were lower for the second event of mass loss known as cracking zone, indicating a more effective performance of Al-MCM-41 in that area. Furthermore, there was a more pronounced reduction in the value of activation energy for between 10 and 20% by weight of the oil-catalyst mixture. It was concluded that the Al-MCM-41 catalyst has applicability in heavy oils to reduce the apparent activation energy of a catalyst-oil system, and the best result with 20% by weight of Al-MCM-41

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Sistema especialista fuzzy para dimensionamento de bombeio mecânico

Despite the emergence of other forms of artificial lift, sucker rod pumping systems remains hegemonic because of its flexibility of operation and lower investment cost compared to other lifting techniques developed. A successful rod pumping sizing necessarily passes through the supply of estimated flow and the controlled wear of pumping equipment used in the mounted configuration. However, the mediation of these elements is particularly challenging, especially for most designers dealing with this work, which still lack the experience needed to get good projects pumping in time. Even with the existence of various computer applications on the market in order to facilitate this task, they must face a grueling process of trial and error until you get the most appropriate combination of equipment for installation in the well. This thesis proposes the creation of an expert system in the design of sucker rod pumping systems. Its mission is to guide a petroleum engineer in the task of selecting a range of equipment appropriate to the context provided by the characteristics of the oil that will be raised to the surface. Features such as the level of gas separation, presence of corrosive elements, possibility of production of sand and waxing are taken into account in selecting the pumping unit, sucker-rod strings and subsurface pump and their operation mode. It is able to approximate the inferente process in the way of human reasoning, which leads to results closer to those obtained by a specialist. For this, their production rules were based on the theory of fuzzy sets, able to model vague concepts typically present in human reasoning. The calculations of operating parameters of the pumping system are made by the API RP 11L method. Based on information input, the system is able to return to the user a set of pumping configurations that meet a given design flow, but without subjecting the selected equipment to an effort beyond that which can bear

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Análise fitoecológica do manguezal e ocupação das margens do estuário hipersalino apodi/mossoró (rn brasil) a biotecnologia vegetal como alternativa para a cotonicultura

The mangrove is a coastal ecosystem of the big ecological importance, showing high fragility front by natural process and the human interventions in the coastal zone. This research has objective to analyses the relation between mangrove species distribution and geochemical parameters variation of the water and soil in Apodi/Mossoro estuary, located in the Rio Grande do Norte state north coastline. The results were obtained from floristic and structural analysis of the vegetation and Quick Bird satellite images interpretation (collected in 2006 year), manipulated with ENVI 4.3 and ArcGIS 9.2 software s. This estuary was characterized by to presents a gradient of the salinity around 40 kilometers extension, finding amount between 50 and 90 g/l-1. Will be identified the formation of the mix vegetation formation in the estuary mount, where the water salinity no show express wide variation on seawater (36 g/l-1), finding species: Rhizophora mangle L., Laguncularia racemosa (L.) C. F. Gaertn, Avicennia schaueriana Stap. & Leechman e Avicennia germinans L. Along of the estuary, have a streak formation of the vegetation composed by Avicennia spp. and L. racemosa. In high estuary, where the salinities value stay above 60 g/l-1, only A. germinans predominate in dwarf form. In this sense, the salinity is as a limiting factor of stress on the mangrove vegetation as it enters the estuary, this parameter should be taken into account when drawing up management plans and environmental restoration in the estuary in question

Avaliação de impacto ambiental e gestão dos recursos natuarias no estuário Apodi Mossoró, nordeste do Brasil

The aim of this study is to investigate the eco-environmental vulnerability, its changes, and its causes to develop a management system for application of eco-environmental vulnerability and risk assessment in the Apodi-Mossory estuary, Northeast Brazil. This analysis is focused on the interference of the landscape conditions, and its changes, due to the following factors: the oil and natural gas industry, tropical fruits industry, shrimp farms, marine salt industry, occupation of the sensitive areas; demand for land, vegetation degradation, siltation in rivers, severe flooding, sea level rise (SLR), coastal dynamics, low and flat topography, high ecological value and tourism in the region and the rapid growth of urbanization. Conventional and remote sensing data were analyzed using modeling techniques based on ArcGIS, ER-Mapper, ERDAS Imagine and ENVI software. Digital images were initially processed by Principal Component Analysis and transformation of the maximum fraction of noise, and then all bands were normalized to reduce errors caused by bands of different sizes. They were integrated in a Geographic Information System analysis to detect changes, to generate digital elevation models, geomorphic indices and other variables of the study area. A three band color combination of multispectral bands was used to monitor changes of land and vegetation cover from 1986 to 2009. This task also included the analysis of various secondary data, such as field data, socioeconomic data, environmental data and prospects growth. The main objective of this study was to improve our understanding of eco-environmental vulnerability and risk assessment; it´s causes basically show the intensity, its distribution and human-environment effect on the ecosystem, and identify the high and low sensitive areas and area of inundation due to future SLR, and the loss of land due to coastal erosion in the Apodi-Mossoró estuary in order to establish a strategy for sustainable land use. The developed model includes some basic factors such as geology, geomorphology, soils, land use / land cover, vegetation cover, slope, topography and hydrology. The numerical results indicate that 9.86% of total study area was under very high vulnerability, 29.12% high vulnerability, 52.90% moderate vulnerability and 2.23% were in the category of very low vulnerability. The analysis indicates that 216.1 km² and 362.8 km² area flooded on 1m and 10m in sea levels respectively. The sectors most affected were residential, industrial and recreational areas, agricultural land, and ecosystems of high environmental sensitivity. The results showed that changes in eco-environmental vulnerability have a significant impact on the sustainable development of the RN state, since the indicator is a function of sensitivity, exposure and status in relation to a level of damage. The model were presented as a tool to assist in indexing vulnerability in order to optimize actions and assess the implications of decisions makers and policies regarding the management of coastal and estuarine areas. In this context aspects such as population growth, degradation of vegetation, land use / land cover, amount and type of industrialization, SLR and government policies for environmental protection were considered the main factors that affect the eco-environmental changes over the last three decades in the Apodi-Mossoró estuary.

Influência de tensoativos não iônicos na destilação molecular de petróleo

The molecular distillation is show as an alternative for separation and purification of various kinds of materials. The process is a special case of evaporation at high vacuum, in the order from 0.001 to 0.0001 mmHg and therefore occurs at relatively lower temperatures, preserves the material to be purified. In Brazil, molecular distillation is very applied in the separation of petroleum fractions. However, most studies evaluated the temperature of the evaporator, condenser temperature and flow such variables of the molecular distillation oil. Then, to increase the degree of recovery of the fraction of the distillate obtained in the process of the molecular distillation was evaluated the use nonionic surfactants of the class of nonylphenol ethoxylate, molecules able to interact in the liquid-liquid and liquid-vapor interface various systems. In this context, the aim of this work was to verify the influence of commercial surfactant (Ultranex-18 an Ultranex-18-50) in the molecular distillation of a crude oil. The physicochemical characterization of the oil was realized and the petroleum shown an API gravity of 42°, a light oil. Initially, studied the molecular distillation without surfactant using star design experimental (2H ± ) evaluated two variables (evaporator temperature and condenser temperature) and answer variable was the percentage in distillate obtained in the process (D%). The best experimental condition to molecular distillation oil (38% distillate) was obtained at evaporator and condenser temperatures of 120 °C and 10 ° C, respectively. Subsequently, to determine the range of surfactant concentration to be applied in the process, was determined the critical micellar concentration by the technique of scattering X-ray small angle (SAXS). The surfactants Ultranex-18 an Ultranex-18-50 shown the critical micelle concentration in the range of 10-2 mol/L in the hydrocarbons studied. Then, was applied in the study of distillation a concentration range from 0.01 to 0.15 mol/L of the surfactants (Ultranex- 18 and 50). The use of the nonionic surfactant increased the percentage of hydrocarbons in the range from 5 to 9 carbons in comparison to the process carried out without surfactant, and in some experimental conditions the fraction of light compounds in the distilled was over 700% compared to the conventional process. The study showed that increasing the degree of ethoxylation of Ultranex18 to Ultranex-50, the compounds in the range of C5 to C9 reduced the percentage in the distilled, since the increase of the hydrophilic part of the surfactant reduces its solubility in the oil. Finally, was obtained an increase in the degree of recovery of light hydrocarbons, comparing processes with and without surfactant, obtained an increase of 10% and 4% with Ultranex-18 and Ultranex-50, respectively. Thus, it is concluded that the Ultranex- 18 surfactant showed a higher capacity to distillation compared with Ultranex-50 and the application of surfactant on the molecular distillation from petroleum allowed for a greater recovery of light compounds in distillate

Sistemas de dunas do parque das Dunas e Barreiras do Inferno/Natal (RN: levantamento geológico /geofísico, elaboração do modelo deterministico e avaliação da vulnerabilidade/suscetibilidade

The current work was developed on the dune systems of the Parque das Dunas and Barreira do Inferno. These places are located in the cities of Natal and Parnamirim (RN, Brazil), respectively. This project has the purpose of developing the deterministic model on a specific blowout at Parque das Dunas, based in the geophysical interpretations of the lines gotten with the Ground Penetration Radar and the planialtimetric acquisitions of the topographical surface of the land. Also analyses of the vulnerability/susceptibility of these dune systems had been done in relation to the human pressures. To develop its deterministic model, it is necessary to acquire inner and outer geometries of the cited blowout. In order to depict inner geometries underneath the surface are used the GPR observing the altimetric control for topographical correction of the GPR lines. As for the outer geometries, the geodesic GPS gives us the planialtimetric points (x, y and z points) with milimetric precision, resulting in high-resolution surfaces. Using interpolation methods of the planialtimetric points was possible create Digital Elevations Models (DEM´s) of these surfaces. As a result, 1,161.4 meters of GPR lines were acquired on the blowout at the Parque das Dunas and 3,735.27 meters on the blowout at the Barreira do Inferno. These lines had been acquired with a 200 MHz antenna, except the 7 and 8 lines, for which we had been used a 100 MHz antenna. The gotten data had been processed and interpreted, being possible to identify boundary surfaces of first, second and third order. The first order boundary surface is related with the contact of the rocks of the Barreiras Group with the aeolian deposits. These deposits had been divided in two groups (Group 1 and Group 2) which are related with the geometry of stratum and the dip of its stratifications. Group 1 presented stratum of sigmoidal and irregular geometries and involved bodies where the reflectors had presented dips that had varied of 20 to the 28 degrees for the Parque das Dunas blowout and of 22 to the 29 degrees for the Barreira do Inferno blowout. Usually, it was limited in the base for the first order surface and in the top for the second order surface. Group 2 presented stratum of trough, wedge or lens geometries, limited in the base for the second order vi surface, where the corresponding deposits had more shown smoothed reflectors or with dips of low angle. The Deterministic and Digital Elevation Models had been developed from the integration and interpretation of the 2D data with the GOCAD® program. In Digital Elevations Models it was possible to see, for the localities, corridor or trough-shaped blowouts. In Deterministic Model it was possible to see first and second order boundary surfaces. For the vulnerability/susceptibility of the dune systems it was applied the methodology proposal by Boderè al (1991); however the same one did not show adequate because it evaluates actual coastal dunes. Actual coastal dunes are dunes that are presented in balance with the current environmental conditions. Therefore, a new methodology was proposal which characterizes the supplying and activity sedimentary, as well as the human pressures. For the methodology developed in this work, both the localities had presented a good management. The Parque das Dunas was characterized as a relic dune system and the Barreira do Inferno was characterized as a palimpsestic dune system. Also two Thematic Maps had been elaborated for the environmental characterization of the studied dune systems, with software ArcGis 8.3, and its respective data bases

Detecção de áreas degradadas na sub-bacia hidrográfica do rio taperoá/pb, utilizando parâmetros físicos dos sensores modis/terra e tm/landsat

This study includes the results of the analysis of areas susceptible to degradation by remote sensing in semi-arid region, which is a matter of concern and affects the whole population and the catalyst of this process occurs by the deforestation of the savanna and improper practices by the use of soil. The objective of this research is to use biophysical parameters of the MODIS / Terra and images TM/Landsat-5 to determine areas susceptible to degradation in semi-arid Paraiba. The study area is located in the central interior of Paraíba, in the sub-basin of the River Taperoá, with average annual rainfall below 400 mm and average annual temperature of 28 ° C. To draw up the map of vegetation were used TM/Landsat-5 images, specifically, the composition 5R4G3B colored, commonly used for mapping land use. This map was produced by unsupervised classification by maximum likelihood. The legend corresponds to the following targets: savanna vegetation sparse and dense, riparian vegetation and exposed soil. The biophysical parameters used in the MODIS were emissivity, albedo and vegetation index for NDVI (NDVI). The GIS computer programs used were Modis Reprojections Tools and System Information Processing Georeferenced (SPRING), which was set up and worked the bank of information from sensors MODIS and TM and ArcGIS software for making maps more customizable. Initially, we evaluated the behavior of the vegetation emissivity by adapting equation Bastiaanssen on NDVI for spatialize emissivity and observe changes during the year 2006. The albedo was used to view your percentage of increase in the periods December 2003 and 2004. The image sensor of Landsat TM were used for the month of December 2005, according to the availability of images and in periods of low emissivity. For these applications were made in language programs for GIS Algebraic Space (LEGAL), which is a routine programming SPRING, which allows you to perform various types of algebras of spatial data and maps. For the detection of areas susceptible to environmental degradation took into account the behavior of the emissivity of the savanna that showed seasonal coinciding with the rainy season, reaching a maximum emissivity in the months April to July and in the remaining months of a low emissivity . With the images of the albedo of December 2003 and 2004, it was verified the percentage increase, which allowed the generation of two distinct classes: areas with increased variation percentage of 1 to 11.6% and the percentage change in areas with less than 1 % albedo. It was then possible to generate the map of susceptibility to environmental degradation, with the intersection of the class of exposed soil with varying percentage of the albedo, resulting in classes susceptibility to environmental degradation