Remark 3.7.2 Algorithm 3.7.1 produc

Remark 3.7.2 Algorithm 3.7.1 produces a solution on T0; Te/ if the following conditions
are satisfied.
1. The algorithm does not get into a situation with t
0
< Te and S.z/ D ;. Such a
situation is called “deadlock.”
2. All encountered event times have a finite multiplicity. Stated otherwise, the
algorithm does not end up in an infinite loop consisting of only re-initializations
and mode selections, where a limiting operation is required.
3. The event times do not have a finite accumulation point strictly smaller than Te.

Kết quả (Việt) 1:

Thuật toán nhận xét 3.7.2 3.7.1 tạo ra một giải pháp trên T0; Te / nếu các điều kiện sau đâyrất hài lòng.1. các thuật toán không nhận được vào một tình huống với t0< Te và S.z/ D;. Như vậy mộttình trạng được gọi là "bế tắc".2. tất cả các lần gặp sự kiện có một đa dạng hữu hạn. Nói cách khác, cácthuật toán không kết thúc trong một vòng lặp vô hạn, bao gồm chỉ tái initializationsvà chế độ lựa chọn, mà hoạt động hạn chế là cần thiết.3. thời gian tổ chức sự kiện không có một điểm tích lũy hữu hạn nghiêm nhỏ hơn Te.

Kết quả (Việt) 2:

Nhận xét ​​3.7.2 Thuật toán 3.7.1 tạo ra một giải pháp trên T0; Te / nếu các điều kiện sau đây
được thỏa mãn.
1. Thuật toán không nhận được vào một tình huống với t
0
<Te và Sz / D;. Một như vậy
thì gọi là "bế tắc".
2. Tất cả sự kiện lần gặp phải có một sự đa hữu hạn. Nói cách khác, các
thuật toán không kết thúc trong một vòng lặp vô hạn bao gồm chỉ có tái khởi tạo
và lựa chọn chế độ, nơi mà một hoạt động hạn chế là cần thiết.
3. Các sự kiện lần không có một điểm tích lũy hữu hạn nhỏ hơn đúng hơn Te.