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

in this study, analysis of actual data collected from sugar beet hybrid monogerm seed producers in the 2001 growing season and laboratory seed samples showed that delay in steckling sowing resulted in the reduction of raw and pure sugar beet seed yield and the increase of undersize seed portion. non-significant effect of sowing dates on unkernel seed percent showed that the high temperatures wi...

explosion has always been regarded as one of the most complicated engineering problems. as a result, many engineers have preferred rather simplified empirical approaches in comparison to extremely complex deterministic analyses. in this paper, however, a numerical simulation based on the combined finite/discrete element methodology is presented for analyzing the dynamic behavior of fracturing r...