nitrogen oxides and carbon monoxide gases together with dust are known as the major pollutants arising during the blasting operations using the ammonium nitrate-fuel oil (anfo) explosive at the sungun surface mine, located in the northwest of iran. the pollutants were monitored during some blasting operations at the mine. it was concluded that the gases and dust clouds initially went up to the ...

Bit-blasting is the main approach for solving word-level constraints in SAT Modulo Theories (SMT) for bit-vector logics. However, in practice it often reaches its limits, even if combined with sophisticated rewriting and simplification techniques. In this paper, we extended a recently proposed alternative based on stochastic local search (SLS) and improve neighbor selection based on down propag...

The worldwide mining industry consumes a vast amount of energy in reduction fragment size from to mineral processing with an extremely low-energy efficiency, particularly ore crushing and grinding. Regarding such situation, this article describes the effects rock fragmentation by blasting on consumption, productivity, minerals’ recovery, operational costs whole chain processing, sustainability ...

Blasting complaints are consuming an increasing amount of time and resources. This worsening situation has spawned new methods for relaying the public’s concerns. The direct measurement of crack response to both long term environmental and blast vibration effects with the same sensor exemplifies one new approach, which can be helpful in the process of educating quarry neighbors about the large ...

a considerable amount of energy is released in the form of shock wave from explosive charge detonation. shock wave energy is responsible for the creation of crushing and fracture zone around the blast hole. the rest of the shock wave energy is transferred to rock mass as ground vibration. ground vibration is conveyed to the adjacent structures by body and surface waves. geological structures li...

The paper presents the design of bridge blasting demolition scheme. methods has become preferred method for not only in war period but also where service life is exceeded. Compared with other method, evince more advantages as higher demolishing progress, lower cost and easier construction safety control. scheme contents position, parameters protections.

The accurate selection of a processing plant site can result in decreasing total mining cost. This problem can be solved by multi-criteria decision-making (MCDM) methods. This research introduces a new approach by integrating fuzzy AHP and gray MCDM methods to solve all decision-making problems. The approach is applied in the case of a copper mine area. The critical criteria are considered adja...

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

We develop a procedure called RiPE (Retrieval-induced Phylogeny Environment) that automatically performs an evolutionary analysis of a protein (sub)family, (i) by retrieving the relevant sequences via a homology search, (ii) by using the search report to construct the alignment using only homologous subsequences (taking into account their neighborhood with a low chance of homology), (iii) by re...

The branch-and-bound framework has already been successfully applied in SAT-modulo-theories (SMT) solvers to check the satisfiability of linear integer arithmetic formulas. In this paper we study how it can be used in SMT solvers for non-linear integer arithmetic on top of two real-algebraic decision procedures: the virtual substitution and the cylindrical algebraic decomposition methods. We im...