in this paper, a simplified formulation for compositional reservoir simulator is presented. these types of simulators are used when inter-phase mass transfer depends on phase composition as well as pressure. the procedure for solving compositional model equations is completely described. for equilibrium calculation, property estimation peng robinson equation of state is used. this equation was ...

for technical and economic success of miscible gas injection projects, an accurate laboratory measurement of minimum miscibility pressure (mmp) at reservoir conditions is essential. on the other hand, compositional reservoir simulator is a useful tool in gas injection studies and prediction of mmp. the main goal of this paper is to describe a procedure to generate a three phase sequential type ...

In this paper, a simplified formulation for compositional reservoir simulator is presented. These types of simulators are used when inter-phase mass transfer depends on phase composition as well as pressure. The procedure for solving compositional model equations is completely described. For equilibrium calculation, property estimation Peng Robinson equation of state is used. This equation ...

For technical and economic success of miscible gas injection projects, an accurate laboratory measurement of Minimum Miscibility Pressure (MMP) at reservoir conditions is essential. On the other hand, compositional reservoir simulator is a useful tool in gas injection studies and prediction of MMP. The main goal of this paper is to describe a procedure to generate a three phase sequential t...

Many classes of data are composed as constructive combinations of parts. By ”constructive” combination, we mean additive combination that do not result in subtraction or diminishment of any of the parts. We will refer to such data as “compositional” data. Typical examples include population or counts data, where the total count of a population is obtained as the sum of counts of subpopulations....

Phenomena with a constrained sample space appear frequently in practice. This is the case, for example, with strictly positive data, or with compositional data, such as percentages or proportions. If the natural measure of difference is not the absolute one, simple algebraic properties show that it is more convenient to work with a geometry different from the usual Euclidean geometry in real sp...

The Parameterized Compositional Model Checking Problem (PCMCP) is to decide, using compositional proofs, whether a property holds for every instance of a parameterized family of process networks. Compositional analysis focuses attention on the neighborhood structure of processes in the network family. For the verification of safety properties, the PCMCP is shown to be much more tractable than t...