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) |
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) |