学科：坑探工程
词目：勘探掘进学
英文：exploration,excavation engineering
释文：以坑探工程的各项工程为体系，介绍其基本理论、施工工艺和技术以及设备材料等的理论知识和实践经验的一门应用工程技术学科。内容包括：岩石物理力学性质及分级、凿岩、爆破；通风、压气、排水与装岩运输提升；井巷掘进与地压支护等。[1]