岩层温度随着矿井开采深度的增大[]。