Truyen2U.Net quay lại rồi đây! Các bạn truy cập Truyen2U.Com. Mong các bạn tiếp tục ủng hộ truy cập tên miền mới này nhé! Mãi yêu... ♥

rang buoc TG

Delay: Sự ràng buộc trễ chốt thời gian tối thiểu (delay) phải trôi qua giữa sự xuất hiện của hai sự kiện bất kỳ. e1 và e2. Sau khi e1 xảy ra, nếu e2 xảy ra sớm hơn so với thời gian chậm trễ tối thiểu (delay) thì coi đó là một hành vi vi phạm ràng buộc trễ được cho là xảy ra. Một hạn chế sự chậm trễ trên e2 sự kiện có thể được thể hiện chính thức như hình 1.7.

Hình 1.7 Ràng buộc thời gian trễ giữa hai sự kiện e1 và e2

Gọi t (e1) và t (e1) là mốc thời gian tương ứng của các sự kiện e1 và e2 và d là sự chậm trễ tối thiểu quy định từ e2. Một ràng buộc trễ của sự kiện e2 với đối sự kiện e1 được thể hiện trong hình 1.7. Trong đó, Δ biểu thị khoảng thời gian giữa sự xuất hiện của hai sự kiện e1 và e2 và d là khoảng cách tối thiểu cần thiết giữa hai sự kiện (sự chậm trễ). Nó rất dễ dàng để thấy rằng e2 phải xảy ra sau khi tại đơn vị thời gian ít nhất là d đã trôi qua kể từ sự xuất hiện của e1, nếu không chúng ta sẽ có một hành vi vi phạm ràng buộc trễ. 

t ( e1) - t ( e 2 )  lớn hơn hoặc bằngd

Deadline: Ràng buộc thời hạn (deadline) chốt thời gian cho phép tối đa của sự tách biệt giữa hai sự kiện tùy ý e1 và e2. Nói cách khác, sự kiện thứ hai (e2) phải thực hiện theo các sự kiện đầu tiên (e1) trong khoảng thời gian tối đa cho phép. Hãy xem xét t (e1) và t (e2) là mốc thời gian tương ứng về sự xuất hiện của các sự kiện e1 và e2 và d là thời hạn cuối cùng như hình 1.8. Trong đó, Δ biểu thị sự tách biệt thực tế giữa thời điểm xảy ra hai sự kiện e1 và e2, và d là thời hạn cuối cùng. Một rang buộc thời hạn ngụ ý rằng e2 phải xảy ra trong đơn vị thời gian d sau khi e1 xảy ra. Chúng ta có thể nói rằng

t (e1) và t (e2) phải đáp ứng ràng buộc:

t ( e1) - t ( e 2 ) bé hơn hoặc bằng d

Duration: Một ràng buộc khoảng thời gian của một sự kiện được xác định bởi khoảng thời gian mà sự kiện phản ứng. Nó có thể là khoảng thời gian tối thiểu hoặc khoảng thời gian tối đa. Loại ràng buộc thời gian tối thiểu đòi hỏi rằng một khi sự kiện bắt đầu thì sự kiện đó không phải kết thúc trước khi một thời gian tối thiểu nhất định, trong khi một loại ràng buộc khoảng thời gian tối đa yêu cầu rằng một khi sự kiện bắt đầu, sự kiện đó phải kết thúc trước khi một khoảng thời gian tối đa nhất định kết thúc.

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

Tags: