Aplicações da teoria da percolação à modelagem e simulação de reservatórios de petróleo

In this thesis we study some problems related to petroleum reservoirs using methods and concepts of Statistical Physics. The thesis could be divided percolation problem in random multifractal support motivated by its potential application in modelling oil reservoirs. We develped an heterogeneous and anisotropic grid that followin two parts. The first one introduce a study of the percolations a random multifractal distribution of its sites. After, we determine the percolation threshold for this grid, the fractal dimension of the percolating cluster and the critical exponents ß and v. In the second part, we propose an alternative systematic of modelling and simulating oil reservoirs. We introduce a statistical model based in a stochastic formulation do Darcy Law. In this model, the distribution of permeabilities is localy equivalent to the basic model of bond percolation

Fractais e Percolação na Recuperação de Petróleo

The complex behavior of a wide variety of phenomena that are of interest to physicists, chemists, and engineers has been quantitatively characterized by using the ideas of fractal and multifractal distributions, which correspond in a unique way to the geometrical shape and dynamical properties of the systems under study. In this thesis we present the Space of Fractals and the methods of Hausdorff-Besicovitch, box-counting and Scaling to calculate the fractal dimension of a set. In this Thesis we investigate also percolation phenomena in multifractal objects that are built in a simple way. The central object of our analysis is a multifractal object that we call Qmf . In these objects the multifractality comes directly from the geometric tiling. We identify some differences between percolation in the proposed multifractals and in a regular lattice. There are basically two sources of these differences. The first is related to the coordination number, c, which changes along the multifractal. The second comes from the way the weight of each cell in the multifractal affects the percolation cluster. We use many samples of finite size lattices and draw the histogram of percolating lattices against site occupation probability p. Depending on a parameter, ρ, characterizing the multifractal and the lattice size, L, the histogram can have two peaks. We observe that the probability of occupation at the percolation threshold, pc, for the multifractal is lower than that for the square lattice. We compute the fractal dimension of the percolating cluster and the critical exponent β. Despite the topological differences, we find that the percolation in a multifractal support is in the same universality class as standard percolation. The area and the number of neighbors of the blocks of Qmf show a non-trivial behavior. A general view of the object Qmf shows an anisotropy. The value of pc is a function of ρ which is related to its anisotropy. We investigate the relation between pc and the average number of neighbors of the blocks as well as the anisotropy of Qmf. In this Thesis we study likewise the distribution of shortest paths in percolation systems at the percolation threshold in two dimensions (2D). We study paths from one given point to multiple other points

Fractais e percolação na recuperação de Petróleo

The complex behavior of a wide variety of phenomena that are of interest to physicists, chemists, and engineers has been quantitatively characterized by using the ideas of fractal and multifractal distributions, which correspond in a unique way to the geometrical shape and dynamical properties of the systems under study. In this thesis we present the Space of Fractals and the methods of Hausdorff-Besicovitch, box-counting and Scaling to calculate the fractal dimension of a set. In this Thesis we investigate also percolation phenomena in multifractal objects that are built in a simple way. The central object of our analysis is a multifractal object that we call Qmf . In these objects the multifractality comes directly from the geometric tiling. We identify some differences between percolation in the proposed multifractals and in a regular lattice. There are basically two sources of these differences. The first is related to the coordination number, c, which changes along the multifractal. The second comes from the way the weight of each cell in the multifractal affects the percolation cluster. We use many samples of finite size lattices and draw the histogram of percolating lattices against site occupation probability p. Depending on a parameter, ρ, characterizing the multifractal and the lattice size, L, the histogram can have two peaks. We observe that the probability of occupation at the percolation threshold, pc, for the multifractal is lower than that for the square lattice. We compute the fractal dimension of the percolating cluster and the critical exponent β. Despite the topological differences, we find that the percolation in a multifractal support is in the same universality class as standard percolation. The area and the number of neighbors of the blocks of Qmf show a non-trivial behavior. A general view of the object Qmf shows an anisotropy. The value of pc is a function of ρ which is related to its anisotropy. We investigate the relation between pc and the average number of neighbors of the blocks as well as the anisotropy of Qmf. In this Thesis we study likewise the distribution of shortest paths in percolation systems at the percolation threshold in two dimensions (2D). We study paths from one given point to multiple other points. In oil recovery terminology, the given single point can be mapped to an injection well (injector) and the multiple other points to production wells (producers). In the previously standard case of one injection well and one production well separated by Euclidean distance r, the distribution of shortest paths l, P(l|r), shows a power-law behavior with exponent gl = 2.14 in 2D. Here we analyze the situation of one injector and an array A of producers. Symmetric arrays of producers lead to one peak in the distribution P(l|A), the probability that the shortest path between the injector and any of the producers is l, while the asymmetric configurations lead to several peaks in the distribution. We analyze configurations in which the injector is outside and inside the set of producers. The peak in P(l|A) for the symmetric arrays decays faster than for the standard case. For very long paths all the studied arrays exhibit a power-law behavior with exponent g ∼= gl.

