4.3 计算模型与基本假设