Well logs are principal sources of subsurface geological information. They provide significant information on mineralogical composition, texture, sedimentary structures and petrophysical properties such as porosity and permeability. By compiling data from various well logs, one can discriminate sedimentary units with comparable log characteristics. Sedimentary units with similar fluid flow and ...

Traditional static typing systems for the pi-calculus are built around capability types that control the read/write access rights on channels and describe the type of their payload. While static typing has proved adequate for reasoning on process behavior in typed contexts, dynamic techniques have often been advocated as more effective for access control in distributed/untyped contexts. We stud...

Landslides constitute a critical component of hazard in mountainous regions. With the help of related research results of modern artificial intelligence, the nonlinear dynamic model based on support vector machine is proposed. In order to reflect the displacement evolution rule of rock mass and judge its stability, the nonlinear dynamic model is combined with the nonlinear catastrophe theory. L...

The evaluation of local stability of the tunnel surrounding rock mass with weak rock layer is very important for the economy and security of the tunnel construction. Based on the rock tunnel geological conditions in the construction, the finite element model of the tunnel surrounding rock mass stability analysis with weak rock layer is established in the article by selecting the ABAQUS program ...

The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by deening an imperative programming language , ROCK, and a declarative, deductive language, ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement...

matching protects the identity of \hidden" representation types and prevents accidental matches in cases where several abstract types happen to have the same representation. On the other hand, transparent matching allows a more permissive style of programming, where a dynamically typed value of some abstract type is considered to be a value of a di erent version of \the same" abstract type. Thi...

This paper presents a work-flow process to describe and characterize tight gas sands. The ultimate objective of this work-flow is to provide a consistent methodology to systematically integrate both large-scale geologic elements and small-scale rock petrology with the physical rock properties for low-permeability sandstone reservoirs. To that end, our work-flow integrates multiple data evaluati...

Analysis on the current research status, this article studies on the dynamic subsidence principles of overburden rock strata during coal mining based on similar material simulation test. Close ranged industrial photogram metric system was introduced to collect data. After coordinate transformation, matching and model amendment, dynamic subsidence curves which can be used to analyze the continui...