In every corner of the world, mining, as an important pillar of economic development, provides a steady stream of raw materials for all walks of life. However, while this industry promotes economic growth, it also brings huge energy consumption and environmental pressure. At present, the global mining industry accounts for about 11% of the world's total energy consumption, which is enough t...