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

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