Russian | English |
автомат с ограничением по времени | reduced-time automaton (ssn) |
автоматы с ограничениями на входе | input-restricted machines (ssn) |
бинеточное программирование с ограничениями на шансы | birough CCP (ssn) |
бинеточное программирование с ограничениями на шансы | birough chance-constrained programming (ssn) |
бинечёткое программирование с ограничениями на шансы | bifuzzy CCP (ssn) |
бинечёткое программирование с ограничениями на шансы | bifuzzy chance-constrained programming (ssn) |
бислучайное программирование с ограничениями на шансы | birandom CCP (ssn) |
бислучайное программирование с ограничениями на шансы | birandom chance-constrained programming (ssn) |
блокирующая очередь с ограничением ёмкости | bounded blocking queue (oracle.com Alex_Odeychuk) |
вычислительная система с временными ограничениями | computer system with timing constraints (ssn) |
грамматика с контекстуальными ограничениями | context-dependent grammar (ssn) |
грамматика с контекстуальными ограничениями | context-sensitive grammar (ssn) |
задача с ограничением в виде неравенства | problem with inequality constraint (ssn) |
задача с ограничением в виде равенства | problem with equality constraint (ssn) |
задачи с ограничениями в виде неравенств | problems with inequality constraints (ssn) |
задачи с ограничениями в виде равенств | problems with equality constraints (ssn) |
изменение размера с ограничениями | constrained resize (ssn) |
инициализация типов данных с ограничением диапазона | initialization of subrange data types (ssn) |
компьютерная система с временными ограничениями | computer system with timing constraints (ssn) |
маркер доступа с ограничением времени | timed token (в сетях FDDI ssn) |
маркер доступа с ограничением по времени | timed token (в сетях FDDI ssn) |
маркер с ограничениями | restricted token (ssn) |
маршрутизатор с ограничением доступа, экранирующий маршрутизатор | screening router (маршрутизатор, фильтрующий пакеты в соответствии с набором правил, установленных администратором сети ssn) |
метод уменьшения числа состояний автоматов с ограничениями на входе | reduction method for input-restricted machines (ssn) |
моделируемые подсистемы вместе с их основными временными ограничениями | subsystems being modeled, as well as their major timing requirements (ssn) |
негибкое ограничение для проектов, планируемых с даты начала | inflexible constraint for projects scheduled from the start date (finish no later than ssn) |
негибкое ограничение для проектов, планируемых с конечной даты | inflexible constraint for projects scheduled from the finish date (finish no earlier than ssn) |
неизбежные ограничения, связанные с процессом комплексирования | unavoidable constraints of integration process (ssn) |
нелинейное программирование с вероятностными ограничениями | chance constrained non-linear programming (ssn) |
нелинейное программирование с вероятностными ограничениями | chance constrained nonlinear programming (ssn) |
нелинейное программирование с вероятностными ограничениями | chance constrained non linear programming (ssn) |
неточное программирование с ограничениями на шансы | rough CCP (ssn) |
неточное программирование с ограничениями на шансы | rough chance-constrained programming (ssn) |
неточно-нечёткое программирование с ограничениями на шансы | rough fuzzy CCP (ssn) |
неточно-нечёткое программирование с ограничениями на шансы | rough fuzzy chance-constrained programming (ssn) |
неточно-случайное программирование с ограничениями на шансы | rough random CCP (ssn) |
неточно-случайное программирование с ограничениями на шансы | rough random chance-constrained programming (ssn) |
нечёткое программирование с ограничениями на шансы | fuzzy CCP (ssn) |
нечёткое программирование с ограничениями на шансы | fuzzy chance-constrained programming (ssn) |
нечётко-неточное программирование с ограничениями на шансы | fuzzy rough CCP (ssn) |
нечётко-неточное программирование с ограничениями на шансы | fuzzy rough chance-constrained programming (ssn) |
нечётко-случайное программирование с ограничениями на шансы | fuzzy random CCP (ssn) |
нечётко-случайное программирование с ограничениями на шансы | fuzzy random chance-constrained programming (см. Theory and Practice of Uncertain Programming first edition by Baoding Liu 2002 ssn) |
область выполнения с ограничениями | constrained execution region (с. 291 e-reading.mobi owant) |
ограничения, связанные с высоким интегральным уровнем безопасности | high integrity restrictions (ограничения, налагаемые в связи с необходимостью подтверждения корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, корректности функционирования программного обеспечения в целом, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении Alex_Odeychuk) |
ограничения, связанные с высоким уровнем полноты безопасности | high integrity restrictions (ограничения, налагаемые в связи с необходимостью подтверждения корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, корректности функционирования программного обеспечения в целом, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении Alex_Odeychuk) |
ограничения, связанные с защитой | security limit (ssn) |
ограничения, связанные с процессом комплексирования | constraints of integration process (ssn) |
ограничения, связанные с работой в реальном времени | real-time constraints (обычно характерны для систем управления (control system) ssn) |
ограничения, связанные с функционированием в реальном времени | real-time constraints (корпорации AdaCore Alex_Odeychuk) |
ожидание с ограничением по времени | timed wait (ssn) |
Оценка функциональной безопасности программного обеспечения формирует ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения, полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the software functional safety assessment produces a clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended, the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (см. IEC 61508-7: 2010) |
очередь с возможным ограничением на длину | optionally-bounded queue (Alex_Odeychuk) |
очередь с ограничением на длину | fixed-size queue (Alex_Odeychuk) |
очередь с ограничением на длину | bounded queue (Alex_Odeychuk) |
параллельная система с временными ограничениями | concurrent system with timing constraints (ssn) |
планирование с учётом ограничений | contingent planning (ssn) |
позволять верифицировать свойства с ограничениями по времени | allow the verification of time bounded properties (ssn) |
полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (ssn) |
программирование с ограничениями на шансы | chance-constrained programming (ssn) |
программирование с учётом ограничений | constraint programming (тж. программирование в ограничениях; парадигма программирования, предусматривающая представление отношений между переменными в виде ограничений; ограничения отличаются от обычных примитивов других языков программирования тем, что они определяют не шаги или последовательности шагов, подлежащие исполнению, а свойства решения, которое следует найти. Ограничения могут быть различными по природе, могут встраиваться в язык программирования или содержаться в отдельных библиотеках ПО ssn) |
Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
профиль с ограничениями | restricted profile (корпорации AdaCore Alex_Odeychuk) |
профиль среды выполнения с ограничениями | restricted run-time profile (корпорации AdaCore Alex_Odeychuk) |
с ограничением объёма памяти | memory-bounded (ssn) |
с ограничениями | restricted (Alex_Odeychuk) |
с ограничениями и без | with and without constraints (ssn) |
с поддержкой программирования в ограничениях | with support for constraint programming (Alex_Odeychuk) |
свободно распространяемое программное обеспечение с ограничением времени использования | shareware (ssn) |
свойства с ограничениями по времени | time bounded properties (ssn) |
Системы реального времени-это параллельные системы с временными ограничениями | Real-time systems are concurrent systems with timing constraints (см. Software Modeling and Design by Hassan Gomaa ssn) |
случайно-неточное программирование с ограничениями на шансы | random rough CCP (ssn) |
случайно-неточное программирование с ограничениями на шансы | random rough chance-constrained programming (ssn) |
случайно-нечёткое программирование с ограничениями на шансы | random fuzzy CCP (ssn) |
случайно-нечёткое программирование с ограничениями на шансы | random fuzzy chance-constrained programming (см. Theory and Practice of Uncertain Programming first edition by Baoding Liu 2002 ssn) |
стохастическое программирование с ограничениями на шансы | stochastic CCP (ssn) |
стохастическое программирование с ограничениями на шансы | stochastic chance-constrained programming (ssn) |
тип данных с ограничением диапазона | subrange data type (ssn) |
тип с ограничением | constrained type (Alex_Odeychuk) |
типизация с ограничениями | constraint typing (ssn) |
условие гарантии с ограничением по времени | timebased warranty condition (ssn) |
условие с ограничением по времени | timebased condition (ssn) |
формат BCD подобен шестнадцатеричному представлению с ограничением диапазона чисел 0..99 вместо 0..FF | the BCD format is similar to the hexadecimal presentation, with the simple difference that only values between 0 and 99 can be stored in a BCD byte, whereas a hexadecimal byte reaches from 0 to FF (ssn) |
численное решение задач оптимизации с ограничениями в виде неравенств | numerical solution of problems with inequality constraints (ssn) |
эвристический поиск с ограничением объёма памяти | memory-bounded heuristic search (ssn) |