| Russian | English |
| автоматы с ограничениями на входе | input-restricted machines (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) |
| вводить ограничение на принимаемые типы | put a restriction on the types being accepted (Alex_Odeychuk) |
| временные ограничения на уровне системы | system-level timing constraints (ssn) |
| выявление ограничений, налагаемых на решение | identify the constraints to be imposed on the solution (ssn) |
| жёсткие ограничения на использование ресурсов процессом | hard limit on resource usage by a process (ssn) |
| задачи оптимизации динамических систем при наличии ограничений на траекторию | optimization problems for dynamic systems with path constraints (ssn) |
| метод уменьшения числа состояний автоматов с ограничениями на входе | reduction method for input-restricted machines (ssn) |
| механизм выполнения кода на языке программирования в ограничениях | logic constraint mechanism (Alex_Odeychuk) |
| на основе ограничений | constraint based (ssn) |
| на основе ограничений | constraintbased (ssn) |
| накладывать определённые ограничения на | place certain restrictions on (ssn) |
| накладывать определённые ограничения на круг формулируемых понятий | place certain restrictions on the range of concepts to be formulated (ssn) |
| Недавние работы распространили эту теорию на более общие классы процессов, но ограничения всё ещё существуют | Recent work has extended this theory to more general classes of processes, but limitations still exist (ssn) |
| некоторое ограничение на время реакции | a constraint on response time (ssn) |
| некоторое ограничение на время реакции для той или иной операции | a constraint on response time for some operation (ssn) |
| неточное программирование с ограничениями на шансы | rough CCP (ssn) |
| неточное программирование с ограничениями на шансы | rough chance-constrained programming (ssn) |
| неточно-нечёткое программирование с ограничениями на шансы | rough fuzzy CCP (ssn) |
| неточно-нечёткое программирование с ограничениями на шансы | rough fuzzy chance-constrained programming (ssn) |
| неточно-случайное программирование с ограничениями на шансы | rough random CCP (ssn) |
| неточно-случайное программирование с ограничениями на шансы | rough random chance-constrained programming (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) |
| Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет | 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) |
| ограничение на выдачу команд | 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) |
| ограничения в виде равенств на управляющие переменные | 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) |
| ограничения на возможности процесса по использованию системных ресурсов | 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) |
| ограничения, накладываемые на верификацию | verification constraints (ssn) |
| ограничения, накладываемые на процесс разработки | restrictions in the development process (Alex_Odeychuk) |
| определение ограничений, налагаемых на процессы в задании | placing restrictions on a job's processes (ssn) |
| определённые ограничения на круг формулируемых понятий | certain restrictions on the range of concepts to be formulated (ssn) |
| определённые операции на временных ограничениях | certain operations on clock constraints (ssn) |
| ориентированный на ограничения | constraint-oriented (ssn) |
| ответ на основное ограничение | response to the basic limitation (ssn) |
| очередь без ограничения на длину | 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) |
| планирование на основе ограничений | constraintbased planning (ssn) |
| планирование на основе ограничений | constraintbased scheduling (ssn) |
| планирование на основе ограничений | constraint based scheduling (ssn) |
| планирование на основе ограничений | constraint based planning (ssn) |
| попытка превысить ограничение на число активных процессов в задании | attempting to exceed the number of active processes in the job (ssn) |
| приложение на языке логического программирования в ограничениях | constraint programming application (Alex_Odeychuk) |
| проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах | conformance checking of results of separate phases of software development to requirements and restrictions stated for these results on previous phases (верификация ssn) |
| программирование в ограничениях на объём памяти и скорость отклика приложения | programming with specific space and time requirements (Alex_Odeychuk) |
| программирование на основе логики ограничений | CLP (сокр. от "constraint logic programming" Alex_Odeychuk) |
| программирование с ограничениями на шансы | chance-constrained programming (ssn) |
| реализация механизма выполнения кода на языке программирования в ограничениях | implementation of a logic constraint mechanism (Alex_Odeychuk) |
| ряд ограничений на проверяемую систему | series of restrictions on the system being verified (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) |
| стохастическое программирование с ограничениями на шансы | stochastic CCP (ssn) |
| стохастическое программирование с ограничениями на шансы | stochastic chance-constrained programming (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) |
