8.2 计算模型和假定