the spatial distribution of petrophysical properties within the reservoirs is one of the most importantfactors in reservoir characterization. flow units are the continuous body over a specific reservoirvolume within which the geological and petrophysical properties are the same. accordingly, anaccurate prediction of flow units is a major task to achieve a reliable petrophysical description of a...

The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such as ubiquitous computing, telepresence and the network as one giant global database. The paper applies to the network the metaphor of global database, and subsumes the aspects of ubiquity and telepresence under it. It ...

State Machines (alias evolving algebras as defined by Y. Gurevich) have been used to specify languages (e.g. Prolog, C++, VHDL) and architectures (e.g. PVM, APE100, Transputer, DLX), to validate standard language implementations (e.g. of Prolog, Occam), to verify numerous distributed and real-time protocols, etc.. See [2] for a recent survey and general discussion of the approach. In this talk,...

Cluster algebras are a remarkable discovery of S. Fomin and A. Zelevinsky [FZI]. Cluster algebras are certain commutative algebras defined by a very simple and general data. Below we consider only cluster algebras of geometric origin, which are quite general and probably the most important examples of cluster algebras. We show that a cluster algebra of geometric origin is part of a richer struc...

The spatial distribution of petrophysical properties within the reservoirs is one of the most important factors in reservoir characterization. Flow units are the continuous body over a specific reservoir volume within which the geological and petrophysical properties are the same. Accordingly, an accurate prediction of flow units is a major task to achieve a reliable petrophysical description o...

This paper describes our experience in using coordinated atomic (CA) actions as a system structuring tool to design and validate a sophisticated control system for a complex industrial application that has high reliability and safety requirements. Our study is based on an extended production cell model, the specification and simulator for which were defined and developed by FZI (Forschungszentr...

Sarvak formation, with the middle cretaceous (Cenomanian) age, is one of the stratigraphic units of the Bangestan group in the southern Iran. The carbonate rocks of this formation form the reservoir rock in the study field. Generally, Sarvak formation is subdivided into three members including Mishrif, Khatiyah, and Maddud in the Persian Gulf, and the average thickness of the reservoir unit (i....