油泵是（）的一种设备。