Many of the “new paradigms in mining” and notions of “sustainable mining” have at their core the requirement for reliable, continuous centimetre-level positioning accuracy to enable increased automation of mining operations. The deployment of precision systems for navigating, controlling and monitoring machinery such as drills, dozers, draglines and shovels with real time position information i...

Close-distance multilayer coal mining is common. Under the condition of extremely close-distance seams, it difficult to control surrounding rock large-span open-off cut roadways in multistress concentration areas. Based on engineering background 23616 roadway Chaili Coal Mine, this paper investigated influence upper close seam stress and deformation lower detail. The effect a high-strength pres...

The article presents the concept and development of an information system for environmental monitoring land parcels, that have already been robbed-out, are still being mined by open cut mining, through example research carried out on territory Kemerovo region - Kuzbass. paper system: data collection principle with use unmanned aerial vehicles, full attribute relational database model, which is ...

There are some large scale orebodies that extend from surface to the extreme depths of the ground. Such orebodies should be extracted by a combination of surface and underground mining methods. Economically, it is highly important to know the limit of upper and lower mining activities. This concern leads the mine designers to the transition problem, which is one of the most complicated problems...

We present cut-elimination as a method of proof mining, in the sense that hidden mathematical information can be extracted by eliminating lemmas from proofs. We present reductive methods for cutelimination and the method ceres (cut-elimination by resolution). A comparison of ceres with reductive methods is given and it is shown that the asymptotic behavior of ceres is superior to that of reduct...

The Minimum Capacity s-t Cut Problem (Min Cut) is an intensively studied problem in combinatorial optimization. In this paper, we study Min Cut when arc capacities are uncertain but known to exist in pre-specified intervals. This framework can be used to model many real-world applications of Min Cut under data uncertainty such as in open-pit mining or scheduling jobs on two processors. In this ...

In this paper, we study a generalization of the classical minimum cut problem, called Connectivity Preserving Minimum Cut (CPMC) problem, which seeks a minimum cut to separate a pair (or pairs) of source and destination nodes and meanwhile ensure the connectivity between the source and its partner node(s). The CPMC problem is a rather powerful formulation for a set of problems and finds applica...

E-Learning today has become widely accepted as a means of information and knowledge access and sharing for many learning applications. Despite the extensive growth E-learning systems and contents, it has to be noted that there are still many shortcomings that has led us to ask the question: Is E-Learning as it stands enough? E-Learning as it stands today is far from being assimilated fully into...