14.3 时钟约束—内对内模型