as recent advancements in biology shows, the molecular machines specially proteins, rna and complex molecules play the main role of the so called cell functionality. it means a very big part of the system biology is concerned with the interactions of such molecular components. drug industries and research institutes are trying hard to better understand the concepts underlying these interactions...

in this paper, we present a multi-formalism modeling framework (abbreviated by mfmf) for modeling and simulation. the proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. the framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

â understanding the flow behaviour in a gas well is crucial for future production strategies, obtaining bottomhole conditions from wellhead production data, analyzing production data and estimating reservoir properties. in this work, the pressure profile and flow regime are studied on four wells of a multi-well, multi-layer gas-condensate reservoir, producing at high rate. the wells are deviate...

avo analysis is a technique which is widely used in industry and is applied on seismic prestack data. results from changes in seismic wave reflection amplitude versus offset can be used in extracting elastic properties and hence lithology and reservoirs pore fluid identification. before performing avo analysis studies, processing steps should be ensured that changes in reflection amplitude are ...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...