电气自动化在矿业方面的运用