Drill and blast is the most cost-effective excavation method for underground construction, however, vibration noise, induced by blasting, have been consistently reported as problems. Cut blasting has widely employed to reduce blast-induced problems during excavation. We propose that large hole boring using state-of-the-art MSP (Multi-setting smart-investigation of ground pre-large boring) machi...

Supercritical CO2 phase change fracturing technology has been widely used in rock engineering. However, the surface vibration characteristics induced by breaking have not sufficiently studied. In this paper, a model for calculating velocity supercritical was established based on time-domain recursive method, and reliability of verified using LS-DYNA nonlinear finite element software; blasting e...

In the field of hardware and software verification, many applications require to determine satisfiability of first-order-logic with respect to one or more background theories, also referred to as Satisfiability Modulo Theories (SMT). The majority of these applications relies on bit-precise reasoning as provided by SMT solvers for the quantifier-free theory of fixed-size bit-vectors, often combi...

Ground vibrations caused by blasting are undesirable results in the mining industry and can cause serious damage to the nearby buildings and facilities; therefore, controlling such vibrations has an important role in reducing the environmental damaging effects. Controlling vibration caused by blasting can be achieved once peak particle velocity (PPV) is predicted. In this paper, the values of P...