（）排水设备是矿井排水的最主要的型式。