Subject | English | Russian |
progr. | a constraint | некоторое ограничение (ssn) |
progr. | a constraint on response time | некоторое ограничение на время реакции (ssn) |
progr. | a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
Apollo-Soyuz | delete a constraint | снимать ограничение |
tech. | impose a constraint | налагать связь |
Makarov. | impose a constraint | накладывать связь |
Makarov. | impose a constraint on | налагать ограничение на |
Makarov. | impose a constraint on someone, something | оказывать давление на (кого-либо, что-либо) |
gen. | place a constraint | применять насилие |
gen. | place a constraint | оказывать давление |
math. | place a constraint on | налагать ограничения |
Makarov. | place a constraint on someone, something | оказывать давление на (кого-либо, что-либо) |
Makarov. | put a constraint on someone, something | оказывать давление на (кого-либо, что-либо) |
Apollo-Soyuz | relax a constraint | уменьшить ограничение |
Apollo-Soyuz | relieve a constraint | уменьшить ограничение |
mech. | satisfy a constraint | удовлетворять ограничению |
progr. | 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) |