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 ...

This work studies the influence of several compositional effects on thermal and reactive processes. First, impact using a fully model in context simulations is considered. Detailed phase behavior models rely descriptions oil up to tens components. Lumping large number components into smaller pseudo-components order reduce computational cost standard practice for simulations. schemes are typical...

carbon dioxide flooding is considered to be one of the most effective enhanced oil recovery methods for the light oil reservoirs. depending on the operating pressure, the process might be miscible or immiscible. minimum miscibility pressure (mmp) is the most important parameter for assessing the applicability of any miscible gas flood for an oil reservoir. the miscibility condition is determine...

The measurement of the minimum miscibility pressure (MMP) is one of the most important steps in the project design of miscible gas injection for which several experimental and modeling methods have been proposed. On the other hand, the standard procedure for compositional studies of miscible gas injection process is the regression of EOS to the conventional PVT tests. Moreover, this procedure d...

This paper is motivated by the recent interest in the analysis of high dimensional microbiome data. A key feature of this data is the presence of ‘structural zeros’ which are microbes missing from an observation vector due to an underlying biological process and not due to error in measurement. Typical notions of missingness are insufficient to model these structural zeros. We define a general ...

Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that systems are frequently designed and verified in a modular approach, it is desirable that this relationship is compositional, which is not the case for hybrid systems in general. We identify subclasses of linear hybrid ...