| English | Russian |
| a constraint | некоторое ограничение (ssn) |
| a constraint on response time | некоторое ограничение на время реакции (ssn) |
| a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
| a set of constraints | множество ограничений (ssn) |
| A solution is said to be efficient if it solves the problem within its resource constraints | Решение называется эффективным, если оно решает задачу в рамках её ограничений по ресурсам (С. А. Shaffer ssn) |
| advanced constraint | расширенное ограничение (ssn) |
| algebraic constraint | алгебраическое ограничение (ssn) |
| allow the clock 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) |
| any time constraints | любые временные ограничения (ssn) |
| architectural constraint | архитектурное ограничение (ssn) |
| architectural constraints | архитектурные ограничения (ssn) |
| arrays also have constraints on particular operations instead of general constraints | массивы также имеют требования на частные операции вместо общих требований (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986 ssn) |
| assessment constraints | ограничения оценки (см. ГОСТ Р ИСО/МЭК 15504-1-2009 ssn) |
| base line constraint | ограничение базовой линии (ssn) |
| baseline constraint | ограничение базовой линии (ssn) |
| basic constraint | основное ограничение (ssn) |
| behavioral constraint | поведенческое ограничение (ssn) |
| budget constraint | ограничение бюджета (ssn) |
| budgetary constraint | бюджетное ограничение (ssn) |
| certain operations on clock constraints | определённые операции на временных ограничениях (ssn) |
| check constraint | проверочное ограничение (ssn) |
| class constraints | ограничения класса (Alex_Odeychuk) |
| class constraints | ограничения на класс (Alex_Odeychuk) |
| clock constraint | временное ограничение (ssn) |
| clock constraint in the invariant of a location or in the guard of a transition | временное ограничение инварианта позиции или предохранителя перехода (ssn) |
| clock constraints | временные ограничения (ssn) |
| column level constraint | ограничение целостности уровня столбца (ssn) |
| column-level constraint | ограничение для столбца (ssn) |
| column-level constraint | ограничение целостности уровня столбца (ssn) |
| comments and constraints | комментарии и ограничения (ssn) |
| complex timing constraints | сложные временные ограничения (ssn) |
| computational constraint | вычислительное ограничение (ssn) |
| computer system with timing constraints | вычислительная система с временными ограничениями (ssn) |
| computer system with timing constraints | компьютерная система с временными ограничениями (ssn) |
| concurrent constraint programming | параллельное программирование в ограничениях (Alex_Odeychuk) |
| concurrent constraint programming | совмещённое программирование в ограничениях (Alex_Odeychuk) |
| concurrent system with timing constraints | параллельная система с временными ограничениями (ssn) |
| constrained by index constraint | ограничен пределами индекса (ssn) |
| constraint based | на основе ограничений (ssn) |
| constraint-based logic programming | логическое программирование в ограничениях (Alex_Odeychuk) |
| constraint-based logic programming language | язык логического программирования в ограничениях (Alex_Odeychuk) |
| constraint based planning | планирование на основе ограничений (ssn) |
| constraint-based programming | программирование в ограничениях (Alex_Odeychuk) |
| constraint based scheduling | планирование на основе ограничений (ssn) |
| constraint class | класс ограничения (ssn) |
| constraint column | столбец ограничений (ssn) |
| constraint creation | создание ограничения (ssn) |
| constraint creation command | команда создания ограничения (ssn) |
| constraint creation command for article | команда создания ограничения для статьи (ssn) |
| constraint definition language | язык определения ограничений (ssn) |
| constraint employed in specifying a parameterized abstract syntax | ограничение, применяемое в спецификации параметризованного абстрактного синтаксиса (ssn) |
| constraint equation | уравнение ограничения (ssn) |
| constraint equations | уравнения ограничений (ssn) |
| constraint error | ошибка выхода за ограничение (корпорации AdaCore Alex_Odeychuk) |
| constraint error | ошибка ограничения (Alex_Odeychuk) |
| constraint error over a calculation | ошибка выхода за ограничение во время вычисления (Alex_Odeychuk) |
| constraint handling | обработка ограничений (в логическом программировании Alex_Odeychuk) |
| constraint imperative programming | императивное программирование в ограничениях (Alex_Odeychuk) |
| constraint language | язык программирования в ограничениях (Alex_Odeychuk) |
| constraint list icon | значок списка ограничений (ssn) |
| constraint logic language | язык логического программирования в ограничениях (Alex_Odeychuk) |
| constraint logic programming | логическое программирование в ограничениях (сокр. CLP; разновидность программирования в ограничениях (constraint programming) и логического программирования, где машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Например, множество ограничений типа x100, y40 позволит исключить из рассмотрения все значения, не удовлетворяющие этому требованию, при поиске решения для выражения КратчайшееРасстояние(x, y). Существует много экспериментальных и коммерческих языков CLP, напр., CHIP и Eclipse, созданы средства (устройства, машины) разрешения ограничений для ряда предметных областей – это арифметики целых, действительных, линейных рациональных чисел, булева арифметика и сравнение строк. Syn: constraint-based programming ssn) |
| constraint logic programming language | язык логического программирования в ограничениях (в языке логического программирования в ограничениях машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Alex_Odeychuk) |
| constraint logic programming system | система логического программирования в ограничениях (Alex_Odeychuk) |
| constraint management | управление ограничениями (ssn) |
| constraint model | модель программирования в ограничениях (Alex_Odeychuk) |
| constraint network | сеть ограничений (ssn) |
| constraint networks | сети ограничений (ssn) |
| constraint package | совокупность ограничений (ограничивающих условий ssn) |
| constraint parameter | параметр ограничения (ssn) |
| constraint programming | программирование с учётом ограничений (тж. программирование в ограничениях; парадигма программирования, предусматривающая представление отношений между переменными в виде ограничений; ограничения отличаются от обычных примитивов других языков программирования тем, что они определяют не шаги или последовательности шагов, подлежащие исполнению, а свойства решения, которое следует найти. Ограничения могут быть различными по природе, могут встраиваться в язык программирования или содержаться в отдельных библиотеках ПО ssn) |
| constraint programming application | приложение на языке логического программирования в ограничениях (Alex_Odeychuk) |
| constraint programming features | средства программирования в ограничениях (Alex_Odeychuk) |
| constraint programming system | система программирования в ограничениях (Alex_Odeychuk) |
| constraint propagation | распространение ограничений (в языке параллельного логического программирования в ограничениях B-Prolog 7.8 (2012) Alex_Odeychuk) |
| 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) |
| constraint region | область ограничений (ssn) |
| constraint row | строка ограничений (ssn) |
| constraint rules | правила ограничений (ssn) |
| constraint satisfaction | соблюдение ограничения (ssn) |
| constraint satisfaction | учёт ограничения (ssn) |
| constraint satisfaction | удовлетворение условия (ssn) |
| constraint satisfaction | удовлетворение ограничений (в ИИ и исследовании операций – процесс нахождения решения задачи с учётом множества ограничений. Подобные ограничения определяют предельные допустимые значения для переменных, поэтому искомое решение – это нахождение таких значений переменных, которые удовлетворяют всем ограничениям ssn) |
| constraint satisfaction tolerance | допуск удовлетворения ограничения (ssn) |
| constraint solving | удовлетворение ограничений (Microsoft Alex_Odeychuk) |
| constraint specification | спецификация ограничения (ssn) |
| constraint tolerance | допуск ограничения (ssn) |
| constraint type | тип ограничения (ssn) |
| constraint typing | типизация с ограничениями (ssn) |
| constraint usage | использование ограничения (ssn) |
| constraints expressions | выражения ограничений (ssn) |
| constraints expressions that define the filter conditions | выражения ограничений, определяющие условия фильтрации (ssn) |
| constraints for generic type parameters | ограничения обобщений для параметров типа (ssn) |
| constraints for generic type parameters | ограничения параметров универсального типа (ssn) |
| constraints in the subprogram specification | ограничения в спецификации метода (subprogram preconditions and postconditions or type predicates; корпорации AdaCore; из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения Alex_Odeychuk) |
| constraints list | список ограничений (ssn) |
| constraints of integration process | ограничения, связанные с процессом комплексирования (ssn) |
| constraints on nonclass types | ограничения на неклассовых типах (ssn) |
| constraints theory | теория ограничений (ssn) |
| control variable equality constraints | ограничения в виде равенств на управляющие переменные (ssn) |
| controled plane constraint | ограничение контролируемой области (ssn) |
| control-flow and transfer constraints | ограничения потока управления и ограничения передачи (ssn) |
| control-flow constraints | ограничения потока управления (ssn) |
| controlled plane constraint | ограничение контролируемой области (ssn) |
| convolutional-code constraint length | кодовое ограничение свёрточного кода (см. Теория передачи информации. Терминология. Вып. 94. М.: Наука, 1979 ssn) |
| data size constraint | ограничение размера данных (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) |
| dependency constraint | ограничение на зависимость (Alex_Odeychuk) |
| design constraint | проектное ограничение (ssn) |
| design constraint | конструктивное ограничение (ssn) |
| distance constraint | ограничение расстояний (ssn) |
| distributed parallel constraint logic programming | распределённое параллельное логическое программирование в ограничениях (Alex_Odeychuk) |
| environmental constraints | ограничения, налагаемые средой (ssn) |
| environmental constraints | ограничения среды (ssn) |
| equality constraints | ограничения в виде равенств (ssn) |
| equality constraints on functions of the control and state variables | ограничения в виде равенств на функции управления и фазовых координат (ssn) |
| equality constraints on functions of the state variables | ограничения в виде равенств на функции фазовых координат (ssn) |
| every constraint | каждое ограничение (ssn) |
| examination of constraints | исследование ограничений (ssn) |
| execution constraint | ограничение выполнения (ssn) |
| explicit constraint | явно заданное ограничение (корпорации AdaCore Alex_Odeychuk) |
| explicit index constraint | явное ограничение индекса (ssn) |
| finite-domain constraint solving | удовлетворение ограничений над конечными областями (Alex_Odeychuk) |
| flat constraint set | двухмерный набор ограничений (набор ограничений, который при применении его к общей иерархической модели файла создает структуру доступа, состоящую из двух уровней (уровни 0 и 1) и имеющую блоки данных только в узлах-листьях и не имеющую блока данных в корневом узле ssn) |
| form of constraint | форма ограничения (ssn) |
| form of constraint in the subtype indication of an allocator | форма ограничения, используемого в указании подтипа генератора (ssn) |
| general constraint | общее ограничение (ssn) |
| general constraints | общие требования (ssn) |
| generic constraint | родовое ограничение (intuit.ru owant) |
| generic type constraint | ограничение обобщённого типа (Alex_Odeychuk) |
| generic type parameter constraint | ограничение параметра обобщённого типа (Alex_Odeychuk) |
| given constraints | установленные временные ограничения (ssn) |
| given constraints | установленные ограничения (ssn) |
| given constraints | заданные временные ограничения (ssn) |
| globally static index constraint | глобально статическое ограничение индекса (ssn) |
| globally static range constraint | глобально статическое ограничение диапазона (ssn) |
| globally static subtype of a globally static range constraint | глобально статический подтип глобально статического ограничения диапазона (ssn) |
| handling constraints | манипулирование ограничениями (genetic algorithms ssn) |
| hierarchical constraint set | иерархический набор ограничений (набор ограничений, который при применении его к общей иерархической модели файла создает структуру доступа, которая все ещё является иерархической, но в которой ограничениями являются формат описаний узла и формат блоков данных ssn) |
| high-level constraint programming | высокоуровневое программирование в ограничениях (Alex_Odeychuk) |
| high-level constraint programming system | система высокоуровневого программирования в ограничениях (Alex_Odeychuk) |
| identify the constraints | выявление ограничений (ssn) |
| identify the constraints to be imposed on the solution | выявление ограничений, налагаемых на решение (ssn) |
| identity constraint | ограничение идентификатора (ssn) |
| identity constraint error | ошибка ограничения идентификатора (ssn) |
| immediate constraint | текущее ограничение (ssn) |
| implementation of a logic constraint mechanism | реализация механизма выполнения кода на языке программирования в ограничениях (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) |
| independent verification of the timing constraints realised during the synthesis | независимая проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |
| index constraint | пределы индекса (ssn) |
| index constraint | ограничение индекса (ssn) |
| index constraints | ограничения индекса (ssn) |
| index constraints and discrete ranges | ограничения индекса и дискретные диапазоны (ssn) |
| inequality constraint | ограничение неравенства (ssn) |
| inequality constraints | ограничения в виде неравенств (ssn) |
| inflexible constraint | негибкое ограничение (ssn) |
| inflexible constraint for projects scheduled from the finish date | негибкое ограничение для проектов, планируемых с конечной даты (finish no earlier than ssn) |
| inflexible constraint for projects scheduled from the start date | негибкое ограничение для проектов, планируемых с даты начала (finish no later than ssn) |
| inflexible constraints | негибкие ограничения (ssn) |
| integer constraint | целочисленное ограничение (ssn) |
| integral constraints | интегральные ограничения (ssn) |
| integrity constraints | ограничения для соблюдения целостности (базы данных ssn) |
| integrity constraints | правила для соблюдения целостности (базы данных ssn) |
| integrity constraints | правила соблюдения целостности (базы данных ssn) |
| integrity constraints | ограничения соблюдения целостности (базы данных ssn) |
| interior-point constraints | ограничения, заданные во внутренних точках траектории (ssn) |
| intrinsic constraint | внутреннее ограничение (в СУБД – ограничение (возможно, одно из многих), накладываемое внутренней структурой базы данных ssn) |
| invalid constraint | недопустимое ограничение (ssn) |
| layout constraint | ограничение макета (ssn) |
| left constraint | левое ограничение (ssn) |
| length of the encodings of the clock constraints | длина записи временных ограничений (ssn) |
| lexical constraint | лексическое ограничение (ssn) |
| library of constraint solvers | библиотека решателей задач удовлетворения ограничений |
| locally static index constraint | локально статическое ограничение индекса (ssn) |
| locally static range constraint | локально статическое ограничение диапазона (ssn) |
| mandatory constraints | обязательные ограничения (Laatokka) |
| mapping from locations to clock constraints | отображение позиций во временные ограничения (ssn) |
| mapping from locations to clock constraints, called the location invariant | отображение позиций во временные ограничения, называемое инвариантом позиций (ssn) |
| memory constraint | ограничение памяти (ssn) |
| memory mapping constraints | ограничение на размещение в памяти (корпорации AdaCore Alex_Odeychuk) |
| memory mapping constraints | ограничение на размещение объекта в ОЗУ (корпорации AdaCore Alex_Odeychuk) |
| models and descriptions for system services and for system constraints | модели и описания сервисов и ограничений системы (ssn) |
| modular constraint | модульное ограничение (напр., в компьютерной графике ssn) |
| multiplicity constraint | ограничение множественности (ssn) |
| network constraint | ограничение сети (ssn) |
| numerical solution of problems with inequality constraints | численное решение задач оптимизации с ограничениями в виде неравенств (ssn) |
| object constraint language | язык описания объектных ограничений (определяет язык описания запросов, инвариантов и операций в моделях UML ssn) |
| object constraint language | язык ограничений объектов (ssn) |
| object constraint language | объектный язык ограничений (сокр. OCL; UML определяет Объектный язык ограничений (Object Constraint Language, OCL) как стандартное расширение. Это текстовый язык, который служит для определения ограничений и запросов. Он не предназначен для написания действий или выполнимого кода ssn) |
| only allowed form of constraint | единственно допустимая форма ограничения (ssn) |
| operating constraint | эксплуатационное ограничение (ssn) |
| operational constraint | эксплуатационное ограничение (ssn) |
| optimization problems for dynamic systems with path constraints | задачи оптимизации динамических систем при наличии ограничений на траекторию (ssn) |
| optional constraint | дополнительное ограничение (ssn) |
| parallel constraint-based local search | параллельный локальный поиск в ограничениях (IBM Alex_Odeychuk) |
| parallel numerical constraint solver | параллельный решатель численных задач удовлетворения ограничений (IBM Alex_Odeychuk) |
| path constraint | ограничение тракта (ssn) |
| path constraints | ограничения на траекторию (ssn) |
| permission constraint | право ограничения (ssn) |
| per-parameter constraint | ограничение на значение параметра (Alex_Odeychuk) |
| policy constraint | ограничение стратегии (ssn) |
| Portability is complicated by real time constraints | Переносимость ПО осложнена ограничениями, накладываемыми работой в реальном времени (ssn) |
| possible constraints for generic type parameters | возможные ограничения обобщений для параметров типа (ssn) |
| possible constraints for generic type parameters | возможные ограничения параметров универсального типа (ssn) |
| pragmatic constraints | практические ограничения (часто определяют конкретные возможности реализации тех или иных решений (алгоритмов и др.) ssn) |
| precedence constraint | отношение предшествования (ssn) |
| precise definition of clock constraints | точное определение временных ограничений (ssn) |
| primitive constraint | элементарное ограничение (ssn) |
| primitive constraints | элементарные ограничения (ssn) |
| problem with equality constraint | задача с ограничением в виде равенства (ssn) |
| problem with inequality constraint | задача с ограничением в виде неравенства (ssn) |
| problems with equality constraints | задачи с ограничениями в виде равенств (ssn) |
| problems with inequality constraints | задачи с ограничениями в виде неравенств (ssn) |
| prohibiting state constraint | высказывания, определяющие взаимодействие между клиентами (ssn) |
| propagation of constraints | распространение ограничений (ssn) |
| prove the absence of constraint errors | выполнить доказательство отсутствия ошибки выхода за ограничение (корпорации AdaCore Alex_Odeychuk) |
| quadratic blowup in the length of the encodings of the clock constraints | квадратичное увеличение длины записи временных ограничений (ssn) |
| range constraint | ограничение диапазона (ssn) |
| real-time constraints | ограничения реального времени (ssn) |
| real-time constraints | ограничения, связанные с функционированием в реальном времени (корпорации AdaCore Alex_Odeychuk) |
| real-time constraints | ограничения, связанные с работой в реальном времени (обычно характерны для систем управления (control system) ssn) |
| Real-time systems are concurrent systems with timing constraints | Системы реального времени-это параллельные системы с временными ограничениями (см. Software Modeling and Design by Hassan Gomaa ssn) |
| recurrent-code constraint length | кодовое ограничение рекуррентного кода (см. Теория передачи информации. Терминология. Вып. 94. М.: Наука, 1979 ssn) |
| referential constraint | ограничение по внешнему ключу (ssn) |
| required constraint | необходимое ограничение (ssn) |
| requirements for architectural constraints | требования к архитектурным ограничениям (ssn) |
| resource constraint | ограничение ресурсов (ssn) |
| response timing and memory constraints | ограничения по времени отклика и объёму памяти (Alex_Odeychuk) |
| right constraint | правое ограничение (ssn) |
| rigid constraint | жёсткое ограничение (ssn) |
| room constraint | ограничение помещения (ssn) |
| scalability constraint | ограничение масштабируемости (ssn) |
| security constraint | ограничение безопасности (ssn) |
| self-referencing constraint | автореферентная связь (реляционная связь, определяющая отношение, по которому таблица зависит от самой себя ssn) |
| set of clock constraints | множество временных ограничений (ssn) |
| set of constraints on data-flow values | множество ограничений значений потоков данных (ssn) |
| signature constraints | ограничения сигнатуры (ssn) |
| simple constraint | простое ограничение (ssn) |
| solution to a set of constraints | решение для множества ограничений (ssn) |
| space constraint | пространственное ограничение (ssn) |
| space constraints | пространственно-временные ограничения (ssn) |
| static index constraint | статическое ограничение индекса (ssn) |
| stereotypes and constraints that can be applied to generalizations | стереотипы и ограничивающие условия, которые могут применяться к обобщениям (ssn) |
| stereotypes, constraints, and adornments that can be applied to associations | стереотипы, ограничивающие условия и графические элементы, которые могут применяться к ассоциациям (ssn) |
| strongly-typed constraint logic programming | логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk) |
| system constraints | системные ограничения (ssn) |
| system constraints | ограничения системы (ssn) |
| system with complex timing constraints | система со сложными временными ограничениями (ssn) |
| system-level timing constraints | временные ограничения на уровне системы (ssn) |
| system-level timing constraints | временные условия на уровне системы (ssn) |
| table level constraint | ограничение целостности уровня таблицы (ssn) |
| tablelevel constraint | ограничение целостности уровня таблицы (ssn) |
| technical constraint | техническое ограничение (ssn) |
| technical constraints | технические ограничения (ssn) |
| technological constraint | технологическое ограничение (ssn) |
| temporary constraint | временное ограничение (ssn) |
| the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations | полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций (ssn) |
| the only allowed form of constraint in the subtype indication of an allocator is an index constraint | Единственно допустимой формой ограничения, используемого в указании подтипа генератора, является ограничение индекса (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| 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) |
| the transition can be taken only if the current values of the clocks satisfy the clock constraint | Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| this constraint greatly improves the readability and maintainability of large systems | такое ограничение значительно облегчает чтение и поддержку больших систем (см. "Types and Programming Languages" by Benjamin C. Pierce 2002 ssn) |
| tight timing constraints | жёсткие временные ограничения (ssn) |
| time domain constraints | ограничения во временной области (ssn) |
| timing constraints | ограничения синхронизации (ssn) |
| timing constraints | временные условия (ограничительные ssn) |
| timing constraints | предельно допустимые временные задержки (т.ж. временные ограничения; напр., распределённые системы автоматизации технологических процессов производства состоят из логических контроллеров, датчиков, исполнительных механизмов, взаимосвязанных шин и т.п. Один контроллер может исполнять несколько задач параллельно, причём каждая задача имеет собственные жёсткие временные ограничения – а кроме того, необходимо также учитывать требования по совокупному времени реакции на событие для всей цепочки (end-to-end event-response) распределённых компонентов системы (включая задержку распространения сигналов или сообщений) ssn) |
| transfer constraints | ограничения передачи (ssn) |
| type constraint | ограничение типа (в языке параллельного программирования Х10; IBM 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) |
| unavoidable constraints | неизбежные ограничения (ssn) |
| unavoidable constraints of integration process | неизбежные ограничения, связанные с процессом комплексирования (ssn) |
| unconstrained array type of a globally static index constraint | неограниченный индексируемый тип глобально статического ограничения индекса (ssn) |
| unconstrained array type of a locally static index constraint | неограниченный индексируемый тип локально статического ограничения индекса (ssn) |
| under the expected constraints | в запланированных ограничениях (Alex_Odeychuk) |
| unique constraint | ограничение на уникальность данных (ssn) |
| unsatisfied constraint | несоблюдаемое ограничение (ssn) |
| unstructured constraint set | неструктурированный набор ограничений (набор ограничений, который при применении его к общей иерархической модели файла создает структуру доступа, состоящую только из корневого узла с одним блоком данных ssn) |
| valid constraint | допустимое ограничение (ssn) |
| validity constraint | ограничение допустимости (opensuse.org owant) |
| various real-time constraints | различные ограничения реального времени (ssn) |
| verification constraints | ограничения, накладываемые на верификацию (ssn) |
| verification of the timing constraints | проверка ограничений синхронизации (ssn) |
| verification of the timing constraints realised during the synthesis | проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |
| with and without constraints | с ограничениями и без (ssn) |
| with support for constraint programming | с поддержкой программирования в ограничениях (Alex_Odeychuk) |
| within real-time constraints | в условиях ограничений реального масштаба времени (ssn) |
