An algorithm is presented to numerically treat a free boundary problem arising in the theory of phase transition. The problem is one in which a collection of simple closed curves (particles) evolves in such a way that the enclosed area remains constant while the total arclength decreases. Material is transported between particles and within particles by diiusion, driven by curvature which expre...

Unsteady-state (USS) core flood experiments provide data for deriving twophase relative permeability and capillary pressure functions. The experimental data is uncertain due to measurement errors, and the accuracy of the derived flow functions is limited by both data and modeling errors. History matching provides a reasonable means of deriving in-phase flow functions from uncertain unsteady-sta...

We describe a theoretical model of the fluid flow, heat transfer and phase change which occurs when liquid is injected into a fracture bounded by a hot, impermeable rock. We first consider the case of a warm host rock, in which there is no boiling of the water. We then develop the model to describe the case in which the host rock temperature is in excess of the boiling temperature and the water...

We present an enumerative model-checker PV that uses a new partial order reduction algorithm called Twophase. This algorithm does not use the in-stack check to implement the proviso, making the combination of Twophase with on-the-fly LTL-X model-checking based on nested depth-first search, as well as with selective state caching very straightforward. We present a thorough evaluation of PV in te...

This study provides a comprehensive methodology for optimizing the design of a twophase micro-channel heat sink. The heat sink parameters are grouped into geometrical parameters, operating parameters, and thermal/fluid parameters. The objective of the proposed methodology is to optimize micro-channel dimensions in pursuit of acceptable values for the thermal/fluid parameters corresponding to a ...

The analysis of the history of structured packings allows the conclusion that the innovation cycle will become faster. Based on the separation power as an alternative way to represent the performance characteristics an estimate of the next level of what might be the ultimative separation power is given. Regarding the column internals like distributors only slight improvements are expected, typi...

Geologic carbon storage is considered to be one of the main solutions to significantly reduce CO2 emissions to the atmosphere to mitigate climate change. CO2 injection in deep geological formations entails a twophase flow, being CO2 the non-wetting phase. One of the main concerns of geologic carbon storage is whether the overpressure induced by CO2 injection may compromise the caprock integrity...

The PHOENICS code is employed to perform numerical simulations of gas-liquid two-phase bubbly flows in large vertical flow channels. Air-water and steam-water flows in large diameter pipes are simulated using the built-in two-fluid option of the code where liquid and gas are modeled as two interacting continua. The code is utilized in conjunction with advanced twophase flow models, accounting f...

This paper is concerned with numerical methods for twophase incompressible flows assuming a sharp interface model for interfacial stresses. Standard continuum models for the fluid dynamics in the bulk phases, for mass transport of a solute between the phases and for surfactant transport on the interface are given. We review some recently developed finite element methods for the appropriate disc...

We perform energy estimates for a sharp-interface model of two-dimensional, twophase Darcy flow with surface tension. A proof of well-posedness of the initial value problem follows from these estimates. In general, the time of existence of these solutions will go to zero as the surface tension parameter vanishes. We then make two additional estimates, in the case that a stability condition is s...