Sistemas de automação e supervisão do laboratório de avaliação dos processos de medição de vazão e BSW

During a petroleum well production process, It is common the slmultaneous oil and water production, in proportion that can vary from 0% up to values close to 100% of water. Moreover, the production flows can vary a lot, depending on the charaeteristies of eaeh reservoir. Thus being, the meters used in field for the flow and BSW (water in the oil) measurement must work well in wide bands of operation. For the evaluation of the operation of these meters, in the different operation conditions, a Laboratory will be built in UFRN, that has for objective to evaluate in an automatic way the processes of flow and BSW petroleum measurement, considering different operation conditions. The good acting of these meters is fundamental for the accuracy of the measures of the volumes of production liquid and rude of petroleum. For the measurement of this production, the petroleum companies use meters that should indicate the values with tha largast possible accuracy and to respect a series of conditions and minimum requirements, estabelished by the united Entrance ANP/INMETRO 19106/2000. The laboratory of Evafuation of the Processes of Measurement of Flow and BSW to be built will possess an oil tank basically, a tank of water, besides a mixer, a tank auditor, a tank for separation and a tank of residues for discard of fluids, fundamental for the evaluation of the flow metars and BSW. The whole process will be automated through the use of a Programmable Logicat Controller (CLP) and of a supervisory system.This laboratory besides allowing the evaluation of flow meters and BSW used by petroleum companies, it will make possible the development of researches related to the automation. Besides, it will be a collaborating element to the development of the Computer Engineering and Automation Department, that it will propitiate the evolution of the faculty and discente, qualifying them for a job market in continuous growth. The present work describes the project of automation of the laboratory that will be built at of UFRN. The system will be automated using a Programmable Logical Controller and a supervisory system. The programming of PLC and the screens of the supervisory system were developed in this work

Ideais formativos de homem da emissora de Educação Rural de Caicó (Rio Grande do Norte, 1963-1978)

Under the aegis of the third diocese bishop of Caicó, Dom Manuel Tavares de Araújo, the Broadcasting Station of Rural Education of that city was founded, in May 1 s" 1963 with the ideal of being then an educational city, preferentially for youths and adults, rural meu and women of the arca of Seridó in Rio Grande do Norte state. In the year of its 40th birthday (2003), we began the investigation of that radio station choosing as study object its educational and formative programming, in the inc1usion of the first fifteen years of its existence (1963-1978), period that reaches the official inauguration of the Radio Station and the end of the bishopric of its fOllllder as Bishop of Caicó. Elucidating and showing Man's formative ideaIs longed by that Catholic educational broadcasting station, underlying to its radiophonic programming, such as the idealization for it reached, is the objective of this Doctorate work. It was considered pertinent to discover the guidelines that historically have permeated the Social Doçtrine of the Catholic Church addressing its aggiornamento, especially in what concerns to the employment of the modern ways of communication for the distance with the aim of evangelizing and educating. In arder to understand the ideaIs of the investigated educational Radio, we have delimited the research to the thematic Catholic Church, means of social communication and base education. In face of the study object and the aim to be reached it was appealed, methodologically, to the notion of cultural action present in Certeau (1995), and to the understanding of educational formation backgrounded fIam the modern thinkers that discuss it. Such frame references have allowed us to analyze in a wider spectrum tl)e programming broadcasted on the air by the sound wavys of that educ(itional Çatholic Radio, as well as, the very acts of cultural idealizations that has orientated it in its foundations. The thesis here defended is that. the Radio, at procJaiming itself as a broadcasting station of rural education directed preferably to the rural sertanejo countrymen, without neglecting its admitted ends, has surpassed them in its overall range. It was identified an articulate approach of its programmatic modules with the guid,elines emanateq from the Catholic Teaching about the use of the. means of social communication. At conceiving, establishin,g and executing an ec1ectic programmatic and div,ersified grating, the Rural Radio of Caicó has transcended to a strict human-Christian formation to request the development of the human, spiritual and cQrporaldimensions, jointly. With suchprogramming, it addressed to the seridoenses as real meu and women inserted in the "sertanej.o" environment with effective structural and existential problems of alI types, induding the hunger, the thirst, the syndical organization, the cQoperativism, the colIective modero work and the absence of universalizing school education. Its radiophonic transmissions, I}lled by the demands of an enlarged, open, dialogic and responsible communication, wheneIllbracing dedicated modules to religious and catechetical emissions, to the entertainment, to the radiojoumalism, to the country root culture, and to the school education of b se for the modality of the School and of the radiophonic classes, subsumed to ideaIs that longed for the formation of a multifaceted and pluridimensional sertanejo Man; of men and women that, without abjuring the Catholicism, were able to understand, to dialogued and to live together with the general demands of a society in progressive mutation, whose economical, social, cultural and educational demands it IDade themselves to be felt through the sertão potiguar of the Serido region, equal way of the intemationalized world

