提纲 立论依据 研究思路 研究内容 研究成果
分布式工作流系统的时间管理模型研究 周春姐 湖南科技大学 提纲 研究成果 立论依据 研究思路 研究内容
时间的相关概念 ■时间粒度: 如秒、分钟、小时、天、周、月、年等。 时间空间 某一确定的时区和时间粒度的所有时间点的集合 最小时间粒度 所有时间空间中时间粒度的最小值 工作日: 职员一天工作的时间 ■工作周: 职员一周工作的工作日数 法定假日: 例如:国庆节、劳动节、春节等。 工作时间段: 例如, WorkSeg[8:00-12:00]和W。kSeg14:00-17:30]
分布式工作流系统的时间管理模型研究 周春姐 湖南科技大学 时间的相关概念 ◼ 时间粒度： ➢ 如秒、分钟、小时、天、周、月、年等。 ◼ 时间空间： ➢ 某一确定的时区和时间粒度的所有时间点的集合。 ◼ 最小时间粒度： ➢ 所有时间空间中时间粒度的最小值 ◼ 工作日： ➢ 职员一天工作的时间 ◼ 工作周： ➢ 职员一周工作的工作日数。 ◼ 法定假日： ➢ 例如：国庆节、劳动节、春节等。 ◼ 工作时间段： ➢ 例如，WorkSeg[8:00–12:00]和WorkSeg [14:00–17:30]
日历和时钟的本体构造 日历: 对“年”、“月”、“周”、“天”等单位的描述与分析 结构为 callet(y,n,ux),表示y是x中,类型为u的第n个日历间隔 C时钟: 对“小时”、“分钟”、“秒等单位的描述与分析 结构为 clocklntly,n,u2x),表示y是x中,类型为u的第n个时钟间隔
分布式工作流系统的时间管理模型研究 周春姐 湖南科技大学 日历和时钟的本体构造 日历： ➢ 对“年”、“月”、“周”、“天”等单位的描述与分析 ➢ 结构为calInt(y,n,u,x)，表示y是x中，类型为u的第n个日历间隔。 时钟： ➢ 对“小时”、“分钟”、“秒”等单位的描述与分析 ➢ 结构为clockInt(y,n,u,x)，表示y是x中，类型为u的第n个时钟间隔
日历和时钟的本体构造 月份的表示 lyry, n, c)A mon(m, 1y)]E January(m,y) 月份中天数的表示: January(m,y) Hath(31, Day *, m) 星期的表示: dayofweeky, 1, x)= Sunday, x)
分布式工作流系统的时间管理模型研究 周春姐 湖南科技大学 日历和时钟的本体构造 月份的表示： [yr(y,n ,c) ∧ mon(m,1,y)] ≡ January(m,y) 月份中天数的表示： January(m,y) Hath(31,*Day*,m) 星期的表示： dayofweek(y,1,x) ≡ Sunday(y,x)
工作日的一般表示方法 Hah函数: 表示大间隔和小的日历和时钟间隔之间的关系 >结构为:Hah(N,u,x),它表示大间隔X是由粒度为u的N个小间隔所 组成的。 若某单位规定周一至周五每天工作8个小时,周六工作4个小 时,周日不工作,则可以表示为: T=Monday(y, x )VTuesdayly x)VWednessdayy, x)V Thursday, x)vFridayly, x))- Hath (8, *hours, T)i T=(Saturday(y, x))D Hath(4, *hour*,T' T=(Sunday(y, x) Hath(o, hour*, T)
分布式工作流系统的时间管理模型研究 周春姐 湖南科技大学 工作日的一般表示方法 ◼ Hath函数 ： ➢ 表示大间隔和小的日历和时钟间隔之间的关系。 ➢ 结构为：Hath(N,u,x)，它表示大间隔x是由粒度为u的N个小间隔所 组成的。 ◼ 若某单位规定周一至周五每天工作8个小时，周六工作4个小 时，周日不工作，则可以表示为： (Monday(y,x) Tuesday(y,x) Wednessday(y,x) Thursday(y,x) Friday(y,x)) Hath(8,*hour*, ) ； (Saturday(y,x)) Hath(4,*hour*, ) ； (Sunday(y,x)) Hath(0,*hour*, ) 。 ' T ' T ' T ' T ' T ' T