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) 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.