7.5.2 基于想定的SMP模型集成