Image-based pore-scale modeling is an important method to study multiphase flow in permeable rocks. However, many rocks, the pore size distribution so wide that it cannot be resolved a single pore-space image, typically acquired using micro-computed tomography (micro-CT). Recent multi-scale models therefore incorporate sub-voxel porosity maps, created by differential micro-CT imaging of contras...

Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid flow are inferred from rock sample data. However, due to the limitations posed in the sample data (sparseness and noise), this method often yields inaccurate results. Consequently, production information is normally used...

l f Discominuity persistence has a major effect on rock mass resistance (strength) but, as direct mapping ofdiscominuities imemal to a rock mass is not possible, persistence is a difficult parameter to measure. As a result, the conservative approach of assuming full persistence is often taken. /n this paper a method is developed for relating rock mass stability and hence persistence to the geom...

Array processing languages such as APL, Matlab and Octave rely on dynamic typechecking by the interpreter rather than static typechecking and are designed for user convenience with a syntax close to mathematical notation. Functions and operators are highly overloaded. The price to be paid for this flexibility is computational performance, since the run-time system is responsible for type checki...

The use of a three dimensional Discrete Element Method (DEM) is proposed to study concrete submitted to rock-fall impacts. The model has already been validated through quasi-static, as well as dynamic simulations (SHPB tests). The simulation of four-point beam bending tests has validated the introduction of the reinforcement in the model. With this approach all the local parameters can be ident...

The global earthquake disaster happened frequently in recent years, how to guide the construction correctly in seismic area becoming a problem to be solved, while the study on the tunnel geological advanced prediction system in seismic area is limited. This paper established an integrated prediction system which was combined with engineering geology analysis and geophysical method combined with...

Type-and-effect systems are a powerful tool for program construction and verification. Type-andeffect systems are useful because it help reduce bugs in computer programs, enable compiler optimizations and provide program documentation. As software systems increasingly embrace dynamic features and complex modes of compilation, static effect systems have to reconcile over competing goals such as ...