煤矿要有矿领导带班并与（）同时下井、同时升井。