Efeitos do treino em esteira com suporte parcial de peso e do método de facilitação neuromuscular proprioceptiva na marcha hemiparética: estudo comparativo

Objective: To compare the effects of the treadmill training with partial body-weight support (TPBWS) and Proprioceptive Neuromuscular Facilitation (PNF) method on gait of subjects with chronic stroke. Design: Quasi-experimental study. Setting: Laboratorial research. Participants: Twenty-three subjects (13 men and 10 women), with a mean age of 56,7 ± 8,0 years and a mean time since the onset of the stroke of 27,7 ± 20,3 months, and able to walk with personal assistance or assistive devices. Interventions: Two experimental groups underwent gait training based on PNF method (PNF group, n=11) or using the TPBWS - Gait Trainer System 2, Biodex, USA (TPBWS group, n=12), for three weekly sessions, during four weeks. Measures: Evaluation of motor function - using the Stroke Rehabilitation Assessment of Movement (STREAM) and the motor subscale of the Functional Independence Measure (motor FIM) -, and kinematic gait analyze with the Qualisys System (Qualisys Medical AB, Gothenburg, Sweden) were carried out before and after the interventions. Results: Increases in the STREAM scores (F=49.189, P<0.001) and in motor FIM scores (F=7.093, P=0.016), as well as improvement in symmetry ratio (F=7.729, P=0.012) were observed for both groups. Speed, stride length and double-support time showed no change after training. Differences between groups were observed only for the maximum ankle dorsiflexion over the swing phase (F=6.046, P=0.024), which showed an increase for the PNF group. Other angular parameters remain unchanged. Conclusion: Improvement in motor function and in gait symmetry was observed for both groups, suggesting similarity of interventions. The cost-effectiveness of each treatment should be considered for your choice

Os Centros de Especialidades Odontológicas como suporte da atenção básica: uma avaliação na perspectiva da integralidade

The public dental services in Brazil were limited, practically, to the basic care, so that the specialized services acted, up to 2002, no more than 3,5% of the total of clinical procedures. That lower offer reveals the difficulty of continuity of the attention, that is, the comprehensiveness in the assistance, particulary, the reference and counter-reference system. Brasil Sorridente search to supply those needs when proposing Speciality Dental's Centers(CEOs Centros de Especialidades Odontológicas, Brazil) to compose the services of average complexity. In 2005, Ministry of Health enabled the three CEOs of Natal, located in the North II, East and West Sanitary Districts. This investigation evaluated the implantation of these CEOs, as support of the family health care teams, in the perspective of organization of the services in assistencial nets in Natal/RN. It was a study of evaluation, with qualitative approach and some quantitative data as contribution. Dentists, users and managers were interviewed to identify and to understand their perceptions, relationships and experiences in the daily of the services. The conceptual base that orientated the investigation was the principle of comprehensiveness, in its operational sense of the hierarchization in health attention levels. The collection of data was done with documental research, direct observation and semi-structured interview. The analysis was accomplished by triangulation of the extracted content from the used techniques and sources of interviewed groups depositions, looking for theoretical-conceptual support in specific bibliography. The results pointed aspects that go away from the comprehensiveness like: low resolution of problems in the basic net; little valorization of the space in the health units; traditional models of access to health services, insufficient offer for some specialties, compromising the reference and counter-reference system; practices centered in procedures in the CEO; bureaucratic directions from basic care to the specialized service; disintegrated and disjointed system among levels of attention; disrespect to the municipal protocol. On the other hand, there is an approach of compreensiveness in situations like: increase of the access and covering in the Family Health Strategy (ESF Estratégia Saúde da Família, Brazil); larger approach between professional and user; tendency to the quantitative and qualitative growth of specialized actions; punctual initiatives of relationships among levels; existence of protocol to guide professionals

Adolescentes e jovens e suas bases de apoio :relações de amizade como suporte social no enfrentamento à violência

