由气体转化为液体是什么过程.不知道是凝华还是什么