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

Previously conducted studies have established that the rationality of parameters medium-deep hole blasting is one main factors affecting effect. To solve problem parameter design and optimization in underground mines, a method based on crater tests numerical simulation analyses has been proposed this study. Based background deep mining Gaofeng Mine, two-hole model established, are simulated ana...

In the context of “carbon peaking” policy for mining companies, this study was conducted to clarify amount carbon emission reduction required each production process achieve peaking target companies. paper, after determining fair interval distribution, deviation index constructed, and a multiobjective distribution model mine established by combining objectives maximum stability efficiency with ...

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