利用干冰（固态二氧化碳）进行人工降雨的主要过程中，涉及到的物态变化的名称是：干冰在高空中直接变成气体，高空中的水蒸气遇冷直接变成冰晶，冰晶下落时变成雨．