English | Russian |
a constraint | некоторое ограничение (ssn) |
a constraint on response time | некоторое ограничение на время реакции (ssn) |
a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
advanced constraint | расширенное ограничение (ssn) |
algebraic constraint | алгебраическое ограничение (ssn) |
architectural constraint | архитектурное ограничение (ssn) |
base line constraint | ограничение базовой линии (ssn) |
baseline constraint | ограничение базовой линии (ssn) |
basic constraint | основное ограничение (ssn) |
behavioral constraint | поведенческое ограничение (ssn) |
budget constraint | ограничение бюджета (ssn) |
budgetary constraint | бюджетное ограничение (ssn) |
built-in constraint | встроенное ограничение (Alex_Odeychuk) |
check constraint | проверочное ограничение (ssn) |
clock constraint | временное ограничение (ssn) |
clock constraint in the invariant of a location or in the guard of a transition | временное ограничение инварианта позиции или предохранителя перехода (ssn) |
column level constraint | ограничение целостности уровня столбца (ssn) |
column-level constraint | ограничение для столбца (ssn) |
column-level constraint | ограничение целостности уровня столбца (ssn) |
computational constraint | вычислительное ограничение (ssn) |
concurrent constraint logic programming | многопоточное логическое программирование в ограничениях (Alex_Odeychuk) |
concurrent constraint programming | параллельное программирование в ограничениях (Alex_Odeychuk) |
concurrent constraint programming | совмещённое программирование в ограничениях (Alex_Odeychuk) |
constrained by index constraint | ограничен пределами индекса (ssn) |
constraint based | на основе ограничений (ssn) |
constraint-based local search | локальный поиск в ограничениях (IBM Alex_Odeychuk) |
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 driven | определяемый ограничениями (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-oriented | ориентированный на ограничения (ssn) |
constraint package | совокупность ограничений (ограничивающих условий ssn) |
constraint parameter | параметр ограничения (ssn) |
constraint programming | программирование с учётом ограничений (тж. программирование в ограничениях; парадигма программирования, предусматривающая представление отношений между переменными в виде ограничений; ограничения отличаются от обычных примитивов других языков программирования тем, что они определяют не шаги или последовательности шагов, подлежащие исполнению, а свойства решения, которое следует найти. Ограничения могут быть различными по природе, могут встраиваться в язык программирования или содержаться в отдельных библиотеках ПО ssn) |
constraint programming application | приложение на языке логического программирования в ограничениях (Alex_Odeychuk) |
constraint programming competition | соревнование по программированию в ограничениях (international constraint programming competition – международное соревнование по программированию в ограничениях google.com 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) |
controled plane constraint | ограничение контролируемой области (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) |
every constraint | каждое ограничение (ssn) |
execution constraint | ограничение выполнения (ssn) |
explicit constraint | явно заданное ограничение (корпорации AdaCore Alex_Odeychuk) |
explicit index constraint | явное ограничение индекса (ssn) |
external constraint | внешнее принуждение |
finite domain constraint solver library | библиотека для решения задач удовлетворения ограничений над конечными областями (Alex_Odeychuk) |
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) |
generic constraint | ограничение обобщения (ssn) |
generic constraint | родовое ограничение (intuit.ru owant) |
generic type constraint | ограничение обобщённого типа (Alex_Odeychuk) |
generic type parameter constraint | ограничение параметра обобщённого типа (Alex_Odeychuk) |
globally static index constraint | глобально статическое ограничение индекса (ssn) |
globally static range constraint | глобально статическое ограничение диапазона (ssn) |
globally static subtype of a globally static range constraint | глобально статический подтип глобально статического ограничения диапазона (ssn) |
hierarchical constraint set | иерархический набор ограничений (набор ограничений, который при применении его к общей иерархической модели файла создает структуру доступа, которая все ещё является иерархической, но в которой ограничениями являются формат описаний узла и формат блоков данных ssn) |
high-level constraint programming | высокоуровневое программирование в ограничениях (Alex_Odeychuk) |
high-level constraint programming system | система высокоуровневого программирования в ограничениях (Alex_Odeychuk) |
identity constraint | ограничение идентификатора (ssn) |
identity constraint error | ошибка ограничения идентификатора (ssn) |
immediate constraint | текущее ограничение (ssn) |
imperative constraint programming | императивное программирование в ограничениях (Alex_Odeychuk) |
implementation of a logic constraint mechanism | реализация механизма выполнения кода на языке программирования в ограничениях (Alex_Odeychuk) |
index constraint | пределы индекса (ssn) |
index constraint | ограничение индекса (ssn) |
inequality constraint | ограничение неравенства (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) |
integer constraint | целочисленное ограничение (ssn) |
intrinsic constraint | внутреннее ограничение (в СУБД – ограничение (возможно, одно из многих), накладываемое внутренней структурой базы данных ssn) |
invalid constraint | недопустимое ограничение (ssn) |
layout constraint | ограничение макета (ssn) |
left constraint | левое ограничение (ssn) |
lexical constraint | лексическое ограничение (ssn) |
library of constraint solvers | библиотека решателей задач удовлетворения ограничений |
locally static index constraint | локально статическое ограничение индекса (ssn) |
locally static range constraint | локально статическое ограничение диапазона (ssn) |
logic constraint mechanism | механизм выполнения кода на языке программирования в ограничениях (Alex_Odeychuk) |
memory constraint | ограничение по объёму памяти (корпорации AdaCore Alex_Odeychuk) |
memory constraint | ограничение по памяти (корпорации AdaCore Alex_Odeychuk) |
memory constraint | ограничение памяти (ssn) |
modular constraint | модульное ограничение (напр., в компьютерной графике ssn) |
multiplicity constraint | ограничение множественности (ssn) |
network constraint | ограничение сети (ssn) |
non-concurrent constraint logic programming | последовательное логическое программирование в ограничениях (Alex_Odeychuk) |
object constraint language | язык ограничений объектов (ssn) |
object constraint language | язык описания объектных ограничений (определяет язык описания запросов, инвариантов и операций в моделях UML ssn) |
object constraint language | объектный язык ограничений (сокр. OCL; UML определяет Объектный язык ограничений (Object Constraint Language, OCL) как стандартное расширение. Это текстовый язык, который служит для определения ограничений и запросов. Он не предназначен для написания действий или выполнимого кода ssn) |
object-oriented constraint programming | объектно-ориентированное программирование в ограничениях (Alex_Odeychuk) |
object-oriented imperative constraint programming | императивное объектно-ориентированное программирование в ограничениях (Alex_Odeychuk) |
object-oriented imperative constraint programming language | язык императивного объектно-ориентированного программирования в ограничениях (Alex_Odeychuk) |
only allowed form of constraint | единственно допустимая форма ограничения (ssn) |
operating constraint | эксплуатационное ограничение (ssn) |
operational constraint | эксплуатационное ограничение (ssn) |
optional constraint | дополнительное ограничение (ssn) |
parallel constraint-based local search | параллельный локальный поиск в ограничениях (IBM Alex_Odeychuk) |
parallel numerical constraint solver | параллельный решатель численных задач удовлетворения ограничений (IBM Alex_Odeychuk) |
path constraint | ограничение тракта (ssn) |
permission constraint | право ограничения (ssn) |
per-parameter constraint | ограничение на значение параметра (Alex_Odeychuk) |
policy constraint | ограничение стратегии (ssn) |
precedence constraint | отношение предшествования (ssn) |
primitive constraint | элементарное ограничение (ssn) |
problem with equality constraint | задача с ограничением в виде равенства (ssn) |
problem with inequality constraint | задача с ограничением в виде неравенства (ssn) |
prohibiting state constraint | высказывания, определяющие взаимодействие между клиентами (ssn) |
prove the absence of constraint errors | выполнить доказательство отсутствия ошибки выхода за ограничение (корпорации AdaCore Alex_Odeychuk) |
range constraint | ограничение диапазона (ssn) |
real-time constraint | ограничение реального времени (for example, from an event to a system response Alex_Odeychuk) |
recurrent-code constraint length | кодовое ограничение рекуррентного кода (см. Теория передачи информации. Терминология. Вып. 94. М.: Наука, 1979 ssn) |
referential constraint | ограничение по внешнему ключу (ssn) |
required constraint | необходимое ограничение (ssn) |
resource constraint | ограничение ресурсов (ssn) |
response timing constraint | ограничение по времени отклика (корпорации AdaCore Alex_Odeychuk) |
right constraint | правое ограничение (ssn) |
rigid constraint | жёсткое ограничение (ssn) |
room constraint | ограничение помещения (ssn) |
scalability constraint | ограничение масштабируемости (ssn) |
security constraint | ограничение безопасности (ssn) |
self-referencing constraint | автореферентная связь (реляционная связь, определяющая отношение, по которому таблица зависит от самой себя ssn) |
simple constraint | простое ограничение (ssn) |
space constraint | пространственное ограничение (ssn) |
static index constraint | статическое ограничение индекса (ssn) |
strongly typed, constraint language | строго типизированный язык программирования в ограничениях (Alex_Odeychuk) |
strongly-typed constraint logic programming | логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk) |
support for constraint programming | поддержка программирования в ограничениях (Alex_Odeychuk) |
table constraint | табличное ограничение (ssn) |
table level constraint | ограничение целостности уровня таблицы (ssn) |
tablelevel constraint | ограничение целостности уровня таблицы (ssn) |
technical constraint | техническое ограничение (ssn) |
technological constraint | технологическое ограничение (ssn) |
temporary constraint | временное ограничение (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 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) |
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) |
unconstrained array type of a globally static index constraint | неограниченный индексируемый тип глобально статического ограничения индекса (ssn) |
unconstrained array type of a locally static index constraint | неограниченный индексируемый тип локально статического ограничения индекса (ssn) |
unique constraint | Ограничение уникальности (Rapunzel) |
unique constraint | ограничение на уникальность данных (ssn) |
unsatisfied constraint | несоблюдаемое ограничение (ssn) |
unstructured constraint set | неструктурированный набор ограничений (набор ограничений, который при применении его к общей иерархической модели файла создает структуру доступа, состоящую только из корневого узла с одним блоком данных ssn) |
valid constraint | допустимое ограничение (ssn) |
validity constraint | ограничение допустимости (opensuse.org owant) |
variable constraint | переменное ограничение (ограничение, применяемое в спецификации параметризованного абстрактного синтаксиса и зависящее от некоторого параметра абстрактного синтаксиса ssn) |
with support for constraint programming | с поддержкой программирования в ограничениях (Alex_Odeychuk) |