依靠压力和时间来调节喷油量的装置叫（ ）泵。