The current study proposes a two-step approach for pore facies characterization in the carbonate reservoirs with an example from the Kangan and Dalanformations in the South Pars gas field. In the first step, pore facies were determined based on Mercury Injection Capillary Pressure (MICP) data incorporation with the Hierarchical Clustering Analysis (HCA) method. In the next step, polynomial meta...

Wave propagation is used as an advanced tool of determining elastic properties of rocks. In spite of being cheap and non destructive tests of rock mechanics, due to its modernity method is not yet replacing the traditional dear and destructive tests. In order to pave ways of replacing this test and making best use of it all effective factors of such method are to be assessed. One fundamental fa...

Inline caches effectively eliminate the overhead implied by dynamic typing. Yet, inline caching is mostly used in code generated by just-in-time compilers. We present efficient implementation techniques for using inline caches without dynamic translation, thus enabling future interpreter implementers to use this important optimization technique— we report speedups of up to a factor of 1.71—with...

Elixir is a functional programming language with dynamic typing. We propose gradual type system that makes it possible to perform type-checking on significant fragment of the language. An important feature does not require any syntactic change Elixir. Type information provided by means function signatures which are declared in terms typespec directives. The proposed based subtyping and backward...

Object-oriented scripting languages like JavaScript are popular, in part because of their dynamic features. These include the runtime modification of objects and classes, through addition of fields or updating of methods. These features make static typing difficult and usually dynamic typing is used. Consequently, errors such as access to non-existent members, are not detected until runtime. We...

There is a worldwide interest in the proper design of embankment dams to resist earthquake loadings. For the first time in Iran, a complete ambient vibration survey due to low-level loads such as wind, machinery activities, low level tectonic activities, and water exit from bottom outlet was performed on Marun embankment dam. These kinds of ambient vibration tests are suitable for manifesting t...

There is a worldwide interest in the proper design of embankment dams to resist earthquake loadings. For the first time in Iran, a complete ambient vibration survey due to low-level loads such as wind, machinery activities, low level tectonic activities, and water exit from bottom outlet was performed on Marun embankment dam. These kinds of ambient vibration tests are suitable for manifesting t...

Dynamic languages are becoming increasingly popular for different software development scenarios such as Web engineering, rapid prototyping, or the construction of applications that require runtime adaptiveness. These languages are built on the idea of supporting reasoning about (and customizing) program structure, behaviour and environment at runtime. The dynamism offered by dynamic languages ...