(机械真空泵的作用)