新协同软件技术及应用 教学课件 汤庸 第4章　流程协同技术.pptVIP

07CA4 4.5.1　模糊时态工作流网 4)FO表示每个变迁的模糊触发时间(fuzzy occurrence time)的集合。5)D表示变迁的模糊触发延迟时间的集合。6)RVT：TOKEN→Q+×(Q+∪+∞),表示托肯的有效时间区间，记作［a,b］(a,b为时间点且0ab)，其中TOKEN表示托肯的集合，Q+表示正有理数的集合。7)TVT:T→Q+×(Q+∪+∞)，表示变迁的有效时间区间，记作［c,d］(c,d为时间点且0cd)。 07CA4 4.5.2　FTWF-nets中的时间计算 为方便讨论，这里的模糊时间集的隶属度函数采用梯形函数，则一个模糊时间可以表示为h(π1,π2,π3,π4)。模糊时间的梯形函数如图4-18所示。 07CA4 4.5.3　时间建模和时间可能性分析 图4-19　a≤b的时态关系可能性(b为模糊时间) 07CA4 4.5.3　时间建模和时间可能性分析 图4-20　a≤b的时态关系可能性(b为确定时间) 07CA4 4.5.4　实例研究 (1)在测定维生素C的有效成分含量之前，必须提出使用实验室的申请。(2)由于维生素C在空气中极易被氧化，因此在测定之前必须将样本溶解于一定浓度的酸性溶液中，这样可以保持维生素C的相对稳定。(3)用重铬酸钾与碘化钾反应生成碘单质。(4)利用碘单质对维生素C溶液进行滴定，并生成有效成分含量报告。 07CA