English | Russian |
be the problem of delaying a process until a given condition is true | задерживать процесс до тех пор, пока не выполнится определённое условие (ssn) |
Boolean condition that must be true for the transition to be taken | логическое условие, которое должно быть выполнено, чтобы переход имел место (ssn) |
cause other conditions, postconditions, to become true | приводить к выполнению других условий, постусловий (ssn) |
Condition synchronization is the problem of delaying a process until a given condition is true | Условная синхронизация задерживает процесс до тех пор, пока не выполнится определённое условие (см. Foundations of Multithreaded, Parallel, and Distributed Programming 2000 by Gregory R. Andrews ssn) |
control and understand the true technical progress | контроль и понимание реального технического прогресса (ssn) |
evaluate to true | оказываться верным (Technical) |
evaluate to true | оказываться истинным (Technical) |
every transition must have a condition. A transition that always occurs can be depicted using a boolean literal "TRUE" | у каждого перехода должно быть условие. Переход, который всегда происходит, может быть задан логической константой "TRUE" (см. Robert W. Lewis: Programming industrial control systems using IEC 1131-3) |
limit the true execution of instruction to one scan | ограничивать реальное выполнение инструкции одним сканированием (ssn) |
negative true | активный низкий уровень сигнала (ssn) |
negative true | инверсный (ssn) |
negative true | активный низкий (ssn) |
other conditions, postconditions, to become true | выполнение других условий, постусловий (ssn) |
positive true | прямой (асинхронный вход ssn) |
positive true | активный высокий (ssn) |
positive true | активный высокий уровень сигнала (ssn) |
return true | возвращать значение true (ssn) |
text to display if the condition is true | отображаемый текст, если условие истинно (ssn) |
the occurrence of the event may cause the preconditions to cease to hold and may cause other conditions, postconditions, to become true | Возникновение события может вызвать нарушение предусловий и может привести к выполнению других условий, постусловий |
the result will evaluate to true | результат будет иметь значение true (верно Technical) |
these observations are particularly, and painfully, true for modern object-oriented software production. The object paradigm equips a software engineer with a multitude of very powerful programming abstractions, which – when used unwisely – result in programs impossible to understand and maintain, even by programmers who wrote them | эти утверждения, особенно и в большой степени, истинны для современного объектно-ориентированного создания ПО. Понятие объекта вооружает инженера ПО множеством очень мощных абстракций программирования. Но если они используются неблагоразумно, получаются программы, которые невозможно ни понять, ни обслуживать даже теми программистами, которые написали их (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
these observations are particularly, and painfully, true for modern object-oriented software production. The object paradigm equips a software engineer with a multitude of very powerful programming abstractions, which when used unwisely result in programs impossible to understand and maintain, even by programmers who wrote them | эти утверждения, особенно и в большой степени, истинны для современного объектно-ориентированного создания ПО. Понятие объекта вооружает инженера ПО множеством очень мощных абстракций программирования. Но если они используются неблагоразумно, получаются программы, которые невозможно ни понять, ни обслуживать даже теми программистами, которые написали их (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
this is a pretty smart technique that allows a program to max out frame rates, but it is not true full decoupling | это очень гибкая методика, которая позволяет программе использовать максимальную частоту кадров, на которую способно оборудование. Однако назвать её стопроцентно полной развязкой всё же нельзя (см. Game Architecture and Design / Andrew Rollings, David Morris 2004 ssn) |
Time can elapse in the location only as long as the invariant of the location is true | Течение времени в позиции происходит, пока инвариант этой позиции истинен (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
true condition | истинное условие (denton) |
true dependency | потоковая зависимость (в конвейерных процессорах – ситуация, при которой результат выполнения одной команды служит исходной информацией для другой. Отношения зависимости по данным анализируются компилятором, чтобы определить, когда две операции, два оператора или две итерации цикла можно использовать параллельно (распараллелить их обработку). Syn: flow dependence ssn) |
true dependency | истинная зависимость (в конвейерных процессорах – ситуация, при которой результат выполнения одной команды служит исходной информацией для другой. Отношения зависимости по данным анализируются компилятором, чтобы определить, когда две операции, два оператора или две итерации цикла можно использовать параллельно (распараллелить их обработку). Syn: flow dependence ssn) |
true execution | реальное выполнение (напр., инструкции одним сканированием ssn) |
true failsafe | истинная безотказность (ssn) |
true full decoupling | стопроцентно полная развязка (ssn) |
true identifier | правильный идентификатор (ssn) |
true meaning | истинное значение (ssn) |
true meaning of a requirement | истинное значение требования (ssn) |
true multiprocessor | настоящий мультипроцессор (ssn) |
true plant | истинный объект (ssn) |
true platform | настоящая платформа (ssn) |
true readers/writers | подлинная задача о читателях и писателях (ssn) |
true storage consolidation capability | истинная возможность консолидации ресурсов хранения (ssn) |
true technical progress | реальный технический прогресс (ssn) |
true volume replication | истинная репликация томов (ssn) |