1 计算模型和假设