真空泵是获得高于大气压强的一种机械设备。