DictionaryForumContacts

Terms containing continuous model | 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)
neur.net.continuous Hopfield modelнепрерывная модель Хопфилда (clck.ru dimock)
Makarov.continuous modelконтинуальное представление
genet.continuous modelконтинуальная модель (хромосомы dimock)
math.continuous modelнепрерывная модель
Makarov.continuous modelсплошная модель
Makarov.continuous modelсплошностная модель
Makarov.continuous modelконтинуальная модель
automat.continuous simulation modelаналоговая имитационная модель (напр., процесса резания olga_iva)
phys.continuous slowing-down modelмодель непрерывного замедления
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)
avia.continuous-mass modelмодель с распределенной массой
Makarov.continuous-site modelконтинуально-узловая модель
math.continuous-time modelнепрерывная модель (в отличие от дискретной ssn)
math.continuous-time modelмодель c непрерывным временем (ssn)
comp.continuous-time modelмодель для непрерывного времени
progr.continuous-time model checkingверификация с непрерывным временем (моделей ssn)
progr.different models of continuous timeразличные модели непрерывного времени (ssn)
progr.discrete-continuous modelнепрерывно-дискретная модель (ssn)
Makarov.discrete-continuous modelдискретно-непрерывная модель
Makarov.discrete-continuous modelдискретно-континуальная модель
progr.discrete-continuous model for temporal analysis of network-centric control systemsвременной анализ систем с сетецентрическим управлением на основе непрерывно-дискретной модели (ssn)
progr.dynamics in discrete-continuous modelsдинамика непрерывно-дискретной модели (ssn)
progr.graphical method for the temporal analysis of dynamics in discrete-continuous modelsграфический метод временного анализа динамики непрерывно-дискретной модели (ssn)
progr.linear continuous time modelsлинейные непрерывные модели (ssn)
progr.linear models of continuous-time processesлинейные модели непрерывных процессов (ssn)
progr.linear time-invariant continuous modelлинейная непрерывная модель с постоянными параметрами (ssn)
progr.most of the research on continuous-time model checkingбольшая часть исследований по верификации с непрерывным временем (ssn)
progr.number of different models of continuous timeмножество различных моделей непрерывного времени (ssn)
Makarov.polarizable continuum model – continuous set gauge transformation methodметод непрерывного калибровочного преобразования базиса в рамках модели поляризуемого континуума (PCM-CSGT method)
progr.temporal analysis of dynamics in discrete-continuous modelsвременной анализ динамики непрерывно-дискретной модели (ssn)
progr.time-invariant continuous modelнепрерывная модель с постоянными параметрами (ssn)

Get short URL