DictionaryForumContacts

   English
Terms for subject Programming containing constraint | all forms | exact matches only
EnglishRussian
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 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)
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язык описания объектных ограничений (определяет язык описания запросов, инвариантов и операций в моделях UML ssn)
object constraint languageязык ограничений объектов (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)