Subject | Russian | English |
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. | большая часть исследований по верификации с непрерывным временем | most of the research on continuous-time model checking (ssn) |
progr. | верификация с непрерывным временем | continuous-time model checking (моделей ssn) |
bridg.constr. | время продолжительность непрерывного бетонирования | pour time |
construct. | время непрерывного бетонирования | pour time |
tech. | время непрерывной записи | continuous recording time |
fire. | время непрерывной подачи | discharge time (огнетушащего вещества) |
railw. | время непрерывной работы | stream time |
tech. | время непрерывной работы | continuous work time |
sec.sys. | время непрерывной работы | run time (устройства или прибора) |
astronaut. | время непрерывной работы | continuous run time (muzungu) |
torped. | время непрерывной работы | uninterrupted operating mode time |
sec.sys. | время непрерывной работы | running time (устройства или прибора) |
energ.ind. | время непрерывной работы | stream hours |
forestr., mineral. | время непрерывной работы машины и опытного оператора | rated productivity (60 в час в течение рабочего дня) |
Makarov. | время непрерывной работы машины и опытного оператора | rated productivity (60 мин в час в течение рабочего дня) |
pulp.n.paper | время пребывания в аппарате непрерывного действия | retention time |
progr. | динамическая система с непрерывным временем | continuous-time dynamical system (ssn) |
progr. | динамические системы с непрерывным временем | continuous-time dynamical systems (ssn) |
tech. | максимальное время непрерывного использования | KB (short operation time, обычно пишется в инструкциях и технических характеристиках proz.com blackout15) |
media. | минимальное время серии кассет, которые могут быть проиграны без перерыва в непрерывном потоке видеозаписей | cycle time |
comp. | модель для непрерывного времени | continuous-time model |
math. | модель c непрерывным временем | continuous-time model (ssn) |
mil. | непрерывная рефлектометрия для экспериментов радиус-время | Continuous Reflectometry for Radius versus Time Experiments |
mil. | непрерывная рефлектометрия для экспериментов радиус-время | CORRTEX |
gen. | непрерывно продолжающегося с какого-либо времени | since |
auto.ctrl. | непрерывное время | continuous-time variable (t ssn) |
tech. | непрерывное время | continuous time |
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) |
O&G | непрерывное определение миграции во время бурения | MWDC (MichaelBurov) |
O&G | непрерывное определение миграции во время бурения | migration while drilling continuously (MichaelBurov) |
progr. | непрерывное реальное время | continuous real time (ssn) |
IT | непрерывный во времени | time-continuous |
gen. | непрерывный период времени | tract |
tech. | процесс с непрерывным временем | continuous-time process |
oil.proc. | Расчётное время непрерывной работы | continuous service estimated time (Briciola25) |
econ. | система массового обслуживания с непрерывным временем | continuous time queue |
automat. | система с непрерывным временем | continuous time system (clck.ru dimock) |
appl.math. | случайное блуждание с непрерывным временем | CTRW (BFRZ) |
media. | технология фирмы Sony, значительно увеличивающая время непрерывной видеосъёмки при использовании аккумулятора с одной его зарядкой | Stamina technology (за счёт уменьшения потребления энергии до 2,5 Вт, что позволяет с одним литиевым аккумулятором вести съёмку до 12 часов) |
media. | технология фирмы Sony, значительно увеличивающая время непрерывной видеосъёмки при использовании аккумулятора с одной его зарядкой | Stamina (за счёт уменьшения потребления энергии до 2,5 Вт, что позволяет с одним литиевым аккумулятором вести съёмку до 12 часов) |