DictionaryForumContacts

   Russian
Terms containing временная позиция | all forms | in specified order only
SubjectRussianEnglish
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)