Subject | English | Russian |
progr. | continuous real-time system | система непрерывного реального времени (ssn) |
progr. | continuous real-time systems | системы непрерывного реального времени (ssn) |
progr. | Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
progr. | continuous time system | непрерывная система (ssn) |
automat. | continuous time system | система с непрерывным временем (clck.ru dimock) |
media. | continuous time system | система, в которой сигналы на входе и выходе могут изменяться в любой момент времени, а операции могут быть смоделированы использованием различных уравнений |
automat. | continuous time system with time-delay | непрерывная система с запаздывающим звеном (clck.ru dimock) |
progr. | continuous time systems | непрерывные системы (ssn) |
progr. | continuous-time dynamical system | динамическая система с непрерывным временем (ssn) |
progr. | continuous-time dynamical systems | динамические системы с непрерывным временем (ssn) |
automat. | discretization of continuous-time system | квантование непрерывной системы |
progr. | methods for verifying continuous real-time systems | методы верификации систем непрерывного реального времени (ssn) |
progr. | verifying continuous real-time systems | верификация систем непрерывного реального времени (ssn) |