Estudo da recuperação de óleo por drenagem gravitacional assistida por injeção de vapor

Steam assisted gravity drainage process (SAGD) involves two parallel horizontal wells located in a same vertical plane, where the top well is used as steam injector and the bottom well as producer. The dominant force in this process is gravitational. This improved oil recovery method has been demonstrated to be economically viable in commercial projects of oil recovery for heavy and extra heavy oil, but it is not yet implemented in Brazil. The study of this technology in reservoirs with characteristics of regional basins is necessary in order to analyze if this process can be used, minimizing the steam rate demand and improving the process profitability. In this study, a homogeneous reservoir was modeled with characteristics of Brazilian Northeast reservoirs. Simulations were accomplished with STARS , a commercial software from Computer Modelling Group, which is used to simulate improved oil recovery process in oil reservoirs. In this work, a steam optimization was accomplished in reservoirs with different physical characteristics and in different cases, through a technical-economic analysis. It was also studied a semi-continuous steam injection or with injection stops. Results showed that it is possible to use a simplified equation of the net present value, which incorporates earnings and expenses on oil production and expenses in steam requirement, in order to optimize steam rate and obtaining a higher net present value in the process. It was observed that SAGD process can be or not profitable depending on reservoirs characteristics. It was also obtained that steam demand can still be reduced injecting in a non continuous form, alternating steam injection with stops at several time intervals. The optimization of these intervals allowed to minimize heat losses and to improve oil recovery

Viabilidade técnica de uma rota não convencional para a produção de leite de cabra em pó em cooperativas do Rio Grande do Norte

Nowadays, Brazil has both the greatest goat herd and the greatest goat milk production of South America. The state of Rio Grande do Norte, located in northeast of Brazil, has an average year production of three thousand cubic meters of goat milk in natura. Part of this milk production is homemade and it comes from small farms, which unite in rural cooperatives created to encourage the production and implementation of industrial processes for preservation and processing of milk. Results presented by literature and obtained from preliminary essays in this thesis show that non conventional dryer of spouted bed with inert particles is able to produce powder milk from in natura milk (cattle or goat), with the same quality of spray dryer, however, operating at low cost. The method of drying in spouted bed consists of injecting milk emulsion on the bed of inert particles gushed by hot air. This emulsion covers the particles with a thin film, which dries and is reduced to powder during the circulation of inerts inside the bed. The powder is dragged by exhaustion air and separated in the cyclone. The friction among particles resulted from the particles circulation, encourages high taxes of shear in the thin film of emulsion, breaking the cohesive forces and making this process possible. Studying the drying process and the powder goat milk production in one unit of spouted bed with inert particles, seeing the development of a low cost technological route for powder milk production is the aim of this thesis. The powder milk produced by this route must attend the local demand of food industries which need an intermediate product to be used as a food ingredient (ice-cream, milk candy). In order to reach this aim, this thesis approaches the aspects related to physical, thermodynamics and physic-chemicals characteristics of goat milk, whose complete data are still inexistent in the literature. The properties of materials are of great importance to the project of any process which involves the operations of transportation of movement, heat and mass quantity, such as the dryers which operate in fluid dynamically active regime, like the spouted bed. It was obtained new data related to the goat milk properties in function of concentration of solids and temperature. It is also important to mention the study developed about the kinetic of solids retention in the bed of inert particles during the drying of goat milk. It was found more adequate processes conditions to the proposed technological route to be implemented in small and micro-industries, with simplifications in the system of milk injection as well as in the form of operation of the dryer. Important data were obtained for a posterior stage of this research which involves the v modeling, simulation, control and optimization of the process. The results obtained in this thesis, in relation to process performance as well as to the quality of produced powder milk validate the proposal of using the spouted bed dryer in the production of powder goat milk

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs