3.15.3 真空泵的类型