真空泵的定义及分类.doc