6.5 替代计算模型和SDP