Bit-precise reasoning is essential in many applications of Satisfiability Modulo Theories (SMT). Most approaches for solving quantifier-free fixed-size bit-vector logics (QF BV) rely on bit-blasting. In previous work, we have shown that bit-blasting is not polynomial in general [19], and later proposed QF BV 1, a class of bit-vector problems that is PSpace-complete [15]. In this paper, we give ...

Blasting has been proven to be the most cost-effective method for rock excavation known man. The cost-effectiveness advantage of blasting is overshadowed by its unpleasant environmental problems, particularly at construction sites close human settlements and public utilities. Therefore, efforts are required develop closed-form equations that can accurately predict problems associated with blast...

Bit-precise reasoning is essential in many applications of Satisfiability Modulo Theories (SMT). In recent years, efficient approaches for solving fixed-size bit-vector formulas have been developed. Most of these approaches rely on bit-blasting. In [1], we argued that bit-blasting is not polynomial in general, and then showed that solving quantifier-free bit-vector formulas (QF BV) is NExpTime-...

The paper discusses operations aimed at creating a safer natural or man made rock slope by artificially inducing the displacement of unstable elements by blasting. A detailed analysis of the problems with the use of explosives present when conducting these activities is carried out focusing on the advantages and disadvantages of this technology. The results of two examples of demolition of inst...

One of the key outcomes of blasting in mines is found to be rock fragmentation which profoundly affects downstream expenses. In fact, size prediction of rock fragmentation is the first leap towards the optimization of blasting design parameters. This paper makes an attempt to present a model to predict rock fragmentation using Mutual Information (MI) in Meydook copper mine. Ten parameters are c...

OBJECTIVES This study compared the effect of hexamethyldisiloxane (HMDSO) and ammonia (NH3) plasmas on the bond strength of resin cement to fiber posts with conventional treatments. MATERIALS AND METHODS Sixty-five fiber posts were divided into 5 groups: Control (no surface treatment); H2O2 (24% hydrogen peroxide for 1 min); Blasting (blasting with aluminum oxide for 30 sec); NH3 (NH3 plasma ...

Like most limestone mines, which produce the raw materials required for cement companies, the transportation cost of the raw materials used in the Shahrood Cement Company is high. It has been tried to build the crushing and grinding plant close to the mine as much as possible. On the other hand, blasting has harmful effects, and the impacts of blast-induced damages on the sensitive machinery, e...

This study examines in soccer fanzine two identity management strategies – BIRGing and blasting -of two groups of highly identified soccer fans with allegiance to the same team. Results showed strong support for the BIRG phenomenon among both ultra fans groups but little evidence of the blasting phenomenon among either group. The implications of these findings are discussed in regards to social...

Flyrock is one of the major disturbances induced by blasting which may cause severe damage to nearby structures. This phenomenon has to be precisely predicted and subsequently controlled through the changing in the blast design to minimize potential risk of blasting. The scope of this study is to predict flyrock induced by blasting through a novel approach based on the combination of imperialis...

This paper presents the field testing results of an autonomous manipulator-based robotic system that strips the paint and rust from steel bridges [Liu et al., 2008]. The key components of this system are sensing and planning, which have been presented in other research papers. The grit-blasting field trial presented in this paper spanned 6 weeks, and included 20 hours over 4.5 days of actual gr...