(真空泵的应用场合)