10. Giải thích các khái niệm về ràng buộc thời gian (delay, deadline, duration).

Màu nền
Font chữ
Font size
Chiều cao dòng

Delay: Sựràngbuộctrễchốtthờigian tốithiểu(delay)phảitrôiquagiữasựxuấthiệncủahaisự kiệnbấtkỳ.e1vàe2. Saukhie1xảyra,nếue2xảyrasớmhơnsovớithờigianchậm trễtốithiểu (delay)thìcoiđólàmộthànhviviphạmràngbuộctrễđượccholàxảyra.Mộthạnchếsựchậmtrễ

trêne2sự kiệncóthểđượcthểhiện chínhthứcnhưhình1.7.

Gọit(e1)vàt(e1)mốcthờigiantươngngcủacácskiệne1vàe2vàdsựchậmtrtối thiểu quy địnhte2.Mộtràng buộctrcủasựkiệne2vớiđốisựkiệne1đượcthhiệntronghình1.7. Trongđó,Δbiểuthkhoảngthờigiangiữasựxuấthiệncủahaiskiệne1vàe2vàdkhoảngcách tốithiểucầnthiếtgiữahaiskiện(sựchậmtrễ).Nórấtddàngđểthấyrằnge2phảixảyrasaukhi tạiđơnvịthờigianítnhấtdđãtrôiquaktsựxuấthiệncủae1,nếukhôngchúngtascómột hànhvi viphạmràngbuộctrễ.

                               t(e1)-t(e2)>=d

Deadline:Ràngbuộcthờihạn(deadline)chốtthờigianchophéptốiđacủaschbiệtgiữahai sựkiệntùyýe1vàe2. Nói cáchkc,skiệnthhai(e2)phảithựchiệntheocácsựkiệnđầutiên (e1) trongkhoảng thờigiantốiđachophép.Hãyxemtt(e1)vàt(e2) làmcthờigiantươngngvềsxuấthiệncủacácsựkiệne1vàe2vàdthờihạncuốicùngnhưhình1.8.Trongđó,Δbiểuthsự táchbiệtthực tếgiữathờiđiểm xảyrahaiskiện e1vàe2,vàdthời hạncuốicùng. Mộtrang buộc thờihạnngụýrằnge2phảixảyratrongđơnvịthờigiandsau khi e1 xảyra.Chúngta cóthnóirằng t (e1)vàt(e2)phảiđápứngràngbuộc:

                          t(e1)-t(e2)<=d

Duration:Mộtràngbuộckhoảngthờigian của mộtsự kiệnđượcxácđịnhbởikhoảngthờigianmà sựkiệnphảnứng. Nócóthểlàkhoảng thờigiantốithiểuhoặckhoảng thờigiantốiđa.Loạiràng buộc thờigiantốithiểuđòihỏirằng mộtkhisựkiệnbắtđầuthìsựkiệnđókhôngphảikếtthúc trướckhimộtthờigiantốithiểunhấtđịnh,trongkhimộtloạiràngbuộckhoảngthờigiantốiđa yêucầurằngmộtkhisựkiệnbắtđầu,sựkiệnđóphảikếtthúctrướckhimộtkhoảngthờigiantối đanhấtđịnhkếtthúc.

Bạn đang đọc truyện trên: Truyen2U.Pro