Scheil 法假设固体区域内溶质扩散为零，而 Lever 法则假设固体区域内溶质扩散为无穷大。反扩散模型在微观水平上使用一个无量纲参数 $\gamma$ 在 0 (在 Scheil 规则中没有扩散)与 1 (在 Lever 规则中无限扩散)之间建立有限固体扩散的微观模型。$\gamma$ 取决于凝固条件，如固体扩散系数、局部凝固时间和二次枝晶臂间距等。界面温度通过下式计算： $$T^{\ast }=T_{\mathrm{melt}}+\sum _{i=0}^{N_s-1}{m}_i{Y}_i{\left(1-\left(1-\gamma K_i\right)(1-\beta )\right)}^{\frac{K_i-1}{1-\gamma K_i}}$$ 当 Scheil 法包含反扩散时，组分扩散方程表示为： $$\begin{array}{rl}\frac{\partial \left(\rho Y_{i,\text{liq}}\right)}{\partial t}+\nabla \cdot \left(\rho \left[\beta \vec{v}{Y}_{i,\text{liq}}+\left(1-\beta \right){\vec{v}}_p{Y}_{i,\text{sol}}\right]\right)& =R_i\\ +\nabla \cdot \left(\rho \beta D_{i,m,\text{liq}}\nabla Y_{i,\text{liq}}\right)& \\ -K_i{Y}_{i,\text{liq}}\frac{\partial \left(\beta \left(1-\beta \right)\right)}{\partial t}& \\ +\frac{\partial \left(\rho \left(1-\beta \right)Y_{i,\text{liq}}\right)}{\partial t}& \\ -\gamma K_i\left(1-\beta \right)\frac{\partial \left(\rho Y_{i,\text{liq}}\right)}{\partial t}& \end{array}$$ 总组分质量分数与液体组分质量分数关系为： $$Y_{i,\text{sol}}=K_i{Y}_i{\left[1-\left(1-\gamma K_i\right)\left(1-\beta \right)\right]}^{\frac{K_i-1}{1-r{K}_i}}=K_i{Y}_{i,\text{liq}}$$