Subject | English | Russian |
progr. | a set of clock variables | множество переменных-часов (ssn) |
progr. | a set of clocks | множество часов (ssn) |
progr. | A timed automaton is a finite automaton augmented with a finite set of real-valued clocks | Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
progr. | to be a finite automaton augmented with a finite set of real-valued clocks | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
progr. | finite automaton augmented with a finite set of real-valued clocks | конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
Makarov. | he crossed the finish line, saw the clock stopped at 37.40 and was astounded to realize that his team had taken 10 of a second from the world record set in 1991 | он пересёк финишную черту, увидел, что секундомер показывает 37,40 и с изумлением понял, что его команда улучшила на одну десятую секунды мировой рекорд, установленный в 1991 г. |
gen. | he crossed the finish line, saw the clock stopped at 37.40 and was astounded to realize that his team had taken. 10 of a second from the world record set in 1991 | он пересёк финишную черту, увидел, что секундомер показывает 37,40 и с изумлением понял, что его команда улучшила на одну десятую секунды мировой рекорд, установленный в 1991 г. |
Makarov. | set a clock | поставить часы (правильно) |
gen. | set a clock | поставить часы (the hands of the watch, the alarm-clock) |
Makarov. | set a clock | ставить часы (правильно) |
gen. | set a clock | ставить часы (на определённое время) |
Gruzovik | set a clock back | переводить часы назад |
gen. | set a clock to set the hands of a clock | ставить часы |
gen. | set a clock to set the hands of a clock | поставить часы |
Makarov. | set the alarm clock at 6 a.m. | поставить будильник на 6 утра |
Makarov. | set the hands of a clock | ставить часы (правильно) |
gen. | set the hands of a clock | поставить (правильно) |
gen. | set the hands of a clock | ставить (правильно) |
Makarov. | set the hands of a clock | поставить часы (правильно) |
gen. | set the hands of a clock | установить стрелки часов |
gen. | set the hands of a clock | устанавливать стрелки часов |