Russian | English |
в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
дискретные данные: данные, поступающие в дискретные моменты времени | discrete data: Data that arrives at specific time intervals (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn) |
дискретные моменты времени | specific time intervals (ssn) |
дискретные моменты времени | discrete instants of time (ssn) |
дискретные моменты времени | discrete instants in time (ssn) |
дискретные события, которые могут возникать в отдельные моменты времени | discrete events at irregular intervals of time (ssn) |
дискретный момент времени | discrete instant of time (ssn) |
дискретный момент времени | specific time interval (ssn) |
процессы, выполняющиеся параллельно и приводящие к дискретным событиям, которые могут возникать в отдельные моменты времени | processes taking place in parallel, giving rise to discrete events at irregular intervals of time (ssn) |