Browsing by Subject "Compositional"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
Item Compositional symbolic execution with memoized replay(2014-05) Qiu, Rui, active 21st century; Khurshid, Sarfraz; Yang, GuoweiSymbolic execution is a powerful, systematic analysis that has received much visibility in the last decade. Scalability however remains a major challenge for symbolic execution. Compositional analysis is a well-known general purpose methodology for increasing scalability. This thesis introduces a new approach for compositional symbolic execution. Our key insight is that we can summarize each analyzed method as a memoization tree that captures the crucial elements of symbolic execution, and leverage these memoization trees to efficiently replay the symbolic execution of the corresponding methods with respect to their calling contexts. Memoization trees offer a natural way to compose in the presence of heap operations, which cannot be dealt with by previous work that uses logical formulas as summaries for composi- tional symbolic execution. Our approach also enables an efficient treatment of error traces by short-circuiting the execution of paths that lead to them. Our preliminary experimental evaluation based on a prototype implementation in Symbolic PathFinder shows promising results.Item Development of a coupled wellbore-reservoir compositional simulator for horizontal wells(2010-12) Shirdel, Mahdy; Sepehrnoori, Kamy, 1951-; Ribeiro, Paulo R.Two-phase flow occurs during the production of oil and gas in the wellbores. Modeling this phenomenon is important for monitoring well productivity and designing surface facilities. Since the transient time period in the wellbore is usually shorter than reservoir time steps, stabilized flow is assumed in the wellbore. As such, semi-steady state models are used for modeling wellbore flow dynamics. However, in the case that flow variations happen in a short period of time (i.e., a gas kick during drilling) the use of a transient two-phase model is crucial. Over the last few years, a number of numerical and analytical wellbore simulators have been developed to mimic wellbore-reservoir interaction. However, some issues still remain a concern in these studies. The main issues surrounding a comprehensive wellbore model consist of fluid property calculations, such as black-oil or compositional models, governing equations, such as mechanistic or correlation-based models, effect of temperature variation and non-isothermal assumption, and methods for coupling the wellbore to the reservoir. In most cases, only standalone wellbore models for blackoil have been used to simulate reservoir and wellbore dynamic interactions. Those models are based on simplified assumptions that lead to an unrealistic estimation of pressure and temperature distributions inside the well. In addition, most reservoir simulators use rough estimates for the perforation pressure as a coupling condition between the wellbore and the reservoir, neglecting pressure drops in the horizontal section. In this study, we present an implementation of a compositional, pseudo steady-state, non-isothermal, coupled wellbore-reservoir simulator for fluid flow in wellbores with a vertical section and a horizontal section embedded on the producing reservoir. In addition, we present the implementation of a pseudo-compositional, fully implicit, transient two-fluid model for two-phase flow in wellbores. In this model, we solve gas/liquid mass balance, gas/liquid momentum balance, and two-phase energy equations in order to obtain the five primary variables: liquid velocity, gas velocity, pressure, holdup and temperature. In our simulation, we compared stratified, bubbly, intermittent flow effects on pressure and temperature distributions in either a transient or steady-state condition. We found that flow geometry variation in different regimes can significantly affect the flow parameters. We also observed that there are significant differences in flow rate prediction between a coupled wellbore-reservoir simulator and a stand-alone reservoir simulator, at the early stages of production. The outcome of this research leads to a more accurate and reliable simulation of multiphase flow in the wellbore, which can be applied to surface facility design, well performance optimization, and wellbore damage estimation.Item Development of a three-dimensional compositional hydraulic fracturing simulator for energized fluids(2013-08) Ribeiro, Lionel Herve Noel; Sharma, Mukul M.Current practices in energized treatments, using gases and foams, remain rudimentary in comparison to other fracturing fluid technologies. None of the available 3D fracturing models for incompressible water-based fluids have been able to capture the thermal and compositional effects that are important when using energized fluids, as their constitutive equations assume single-phase, single-component, incompressible fluid flow. These models introduce a bias in fluid selection because they do not accurately capture the unique behavior of energized fluids. The lack of modeling tools specifically suited for these fluids has hindered their design and field implementation. This work uses a fully compositional 3D fracturing model to answer some of the questions surrounding the design of energized treatments. The new model is capable of handling any multi-component mixture of fluids and chemicals. Changes in fluid density, composition, and temperature are predicted using an energy balance equation and an equation of state. A wellbore model, which relates the surface and bottomhole conditions, determines the pumping requirements. Fracture performance is assessed by a fractured well productivity model that accounts for damage in the invaded zone and finite fracture conductivity. The combination of the fracture, productivity, and wellbore models forms a standalone simulator that is suitable for designing and optimizing energized treatments. The simulator offers a wide range of capabilities, making it suitable for many different applications ranging from hydraulic fracturing to long-term injections for enhanced oil recovery, well clean-up, or carbon sequestration purposes. The model is applicable to any well configuration: vertical, deviated, or horizontal. The resolution of the full 3D elasticity problem enables us to propagate the fracture across multiple layers, where height growth is controlled by the vertical distribution of the minimum horizontal stress. We conducted several sensitivity studies to compare the fracture propagation, productivity, and pumping requirements of various fluid candidates in different reservoirs. The results show that good proppant placement and high fracture conductivities can be achieved with foams and gelled fluid formulations. Foams provide a wide range of viscosities without using excessive amounts of gelling agents. They also provide superior fluid-loss control, as the filter-cake is supplemented by the presence of gas bubbles that reduce liquid-flow into the porous medium. CO₂, LPG, and N₂ expand significantly (by 15% or more) as the reservoir heats the fluid inside the fracture. These fluids show virtually no damage in the invaded zone, which is a significant improvement upon water-based fluids in reservoirs that are prone to water blocking. These results, however, are contingent on an accurate fluid characterization supported by experimental data; therefore, our work advocates for complementary experimental studies on fluid rheology, proppant transport, and fluid leak-off. A comprehensive sensitivity study over a wide range of reservoir conditions identified five key reservoir parameters for fluid selection: relative permeability curve, initial gas saturation, reservoir pressure, changes to rock mechanical properties, and water-sensitivity. Because energized fluids provide similar rheology and leak-off behaviors as water-based fluids, the primary design question it to evaluate the extent of the damaged zone against costs, fluid availability, and/or safety hazards. If the fluid-induced damage is acceptable, water-based fluids constitute a simple and attractive solution; otherwise, energized fluids are recommended. Notably, energized fluids are well-suited for reservoirs that are depleted, under-saturated, and/or water-sensitive. These fluids are also favorable in areas with a limited water supply. As water resources become constrained in many areas, reducing the water footprint and the environmental impact is of paramount concern, thereby making the use of energized treatments particularly attractive to replace or subsidize water in the fracturing process.