模型公式化

model formulation