Uma perspectiva de extensão do modelo de aceitação de tecnologia para explicar o uso de linguagens de desenvolvimento WEB: pesquisa com desenvolvedores Pyton e Java

The spread of the Web boosted the dissemination of Information Systems (IS) based on the Web. In order to support the implementation of these systems, several technologies came up or evolved with this purpose, namely the programming languages. The Technology Acceptance Model TAM (Davis, 1986) was conceived aiming to evaluate the acceptance/use of information technologies by their users. A lot of studies and many applications have used the TAM, however, in the literature it was not found a mention of the use of such model related to the use of programming languages. This study aims to investigate which factors influence the use of programming languages on the development of Web systems by their developers, applying an extension of the TAM, proposed in this work. To do so, a research was done with Web developers in two Yahoo groups: java-br and python-brasil, where 26 Java questionnaires and 39 Python questionnaires were fully answered. The questionnaire had general questions and questions which measured intrinsic and extrinsic factors of the programming languages, the perceived usefulness, the perceived ease of use, the attitude toward the using and the programming language use. Most of the respondents were men, graduate, between 20 and 30 years old, working in the southeast and south regions. The research was descriptive in the sense of its objectives. Statistical tools, descriptive statistics, main components and linear regression analysis were used for the data analysis. The foremost research results were: Java and Python have machine independence, extensibility, generality and reliability; Java and Python are more used by corporations and international organizations than supported by the government or educational institutions; there are more Java programmers than Python programmers; the perceived usefulness is influenced by the perceived ease of use; the generality and the extensibility are intrinsic factors of programming languages which influence the perceived ease of use; the perceived ease of use influences the attitude toward the using of the programming language

Um sistema para estimação da vazão de gás de poços produzindo por Plunger Lift para vaso separador de teste em plataformas de petróleo

This work intends to analyze the behavior of the gas flow of plunger lift wells producing to well testing separators in offshore production platforms to aim a technical procedure to estimate the gas flow during the slug production period. The motivation for this work appeared from the expectation of some wells equipped with plunger lift method by PETROBRAS in Ubarana sea field located at Rio Grande do Norte State coast where the produced fluids measurement is made in well testing separators at the platform. The oil artificial lift method called plunger lift is used when the available energy of the reservoir is not high enough to overcome all the necessary load losses to lift the oil from the bottom of the well to the surface continuously. This method consists, basically, in one free piston acting as a mechanical interface between the formation gas and the produced liquids, greatly increasing the well s lifting efficiency. A pneumatic control valve is mounted at the flow line to control the cycles. When this valve opens, the plunger starts to move from the bottom to the surface of the well lifting all the oil and gas that are above it until to reach the well test separator where the fluids are measured. The well test separator is used to measure all the volumes produced by the well during a certain period of time called production test. In most cases, the separators are designed to measure stabilized flow, in other words, reasonably constant flow by the use of level and pressure electronic controllers (PLC) and by assumption of a steady pressure inside the separator. With plunger lift wells the liquid and gas flow at the surface are cyclical and unstable what causes the appearance of slugs inside the separator, mainly in the gas phase, because introduce significant errors in the measurement system (e.g.: overrange error). The flow gas analysis proposed in this work is based on two mathematical models used together: i) a plunger lift well model proposed by Baruzzi [1] with later modifications made by Bolonhini [2] to built a plunger lift simulator; ii) a two-phase separator model (gas + liquid) based from a three-phase separator model (gas + oil + water) proposed by Nunes [3]. Based on the models above and with field data collected from the well test separator of PUB-02 platform (Ubarana sea field) it was possible to demonstrate that the output gas flow of the separator can be estimate, with a reasonable precision, from the control signal of the Pressure Control Valve (PCV). Several models of the System Identification Toolbox from MATLAB® were analyzed to evaluate which one better fit to the data collected from the field. For validation of the models, it was used the AIC criterion, as well as a variant of the cross validation criterion. The ARX model performance was the best one to fit to the data and, this way, we decided to evaluate a recursive algorithm (RARX) also with real time data. The results were quite promising that indicating the viability to estimate the output gas flow rate from a plunger lift well producing to a well test separator, with the built-in information of the control signal to the PCV

