自动化技术在煤矿开采中的应用研究