矿井初步设计名词解释