Subject | Russian | English |
progr. | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы | in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
mil. | временная огневая позиция | tentative firing position |
weap. | временная огневая позиция | temporary position (ABelonogov) |
Gruzovik, mil. | вре́менная огневая позиция | temporary gun position |
mil. | временная огневая позиция | temporary firing position |
mil. | временная огневая позиция артиллерии | supplementary artillery position (voenper2020.site Киселев) |
EBRD | временная позиция | place holder |
mus. | временная позиция | global time position |
weap. | временная позиция | preliminary position (ABelonogov) |
weap. | временная огневая позиция | tentative firing position (ABelonogov) |
EBRD | временная позиция | placeholder (oVoD) |
astronaut. | временная позиция | emergency position |
weap. | временная огневая позиция | emergency position (ABelonogov) |
mil., artil. | временная позиция | tentative firing position |
mil. | временная позиция | provisional position |
Gruzovik, mil. | временная позиция | temporary position (временная позиция) |
mil. | временная огневая позиция | tentative position |
astronaut. | временная стартовая позиция | provisional launching site |
astronaut. | временная стартовая позиция | emergency position |
progr. | временное ограничение инварианта позиции или предохранителя перехода | clock constraint in the invariant of a location or in the guard of a transition (ssn) |
chess.term. | временное спасение в тяжёлой позиции | temporary relief |
progr. | если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход | if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
media. | набор последовательных временных интервалов цифрового сигнала, в котором позиция каждого интервала определяется сигналом цикловой синхронизации | frame multiplex structure |
progr. | одна и та же позиция временного автомата | same location of the timed automaton (ssn) |
progr. | отображение позиций во временные ограничения | mapping from locations to clock constraints (ssn) |
progr. | отображение позиций во временные ограничения, называемое инвариантом позиций | mapping from locations to clock constraints, called the location invariant (ssn) |
telecom. | позиции временных интервалов | time slot positions (oleg.vigodsky) |