The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for conca-tention, which facilitates the proof of properties over trace histories. The eeectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Speciically, a safety property relating to the operation of a...

The three-dimensional geological model of Cangshang Gold Mine, including the geological database, ore body model and block model, was established by mining software Surpac, which simplified the complicated hand-drawing and reserve calculation. The three-Dimensional development system visualization was also studied on the basis of conducting the vectorization of the whole development system desi...

For several years, our research group has been developing methods for automated modeling of 3D environments. In September, 2002, we were given the opportunity to demonstrate our mapping capability in an underground coal mine. The opportunity arose as a result of the Quecreek mine accident, in which an inaccurate map caused miners to breach an abandoned, water-filled mine, trapping them for seve...

A technique that uses elastic waves to detect buried mines is being investigated. In the technique, an elastic wave is launched into the earth. It propagates and interacts with a buried mine causing displacements of both the mine and the surrounding soil. Because of the interactions of the wave with the mine, the soil surface displacements near the mine are quite different from those far from i...

Abstract: Mine ventilation system is critical for maintaining safe working conditions in an underground coal mine. At present, there exist some problems in developing mine ventilation software such as long development cycle, redevelopment, low commercialization and weak extensibility. The traditional digital mine ventilation systems is complicated to be modified or extended after published unle...

The MinD and MinE proteins of Escherichia coli self-organize into a standing-wave oscillator on the membrane to help align division at mid-cell. When unleashed from cellular confines, MinD and MinE form a spectrum of patterns on artificial bilayers - static amoebas, traveling waves, traveling mushrooms, and bursts with standing-wave dynamics. We recently focused our cell-free studies on bursts ...

Mining causes changes to the environment and rehabilitation is necessary at mine closure. There is a lack of appropriate frameworks for mine site rehabilitation. In most cases, restoring the mine to previous conditions is challenging. Alternatively, mining companies can engineer ecosystems to suit new site conditions and aim for a self-sustaining and resilient ecosystem. In ecosystem design the...

Since the first scientific observations on mining environments over 400 years ago, we have gained some phenomenal knowledge on mine, land and waterways degradation and related environmental protection issues. Yet today, we continue to be faced with numerous challenges, including the recurring failure of mine waste repositories, the unconstrained production of acid rock drainage and the widespre...