| Russian | English |
| Большинство проблем, встречающихся в науке и технике, можно разбить на следующие две категории: задачи анализа, которые состоят в предсказании поведения определённой заданной системы, и задачи синтеза, состоящие в построении системы по заданному поведению | Most problems encountered in scientific and engineering investigations fall into one of the following two categories: analysis problems, where one wishes to predict the behavior of a specified system, and synthesis problems, where one wishes to construct a system with specified behavior (см. "Introduction to the Theory of Finite-State Machines" by Arthur Gill 1962 ssn) |
| в этой реализации список состоит из ячеек, каждая из которых содержит элемент списка и указатель на следующую ячейку списка | 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 |
| с точки зрения структурного проектирования уровни представляют вертикальные структуры рис. 9.4. Вертикальные уровни состоят из сегментов пакетов раздел 9.1.2. Наложение вертикальных структур уровней на горизонтальные структуры сегментов создаёт иерархию зависимостей пакетов. Три критических показателя хорошего структурного проектирования уровней следующие | from the architectural design perspective, layers are vertical structures Figure 9-4. Vertical layers consist of partitions of packages Section 9.1.2. Superimposing vertical structures of layers on horizontal structures of partitions creates a hierarchy of package dependencies. Three critical objectives of good architectural design of layers are that (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| этот агрегат состоит из движущейся слева направо ленты транспортёра, обрабатывающего устройства и двух роботов, которые перемещают ящики между этим устройством и лентой транспортёра, как изображено на рис. 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) |
