constructing phase diagram and its subsequent quality lines for lean gas condensate reservoirs is always crucial and challenging topic in reservoir fluid studies. due to small amounts of liquid drop-outs in lean gas condensates at reservoir conditions, full experimental tracking of phase diagram and its relevant quality lines is almost impossible for lean gas condensates.on the other hand, eos ...

Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers. In this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using CUDD - Colorado Univer...

In this paper, static and dynamic behavior of a varactor of a micro-phase shifter under DC, step DC and AC voltages and effects of the residual stress on the phase diagram have been studied. By presenting a mathematical modeling, Galerkin-based step by step linearization method (SSLM) and Galerkin-based reduced order model have been used to solve the governing static and dynamic equations, resp...

This is one of several papers in which we explore the interrelationships among certain categories that can be taken as models for spectra and (highly structured) ring spectra. In this paper, we study certain categories of “diagram ring spectra” that are isomorphic to corresponding categories of “functors with smash product (FSP’s)”. The notion of an FSP was introduced by Bökstedt [2], and his u...