Exotic semiring constraints arise in a variety of applications and in particular in the context of automated termination analysis. We propose two techniques to solve such constraints: (a) to model them using Boolean functions and integer linear arithmetic and solve them using an SMT solver (QF LIA, in certain cases also QF IDL); and (b) to seek finite domain solutions by applying unary bit-blas...

Underground mining becomes more efficient due to the technological advancements of drilling and blasting methods and the developing of highly productive mining methods that facilitate easier access to ore. In the perspective of maximizing productivity in underground mining by drilling and blasting methods, overbreak control is an essential component. The causing factors of overbreak can simply ...

Environmentally Safe and Effective Processes for Paint Removal Paint stripping and repainting of aircraft surfaces arc requircd periodically during thc operating lifetime of an aircraft. Historically, paint removal has been achieved using chemical strippers, involving materials which contain toxic components and which create hazardous working conditions. The process generates large amounts of h...

UNLABELLED The purpose of this study was to evaluate and compare the effect of grit blasting, chemical treatment, and application of alloy primer combinations on the shear bond strength (SBS) of a self-cure resin cement to titanium surface. MATERIALS AND METHODS Fifty cast commercially pure titanium discs (9 mm × 2 mm) were divided into five groups (n = 10), which received the following surfa...

By evaluation of the blasting results, a proper blast pattern can be presented. It is, therefore, essential to employ a reliable method to evaluate blastings for the effective control and optimization of the main cycle operations. This paper aims to propose a criterion for evaluating the blasting results such as the fragmentation, muckpile condition, back-break, and fly rock, and to make a poss...

This paper presents the effect of selected parameters of abrasive blasting on the strength of a joint between dental porcelain and metal base. Experiments were conducted for different grain sizes of abrasive material and different blasting angles, with a constant blasting pressure. InLine dental porcelain was fused on samples of cobalt-chromium alloy following abrasive blasting; they were subse...

For San-Xin gold and copper mine, deep blasting large block rate is high resulting in difficulty transporting the ore out; secondary not only increases costs but more likely to cause top bottom plate of underground become loose causing safety hazards. Based on research background Sanxin hole parameters were determined by single-hole, variable-hole pitch, oblique tests, further using inversion m...

Design of blasting parameters plays an important role in the optimization of mining cost as well as cost of subsequent processing of ore. Drilling and handling costs are the major mining cost. This work presents an indirect optimization model for mining cost, through optimization of blasting parameters for a particular set of drilling and loading equipment.

Ground vibration is one of the undesirable results of blasting operations. Different methods have been proposed to predict and control ground vibration that is caused by blasting. These methods can be classified as laboratory studies, fieldwork and numerical modeling. Among these methods, numerical modeling is the one which saves time and cuts costs since it takes into account the basic princip...

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