18.4 从实际时间算法到逻辑时间算法的变换＊