Subject | English | Russian |
progr. | A key idea from Chapter 12 is that if one is only interested in the at-sample response, these samples can be described by discrete time models in either the shift or delta operator | Основная идея гл. 12 состоит в том, что если нас интересует реакция только в моменты квантования, эти квантованные величины могут быть описаны дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (см. Control system design by Graham C. Goodwin et al. 2000 ssn) |
progr. | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
progr. | alarms should only occur when the operator has time to respond | предупреждающие сигналы должны выводиться только тогда, когда у оператора есть достаточно времени, чтобы отреагировать на них (ssn) |
jarg. | big time operator | крупный мошенник |
gen. | big-time operator | крупный мошенник |
vulg. | big-time operator | бабник (см. small-time operator) |
vulg. | big-time operator | донжуан (см. small-time operator) |
slang | big-time operator | человек, напрасно старающийся достичь больших успехов |
college.vern. | big-time operator | бабник |
college.vern. | big-time operator | волокита |
slang | big-time operator | активный, пользующийся авторитетом у других студент |
gen. | big-time operator | крупный делец |
progr. | describe by discrete time models in either the shift or delta operator | описывать дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (ssn) |
slang | operator Big Time Operator | активист в колледже |
mech. | operator imposed idle time | продолжительность простоев по вине оператора |
robot. | operator imposed idle time | продолжительность простоев по вине человека-оператора |
sec.sys. | operator reaction time | время реагирования оператора |
automat. | Operator Response Time | Время ответа оператора (Exoreug) |
geophys. | operator time | время оператора (MichaelBurov) |
geophys. | operator time | время выполнения оператора (MichaelBurov) |
comp. | operator time | время обслуживания оператором |
mech. | operator's reaction time | быстрота реакции оператора |
automat. | operator's reaction time | быстрота реакции оператора (на аварийную ситуацию) |
automat. | operator's attention time | время работы оператора (в автоматизированной системе) |
mech. | operator's time | время работы оператора |
tech. | operator's time | рабочее время оператора |
commun. | operator's time to answer | время ожидания ответа телефонистки |
media. | operator’s time to answer | время ожидания ответа телефонистки |
progr. | real-time operator | оператор реального времени (Alex_Odeychuk) |
progr. | real-time visual operator | визуальный оператор реального времени (Alex_Odeychuk) |
el. | space-time symmetry operator | оператор антисимметрии |
el. | space-time symmetry operator | пространственно-временной оператор симметрии |
progr. | the time daemon's time must be set manually by the operator periodically | Время демона может периодически выставляться вручную оператором (см. Distributed systems: principles and paradigms / Andrew S. Tanenbaum, Maarten Van Steen 2002) |
progr. | these samples can be described by discrete time models in either the shift or delta operator | эти квантованные величины могут быть описаны дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (ssn) |
Gruzovik | time drum operator | совмещающий времени полёта снаряда |
quant.el. | time evolution operator | оператор в представлении Шредингера |
nano | time-dependent operator | нестационарный оператор |
math. | time-dependent operator | оператор, зависящий от времени |
phys. | time-development operator | оператор временной эволюции |
math. | time-ordered operator | оператор, упорядоченный во времени |
phys. | time-reversal operator | оператор обращения времени |
IT | times operator | оператор умножения |
phys. | time-translation operator | оператор смещения по времени |