The purpose of this work is to map the family and community social supports for adolescents and young students from Bom Pastor Distric, West Zone of Natal/RN, as well as to describe how such resources are used by these individuaIs in that community. Social support refers not only to formal activities or organizations, but also to spontaneous or informal forms of support - friendship and solidarity nets available in the community, affective relations that are meaningful in the lives of children and young people. Our discussion is based on a research performed with 382 adolescents and young students from Jean Mermoz Public School (students from 5th to 11th grades, aged 13 to 14). We emphasized the situations of violence derived from family or community spheres faced by these students. In relation to this specific aspect, we observed the participants more frequently look for help from the informal social supports, mostly from their friends, which indicates that the formal ones are not considered to be effective instruments for social assistance. The search for informal social supports shows the relations informally established in the streets (for instance when they look for help from friends, rei atives or neighbors) have more effect and play an important role in which there are values and affections exchange. Thinking the strengthening of these social links is of extreme importance and leads to the weakening of the hegemonic logics focused on the production of subjects as private identities, and to the amplification of an ethics committed to the disassembly of a sociability anchored to fear, impotence, intolerance, discrimination, and reduction of spaces for circulating and confronting mechanisms of social exclusion. It is crucial that we concentrate our attention to building friendship as a system of reciprocity and affective exchanges, as a space for political actions and production of forms of lives that are potent against social anesthesia

Suporte ao uso de álcool e drogas na atenção primária: um estudo com equipes de Natal/RN

National surveys indicate that 6.8 % of the brazilian population is dependent on alcohol and 1 % dependent on illicit drugs, representing a significant portion of the population affected by this issue . Primary Care becomes instrumental in expanding the coverage of this demand and in reducing unnecessary referrals for specialized care. This study aimed to investigate the responsiveness and institutional support of Primary Care Teams in relation to the demands of alcohol and drugs users. The research was conducted in a Family Health Unit in West Sanitary District of Natal City. With quantitative and qualitative nature, our study consisted of two stages. At first, we performed a mapping of alcohol and other drugs abusive use in a sample of the population assisted by Family Heath Teams, using sociodemographic questionnaire and ASSIST (Alcohol, Smoking and Substance Involvement Screening Test). 406 questionnaires were completed. Of these questionnaires, 27.8% are men and 72.2% women, of which 56% are between 20 and 39 years-old, they are housewives, have a stable relationship and are consumers of tobacco (37.6%), marijuana (13%) and especially alcohol (57%). In second stage, two Conversation Circles with Family Health Teams and the referential Family Health Support Center were formed to discuss the data of the mapping realized in the previous phase. The circles, which had participation of 20 of the 37 professional teams from Family Health and 2 from Family Health Support Center, showed a lack of professional training in the subject; inability of the healthcare network in the user embracement; belief of professionals that nothing can be done when matter is alcohol and drugs; and referencing as the only care action performed by teams. Thus we point out the need to support an approach on issues of alcohol and drugs which consider gender issues, investing in Harm Reduction Policy as a possibility of working in this context for recognizing each user in their uniqueness and strategizing with them to promote health in a broad and contextualized way

A percepção de suporte organizacional dos novos servidores da Universidade Federal do Rio Grande do Norte

This work deals with organizational support perception-OSP. This is done considering staff global beliefs, value of their contributions, care and well being related of individuals in an organization. These issues has been have been present in many researches since the 80s. It is important to analyze this matter considering all the changes that occurred nationally and internationally in the academic environment, characterized as being diversified in academic and managerial level. This occurs especially in Brazil since Federal Universities and their agents have suffered impact and restructuring. The research has emphasized the technical-managerial as well as professor staff level at Universidade Federal do Rio Grande do Norte aiming to deal with their unsatisfaction upon social political support. Thus, there was participation of 259 staff that were admitted from 2003 to 2005 in many sectors and units of the university. These subjects were submitted to a social and demographical query through an application of a scale of organizational support perception-OSP. Descriptive and multivariate analysis was done considering factors (management style of higher command), material support, wages, work overload, social support at work and ascending levels). Results show that there a hierarchy of the analyzed factors, the factor social support at work as being the first one with 3,31%, the factor management style of the higher command in second with 3,30%, then followed by the factor social support at work with 2,92%, in a sequence the factor material support, factor overload with 2,49% in the fourth position, and in the fifth place, the factor ascending with an average of 2,33% and in last the factor wages with 2,20%. It is concluded that the factors related to the more positive attributions of the OSP (social support at work), in a sequence material support opposing from the most negative factors of the OSP (wages, overload, ascending) reveal a reality that points out that the OSP is very much related to the individualized actions of the members of the organization (leader-member-group) rather than on structure and institutionalized actions carried out at UFRN

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Reengenharia do framework cosmos: uma solução para prover suporte e adaptações abertas.

