13.2 时序约束方法