Russian | English |
автомат с ограничением по времени | reduced-time automaton (ssn) |
автоматы с ограничениями на входе | input-restricted machines (ssn) |
алгебраическое ограничение | algebraic constraint (ssn) |
Аналогичным образом, устройство управления электроприводом, которое раньше могло иметь полдюжины потенциометров для настройки ускорения, торможения, максимальной скорости и ограничения тока, теперь может иметь несколько сотен настраиваемых пользователем параметров, таких как нежелательные частоты чтобы избежать резонансных скоростей и различные напряжения для управления вентиляторами, насосами, нагрузками, требующими большого пускового момента, и т.д. | Similarly a motor drive which used to have maybe half a dozen trim potentiometers for acceleration, deceleration, maximum speed and current limit can now have several hundred user adjustable parameters including factors such as skip frequencies to avoid resonant speeds and various voltage to speed curves for fans, pumps, loads with high starting torque, etc. (см. Programmable Controllers – An Engineer's Guide by E.A. Parr 2003 ssn) |
аппаратное ограничение | hardware limitation (ssn) |
архитектурное ограничение | architectural limitation (ssn) |
архитектурное ограничение | architectural constraint (ssn) |
архитектурные ограничения | architectural constraints (ssn) |
базовые ограничения | basic limit (ssn) |
базовые ограничения по пользовательскому интерфейсу | basic UI restrictions (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) |
бюджетное ограничение | budgetary constraint (ssn) |
в запланированных ограничениях | under the expected constraints (Alex_Odeychuk) |
в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы | 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) |
в условиях ограничений реального масштаба времени | within real-time constraints (ssn) |
Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени | an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
вводить ограничение на принимаемые типы | put a restriction on the types being accepted (Alex_Odeychuk) |
вид ограничений | limit type (ssn) |
вносить ограничения | introduce bounds (ssn) |
внутреннее ограничение | intrinsic constraint (в СУБД – ограничение (возможно, одно из многих), накладываемое внутренней структурой базы данных ssn) |
внутренние ограничения | intrinsic limitations (ssn) |
возможности и ограничения | capabilities and limitations (платформы ssn) |
возможности и ограничения каждой платформы | platform capabilities and limitations (ssn) |
возможности и ограничения платформ | platform capabilities and limitations (ssn) |
возможные ограничения обобщений для параметров типа | possible constraints for generic type parameters (ssn) |
возможные ограничения параметров универсального типа | possible constraints for generic type parameters (ssn) |
временные ограничения на уровне системы | system-level timing constraints (ssn) |
встроенное ограничение | built-in constraint (Alex_Odeychuk) |
выполнить доказательство отсутствия ошибки выхода за ограничение | prove the absence of constraint errors (корпорации AdaCore Alex_Odeychuk) |
выполнить сценарий без ограничений политики выполнения | execute a script without execution policy restrictions (Alex_Odeychuk) |
выражения ограничений | constraints expressions (ssn) |
выражения ограничений, определяющие условия фильтрации | constraints expressions that define the filter conditions (ssn) |
высокоуровневое программирование в ограничениях | high-level constraint programming (Alex_Odeychuk) |
вычислительная задача без жёстких временных ограничений | non-time-critical computationally intensive task (ssn) |
вычислительная система с временными ограничениями | computer system with timing constraints (ssn) |
вычислительное ограничение | computational constraint (ssn) |
выявление ограничений | identify the constraints (ssn) |
выявление ограничений, налагаемых на решение | identify the constraints to be imposed on the solution (ssn) |
гарантии, предсказания и ограничения | guarantees, predictions, and limitations (ssn) |
глобально статический подтип глобально статического ограничения диапазона | globally static subtype of a globally static range constraint (ssn) |
глобально статическое ограничение диапазона | globally static range constraint (ssn) |
глобально статическое ограничение индекса | globally static index constraint (ssn) |
грамматика без контекстуальных ограничений | context-free grammar (ssn) |
грамматика с контекстуальными ограничениями | context-dependent grammar (ssn) |
грамматика с контекстуальными ограничениями | context-sensitive grammar (ssn) |
двухмерный набор ограничений | flat constraint set (набор ограничений, который при применении его к общей иерархической модели файла создает структуру доступа, состоящую из двух уровней (уровни 0 и 1) и имеющую блоки данных только в узлах-листьях и не имеющую блока данных в корневом узле ssn) |
делегатное ограничение | delegate constraint (the delegate constraint requires that the type argument must be a delegate type, with the given signature and return type Alex_Odeychuk) |
длина записи временных ограничений | length of the encodings of the clock constraints (ssn) |
дополнительное ограничение | optional constraint (ssn) |
допуск ограничения | constraint tolerance (ssn) |
допуск удовлетворения ограничения | constraint satisfaction tolerance (ssn) |
допускать использование временных ограничений | allow the clock constraints (ssn) |
допустимое ограничение | valid constraint (ssn) |
жёсткие временные ограничения | tight timing constraints (ssn) |
жёсткие ограничения | hard limit (ssn) |
жёсткие ограничения на использование ресурсов процессом | hard limit on resource usage by a process (ssn) |
жёсткое ограничение | hard limit (ssn) |
жёсткое ограничение | rigid constraint (ssn) |
заданные временные ограничения | given constraints (ssn) |
задача с ограничением в виде неравенства | problem with inequality constraint (ssn) |
задача с ограничением в виде равенства | problem with equality constraint (ssn) |
задачи оптимизации динамических систем при наличии ограничений на траекторию | optimization problems for dynamic systems with path constraints (ssn) |
задачи с ограничениями в виде неравенств | problems with inequality constraints (ssn) |
задачи с ограничениями в виде равенств | problems with equality constraints (ssn) |
значок списка ограничений | constraint list icon (ssn) |
и другие подобные ограничения | and similar restrictions (ssn) |
изменение размера с ограничениями | constrained resize (ssn) |
инварианты и ограничения | invariants and bounds (ssn) |
инициализация типов данных с ограничением диапазона | initialization of subrange data types (ssn) |
инструкция, удовлетворяющая ряду ограничений | statement with certain restrictions (IBM Alex_Odeychuk) |
использование ограничения | constraint usage (ssn) |
исследование ограничений | examination of constraints (ssn) |
каждое ограничение | every constraint (ssn) |
квадратичное увеличение длины записи временных ограничений | quadratic blowup in the length of the encodings of the clock constraints (ssn) |
кодовое ограничение рекуррентного кода | recurrent-code constraint length (см. Теория передачи информации. Терминология. Вып. 94. М.: Наука, 1979 ssn) |
кодовое ограничение свёрточного кода | convolutional-code constraint length (см. Теория передачи информации. Терминология. Вып. 94. М.: Наука, 1979 ssn) |
команда создания ограничения | constraint creation command (ssn) |
команда создания ограничения для статьи | constraint creation command for article (ssn) |
комментарии и ограничения | comments and constraints (ssn) |
компьютерная система с временными ограничениями | computer system with timing constraints (ssn) |
конструктивное ограничение | design constraint (ssn) |
конфигурация ограничения вызова | call restriction configuration (ssn) |
лексическое ограничение | lexical constraint (ssn) |
лицензионное ограничение | licensing restriction (ssn) |
лицензионное ограничение | licence restriction (ssn) |
логическое программирование в ограничениях | constraint-based logic programming (Alex_Odeychuk) |
логическое программирование в ограничениях | CLP (см. constraint logic programming ssn) |
логическое программирование в ограничениях | constraint logic programming (сокр. CLP; разновидность программирования в ограничениях (constraint programming) и логического программирования, где машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Например, множество ограничений типа x100, y40 позволит исключить из рассмотрения все значения, не удовлетворяющие этому требованию, при поиске решения для выражения КратчайшееРасстояние(x, y). Существует много экспериментальных и коммерческих языков CLP, напр., CHIP и Eclipse, созданы средства (устройства, машины) разрешения ограничений для ряда предметных областей – это арифметики целых, действительных, линейных рациональных чисел, булева арифметика и сравнение строк. Syn: constraint-based programming ssn) |
логическое программирование в ограничениях со строгой типизацией | strongly-typed constraint logic programming (Microsoft Alex_Odeychuk) |
локально статическое ограничение диапазона | locally static range constraint (ssn) |
локально статическое ограничение индекса | locally static index constraint (ssn) |
локальный поиск в ограничениях | constraint-based local search (IBM Alex_Odeychuk) |
любые временные ограничения | any time constraints (ssn) |
манипулирование ограничениями | handling constraints (genetic algorithms ssn) |
маркер доступа без ограничений | nonrestricted token (ssn) |
маркер доступа с ограничением времени | timed token (в сетях FDDI ssn) |
маркер доступа с ограничением по времени | timed token (в сетях FDDI ssn) |
маркер с ограничениями | restricted token (ssn) |
маршрутизатор с ограничением доступа, экранирующий маршрутизатор | screening router (маршрутизатор, фильтрующий пакеты в соответствии с набором правил, установленных администратором сети ssn) |
метод уменьшения числа состояний автоматов с ограничениями на входе | reduction method for input-restricted machines (ssn) |
механизм выполнения кода на языке программирования в ограничениях | logic constraint mechanism (Alex_Odeychuk) |
механизм ограничений | restrictions mechanism (for banning specific features from an application; корпорации AdaCore Alex_Odeychuk) |
многопоточное логическое программирование в ограничениях | concurrent constraint logic programming (Alex_Odeychuk) |
множество временных ограничений | set of clock constraints (ssn) |
множество ограничений | a set of constraints (ssn) |
множество ограничений значений потоков данных | set of constraints on data-flow values (ssn) |
модели и описания сервисов и ограничений системы | models and descriptions for system services and for system constraints (ssn) |
моделируемые подсистемы вместе с их основными временными ограничениями | subsystems being modeled, as well as their major timing requirements (ssn) |
модель программирования в ограничениях | constraint model (Alex_Odeychuk) |
модульное ограничение | modular constraint (напр., в компьютерной графике ssn) |
мягкие ограничения | soft limit (ssn) |
мягкие ограничения ресурсов | soft limit of resources (ssn) |
на основе ограничений | constraint based (ssn) |
на основе ограничений | constraintbased (ssn) |
накладывать ограничения | sandbox (в целях безопасности остальной информации и остальных пользователей: We're sorry that we have to sandbox new users, but the first few upvotes on your questions or answers will quickly elevate you out of it! Shabe) |
накладывать определённые ограничения на | place certain restrictions on (ssn) |
накладывать определённые ограничения на круг формулируемых понятий | place certain restrictions on the range of concepts to be formulated (ssn) |
наследование посредством ограничения | restriction inheritance (ssn) |
Недавние работы распространили эту теорию на более общие классы процессов, но ограничения всё ещё существуют | Recent work has extended this theory to more general classes of processes, but limitations still exist (ssn) |
недопустимое ограничение | invalid constraint (ssn) |
независимая проверка ограничений синхронизации, осуществляемая во время синтеза | independent verification of the timing constraints realised during the synthesis (ssn) |
неизбежные ограничения | unavoidable constraints (ssn) |
неизбежные ограничения, связанные с процессом комплексирования | unavoidable constraints of integration process (ssn) |
некоторое ограничение | a constraint (ssn) |
некоторое ограничение на время реакции | a constraint on response time (ssn) |
некоторое ограничение на время реакции для той или иной операции | a constraint on response time for some operation (ssn) |
нелинейное программирование с вероятностными ограничениями | chance constrained non-linear programming (ssn) |
нелинейное программирование с вероятностными ограничениями | chance constrained nonlinear programming (ssn) |
нелинейное программирование с вероятностными ограничениями | chance constrained non linear programming (ssn) |
необходимое ограничение | required constraint (ssn) |
неограниченный индексируемый тип глобально статического ограничения индекса | unconstrained array type of a globally static index constraint (ssn) |
неограниченный индексируемый тип локально статического ограничения индекса | unconstrained array type of a locally static index constraint (ssn) |
несоблюдаемое ограничение | unsatisfied constraint (ssn) |
неструктурированный набор ограничений | unstructured constraint set (набор ограничений, который при применении его к общей иерархической модели файла создает структуру доступа, состоящую только из корневого узла с одним блоком данных 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) |
область ограничений | constraint region (ssn) |
обработка ограничений | constraint handling (в логическом программировании Alex_Odeychuk) |
общее ограничение | general constraint (ssn) |
объектно-ориентированное программирование в ограничениях | object-oriented constraint programming (Alex_Odeychuk) |
объектный язык ограничений | object constraint language (сокр. OCL; UML определяет Объектный язык ограничений (Object Constraint Language, OCL) как стандартное расширение. Это текстовый язык, который служит для определения ограничений и запросов. Он не предназначен для написания действий или выполнимого кода ssn) |
объектный язык ограничений | OCL (сокр. от "Object Constraint Language" Alex_Odeychuk) |
Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет | Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
обязательные ограничения | conventions (Alex_Odeychuk) |
обязательные ограничения | mandatory constraints (Laatokka) |
ограничение архитектуры | architecture limitation (ssn) |
ограничение базовой линии | baseline constraint (ssn) |
ограничение базовой линии | base line constraint (ssn) |
ограничение безопасности | security restriction (ssn) |
ограничение безопасности Internet Explorer | Internet Explorer security restriction (ssn) |
ограничение безопасности | security constraint (ssn) |
ограничение буфера | buffer limit (ssn) |
ограничение бюджета | budget constraint (ssn) |
ограничение в объёме памяти | memory limitation (ssn) |
ограничение величины единицы трансляции | translation limit (ограничение на величину модуля исходного текста, допускаемого компилятором) |
ограничение вывода записей журнала | limiting log output (ssn) |
ограничение вывода команды log | limiting log output (ssn) |
ограничение вызова | call restriction (ssn) |
ограничение, вызывающее раздражение | irritating restriction (Alex_Odeychuk) |
ограничение выполнения | execution constraint (ssn) |
ограничение диапазона | range constraint (ssn) |
ограничение для столбца | column-level constraint (ssn) |
ограничение допустимости | validity constraint (opensuse.org owant) |
ограничение доступа | restricting access (ssn) |
ограничение доступа к системным сервисам | restricting access to system services (ssn) |
ограничение идентификатора | identity constraint (ssn) |
ограничение индекса | index constraint (ssn) |
ограничение количества параметров | restriction of parameter number (корпорации AdaCore Alex_Odeychuk) |
ограничение контролируемой области | controlled plane constraint (ssn) |
ограничение контролируемой области | controled plane constraint (ssn) |
ограничение лицензии | license limit (ssn) |
ограничение лицензии | licence limit (ssn) |
ограничение макета | layout constraint (ssn) |
ограничение масштабируемости | scalability constraint (ssn) |
ограничение множественности | multiplicity constraint (ssn) |
ограничение на выдачу команд | issue restriction (ssn) |
ограничение на зависимость | dependency constraint (Alex_Odeychuk) |
ограничение на значение параметра | per-parameter constraint (Alex_Odeychuk) |
ограничение на использование | restriction (IBM Alex_Odeychuk) |
ограничение на количество записей | restriction on the number of entries (ssn) |
ограничение на количество параметров | restriction of parameter number (корпорации AdaCore Alex_Odeychuk) |
ограничение на объём памяти, которая может быть передана заданию | storage over the job's limit (ssn) |
ограничение на объём памяти, которая может быть передана процессу | storage over the process's limit (ssn) |
ограничение на размещение в памяти | memory mapping constraints (корпорации AdaCore Alex_Odeychuk) |
ограничение на размещение объекта в ОЗУ | memory mapping constraints (корпорации AdaCore Alex_Odeychuk) |
ограничение на репликацию | replication limit (ssn) |
ограничение на уникальность данных | unique constraint (ssn) |
ограничение на уровне ссылки | access level restriction (Access level restrictions prevent accesses to objects from outliving the accessed object, which would make the program erroneous. wikibooks.org Alex_Odeychuk) |
ограничение недетерминизма | restricting nondeterminism (ssn) |
ограничение неравенства | inequality constraint (ssn) |
ограничение обобщения | generic constraint (ssn) |
ограничение обобщённого типа | generic type constraint (Alex_Odeychuk) |
ограничение объектов | object restriction (ssn) |
ограничение пакета | package restriction (Alex_Odeychuk) |
ограничение памяти | memory cap (ssn) |
ограничение памяти | memory constraint (ssn) |
ограничение параметра обобщённого типа | generic type parameter constraint (Alex_Odeychuk) |
ограничение платформы рабочего терминала | craft terminal platform restriction (ssn) |
ограничение по внешнему ключу | referential constraint (ssn) |
ограничение по времени | time restriction (ssn) |
ограничение по времени | timebinding (ssn) |
ограничение по времени | time binding (ssn) |
ограничение по времени отклика | response timing constraint (корпорации AdaCore Alex_Odeychuk) |
ограничение по использованию | restriction (IBM Alex_Odeychuk) |
ограничение по количеству символов | character limit (ssn) |
ограничение по объёму памяти | memory constraint (корпорации AdaCore Alex_Odeychuk) |
ограничение по объёму памяти | storage limit (ssn) |
ограничение по памяти | memory constraint (корпорации AdaCore Alex_Odeychuk) |
ограничение по памяти | storage limit (ssn) |
ограничение помещения | room constraint (ssn) |
ограничение последствий неисправности | fault containment (ssn) |
ограничение последствий ошибки | error containment (ssn) |
ограничение прагмы | pragma restriction (Alex_Odeychuk) |
ограничение приложений | app limitation (ssn) |
ограничение приложений | application limitation (ssn) |
ограничение, применяемое в спецификации параметризованного абстрактного синтаксиса | constraint employed in specifying a parameterized abstract syntax (ssn) |
ограничение размера данных | data size constraint (ssn) |
ограничение распространения неисправности | fault containment (ssn) |
ограничение расстояний | distance constraint (ssn) |
ограничение реального времени | real-time constraint (for example, from an event to a system response Alex_Odeychuk) |
ограничение ресурса | resource cap (ssn) |
ограничение ресурсов | resource constraint (ssn) |
ограничение сети | network constraint (ssn) |
ограничение скорости | avoiding excess speed (ssn) |
ограничение скорости | rate limiting (ssn) |
ограничение скорости передачи порта | port rate limitation (ssn) |
ограничение скорости передачи порта | port rate restriction (ssn) |
ограничение скорости передачи порта | port rate limit (ssn) |
ограничение скорости порта | port rate restriction (ssn) |
ограничение скорости порта | port rate limitation (ssn) |
ограничение скорости порта | port rate limit (ssn) |
ограничение стратегии | policy constraint (ssn) |
ограничение типа | type constraint (в языке параллельного программирования Х10; IBM Alex_Odeychuk) |
ограничение типов | limiting the types (ssn) |
ограничение тока | current limit (ssn) |
ограничение тракта | path constraint (ssn) |
Ограничение уникальности | unique constraint (Rapunzel) |
ограничение функций рабочего устройства | business device feature restriction (ssn) |
ограничение функций устройства | device feature restriction (ssn) |
ограничение целостности | constraint (ограничения на значения определенного набора объектов данных. См. ГОСТ 34.321–96 & ISO/IEC 10032:1995 "Information technology – Reference model of data management" ssn) |
ограничение целостности уровня столбца | column-level constraint (ssn) |
ограничение целостности уровня столбца | column level constraint (ssn) |
ограничение целостности уровня таблицы | tablelevel constraint (ssn) |
ограничение целостности уровня таблицы | table level constraint (ssn) |
ограничения в виде неравенств | inequality constraints (ssn) |
ограничения в виде неравенств | inequality restrictions (ssn) |
ограничения в виде неравенств для вогнутых функций | inequality restrictions on concave functions (ssn) |
ограничения в виде равенств | equality constraints (ssn) |
ограничения в виде равенств на управляющие переменные | control variable equality constraints (ssn) |
ограничения в виде равенств на функции управления и фазовых координат | equality constraints on functions of the control and state variables (ssn) |
ограничения в виде равенств на функции фазовых координат | equality constraints on functions of the state variables (ssn) |
ограничения в объёме памяти | memory limitations (ssn) |
ограничения в спецификации метода | constraints in the subprogram specification (subprogram preconditions and postconditions or type predicates; корпорации AdaCore; из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения Alex_Odeychuk) |
ограничения во временной области | time domain constraints (ssn) |
ограничения всё ещё существуют | limitations still exist (ssn) |
ограничения динамических типов | limitations of dynamic types (ssn) |
ограничения для соблюдения целостности | integrity constraints (базы данных ssn) |
ограничения документа | document restrictions (ssn) |
ограничения доступа к ресурсам | resource limits (ssn) |
ограничения, заданные во внутренних точках траектории | interior-point constraints (ssn) |
ограничения индекса | index constraints (ssn) |
ограничения индекса и дискретные диапазоны | index constraints and discrete ranges (ssn) |
ограничения индексов | index restrictions (ssn) |
ограничения информации об HTTP-заголовках | limitations of HTTP header information (ssn) |
ограничения класса | class constraints (Alex_Odeychuk) |
ограничения многоадресной рассылки | multicast limits (ssn) |
ограничения многобайтовых наборов символов | multi-byte character set limitations (ssn) |
ограничения на возможности процесса по использованию системных ресурсов | limitations on a process's ability to utilize system resources (ssn) |
ограничения на класс | class constraints (Alex_Odeychuk) |
ограничения на многозадачность | tasking restrictions (корпорации AdaCore Alex_Odeychuk) |
ограничения на неклассовых типах | constraints on nonclass types (ssn) |
ограничения на продолжительность существования данных | restrictions on the data's lifetime (Alex_Odeychuk) |
ограничения на продолжительность существования объектов | lifetime semantics (Alex_Odeychuk) |
ограничения на траекторию | path constraints (ssn) |
ограничения, накладываемые архитектурным стилем | conventions (Alex_Odeychuk) |
ограничения, накладываемые архитектурой системы | conventions (Alex_Odeychuk) |
ограничения, накладываемые на верификацию | verification constraints (ssn) |
ограничения, накладываемые на процесс разработки | restrictions in the development process (Alex_Odeychuk) |
ограничения, налагаемые средой | environmental constraints (ssn) |
ограничения неявно типизированных переменных | restrictions on implicitly typed variables (ssn) |
ограничения обобщений для параметров типа | constraints for generic type parameters (ssn) |
ограничения оценки | assessment constraints (см. ГОСТ Р ИСО/МЭК 15504-1-2009 ssn) |
ограничения параллелизма | limits to parallelism (ssn) |
ограничения параметров универсального типа | constraints for generic type parameters (ssn) |
ограничения перегрузки операторов | limitations to operator overloading (из кн.: Солтер Н.А., Клепер С.Дж. С++ для профессионалов Alex_Odeychuk) |
ограничения передачи | transfer constraints (ssn) |
ограничения по времени отклика и объёму памяти | response timing and memory constraints (Alex_Odeychuk) |
ограничения по полосе пропускания | bandwidth limits (ssn) |
ограничения по производительности | performance limitations (возникают либо при большой вычислительной нагрузке, либо при обеспечении очень быстрой реакции системы на события ssn) |
ограничения потока управления | control-flow constraints (ssn) |
ограничения потока управления и ограничения передачи | control-flow and transfer constraints (ssn) |
ограничения при интеграции данных | data integration limitations (ssn) |
ограничения реального времени | real-time constraints (ssn) |
ограничения ресурсов | resource caps (ssn) |
ограничения ресурсов | resource limitations (ssn) |
ограничения, свойственные IP-сетям | limitations of IP networks (ssn) |
ограничения, связанные с высоким интегральным уровнем безопасности | 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) |
ограничения сигнатуры | signature constraints (ssn) |
ограничения символьных типов | limitations with character types (ssn) |
ограничения синхронизации | timing constraints (ssn) |
ограничения системы | system constraints (ssn) |
ограничения соблюдения целостности | integrity constraints (базы данных ssn) |
ограничения среды | environmental constraints (ssn) |
ограничения фиксированной длины буфера | boundaries of a fixed length buffer (ssn) |
ограничения хранения | storage restrictions (ssn) |
ожидание с ограничением по времени | timed wait (ssn) |
определение ограничений | placing restrictions (ssn) |
определение ограничений, налагаемых на процессы в задании | placing restrictions on a job's processes (ssn) |
определяемый ограничениями | constraintdriven (ssn) |
определяемый ограничениями | constraint driven (ssn) |
определять возможности и ограничения каждой платформы | list platform capabilities and limitations (ssn) |
определённое ограничение | certain restriction (ssn) |
определённые ограничения | some restrictions (ssn) |
определённые ограничения | certain restrictions (ssn) |
определённые ограничения на круг формулируемых понятий | certain restrictions on the range of concepts to be formulated (ssn) |
определённые операции на временных ограничениях | certain operations on clock constraints (ssn) |
ориентированный на ограничения | constraint-oriented (ssn) |
основное ограничение | basic constraint (ssn) |
основное ограничение | basic limitation (ssn) |
основные временные ограничения | major timing requirements (ssn) |
ответ на основное ограничение | response to the basic limitation (ssn) |
отказ из-за ограничения по времени | timelimit failure (ssn) |
отказ из-за ограничения по времени | time limit failure (ssn) |
отображение позиций во временные ограничения | mapping from locations to clock constraints (ssn) |
отображение позиций во временные ограничения, называемое инвариантом позиций | mapping from locations to clock constraints, called the location invariant (ssn) |
отсутствие ограничения | no limit (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) |
очередь без ограничения на длину | unbounded queue (An unbounded queue implies that the size of the queue is not specified while creating. Therefore, the queue can grow dynamically as elements are added to it. Alex_Odeychuk) |
очередь с возможным ограничением на длину | optionally-bounded queue (Alex_Odeychuk) |
очередь с ограничением на длину | fixed-size queue (Alex_Odeychuk) |
очередь с ограничением на длину | bounded queue (Alex_Odeychuk) |
ошибка выхода за ограничение | constraint error (корпорации AdaCore Alex_Odeychuk) |
ошибка выхода за ограничение во время вычисления | constraint error over a calculation (Alex_Odeychuk) |
ошибка ограничения | constraint error (Alex_Odeychuk) |
ошибка ограничения идентификатора | identity constraint error (ssn) |
параллельная система с временными ограничениями | concurrent system with timing constraints (ssn) |
параллельное выполнение задач без ограничений | unrestricted parallel tasking (Alex_Odeychuk) |
параллельное программирование в ограничениях | concurrent constraint programming (Alex_Odeychuk) |
параллельный локальный поиск в ограничениях | parallel constraint-based local search (IBM Alex_Odeychuk) |
параллельный решатель задач удовлетворения ограничений | parallel CSP solver (CSP – сокр. от "constraint satisfaction problem"; IBM Alex_Odeychuk) |
параллельный решатель численных задач удовлетворения ограничений | parallel numerical constraint solver (IBM Alex_Odeychuk) |
параметр ограничения | constraint parameter (ssn) |
переменное ограничение | variable constraint (ограничение, применяемое в спецификации параметризованного абстрактного синтаксиса и зависящее от некоторого параметра абстрактного синтаксиса ssn) |
Переносимость ПО осложнена ограничениями, накладываемыми работой в реальном времени | Portability is complicated by real time constraints (ssn) |
поведенческое ограничение | behavioral constraint (ssn) |
поддержка программирования в ограничениях | support for constraint programming (Alex_Odeychuk) |
подобные ограничения | similar restrictions (ssn) |
позволять верифицировать свойства с ограничениями по времени | allow the verification of time bounded properties (ssn) |
политические и юридические ограничения | political and legal restrictions (ssn) |
попытка превысить ограничение на число активных процессов в задании | attempting to exceed the number of active processes in the job (ssn) |
последовательное логическое программирование в ограничениях | non-concurrent constraint logic programming (Alex_Odeychuk) |
построение циклов, исходя из инвариантов и ограничений | developing loops from invariants and bounds (ssn) |
правила ограничений | constraint rules (ssn) |
правило ограничения целостности | constraining rule (правило, являющееся частью средства моделирования данных и контролирующее спецификацию ограничений целостности, которые могут быть наложены на определенный набор объектов данных. См. ГОСТ 34.321–96 & ISO/IEC 10032:1995 "Information technology – Reference model of data management" ssn) |
право ограничения | permission constraint (ssn) |
правое ограничение | right constraint (ssn) |
префикс ограничения вызова | call restriction prefix (ssn) |
приложение на языке логического программирования в ограничениях | constraint programming application (Alex_Odeychuk) |
проблематичный способ использования наследования реализации – наследование посредством ограничения | problematic use of implementation inheritance – restriction inheritance (ssn) |
проблематичный способ использования наследования реализации наследование посредством ограничения | problematic use of implementation inheritance restriction inheritance (ssn) |
проверка ограничений синхронизации | verification of the timing constraints (ssn) |
проверка ограничений синхронизации, осуществляемая во время синтеза | verification of the timing constraints realised during the synthesis (ssn) |
проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах | conformance checking of results of separate phases of software development to requirements and restrictions stated for these results on previous phases (верификация ssn) |
программирование в ограничениях | constraint-based programming (Alex_Odeychuk) |
программирование в ограничениях на объём памяти и скорость отклика приложения | programming with specific space and time requirements (Alex_Odeychuk) |
программирование на основе логики ограничений | CLP (сокр. от "constraint logic programming" Alex_Odeychuk) |
программирование с ограничениями на шансы | chance-constrained programming (ssn) |
программирование с учётом ограничений | constraint programming (тж. программирование в ограничениях; парадигма программирования, предусматривающая представление отношений между переменными в виде ограничений; ограничения отличаются от обычных примитивов других языков программирования тем, что они определяют не шаги или последовательности шагов, подлежащие исполнению, а свойства решения, которое следует найти. Ограничения могут быть различными по природе, могут встраиваться в язык программирования или содержаться в отдельных библиотеках ПО ssn) |
программное ограничение | software limitation (ssn) |
программный интерфейс приложений и служб, соответствующих ограничениям REST | RESTful API (REST – сокр. от "representational state transfer"; REST – стиль архитектуры программного обеспечения для распределенных систем информации, таких как Internet. Термин "REST" часто применяется для описания простого интерфейса, использующего XML (или YAML, JSON, обычный текст) с протоколом HTTP без дополнительного слоя передачи сообщений, такого как SOAP Alex_Odeychuk) |
проектное ограничение | design constraint (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) |
пространственно-временные ограничения | space constraints (ssn) |
пространственное ограничение | space constraint (ssn) |
профиль с ограничениями | restricted profile (корпорации AdaCore Alex_Odeychuk) |
профиль среды выполнения с ограничениями | restricted run-time profile (корпорации AdaCore Alex_Odeychuk) |
различные ограничения реального времени | various real-time constraints (ssn) |
распределённое параллельное логическое программирование в ограничениях | distributed parallel constraint logic programming (Alex_Odeychuk) |
распространение ограничений | constraint propagation (в языке параллельного логического программирования в ограничениях B-Prolog 7.8 (2012) Alex_Odeychuk) |
распространение ограничений | propagation of constraints (ssn) |
распространитель ограничений | constraint propagator (Alex_Odeychuk) |
распространитель ограничения | constraint propagator (one or more agents responsible for maintaining the consistency of the constraint; a constraint propagator is activated when the domain of any variable in the constraint is updated; в языке параллельного логического программирования в ограничениях B-Prolog 7.8 (2012) Alex_Odeychuk) |
расширенное ограничение | advanced constraint (ssn) |
расширенные базовые ограничения | extended basic limit (ssn) |
реализация механизма выполнения кода на языке программирования в ограничениях | implementation of a logic constraint mechanism (Alex_Odeychuk) |
ресурс ограничения памяти | capped memory resource (ssn) |
решение для множества ограничений | solution to a set of constraints (ssn) |
Решение называется эффективным, если оно решает задачу в рамках её ограничений по ресурсам | A solution is said to be efficient if it solves the problem within its resource constraints (С. А. Shaffer ssn) |
родовое ограничение | generic constraint (intuit.ru owant) |
ряд ограничений | series of restrictions (ssn) |
ряд ограничений на проверяемую систему | series of restrictions on the system being verified (ssn) |
с ограничением объёма памяти | memory-bounded (ssn) |
с ограничениями | restricted (Alex_Odeychuk) |
с ограничениями и без | with and without constraints (ssn) |
с поддержкой программирования в ограничениях | with support for constraint programming (Alex_Odeychuk) |
свободно распространяемое программное обеспечение с ограничением времени использования | shareware (ssn) |
сводка ограничений документа | document restrictions summary (ssn) |
свойства с ограничениями по времени | time bounded properties (ssn) |
сети ограничений | constraint networks (ssn) |
сеть ограничений | constraint network (ssn) |
синтаксические и семантические ограничения | syntactical and semantical restrictions (ssn) |
система высокоуровневого программирования в ограничениях | high-level constraint programming system (Alex_Odeychuk) |
система логического программирования в ограничениях | CLP system (Alex_Odeychuk) |
система логического программирования в ограничениях | constraint logic programming system (Alex_Odeychuk) |
система программирования в ограничениях | constraint programming system (Alex_Odeychuk) |
система со сложными временными ограничениями | system with complex timing constraints (ssn) |
системные ограничения | system constraints (ssn) |
Системы реального времени-это параллельные системы с временными ограничениями | Real-time systems are concurrent systems with timing constraints (см. Software Modeling and Design by Hassan Gomaa ssn) |
сквозные ограничения | cross-cutting restrictions (англ. термин взят из кн.: Elliott J., O'Brien T.M., Fowler R. Harnessing Hibernate / Ed. by M.Loukides Alex_Odeychuk) |
сложные временные ограничения | complex timing constraints (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) |
соблюдение ограничения | constraint satisfaction (ssn) |
совмещённое программирование в ограничениях | concurrent constraint programming (Alex_Odeychuk) |
совокупность ограничений | constraint package (ограничивающих условий ssn) |
создание ограничения | constraint creation (ssn) |
спецификация ограничения | constraint specification (ssn) |
список ограничений | constraints list (ssn) |
способ ограничения вызовов | call restriction method (ssn) |
способ ограничения типов | way of limiting the types (ssn) |
средства программирования в ограничениях | constraint programming features (Alex_Odeychuk) |
статическое ограничение индекса | static index constraint (ssn) |
столбец ограничений | constraint column (ssn) |
стохастическое программирование с ограничениями на шансы | stochastic CCP (ssn) |
стохастическое программирование с ограничениями на шансы | stochastic chance-constrained programming (ssn) |
строго типизированный язык программирования в ограничениях | strongly typed, constraint language (Alex_Odeychuk) |
строка ограничений | constraint row (ssn) |
структура типа "обобщение-ограничение" | gen-spec structure (ssn) |
структура типа "обобщение-ограничение" | generalization-specialization structure (ssn) |
табличное ограничение | table constraint (ssn) |
такое ограничение значительно облегчает чтение и поддержку больших систем | this constraint greatly improves the readability and maintainability of large systems (см. "Types and Programming Languages" by Benjamin C. Pierce 2002 ssn) |
текущее ограничение | immediate constraint (ssn) |
теория ограничений | constraints theory (ssn) |
технические ограничения | technical constraints (ssn) |
техническое ограничение | technical constraint (ssn) |
технологическое ограничение | technological constraint (ssn) |
тип без ограничений | unconstrained type (Alex_Odeychuk) |
тип данных с ограничением диапазона | subrange data type (ssn) |
тип ограничения | constraint type (ssn) |
тип с ограничением | constrained type (Alex_Odeychuk) |
типизация с ограничениями | constraint typing (ssn) |
точное определение временных ограничений | precise definition of clock constraints (ssn) |
требования и ограничения | requirements and restrictions (ssn) |
требования к архитектурным ограничениям | requirements for architectural constraints (ssn) |
удовлетворение ограничений | constraint solving (Microsoft Alex_Odeychuk) |
удовлетворение ограничений | constraint satisfaction (в ИИ и исследовании операций – процесс нахождения решения задачи с учётом множества ограничений. Подобные ограничения определяют предельные допустимые значения для переменных, поэтому искомое решение – это нахождение таких значений переменных, которые удовлетворяют всем ограничениям ssn) |
удовлетворение ограничений над конечными областями | finite-domain constraint solving (Alex_Odeychuk) |
Уменьшение видов атак соединяет использование многоуровневой защиты, отключение или ограничение доступа к системным сервисам и применение при любых возможных обстоятельствах принципа наименьших привилегий | Attack surface reduction embodies employing layered defenses, shutting off or restricting access to system services and applying the principle of least privilege wherever possible (см. ISO/IEC 27034-1:2011 ssn) |
управление ограничениями | constraint management (ssn) |
уравнение ограничения | constraint equation (ssn) |
уравнения ограничений | constraint equations (ssn) |
условие гарантии с ограничением по времени | timebased warranty condition (ssn) |
условие с ограничением по времени | timebased condition (ssn) |
установленные временные ограничения | given constraints (ssn) |
установленные ограничения | given constraints (ssn) |
Учитывая это, природа компьютеризации проектов современных механических систем становится более понятной. Вычислительные способности и ограничения должны рассматриваться на всех стадиях процесса проектирования и реализации. В частности, эффективность окончательной промышленной системы будет существенно зависеть от качества функционирования программного обеспечения в реальном масштабе времени, которое управляет механизмом | with this context, the compucentric nature of modern mechanical systems designs becomes clearer. Computational capabilities and limitations must be considered at all stages of the design and implementation process. In particular, the effectiveness of the final production system will depend very heavily on the quality of the real time software that controls the machine (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
учёт ограничения | constraint satisfaction (ssn) |
фон-неймановское ограничение | von Neumann bottleneck (ssn) |
форма ограничения | form of constraint (ssn) |
форма ограничения, используемого в указании подтипа генератора | form of constraint in the subtype indication of an allocator (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) |
Posix-функции для установки ограничений доступа к ресурсам | POSIX functions to set resource limits (ssn) |
функциональное ограничение | functional limit (ssn) |
функциональное ограничение | functionality limitation (ssn) |
целочисленное ограничение | integer constraint (ssn) |
численное решение задач оптимизации с ограничениями в виде неравенств | numerical solution of problems with inequality constraints (ssn) |
эвристический поиск с ограничением объёма памяти | memory-bounded heuristic search (ssn) |
эксплуатационное ограничение | operational constraint (ssn) |
эксплуатационное ограничение | operating constraint (ssn) |
эксплуатационное ограничение виртуального выделения ресурсов | virtual provisioning operating limit (ssn) |
элементарное ограничение | primitive constraint (ssn) |
элементарные ограничения | primitive constraints (ssn) |
явно заданное ограничение | explicit constraint (корпорации AdaCore Alex_Odeychuk) |
явное ограничение индекса | explicit index constraint (ssn) |
язык императивного объектно-ориентированного программирования в ограничениях | object-oriented imperative constraint programming language (Alex_Odeychuk) |
язык логического программирования в ограничениях | constraint logic programming language (в языке логического программирования в ограничениях машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Alex_Odeychuk) |
язык логического программирования в ограничениях | constraint logic language (Alex_Odeychuk) |
язык логического программирования в ограничениях | constraint-based logic programming language (Alex_Odeychuk) |
язык ограничений объектов | object constraint language (ssn) |
язык описания объектных ограничений | object constraint language (определяет язык описания запросов, инвариантов и операций в моделях UML ssn) |
язык определения ограничений | constraint definition language (ssn) |
язык программирования в ограничениях | constraint language (Alex_Odeychuk) |