把封闭空间内抽至预定真空度的一种泵。