5.7 时序逻辑建模实例