高地温矿井开采期间的热害防治技术
고지온광정개채기간적열해방치기술