Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing предохранители | all forms | exact matches only
RussianEnglish
в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы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)
временное ограничение инварианта позиции или предохранителя переходаclock constraint in the invariant of a location or in the guard of a transition (ssn)
защита от короткого замыкания плавких предохранителейfuse/short-circuit protection (ssn)
инварианты позиций и предохранителей переходовinvariants of locations and the guards of transitions (ssn)
инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константыinvariants of locations and the guards of transitions to contain arbitrary rational constants (ssn)
индикация состояния устройств защиты от короткого замыкания плавких предохранителейfuse/short-circuit protection status indicators (см. IEC 61131-1 2003 ssn)
конъюнкция предохранителейconjunction of the guards (ssn)
конъюнкция предохранителей отдельных переходовconjunction of the guards for the individual transitions (ssn)
предохранители переходовguards of transitions (ssn)
предохранитель переходаguard of a transition (ssn)

Get short URL