Self-adaptive software system is able to change its structure and/or behavior at runtime due to changes in their requirements, environment or components. One way to archieve self-adaptation is the use a sequence of actions (known as adaptation plans) which are typically defined at design time. This is the approach adopted by Cosmos - a Framework to support the configuration and management of resources in distributed environments. In order to deal with the variability inherent of self-adaptive systems, such as, the appearance of new components that allow the establishment of configurations that were not envisioned at development time, this dissertation aims to give Cosmos the capability of generating adaptation plans of runtime. In this way, it was necessary to perform a reengineering of the Cosmos Framework in order to allow its integration with a mechanism for the dynamic generation of adaptation plans. In this context, our work has been focused on conducting a reengineering of Cosmos. Among the changes made to in the Cosmos, we can highlight: changes in the metamodel used to represent components and applications, which has been redefined based on an architectural description language. These changes were propagated to the implementation of a new Cosmos prototype, which was then used for developing a case study application for purpose of proof of concept. Another effort undertaken was to make Cosmos more attractive by integrating it with another platform, in the case of this dissertation, the OSGi platform, which is well-known and accepted by the industry

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Sustentabilidade ambiental do cultivo intensivo de Tilápias (Oreochromis niloticus) em tanques-rede e a capacidade de suporte de quatro reservatórios em uma região semi-árida tropical

Intensive production of tilápias, in cages or net tanks, has been proposed as an alternative to increase fish production, that would generate income and offer animal protein in different tropical and subtropical countries. However, this system of production enriches the aquatic environment with nutrients, principally nitrogen and phosphor derived from the dejections of the metabolism of food and eventual food surpluses consumed by the fishes; the alimentation of the fishes in this production modality is dependent on fish food. The emission of these nutritions in levels above the limit that the system is capable metabolize can provoke a phenomenon called eutrofization, putting in risk the quality of water for public and for fish production activities. In this context the work had as a goal to evaluate the trófico state of the four reservoirs for intensive production of tilapias in net-tanks, in other words, he maximum fish production that the reservoirs are able to hold, keeping the desired quantity of nutrient concentrations in water for public use. The results of the four ecosystems in the Boqueirão de Parelhas reservoir showed that it s possible to have an intensive production of tilapias in net tanks, in this environment the annual average concentration of phosphor, was below the considered critical limits to deflagrate the process of eutrofization in semi-arid regions. The carrying capacity of the Boqueirão de Parelhas reservoir depends on the conversion of the feeding facts and phosphor content in the food but it should vary between 100 and 300 tons per year over a variation in the conversion feeding factor of 1,7 to 2,0:1 and a variation in the P in the food of 0,7 to 0,9%

Análise de superfícies seletivas em frequência com geometria multifractal

Frequency Selective surfaces are increasingly common structures in telecommunication systems due to their geometric and electromagnetic advantages. As a matter of fact, the frequency selective surfaces with fractal geometry type would allow an even bigger reduction of the electrical length which provided greater flexibility in the design of these structures. In this work, we investigated the use of multifractal geometry in frequency selective surfaces. Three structures with different multifractal geometries have been proposed and analyzed. The first structure allowed the design of multiband structures with greater flexibility in controlling the resonant frequencies and bandwidth. The second structure provided a bandwidth increase even with the rising of the fractal level. The third structure showed response with angle stability, dual polarization and provided room for a bandwidth increase with the rising of the structural multifractality. Furthermore, the proposed structures increased the degree of freedom in the multiband designs because they have multiple resonant frequencies ratios between adjacent bands and are easy to deploy. The validation of the proposed structures was initially verified through simulations in Ansoft Designer software and then the structures were constructed and the experimental results obtained

Modelagem computacional para avaliação da interação entre painéis de alvenaria e estrutura de suporte em concreto armado

The developed study proposes a new computer modeling efficient and easy to apply in usual project situations to evaluate the interaction between masonry panels and support structure. The proposed model simulates the behavior of the wall exclusively using frame finite elements, thus compounding an equivalent frame. The validation was performed in two ways: firstly, through the analysis of various panels of generic plans, comparing the results obtained from equivalent frame model with the ones from a reference model, which uses shell finite elements in discretization of the walls; and in a second step, comparing with the results of the experimental model of Rosenhaupt. The analyzes considered the linear elastic behavior for materials and consisted basically in the evaluation of vertical displacements and efforts in support beams, and tensions at the base of walls. Was also evaluated, from flat and threedimensional modeling of some walls from a real project, important aspects of the wall-beam interaction, e.g.: the presence of openings of doors and windows, arranged in any position; conditions of support and linking of beams; interference of moorings between walls; and consideration of wind action. The analysis of the achieved results demonstrated the efficiency of the proposed modeling, since they have very similar aspects in the distribution of stresses and efforts, always with intensities slightly larger than those of the reference and experimental models.