蒸汽喷射泵、扩散泵或扩散喷射泵的加热时间

• Warm-up time for a vapor jet pump or a diffusion pump or a diffusion ejector pump