12.6.5 时间信息的推理计算