Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Arabic
Bashkir
Chinese
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
German
Greek
Hebrew
Hungarian
Italian
Japanese
Kalmyk
Latvian
Norwegian Bokmål
Polish
Portuguese
Russian
Spanish
Swedish
Tajik
Turkish
Ukrainian
Vietnamese
Terms
for subject
Programming
containing
допуская
|
all forms
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
)
в частности,
допускается
преобразование операнда конкретного типа в сам тип
in particular, conversion of an operand of a given type to the type itself is allowed
(см.
IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual
)
допускается
использование
it is fine to use
(
Alex_Odeychuk
)
допускать
адресную арифметику с указателями
permit pointer arithmetic
(IBM
Alex_Odeychuk
)
допускать
использование временных ограничений
allow the clock constraints
(
ssn
)
допускать
использование средств императивного программирования
allow impure functionality
(
Alex_Odeychuk
)
допускать
наследование
allow inheritance
(
Alex_Odeychuk
)
допускать
неопределённое значение
be able hold a null
(
Alex_Odeychuk
)
допускать
утечку ресурсов
leak resources
(англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р.
Alex_Odeychuk
)
допускать
хранение неопределённого значения
be able hold a null
(
Alex_Odeychuk
)
если
допускается
альтернативное представление элементов языка программирования, то вывод на дисплей обычно осуществляется по выбору пользователя
if alternative representation of programming language elements is available, then the display representation is generally user-selectable
(см.
IEC 61131-1
2003
ssn
)
не
допускать
disallow
(
ssn
)
не
допускать
disable
(
ssn
)
Get short URL