Increasing the production rate and minimizing the related costs, while optimizing the safety measures, are nowadays’ most important tasks in the mining industry. To these ends, mechanization of mines could be applied, which can result in significant cost reductions and higher levels of profitability for underground mines. The potential of a coal mine mechanization depends on some important fact...

This paper is a study of the ventilation, cooling and refrigeration system design of the Mindola copper mine in Zambia. The challenges that were addressed varied from the restrictions imposed by an ageing infrastructure to the requirement for increasing the annual production rate, coupled to the introduction of a higher level of mechanization while maintaining acceptable conditions and limiting...

Platinum mining in South Africa is typically undertaken on thin seams having low to moderate dip and huge lateral extent. The relatively poor grades dictate a high requirement for capital, but the extent of the orebodies provides a very long life of mine in which to recover that capital. Historical mining practice has been dominated by hand operated drill and blast methods, although the industr...

the main goal followed in the present study is to investigate the effect of developed plans on mechanization evolution and employment in the agricultural sector. time series approach was applied. according to the results of the vec model, substitution relationship between machine and labor accepted. in general, one unit of mechanization coefficient is substituted for one million employments in ...

This artifact contains the accompanying code for the ECOOP 2015 paper: “A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization”. It contains source files for a full mechanization of the three languages presented in the paper: CAMP (Calculus for Aggregating Matching Patterns), NRA (Nested Relational Algebra) and NNRC (Named Nested Relational Calculus). Translations...

The Ad hoc On-demand Distance Vector (AODV) routing protocol allows the nodes in a Mobile Ad hoc Network (MANET) or a Wireless Mesh Network (WMN) to know where to forward data packets. Such a protocol is ‘loop free’ if it never leads to routing decisions that forward packets in circles. This paper describes the mechanization of an existing pen-and-paper proof of loop freedom of AODV in the inte...