我国冶金矿山井巷掘进广泛应用（）掏槽。