Rock typing is an essential part of building geological model for an asset. Millions of dollars are invested in logs, core measurements, SCAL studies and geological interpretation that result in definition of different rock types. In most caes rock types that are identified in a reservoir do not have crisp boundaries and display overlapping characteristics. During the upscaling process, multipl...

In this work the likelihood of asphaltene deposition problems during dynamic displacement of oil by natural gas in unconsolidated porous media is experimentally inspected. The two different rock materials, limestone and sandstone, are used as a representative of porous media. Dynamic flow experiments indicate that the increase of natural gas injection inc...

in this work the likelihood of asphaltene deposition problems during dynamic displacement of oil by natural gas in unconsolidated porous media is experimentally inspected. the two different rock materials, limestone and sandstone, are used as a representative of porous media. dynamic flow experiments indicate that the increase of natural gas injection increases asphaltene deposition in the unco...

Type-and-effect systems are a powerful tool for program construction and verification. We describe intensional effect polymorphism, a new foundation for effect systems that integrates static and dynamic effect checking. Our system allows the effect of polymorphic code to be intensionally inspected through a lightweight notion of dynamic typing. When coupled with parametric polymorphism, the pow...

To solve the problem of rutting and fatigue damage to asphalt pavement, rutting and fatigue performances of Qingchuan rock asphalt modified asphalt were studied, based on the dynamic shear rheometer test, the dynamic creep test, the rutting test, the indirect tensile fatigue test, the small-sized acceleration loading test, the compressive resilient modulus test, the BISAR3.0 Program and the rut...

As JavaScript is highly dynamic by nature, static information flow analyses are often too coarse to deal with the dynamic constructs of the language. To cope with this challenge, we present and prove the soundness of a new hybrid typing analysis for securing information flow in a JavaScript-like language. Our analysis combines static and dynamic typing in order to avoid rejecting programs due t...

considerations on the explosion resistant design of special infrastructures have increased in the recent years. amongst the various types of infrastructures, road and railway tunnels have a unique importance due to their vital role in connection routes in emergency conditions. in this study, the explosion effects of a projectile impacting on a railway tunnel located in a jointed rock medium has...

Title of dissertation: Combining Static and Dynamic Typing in Ruby Michael Furr Doctor of Philosophy, 2009 Dissertation directed by: Professor Jeffrey S. Foster Department of Computer Science Many popular scripting languages such as Ruby, Python, and Perl are dynamically typed. Dynamic typing provides many advantages such as terse, flexible code and the ability to use highly dynamic language co...

Gradual typing enables both static and dynamic typing in the same program and makes it convenient to migrate code regions between the two typing disciplines. One goal of gradual typing is to provide all the benefits of static typing, such as efficiency, in statically-typed regions. However, this goal is elusive: the standard approach to mutable references imposes run-time overhead in statically...