At each step, the model is refined and made more formal.
每一步中模型都进一步精化，更加形式化。
youdao
应用推荐
模块上移
模块下移
不移动