| English | Russian |
| To account for the expenditure of the energy of the control signal, we will use the performance index | чтобы учесть затраты энергии на выработку управляющего сигнала, мы будем использовать оценку качества (уравнение; см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop (2008)) |
| algorithm we attempt to parallelize | алгоритм, который пытаемся распараллелить (microsoft.com Alex_Odeychuk) |
| as we build | в процессе создания (чего-л. Alex_Odeychuk) |
| as we noted | как мы уже отмечали (ssn) |
| 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 | как мы увидим позже, это – очень удобное значение для многих простых задач, опирающихся на синхронизацию, в которых используются программные циклы временной задержки и счётчики / таймеры |
| 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) |
| Beyond mere link cover, we usually supplement the tests with clean and dirty tests to handle exponents, especially the plus and star operator | Стандартное покрытие связей мы обычно дополняем чистыми и грязными тестами для проверки показателей, особенно операторов + и * (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995 ssn) |
| characters that we'll remove from the string | символы, удаляемые из строки (ssn) |
| creating a list of characters that we'll remove from the string | создание списка символов, удаляемых из строки (ssn) |
| creator operation giving us a stack, initially empty | операция-конструктор для создания пустого стека (ssn) |
| fixed property by which we identify one object from another | постоянное свойство, с помощью которого мы отличаем один объект от другого (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) |
| Given the place representation of input and output symbols, we can complete the modeling of finite state systems | Задав представление позиций, соответствующих символам входа и выхода, мы можем завершить построение модели системы конечных состояний (ssn) |
| Here again we bump into the difference between how things look and what they are in reality | Здесь мы снова сталкиваемся с разницей между внешним видом и сутью вещей (ssn) |
| Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same | Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
| here's how we're going to do it | основная последовательность действий (ssn) |
| here's how we work | мы это делаем следующим образом (ssn) |
| 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) |
| in investigating a parallel method for searching, we will begin with a naive attempt with as many processors as elements of the list we are searching | Изучение параллельных методов поиска мы начнём с наивной попытки, в которой число процессоров равно числу элементов списка (см. "Analysis of Algorithms: An Active Learning Approach" by Jeffrey J. McConnell 2001) |
| in programming, we deal with two kinds of elements: procedures and data | в программировании мы имеем дело с двумя типами объектов: процедурами и данными (см. Harold Abelson and Gerald Jay Sussman with Julie Sussman 1999, Structure and Interpretation of Computer Programs) |
| in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| 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) |
| it is important to realize that UML does not give us any kind of modeling methodology | Важно понимать, что UML не предлагает нам какой-либо методологии моделирования (см. UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design, Second Edition by Jim Arlow and Ila Neustadt 2005 ssn) |
| list of characters that we'll remove from the string | список символов, удаляемых из строки (ssn) |
| Live-As-We-know-it | "Жизнь, какой мы её знаем" (см. artificial life ssn) |
| Modeling both types of schedulers allows us to compare the behavior of the system under different conditions | Моделирование обоих типов планировщиков позволяет нам сравнить поведение системы в различных условиях (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| Naturally, some aspects of methodology are implied by the elements that comprise a UML model, but UML itself just provides a visual syntax that we can use to construct models | Конечно, некоторые методические аспекты подразумеваются элементами, составляющими модель UML, но сам UML предоставляет собой лишь визуальный синтаксис, который можно использовать для создания моделей (см. UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design, Second Edition by Jim Arlow and Ila Neustadt 2005 ssn) |
| now we discuss how to implement the operations of a max-priority queue | Теперь перейдём к реализации операций в невозрастающей очереди с приоритетами (см. Introduction to Algorithms Second Edition by Thomas H. Cormen et al. 2001) |
| Now, we have already said that | Итак, уже было отмечено, что (ssn) |
| of course, we cannot expect a single fixed tasking metaphor to be the ideal solution for all possible modes of use | Конечно, мы не можем считать, что однажды установленная схема управления задачами будет идеальной для всех возможных режимов использования (см. Project Oberon: The Design of an Operating System and Compiler Edition 2005 by N. Wirth, J. Gutknecht перевод Е.В. Борисова, Л.Н. Чернышова, 2012) |
| once in a while, we may need to refer to the current instance explicitly | Иногда возникает необходимость явного обращения к текущему экземпляру (см. Object-Oriented Software Construction second edition by Bertrand Meyer) |
| once the working solution has been tweaked, we assess the solution as defined in the previous step | после выполнения поиска рабочего решения мы оцениваем решение, как было описано ранее (см. AI Application Programming / M. Tim Jones 2003) |
| One solution, which we won't use, is to create a large array of pointers and assign values to the pointers, one by one, as new structures are allocated | Одно из возможных решений, которое, однако, мы применять не будем, предполагает создание большого массива указателей и присваивание значений указателям друг за другом по мере выделения памяти под новые структуры (C Primer Plus by Stephen Prata (2013) ssn) |
| particular behavior of the system under test that we need to verify | определённое поведение тестируемой системы, которое необходимо проверить (ssn) |
| Perhaps we should construct artificial systems by emulating the structure and behavior of natural systems | Наверное, мы должны конструировать искусственные системы с помощью моделирования структуры и поведения естественных систем (см. Maciaszek, L.A.: Requirements Analysis and System Design, 3rd ed. 2007 ssn) |
| project we've been working on | проект в разработке (the ~; англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
| project we've been working on | проект, над которым идёт работа (the ~; англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
| Real-life objects that possess the three properties state, behavior, identity build up natural behavioral systems. Natural systems are by far the most complex systems that we know | Реальные объекты, обладающие тремя свойствами состояние, поведение, идентичность, образуют системы с естественным поведением. Естественные системы безусловно являются самыми сложными системами из всех известных (см. Maciaszek, L.A.: Requirements Analysis and System Design, 3rd ed. 2007 ssn) |
| Several times we have mentioned the issue of copying with failures, and several of the above papers show how to make specific algorithms fault tolerant | Здесь несколько раз упоминался вопрос копирования со сбоями, а в некоторых из уже перечисленных работ показано, как сделать определённые алгоритмы устойчивыми к сбоям (см. "Foundations of Multithreaded, Parallel, and Distributed Programming" by Gregory R. Andrews 2000 ssn) |
| Since we have neither the mathematical tools nor the intellectual capacity to model the complete behavior of large discrete systems, we must be content with acceptable level of confidence regarding their correctness | Поскольку у нас нет ни математического аппарата, ни интеллектуальных возможностей для полноценного моделирования поведения больших дискретных систем, мы должны удовлетвориться приемлемым уровнем уверенности в их правильной работе (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch ssn) |
| state machine code we wrote | написанный ранее код конечного автомата (ssn) |
| statement of how we expect the world to be before we execute an operation | высказывание относительно того, как должен выглядеть окружающий мир до выполнения операции (ssn) |
| the most complex systems that we know | самые сложные системы из всех известных (ssn) |
| The point is that we're componentizing every device driver in this system as well | Особенность этой системы в том, что мы выделили в отдельные компоненты каждый из драйверов устройств (Bill Veghte) |
| the software engineering practice we intend to propose for achieving a higher level of code modularity is easily introduced and justified through a number of examples of increasing complexity | Практика разработки программного обеспечения, которую мы намерены предложить для достижения более высокого уровня модульности кода, легко введена и обоснована через ряд примеров возрастающей сложности (см. Bonfatti F., Monari P.D., Sampieri U. IEC 61131-3 Programming Methodology) |
| Totweak this working solution, we pick two elements and swap them | чтобы выполнить поиск по рабочему решению, мы берём два элемента и переставляем их (см. AI Application Programming / M. Tim Jones 2003) |
| UML considers that we might have the abstract notion of a type of thing such as a bank account and then specific, concrete instances of that abstraction such as "my bank account" or "your bank account" | в UML предполагается, что может существовать абстрактное понятие типа сущности например, банковский счёт и отдельные конкретные экземпляры этой абстракции такие как "мой банковский счёт" или "ваш банковский счёт" (см. UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design, Second Edition by Jim Arlow and Ila Neustadt 2005 ssn) |
| we are currently working with Java and using QNX as the real-time platform | Сейчас мы работаем с Java и в качестве платформы реального времени используем ОС QNX (ssn) |
| we assume that the outside world will deposit a token in the place corresponding to an input symbol and then wait for a token to appear in a place corresponding to an output symbol which will then be removed | мы допускаем, что из внешнего мира помещается фишка в позицию, соответствующую входному символу, а затем фишка, появившаяся в позиции, соответствующей выходному символу, удаляется оттуда |
| we assume that time passes at the same rate for all clocks | мы предполагаем, что темп времени одинаков для всех часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| we consider two scheduling policies, preemptive scheduling and nonpreemptive scheduling | мы рассматриваем две стратегии планирования: планирование с приоритетами и планирование без приоритетов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| we deploy agent-driven threads and processes to facilitate thread and process management | для того чтобы упростить управление потоками и процессами, мы используем агентно-управляемые потоки и процессы (ssn) |
| we examine this and related kinds of program transformations in Chapter 12 | это и другие аналогичные преобразования программ рассматриваются в главе 12 (см. Foundations of Multithreaded, Parallel, and Distributed Programming 2000 by Gregory R. Andrews ssn) |
| we failed to get good results, nor did our colleagues get | Нам не удалось получить хорошие результаты, и нашим коллегам тоже (ssn) |
| we have already seen that | мы уже видели, что |
| we have assumed that | предполагается, что (ssn) |
| we have worked at some of the big refactorings for months or years on running systems | Над некоторыми же крупными рефакторингами мы работали в течение месяцев или лет, причём в действующих системах (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999 ssn) |
| 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) |
| we know that today's computers are extremely fast and often seem to have magical solution properties | мы знаем, что современные компьютеры работают очень быстро и обладают почти невероятными способностями в области решения задач |
| we needed only basic functionality: a screen setup, bitmapped font support, sprite support, transparency and translucency, and some temporary working buffers for compositing some of the more complex graphics | Нам нужна была лишь базовая функциональность: инициализация экрана, поддержка растровых шрифтов, поддержка спрайтовой графики, обеспечение прозрачности и полупрозрачности, а также создание временных рабочих буферных областей для поддержки более сложных графических процедур (источник Game Architecture and Design / Andrew Rollings, David Morris (2004) ssn) |
| we pick two elements and swap them | мы берём два элемента и переставляем их (ssn) |
| We've looked at Neutrino's time-based functions, including timers and how they can be used, as well as kernel timeouts | мы рассмотрели функции Neutrino, ответственные за манипулирование временем, включая таймеры и их применение, а также тайм-ауты ядра (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
| we will see how data abstraction makes programs much easier to design, maintain, and modify | мы увидим, как с помощью абстракции данных программы становится легче проектировать, поддерживать и изменять |
| what we just did | наши достижения (ssn) |
| when we speak of an event type in the original event model, what we really mean is the name of the event handler that is invoked in response to the event | Говоря о типе события в исходной модели обработки событий, мы на самом деле имеем в виду имя обработчика, вызываемого в ответ на событие (см. "JavaScript: The Definitive Guide, 5th Edition" by David Flanagan 2006 ssn) |
| why Do We Need Extendible Programming Environments? or What Is the Problem with Fixed Programming Languages? | Зачем нужны расширяемые среды программирования, или Чем плохи фиксированные языки программирования? (ssn) |
