时区的转化规则 时区的转化关系可表示为: timeof(ty, m, d, h, n, s,*EST") timeOf(ty, m, d, h, n, S,*CDT") timeof(ty,m,d,h,n,s,GMT)∧ hours(T=H∧ ends(t, T)A begins(t1, t)A timeof(t 1,y1, m1, d1, h1,n, s, *GMT") -timeof(ty1, m1, d1, h1, n, S, *PST分布式工作流系统的时间管理模型研究 周春姐 湖南科技大学 时区的转化规则 ◼ 时区的转化关系可表示为： timeOf(t,y,m,d,h,n,s,*EST*) ≡ timeOf(t,y,m,d,h,n,s,*CDT*) timeOf(t,y,m,d,h,n,s,*GMT*) ∧ hours(T) = H∧ ends(t,T)∧ begins(t1 ,T)∧ timeOf(t 1 ,y1 ,m1 ,d1 ,h1 ,n,s,*GMT*)  timeOf(t,y1 ,m1 ,d1 ,h1 ,n,s,*PST*)