| Russian | English |
| Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| Кроме того, объект управления обычно представляется в виде линейной непрерывной модели с постоянными параметрами | Furthermore, the process is normally described by a linear time-invariant continuous model (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008 ssn) |
| линейная непрерывная модель с постоянными параметрами | linear time-invariant continuous model (ssn) |
| линейные модели непрерывных процессов | linear models of continuous-time processes (ssn) |
| линейные непрерывные модели | linear continuous time models (ssn) |
| множество различных моделей непрерывного времени | number of different models of continuous time (ssn) |
| модели непрерывного времени | models of continuous time (ssn) |
| непрерывная модель с постоянными параметрами | time-invariant continuous model (ssn) |
| Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал | 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) |
| различные модели непрерывного времени | different models of continuous time (ssn) |
