矿井的巷道断面测定