DictionaryForumContacts

Terms containing continuous-time | all forms | exact matches only | in specified order only
SubjectEnglishRussian
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)
oilcontinuous time-distance curveнепрерывный годограф
ITcontinuous time filterстационарный фильтр
nanocontinuous 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)

Get short URL