A one-dimensional branching-coalescing model is considered on a chain of length L with reflecting boundaries. We study the phase transitions of this model in a canonical ensemble by using the Yang-Lee description of the non-equilibrium phase transitions. Numerical study of the canonical partition function zeros reveals two second-order phase transitions in the system. Both transition points are...

The present work involves numerical simulation of a steady, incompressible forcedconvection fluid flow through a matrix of porous media between two parallel plates at constanttemperature. A Darcy model for the momentum equation was employed. The mathematical model forenergy transport was based on single phase equation model which assumes local thermal equilibriumbetween fluid and solid phases. ...

This paper presents a deterministic mathematical model, which simulates the time-dependent behavior of an oil spill near coastal zones. The model solves the full set of partial-differential equations that govern transient, two-phase, turbulent flow and heat/mass transfer phenomena. It is used for predicting the consequences of hypothetical oil spills that could occur near a coastal area of grea...

Jennings, Paul, "Unbounded-2-bounded: a two-phase approximation for model checking unbounded until properties of probabilistic systems" (2011). Graduate Theses and Dissertations. Paper 12134.

A high temperature and shear rate capillary viscometer has been designed, constructed and recently commissioned. This device will be used to measure the viscosity of semi-solid metals under the high temperature and shear rate conditions, similar to those found in industry. Design criteria for the device included a requirement for a highly controllable temperature (±1oC) up to 650oC, capability ...

Abstract. We consider a system of N phase oscillators having randomly distributed natural frequencies and diagonalizable interactions among the oscillators. We show that, in the limit of N → ∞, all solutions of such a system are incoherent with probability one for any strength of coupling, which implies that there is no sharp transition from incoherence to coherence as the coupling strength is ...

We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs the behaviour of a process within a process class. The rules give rise to a transition system that models the behaviour of the protocol. By exploiting the homogeneous behavior of a process within a particular class it is...