结晶分异作用模型推导过程