判断题 电子束焊机的真空系统中，活塞式或叶片式机械泵也被称为高真空泵。( )