Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Albanian
Amharic
Arabic
Armenian
Assamese
Azerbaijani
Bashkir
Basque
Bengali
Bosnian
Bulgarian
Catalan
Chinese
Chinese Taiwan
Chinese simplified
Croatian
Czech
Danish
Dutch
English
Esperanto
Estonian
Filipino
Finnish
French
Galician
Georgian
German
Greek
Gujarati
Hausa
Hebrew
Hindi
Hungarian
Icelandic
Igbo
Indonesian
Irish
Italian
Japanese
Kannada
Kazakh
Khmer
Kinyarwanda
Konkani
Korean
Kyrgyz
Latvian
Lithuanian
Luxembourgish
Macedonian
Malay
Malayalam
Maltese
Maori
Marathi
Nepali
Norwegian
Norwegian Bokmål
Odia
Persian
Polish
Portuguese
Punjabi
Quechuan
Romanian
Scottish Gaelic
Serbian
Serbian Latin
Sesotho sa leboa
Sinhala
Slovak
Slovene
Spanish
Swahili
Swedish
Tajik
Tamil
Tatar
Telugu
Thai
Tswana
Turkish
Turkmen
Ukrainian
Urdu
Uzbek
Vietnamese
Welsh
Wolof
Xhosa
Yoruba
Zulu
Terms
for subject
Programming
containing
предохранитель
|
all forms
|
exact matches only
Russian
English
в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и
предохранителей
переходов, содержащих произвольные рациональные константы
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