霍尔-埃鲁槽气体中氟化物挥发的数学模型