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...

Shot Peening process relies on multiple impacts of spherical media to a surface to achieve residual compressive stresses. This results in improved material characteristic.0utofthetwomethodd propeilingshotsforpeeningviz. Airless Shot Peening and Pneumatic Shot Peeningthis papercteals with essentials of centrifugal Blasting Machine and converting a centrifugal Airless Blast Machine to a Shot Peen...

Along with many material failures due to worn steel components, HVOF (High Velocity Oxygen Fuel) coating based abradable can be solution overcome this problem. However, abradable-conductive is still rarely used for coating, therefore it needs investigation find out the optimum parameters of process. In work, surface treatment on substrate was carried by different methods such blasting, etching,...