全面描述自动化在煤矿领域的运用,以及自动化方面的理论知识