| Russian | English |
| в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| в этом разделе мы покажем, как сети Петри могут моделировать различные системы параллельных взаимодействующих процессов | in this section we show how Petri nets can faithfully model many systems of concurrently executing cooperating processes (см. Petri Net Theory And The Modeling Of Systems / James L. Peterson 1981) |
| если мы достигнем этой цели, то разработка отдельных модулей может осуществляться различными людьми независимо друг от друга, без необходимости общения друг с другом, при этом все эти объединённые вместе модули будут функционировать правильно | if we achieve this goal, different people will be able to work on different modules independently, without needing much communication among themselves, and yet the modules will work together (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986 ssn) |
| Использование этой и аналогичной формул для вычитания даёт нам приведённый ниже код для сложения / вычитания двух полуслов по модулю 2 | Using this and similar observations about subtraction gives the following code for adding/subtracting two halfwords modulo 2 (в шестнадцатой степени; см. Hacker's delight / Henry S. Warren, Jr. – 2nd ed. (2013)) |
| как мы увидим далее в этой книге | as we shall see throughout the book |
| как мы увидим далее в этой книге, многие алгоритмы основаны на принципе рекурсивного разбиения большой задачи на меньшие, когда решения подзадач используются для решения исходной задачи | as we shall see throughout the book, a great many algorithms are based on the principle of recursively decomposing a large problem into one or more smaller ones, using solutions to the subproblems to solve the original problem (см. Algorithms in C++, Parts 1–4: Fundamentals, Data Structure, Sorting, Searching Third Edition by Robert Sedgewick 1998) |
| как мы увидим позже, это – | as we will see, this unsurprisingly is (ssn) |
| как мы увидим позже, это | as we will see, this unsurprisingly is (ssn) |
| как мы увидим позже, это – очень удобное значение для многих простых задач, опирающихся на синхронизацию, в которых используются программные циклы временной задержки и счётчики / таймеры | as we will see, this unsurprisingly is a convenient value for a range of simple timing applications, using software delay loops and the counter/timer |
| мы поддерживаем упорядочение представления, записывая все меньшие, чем значение узла, элементы в левое поддерево этого узла ... | we keep the representation sorted by storing all elements less than a node's value in the node's left subtree (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986) |
| мы это делаем следующим образом | here's how we work (ssn) |
| Никто не ожидает, что мост будет перемещён на десять метров после того, как он был построен. Точно так же не следует ожидать, что программный продукт успешно выполнит различные задачи после того, как будет создан. Если это то, что нам нужно, тогда программное обеспечение создано удачно | nobody expects a bridge to be moved by ten meters after it has been built. Similarly, nobody should expect a software product to happily perform different tasks after it has been built. If this is what is expected then the software has not failed (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| но для простоты в данном обсуждении мы будем и далее, если это не приведёт к путанице, опускать слово "образец" | for simplicity, this discussion will continue omitting the word "pattern" when there is no risk of confusion (см. Object-Oriented Software Construction second edition by Bertrand Meyer) |
| Особенность этой системы в том, что мы выделили в отдельные компоненты каждый из драйверов устройств | The point is that we're componentizing every device driver in this system as well (Bill Veghte) |
| так как детали доступа к объектам приложения в значительной мере зависят от самого приложения и его реализации, мы не станем останавливаться на этом вопросе | Because the details of accessing application objects depend heavily on the application and its implementation, we shall not pursue them here (см. Introduction to Algorithms Second Edition by Thomas H. Cormen et al. 2001) |
