Subject | Russian | English |
progr. | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | 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) |
media. | дискретное мгновенное значение аналогового сигнала в заданный момент времени | quantizing level |
media. | дискретное мгновенное значение аналогового сигнала в заданный момент времени | quantization level |
progr. | дискретные данные: данные, поступающие в дискретные моменты времени | 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) |
progr. | дискретные моменты времени | specific time intervals (ssn) |
progr. | дискретные моменты времени | discrete instants of time (ssn) |
progr. | дискретные моменты времени | discrete instants in time (ssn) |
progr. | дискретные события, которые могут возникать в отдельные моменты времени | discrete events at irregular intervals of time (ssn) |
automat. | дискретный момент времени | sampling instant (clck.ru dimock) |
progr. | дискретный момент времени | discrete instant of time (ssn) |
progr. | дискретный момент времени | specific time interval (ssn) |
electric. | ординаты решётчатых функций в дискретные моменты времени | coordinates of lattice functions at the discrete time intervals (Raz_Sv) |
electr.eng. | ординаты решётчатых функций в дискретные моменты времени | coordinates of lattice functions at the discrete time intervals (Konstantin 1966) |
progr. | процессы, выполняющиеся параллельно и приводящие к дискретным событиям, которые могут возникать в отдельные моменты времени | processes taking place in parallel, giving rise to discrete events at irregular intervals of time (ssn) |
media. | система, в которой сигналы на входе и выходе изменяются только в дискретные моменты времени | discrete time system |
media. | система фильтрации, в которой сигналы на входе и выходе изменяются только в дискретные моменты времени | discrete time filtering system |
econ. | требования, поступающие в дискретные моменты времени | discrete-time arrivals |
econ. | требования, поступающие в дискретные моменты времени | diacrete-time arrivals |