5.2.2 模型的构建与形式化