基于Benet模型的公式推导