DictionaryForumContacts

Terms containing time model | all forms | exact matches only | in specified order only
SubjectEnglishRussian
math.accelerated failure time modelвременная модель ускоренного отказа
comp., MSahead-of-time deployment modelмодель развёртывания приложений, скомпилированных в машинный код перед выполнением (microsoft.com Alex_Odeychuk)
progr.an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraintsВажным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
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.choice of a sufficiently small time quantum to model an asynchronous system accuratelyвыбор достаточно малого кванта времени для точного моделирования асинхронной системы (ssn)
math.continuous-time modelнепрерывная модель (в отличие от дискретной ssn)
comp.continuous-time modelмодель для непрерывного времени
math.continuous-time modelмодель c непрерывным временем (ssn)
progr.continuous-time model checkingверификация с непрерывным временем (моделей 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)
account.cumulative average-time learning modelмодель роста производительности с уменьшением удельного интегрального среднего времени на фиксированный процент (при удвоении суммарного количества произведённой продукции)
progr.describe by discrete time models in either the shift or delta operatorописывать дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (ssn)
progr.different models of continuous timeразличные модели непрерывного времени (ssn)
econ.discreet-time modelмодель для дискретного времени
progr.discrete time modelдискретная модель (ssn)
econ.discrete-time modelмодель для дискретного времени
progr.discrete-time modelмодель с дискретным временем (ssn)
progr.discrete time modelsдискретные модели (ssn)
progr.discrete-time modelsмодели с дискретным временем (ssn)
progr.Events take variable amounts of time in real life, and this variability is reflected in the Petri net model by not depending on a notion of time to control the sequence of eventsв реальной жизни различные события укладываются в различные интервалы времени, и это отражено в модели сети Петри независимостью от времени управления последовательностью событий (ssn)
progr.execution time modelмодель оценки времени выполнения команд (ssn)
econ.fixed-review-times modelмодель с фиксированными моментами проверки состояния запасов
stat.generalized criterion for efficiency of time series forecasting models in information systemsобобщённый критерий эффективности моделей прогнозирования временных рядов в информационных системах (Alex_Odeychuk)
account.incremental unit-time learning modelмодель роста производительности труда с уменьшением на фиксированный процент времени на производство последней единицы продукции (при удвоении суммарного количества произведённой продукции)
progr.instruction set and execution time modelсистема команд и модель оценки времени выполнения команд (ssn)
Makarov.kinetics of surfactant-induced release from liposomes: A time-dependent permeability modelкинетика индуцированного ПАВ освобождения из липосом: Модель зависимой от времени проницаемости
progr.linear continuous time modelsлинейные непрерывные модели (ssn)
progr.linear models of continuous-time processesлинейные модели непрерывных процессов (ssn)
progr.linear time-invariant continuous modelлинейная непрерывная модель с постоянными параметрами (ssn)
progr.model for the real-time systemмодель системы реального времени (ssn)
progr.model of run timeмодель времени выполнения (ssn)
progr.model of timeмодель времени (ssn)
progr.models for discrete time systemsмодели дискретных систем (ssn)
progr.most of the research on continuous-time model checkingбольшая часть исследований по верификации с непрерывным временем (ssn)
progr.number of different models of continuous timeмножество различных моделей непрерывного времени (ssn)
oil.proc.ORDENA model determining the optimal expansion required to supply the forecast load in a multi-region or multi-country system, in long time horizonsоптимизационная модель "ORDENA" (MichaelBurov)
oil.proc.ORDENA model determining the optimal expansion required to supply the forecast load in a multi-region or multi-country system, in long time horizonsмодель "ORDENA" (MichaelBurov)
comp.parallel time series modelпараллельная временная модель (nuim.ie Irene LEVCHUK)
qual.cont.PERT-time modelмодель ПЕРТ-время
avia.pilot model time delayвременная задержка в модели лётчика
med.Rank Preserving Structural Failure Time Modelструктурная модель времени до неудачи с сохранением категорий испытуемых (amatsyuk)
progr.real-time modelмодель выполнения в реальном времени (Alex_Odeychuk)
mech.real-time modelмодель, используемая в реальном времени
avia.real-time modelмодель в реальном времени
ITreal-time algorithmic modelалгоритмическая модель обработки данных в реальном времени (Alex_Odeychuk)
stat.simulation model for generating time series with specified statistical characteristicsимитационная модель для генерирования временных рядов с заданными статистическими характеристиками (Alex_Odeychuk)
hi.energ.space-time modelпространство-временная модель
math.structural time-series modelsструктурные модели временного ряда
progr.these samples can be described by discrete time models in either the shift or delta operatorэти квантованные величины могут быть описаны дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (ssn)
progr.this type of model is often used for modelling real-time systemsэтот тип модели особенно полезен для моделирования систем реального времени (ssn)
progr.this type of model is often used for modelling real-time systems because these systems are often driven by stimuli from the system's environmentэтот тип модели особенно полезен для моделирования систем реального времени, поскольку этими системами обычно управляют входные сигналы, приходящие из окружения системы (см. Software engineering, 8th ed. / Ian Sommerville 2007)
progr.time for an atomic transition in the modelдлительность атомарного перехода в модели (ssn)
energ.ind.time history modelмодель графика изменения процесса во времени
avia.time make and modelналёт на данном типе и модели (Leonid Dzhepko)
progr.time modelвременная модель (см. ГОСТ Р ИСО 15531-1-2008 ssn)
stat.time series forecasting modelмодель прогнозирования временных рядов (Alex_Odeychuk)
math.time series modelмодель временного ряда
progr.time variation of the states of the model objectsизменение состояния моделируемых объектов (ssn)
tech.time-averaged modelмодель с усреднением переменных по времени
tech.time-averaged modelмодель с усреднением по времени (переменных)
phys.time-dependent corona modelнестационарная модель короны
Makarov.time-dependent modelмодель, зависящая от времени
Makarov.time-dependent modelвременная модель
tech.time-dependent single-particle modelодночастичная модель с зависимостью от времени
Makarov.time-domain modelмодель во временной области
Makarov.time-domain modelпредставление во временной области
progr.time-invariant continuous modelнепрерывная модель с постоянными параметрами (ssn)
tech.time-invariant modelмодель, не зависящая от времени
automat.time-series modelмодель системы в реальном масштабе времени
math.time-series modelмодель временного ряда
tech.time-varying modelнестационарная модель
tech.time-varying modelмодель с переменными коэффициентами
st.exch.univariate time-series modelодномерная модель временных рядов (dimock)
SAP.working time modelмодель рабочего времени
SAP.working time modelмодель времени
SAP.working time model classкласс графика рабочего времени на период

Get short URL