(工业用真空泵分类)