Processamento embarcado aplicado a um sistema de deteccão de vazamentos

Embedded systems are widely spread nowadays. An example is the Digital Signal Processor (DSP), which is a high processing power device. This work s contribution consist of exposing DSP implementation of the system logic for detecting leaks in real time. Among the various methods of leak detection available today this work uses a technique based on the pipe pressure analysis and usesWavelet Transform and Neural Networks. In this context, the DSP, in addition to do the pressure signal digital processing, also communicates to a Global Positioning System (GPS), which helps in situating the leak, and to a SCADA, sharing information. To ensure robustness and reliability in communication between DSP and SCADA the Modbus protocol is used. As it is a real time application, special attention is given to the response time of each of the tasks performed by the DSP. Tests and leak simulations were performed using the structure of Laboratory of Evaluation of Measurement in Oil (LAMP), at Federal University of Rio Grande do Norte (UFRN)

Recanto do vale do pium: condomínio de habitações com ênfase no baixo impacto ambiental e no desempenho térmico do ambiente construído

This work describes the design process of a small recreational gated community in Pium, Nísia Floresta/RN, from concept to final design stages, with emphasis on low environmental impact, thermal comfort and the spatial quality of housing. The process consisted in a review of the literature and relevant standards, studies of design references and architectural programming. The project development was initially focused on the project’s feasibility, with the definition of the number of units, implantation, size and location of the dwellings and the common areas of the development. Two types of houses (four low rise and five duplex units) have been proposed in order to attend the premises of architectural programming. The conception of the architectural design began with the rooms’ zoning according to the lots. This resulted in the pre-selection of three alternatives that were evaluated in terms of spatial quality and environmental performance. The development of sketches focused on the envelope consistent with the bioclimatic guidelines and on the language of the compatible proposal with the lowest possible environmental impact of the building system, which resulted in the selection of the eucalyptus wood type. During the working drawings, the Quality Technical Regulation for the Level of Energy Efficiency Residential Buildings (RTQ -R) was adopted for the evaluation of the envelope, which resulted in "B" level of efficiency for the first case. After minor adjustments, mainly in frames, the efficiency level rose to "A", demonstrating that early project decisions contributed to the envelope energy performance. Besides the design of the two types of units, the final proposal of the gated community includes the design of the equipment for the common areas (entrance, multipurpose room and support and service sector), and the descriptive texts explaining the project and construction’s details.

Sobre formas e processos: projeto de um condomínio de casas a partir de princípios da gramática da forma

With the intention of studying and developing the design process based on a specific methodology, the object of this work is to present the design of a gated condominium community in Natal based on the application of principles of shape grammar, used in their design process. The shape grammar is a design method developed in the 1970s by George Stiny and James Gips. It is used for the analysis of the project as well as for its synthesis, with the goal of creating a "formal vocabulary" through mathematical and/or geometrical operations. Here, the methodology was used in the synthesis of the design process, through the relationship between formal subtractions and the houses’ architectural planning. As a result, five dwellings configurations were proposed, each one different from the other with respect to their shape and architectural programming, distributed in three twin groups, which are repeated until the final total of nine architectural volumes. In addition to studies of the condominium’s ventilation and the buildings’ shading simulations, studies of spatial flexibility and acoustic performance were also performed. The mapping of the design process, one of the specific objectives of the dissertation, was composed not only by the record of formal constraints (the preparation and application of rules), but also by physical, environmental, legal and sustainability aspects in relation to, on one hand, the optimization of the shading and passive ventilation for hot and humid climates, and, on the other hand, the modulation and rationalization of the construction.

Automação residencial microcontrolada para transmissão de dados via rede elétrica

This work deals with the specification and the implementation of a protocol for controlling communication between two programmable interface microcontrollers (PIC), using power line communication (PLC), making communication more secure and economically viable. The Protocol was implemented in C language, with reference to some protocols developed for automotive use. A circuit to test the communication between the PLC and the Protocol was also implemented.

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