The research aims to investigate the failure characteristics of rock caused by blasting under high stress, explore energy generation and its transfer release in effects blasting. Physical experiments numerical simulations were performed. results showed that, as with AE time-series data, attenuation time activity increases number events, thereby decreasing overall stability samples. In terms spa...

The existence of karst cavities has an important impact on the safety foundation pit excavation projects. It is engineering guiding value to study influence blasting process pits and how optimize stiffness cement mortar improve effect. Based bench project Shenzhen Dayun Foundation Pit Project, this paper adopts SPH-FEM coupling calculation method cavities, cavity-filling water silt clay rock-bl...

In this paper, a control system in the domain of teleoperated service robots is presented. A reference architecture ACROSET has been analyzed and designed following a concurrent object modeling and architectural design methodology that uses UML as describing language. The architecture of the whole system has been implemented in a blasting robot for ship hullsGOYA –using Ada 95 and GLADE. Our pr...

Abstract Small-scale model blasting plays an important role in understanding mechanism of rock fragmentation by and improving blast technology mining engineering. Because a specimen (or model) often needs to be placed on either ground or another material blasting, additional interface appears between the material), compared with engineering that does not have such interface. In this paper, four...

We present a layered bit-blasting-free algorithm for existentially quantifying variables from conjunctions of linear modular (bitvector) equations (LMEs) and disequations (LMDs). We then extend our algorithm to work with arbitrary Boolean combinations of LMEs and LMDs using two approaches – one based on decision diagrams and the other based on SMT solving. Our experiments establish conclusively...

We present an algorithm for existentially quantifying variables from conjunctions of linear modular equalities (LMEs), disequalities (LMDs) and inequalities (LMIs). We use sound but relatively less complete and cheaper heuristics first, and expensive but more complete techniques are used only when required. Our experiments demonstrate that our algorithm outperforms alternative quantifier elimin...