将气体冷却，由气相变为液相的过程叫（）。