煤矿用新设备、新工艺说明.