1 旋转式真空泵 — rotary vacuum pump