6.1 模型的形式化描述