(真空泵用油量计算)