Subject | English | Russian |
progr. | 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) |
progr. | continuous time | аналоговый (ssn) |
progr. | continuous time | непрерывный во времени (ssn) |
tech. | continuous time | непрерывное время |
math. | continuous time approximation | приближение в непрерывном времени |
soc.med. | continuous time approximation of degree distributions | непрерывное приближение распределений степеней (Ivan Pisarev) |
progr. | continuous time case | случай непрерывного времени (противопоставляется дискретному случаю (discrete case); см. напр., Control system design by Graham C. Goodwin et al. (2000) ssn) |
progr. | continuous time description | аналоговое описание (системы ssn) |
progr. | continuous time description | непрерывное во времени описание (системы ssn) |
oil | continuous time-distance curve | непрерывный годограф |
IT | continuous time filter | стационарный фильтр |
nano | continuous time Markov chain | непрерывная во времени марковская цепь |
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) |
econ. | continuous time queue | система массового обслуживания с непрерывным временем |
telecom. | continuous time signal | непрерывный сигнал |
math. | continuous time stochastic approximation | стохастическая аппроксимация в непрерывном времени (jagr6880) |
automat. | continuous time system | система с непрерывным временем (clck.ru dimock) |
progr. | continuous time system | непрерывная система (ssn) |
media. | continuous time system | система, в которой сигналы на входе и выходе могут изменяться в любой момент времени, а операции могут быть смоделированы использованием различных уравнений |
automat. | continuous time system with time-delay | непрерывная система с запаздывающим звеном (clck.ru dimock) |
progr. | continuous time systems | непрерывные системы (ssn) |
auto. | continuous-time control | непрерывное по времени управление |
telecom. | continuous-time domain | непрерывная временная область (oleg.vigodsky) |
progr. | continuous-time dynamical system | динамическая система с непрерывным временем (ssn) |
progr. | continuous-time dynamical systems | динамические системы с непрерывным временем (ssn) |
meas.inst. | continuous-time linear equalizer | стационарный линейный корректор (Speleo) |
progr. | continuous-time markov chain | непрерывная цепь Маркова (ssn) |
progr. | continuous-time markov chains | непрерывные цепи Маркова (ssn) |
math. | continuous-time model | непрерывная модель (в отличие от дискретной ssn) |
math. | continuous-time model | модель c непрерывным временем (ssn) |
comp. | continuous-time model | модель для непрерывного времени |
progr. | continuous-time model checking | верификация с непрерывным временем (моделей ssn) |
progr. | continuous-time process | непрерывный процесс (ssn) |
tech. | continuous-time process | процесс с непрерывным временем |
automat. | continuous-time processing | непрерывная обработка (ssn) |
automat. | continuous-time processing of discrete-time signals | непрерывная обработка дискретных сигналов (ssn) |
sec.sys. | continuous-time recorder | магнитофон с непрерывной записью |
polym. | continuous-time service | длительный режим работы (машины) |
auto.ctrl. | continuous-time signal | непрерывный сигнал (ssn) |
auto.ctrl. | continuous-time variable | непрерывное время (t ssn) |
progr. | different models of continuous time | различные модели непрерывного времени (ssn) |
auto.ctrl. | Dirac impulse-sampled version of continuous-time signal | квантованный вариант непрерывного сигнала с использованием импульса Дирака (ssn) |
automat. | discrete-time processing of continuous-time signals | дискретная обработка непрерывных сигналов (ssn) |
automat. | discretization of continuous-time system | квантование непрерывной системы |
progr. | linear continuous time models | линейные непрерывные модели (ssn) |
progr. | linear models of continuous-time processes | линейные модели непрерывных процессов (ssn) |
progr. | models of continuous time | модели непрерывного времени (ssn) |
progr. | more complex verification techniques based on continuous time | более сложные методы верификации, основанные на непрерывном времени (ssn) |
progr. | most of the research on continuous-time model checking | большая часть исследований по верификации с непрерывным временем (ssn) |
progr. | number of different models of continuous time | множество различных моделей непрерывного времени (ssn) |
auto.ctrl. | sampled version of continuous-time signal | квантованный вариант непрерывного сигнала (ssn) |
automat. | sampling of continuous-time signal | дискретизация непрерывного сигнала (ssn) |
progr. | verification techniques based on continuous time | методы верификации, основанные на непрерывном времени (ssn) |
auto.ctrl. | version of continuous-time signal | вариант непрерывного сигнала (напр., квантованный ssn) |