坑内开采时,在采矿进行以前所开掘的各种井巷和硐室的数量叫掘进量。它是计算掘进效率、采掘比、掘进单位成本等技术经济指标的基础。掘进量按工程性质不同,分为地质探矿、生产探矿、生产开拓、采矿准备、切割巷道等五部分,这五部分相加之和即等于总的掘进量。
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。