Along with many material failures due to worn steel components, HVOF (High Velocity Oxygen Fuel) coating based abradable can be solution overcome this problem. However, abradable-conductive is still rarely used for coating, therefore it needs investigation find out the optimum parameters of process. In work, surface treatment on substrate was carried by different methods such blasting, etching,...

Among many theories supported by SMT solvers, the theory of finite-precision bit-vector arithmetic is one of the most useful, for both hardware and software systems verification. This theory is also particularly useful for some specific domains such as cryptography, in which algorithms are naturally expressed in terms of bit-vectors. Cryptol is an example of a domain-specific language (DSL) and...

We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to solving nonlinear constraints, while using branch and bound in a conflict-directed manner. We report encouraging experimental results where the new procedure outperforms state-of-the-art SMT solvers based on bit-blasting.

Abstract Blasting is widely employed as an accepted mechanism for rock breakage in mining and civil activities. As environmental side effect of blasting, flyrock should be investigated precisely open-pit operations. This paper proposes a novel integration artificial neural network fuzzy cognitive map (FCM) with Z -number reliability information to predict distance mine blasting. The developed m...

UNLABELLED Some surface treatments performed on titanium can alter the composition of salivary pellicle formed on this abiotic surface. Such treatments modify the titanium's surface properties and can promote higher adsorption of proteins, which allow better integration of titanium to the biotic system. PURPOSE This study aimed to evaluate the interactions between salivary proteins and titani...

PROBLEM Blasting is a hazardous component of surface mining. Serious injuries and fatalities result from improper judgment or practice during rock blasting. This paper describes several fatal injury case studies, analyzes causative factors, and emphasizes preventive measures. METHOD This study examines publications by MSHA, USGS, and other authors. The primary source of information was MSHA's...

The assessment of fragmentation through blasting and therefore subsequent crushing and grinding stages is important in order to control and optimize the mining operation. Prediction of the mean size of fragmented rock by the rock mass characteristics, the blasting geometry, the technical parameters and the explosive properties is an important challenge for the blasting engineers. Some of the ef...

The use of blasting cost (BC) prediction to achieve optimal fragmentation is necessary in order to control the adverse consequences of blasting such as fly rock, ground vibration, and air blast in open-pit mines. In this research work, BC is predicted through collecting 146 blasting data from six limestone mines in Iran using the artificial neural networks (ANNs), gene expression programming (G...

ability to produce differentiated cell types and additional stem cells. Cells capable of proliferation and neurogen-*Division of Developmental Biology National Institute for Medical Research esis in such a paradigm, but which fail to self-renew, are best termed progenitor cells rather than stem cells. The Ridgeway, Mill Hill London NW7 1AA Detailed analyses demonstrating self-renewal have been ...