| Russian | English |
| в этой реализации список состоит из ячеек, каждая из которых содержит элемент списка и указатель на следующую ячейку списка | in this representation, a list is made up of cells, each cell consisting of an element of the list and a pointer to the next cell on the list |
| Вычислительная модель, состоящая из конечного числа состояний и переходов между этими состояниями, возможно с сопутствующими действиями | A computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions (о конечном автомате в IEEE 610 ssn) |
| из этого следует | it is therefore (ssn) |
| из этого следует, что | it follows, that (ssn) |
| Исходной позицией этого перехода будет составная позиция, полученная из исходных позиций отдельных переходов | the source location of the transition will be the composite location obtained from the source locations of the individual transitions (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| каждый из этих шагов может быть выполнен отдельным вычислительным блоком, где каждый отдельный операнд передаётся от блока к блоку для выполнения операции сложения | Each of these steps can be performed by a separate computational unit, with a particular operand being passed from unit to unit for the complete addition operation (см. "Petri Net Theory And The Modeling Of Systems" by James L. Peterson 1981 ssn) |
| какой из этих двух фрагментов кода проще читать? | which of these two pieces of code is more readable (ssn) |
| Некоторые из численных методов, описанных в этой главе, являются примерами чрезвычайно общей вычислительной стратегии, называемой пошаговое улучшение | Several of the numerical methods described in this chapter are instances of an extremely general computational strategy known as iterative improvement (см. Harold Abelson and Gerald Jay Sussman with Julie Sussman 1999, Structure and Interpretation of Computer Programs ssn) |
| некоторые из этих задач | some tasks (ssn) |
| Основные свойства императивного языка программирования в значительной степени определяются разработкой способов связывания ячеек памяти с переменными, которые в них хранятся. Из этого следует важность чёткого понимания этих связей | the fundamental character of an imperative programming language is in large part determined by the design of the storage bindings for its variables. It is therefore important to have a clear understanding of these bindings (см. Concepts of programming languages / Robert W. Sebesta.–10th ed. 2012) |
| Особенность этой системы в том, что мы выделили в отдельные компоненты каждый из драйверов устройств | The point is that we're componentizing every device driver in this system as well (Bill Veghte) |
| переопределение различных методов из этого класса | overriding various methods of the class (ssn) |
| по этой причине я полагаю, что в будущем спецификации будут состоять как из формальных, так и из текстовых описаний | for these reasons, I think we will see future specifications to consist of both a formal definition and a prose definition (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering) |
| с другой стороны, текущую деятельность можно представить в виде пары действий: действие при входе, которое начинает деятельность по входу в состояние, и действие при выходе, которое прекращает деятельность при выходе из этого состояния | Alternately, ongoing activity may be represented by a pair of actions, an entry action that starts the activity on entry to the state and an exit action that terminates the activity on exit from the state (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
| Сложение при этом можно реализовать посредством сложения 32-битовых чисел с последующим вычитанием нежелательного переноса из полученной суммы | in this case, addition can be done by means of a 32-bit addition followed by subtracting out the unwanted carry (см. Hacker's delight / Henry S. Warren, Jr. – 2nd ed. 2013) |
| это схема организации кэш-памяти, при которой в неё заносятся как данные операций чтения из ОЗУ, так и данные операций записи в него. При этом запись в ОЗУ откладывается до выполнения определённых условий | WBWA = write back, write allocate = (ср. WT Николай Романович) |
| этот агрегат состоит из движущейся слева направо ленты транспортёра, обрабатывающего устройства и двух роботов, которые перемещают ящики между этим устройством и лентой транспортёра, как изображено на рис. 17.2 | the plant consists of a conveyor belt that moves from left to right, a processing station, and two robots that move boxes between the station and the belt as shown in Figure 17.2 (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| этот тип модели особенно полезен для моделирования систем реального времени, поскольку этими системами обычно управляют входные сигналы, приходящие из окружения системы | this type of model is often used for modelling real-time systems because these systems are often driven by stimuli from the system's environment (см. Software engineering, 8th ed. / Ian Sommerville 2007) |
