| Russian | English |
| Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| в настоящей книге принят современный подход к решению этих открытых задач, в основе которого, во-первых, лежат принципы, базирующиеся на современных тенденциях применения технологии ИИ в робототехнике, а во-вторых, концепции, сложившиеся в новейших подходах к динамичной разработке программного обеспечения | this book takes a modern approach to these open problems, inspired by principles from the nouvelle AI trend in robotics and concepts reminiscent of agile development of software (см. AI Game Development: Synthetic Creatures with Learning and Reactive Behaviors / Alex J. Champandard 2003 ssn) |
| в частности, если взять наиболее простой случай, загрузка набора программных абстракций C позволяет писать на этом языке код | in the simplest case, you may load a set of C programming abstractions, which will let you write C code (см. Generative Programming: Methods, Tools, and Applications / Krzysztof Czarnecki, Ulrich Eisenecker) |
| в этих схемах выход зависит не только от текущих значений на входах, но и от предшествовавших входных значений | in these circuits, the output not only depends upon the current values of the inputs, but also upon preceding input values (см. Digital Integrated Circuits A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| в этой реализации список состоит из ячеек, каждая из которых содержит элемент списка и указатель на следующую ячейку списка | 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 |
| в этом качестве планировщик OS / 360 хорош. Но на него почти никакого влияния не оказали потребности OS / 360 в удалённом вводе заданий, многопрограммности и резидентном размещении интерактивных подсистем | as such, the OS/360 scheduler is good. But it is almost totally uninfluenced by the OS/360 needs of remote job entry, multiprogramming, and permanently resident interactive subsystems (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering) |
| вершина, на которую указывает эта дуга | node to which the arrow points (ssn) |
| Возможно, вы захотите заполучить вспомогательный класс, который удаляет все файлы .class в каталоге / opt / workspace / java вашего пространства для разработки. это может происходить на этапе очистки при подготовке сборки | you may want to have a utility class that deletes all of the .class files under the /opt/workspace/java directory on your development box as a cleanup step for your build (см. "The Well-Grounded Java Developer" by Benjamin J. Evans, Martijn Verburg 2013) |
| восходящее тестирование: последовательный подход к интеграционному тестированию, при котором компоненты нижнего уровня тестируются первыми и затем используются для облегчения тестирования компонентов более высокого уровня. этот процесс повторяется до тех пор, пока компонент на самом верху иерархии не будет протестирован | bottom-up testing: An incremental approach to integration testing where the lowest level components are tested first, and then used to facilitate the testing of higher level components. This process is repeated until the component at the top of the hierarchy is tested (см. Standard glossary of terms used in Software Testing) |
| Вычисление генератора создаёт объект и вырабатывает ссылочное значение, которое указывает на этот объект | the evaluation of an allocator creates an object and yields an access value that designates the object (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| для сигнала составного типа каждый составной источник является совокупностью скалярных источников, по одному на каждый скалярный подэлемент этого сигнала | for a signal of a composite type, each composite source is a collection of scalar sources, one for each scalar subelement of the signal (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| за всеми этими щелчками на кнопках стоит чисто текстуальная процедура: браузер считывает HTML-код, вы вводите текст, браузер посылает его на сервер и снова считывает оттуда HTML-код | Underneath all the button-pushing is a purely textual procedure – the browser reads some HTML, you type some text, the browser sends that to a server and reads some HTML back |
| Имейте это обстоятельство в виду, если получите неожиданное сообщение об ошибке несовместимости типов в выражениях, которые, на первый взгляд, кажутся совершенно правильными | Keep this in mind if you get unexpected type-incompatibility error message on expressions that would otherwise seem perfectly correct (ssn) |
| как и всё производство ПО, структурное проектирование – непрерывная, итерационная и пошаговая работа. Первоначально структурные решения принимаются на основе широкого взгляда на структуру ПО. Одно из первых принятых решений касается структурирования системы на уровни модулей и установления принципов связи между модулями. это тема данной главы. Более детальные структурные решения, типа связи внутри модуля, рассматриваются позже в соответствующих местах книги | Like all software production, architectural design is a continuing, iterative and incremental, effort. Early architectural decisions take a broad view on the software architecture. One of the first decisions to be taken relates to structuring the system into layers of modules and establishing principles of inter-module communication. This is the concern of this chapter. More detailed architectural solutions, such as intra-module communication, are discussed in relevant places later in the book (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| как мы увидим далее в этой книге, многие алгоритмы основаны на принципе рекурсивного разбиения большой задачи на меньшие, когда решения подзадач используются для решения исходной задачи | 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 a convenient value for a range of simple timing applications, using software delay loops and the counter/timer |
| Мартин Фаулер и другие авторы, принявшие участие в написании этой книги, внесли большой вклад в разработку объектно-ориентированного программного обеспечения тем, что пролили свет на процесс рефакторинга. В книге описываются принципы и лучшие способы осуществления рефакторинга, а также указывается, где и когда следует начинать углублённо изучать код, чтобы улучшить его | Martin Fowler and the contributing authors make an invaluable contribution to object-oriented software development by shedding light on the refactoring process. This book explains the principles and best practices of refactoring, and points out when and where you should start digging in your code to improve it (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999 ssn) |
| множеством сбрасываемых часов будет объединение множеств часов, сбрасываемых на этих отдельных переходах | the set of clocks that are reset will be the union of the sets that are reset by the individual transitions (ssn) |
| на некоторых машинах бит переноса может оказаться хорошим подспорьем для вычисления беззнаковых версий этих функций | on some machines, the carry bit may be a useful aid to computing the unsigned versions of these functions (см. Hacker's delight / Henry S. Warren, Jr. – 2nd ed. 2013) |
| на первый взгляд эта идея кажется неудачной | on first glance, this seems a bad idea (ssn) |
| на практике, процесс общения, начатый на ранних этапах и продолжающийся непрерывно, может дать архитектору верную оценку стоимости, а разработчику уверенность в проекте, не снимая при этом чёткого разграничения сфер ответственности | in practice, early and continuous communication can give the architect good cost readings and the builder confidence in the design without blurring the clear division of responsibilities (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering) |
| на этапе проектного моделирования разрабатывается программная архитектура системы, при этом аналитическая модель отображается на эксплуатационную среду | in the design modeling phase, the software architecture of the system is designed, in which the analysis model is mapped to an operational environment (см. Software Modeling and Design by Hassan Gomaa 2011) |
| Haskell не просто хороший "учебный язык". это настоящий язык программирования, имеющий, в частности, такие средства поддержки и расширения, как интерфейс с функциями, написанными на Си, и возможности компонентно-ориентированного программирования | Haskell is not just a good 'teaching language'. It is a practical programming language, supported by having extensions such as interfaces to C functions and component-based programming |
| Недавние работы распространили эту теорию на более общие классы процессов, но ограничения всё ещё существуют | Recent work has extended this theory to more general classes of processes, but limitations still exist (ssn) |
| Несмотря на сказанное, следует отметить, что этой теме посвящено большое количество теоретических работ, начиная от исследований по искусственному интеллекту, проводимых в середине двадцатого столетия, и заканчивая современными исследованиями | that said, there is a wealth of academic information on the subject, originating from classical AI in mid-twentieth century as well as recent research (см. AI Game Development: Synthetic Creatures with Learning and Reactive Behaviors / Alex J. Champandard 2003 ssn) |
| несмотря на это | even so (ssn) |
| Несмотря на это, сложность подхода конечных автоматов оправдана не для всех управляемых событиями программ | even so, the complexity of finite state machines is not worthwhile for all event-driven programs |
| Никто не ожидает, что мост будет перемещён на десять метров после того, как он был построен. Точно так же не следует ожидать, что программный продукт успешно выполнит различные задачи после того, как будет создан. Если это то, что нам нужно, тогда программное обеспечение создано удачно | 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) |
| Опережающее чтение – это акт считывания дополнительных данных с диска в страничный кэш, который выполняется после каждого запроса на чтение | Readahead is the act of reading extra data off the disk and into the page cache following each read request (ssn) |
| Опережающее чтение это акт считывания дополнительных данных с диска в страничный кэш, который выполняется после каждого запроса на чтение | Readahead is the act of reading extra data off the disk and into the page cache following each read request (ssn) |
| Основные ингредиенты для конечного автомата – это события, на которые он реагирует, и состояния, в которых он ожидает между событиями | the fundamental ingredients for a finite state machine are the events it responds to, and the states in which it waits between events (ibm.com, amp, s_cmp=cp) |
| Основные ингредиенты для конечного автомата это события, на которые он реагирует, и состояния, в которых он ожидает между событиями | the fundamental ingredients for a finite state machine are the events it responds to, and the states in which it waits between events (ibm.com, amp, s_cmp=cp) |
| Основу книги составляет подробный перечень методов рефакторинга. Каждый метод описывает мотивацию и технику испытанного на практике преобразования кода. Некоторые виды рефакторинга, такие как "Выделение метода" или "Перемещение поля", могут показаться очевидными, но пусть это не вводит вас в заблуждение | at the book's core is a comprehensive catalog of refactorings. Each refactoring describes the motivation and mechanics of a proven code transformation. Some of the refactorings, such as Extract Method or Move Field, may seem obvious. But don't be fooled (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999) |
| Передача сообщения реализуется как синхронная связь между клиентом и поставщиком сервиса. Сообщение от объекта-клиента просит, чтобы объект-поставщик исполнил сервис метод. Интерпретация сообщения и средство его выполнения – на усмотрение объекта-поставщика. это можно было бы назвать делегированием работы другому объекту | Message passing is realized as a synchronous communication between the client and supplier of a service. A message from a client object requests that a supplier object performs a service method. The interpretation of a message and the means of executing it are at the discretion of the supplier object. This could be the delegation of the work to another object (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| Передача сообщения реализуется как синхронная связь между клиентом и поставщиком сервиса. Сообщение от объекта-клиента просит, чтобы объект-поставщик исполнил сервис метод. Интерпретация сообщения и средство его выполнения на усмотрение объекта-поставщика. это можно было бы назвать делегированием работы другому объекту | Message passing is realized as a synchronous communication between the client and supplier of a service. A message from a client object requests that a supplier object performs a service method. The interpretation of a message and the means of executing it are at the discretion of the supplier object. This could be the delegation of the work to another object (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| подпрограммы, которые работают на структурах, определённых этим объявлением объектов | subprograms that work on the object structures defined by these declarations (ssn) |
| Подчинённый вариант использования это вариант использования, вызываемый на шаге сценария. В UML вызывающий вариант использования включает поведение подчинённого варианта использования | A sub use case is a use case called out in a step of a scenario. In UML, the calling use case is said to include the behavior of the sub use case (см. Writing Effective Use Cases by Alistair Cockburn 2001 ssn) |
| Подчинённый вариант использования – это вариант использования, вызываемый на шаге сценария. В UML вызывающий вариант использования включает поведение подчинённого варианта использования | A sub use case is a use case called out in a step of a scenario. In UML, the calling use case is said to include the behavior of the sub use case (см. Writing Effective Use Cases by Alistair Cockburn 2001 ssn) |
| пожалуй, это самый чистый способ написания автономных тестов для асинхронного кода, поскольку ответственность за управление потоками перекладывается на каркас тестирования | this is arguably the neatest way to write unit tests for async code, pushing the responsibility for threads into the testing framework (см. Async in C# 5.0 / Alex Davies 2012) |
| Полнотекстовый поиск – поиск документа в базе данных текстов на основании содержимого этих документов, а также совокупность методов оптимизации этого процесса | Full text search – search document in a database of texts on the basis of these documents contents, and also set of methods of optimization of this process (ssn) |
| Полнотекстовый поиск поиск документа в базе данных текстов на основании содержимого этих документов, а также совокупность методов оптимизации этого процесса | Full text search search document in a database of texts on the basis of these documents contents, and also set of methods of optimization of this process (ssn) |
| Порождение событий – это подход, концентрирующий внимание на долговременном хранении всех изменений персистентного состояния, а не самого текущего состояния | Event sourcing is an approach that concentrates on persisting all the changes to a persistent state, rather than persisting the current state itself (ssn) |
| предметно-ориентированный язык это язык программирования с ограниченными выразительными возможностями, ориентированный на некую конкретную предметную область | domain-specific language: a computer programming language of limited expressiveness focused on a particular domain (ssn) |
| при высвобождении большого участка памяти часть его может быть выделена в ответ на текущий запрос, при этом остаток может оказаться слишком малым для удовлетворения любых последующих запросов | when a large amount of memory is released, part of it may be used to meet a subsequent request, leaving an unused part that is too small to meet any further requests |
| псевдоязык = pseudo language; = pseudo-language близкий к естественному условный язык, не являющийся реальным языком программирования, но удобный для первоначального описания алгоритмов например, для ТЗ, после чего алгоритмы программируются уже на обычных ЯВУ. В этом смысле псевдоязык является промежуточным языком | pseudolanguage (intermediate language ssn) |
| системное время – это время, потраченное на выполнение процессом системных вызовов в пространстве ядра | system time is the time spent executing system calls in kernel space on the process' behalf (ssn) |
| системное время это время, потраченное на выполнение процессом системных вызовов в пространстве ядра | system time is the time spent executing system calls in kernel space on the process' behalf (ssn) |
| Стандартная библиотека C в сочетании с CORBA и библиотекой Pthreads обеспечивает поддержку концепций агентно-ориентированного программирования и программирования на основе методологии "доски объявлений", которые рассматриваются в этой книге | the C Standard Library, in combination with CORBA and the Pthreads library, provides the support for agent-oriented and blackboard programming concepts that are discussed in this book (см. "Parallel and Distributed Programming Using C " by Cameron Hughes, Tracey Hughes 2003) |
| Стандартная библиотека C в сочетании с CORBA и библиотекой Pthreads обеспечивает поддержку концепций агентно-ориентированного программирования и программирования на основе методологии "классной доски", которые рассматриваются в этой книге | the C Standard Library, in combination with CORBA and the Pthreads library, provides the support for agent-oriented and blackboard programming concepts that are discussed in this book (см. "Parallel and Distributed Programming Using C " by Cameron Hughes, Tracey Hughes 2003) |
| так как детали доступа к объектам приложения в значительной мере зависят от самого приложения и его реализации, мы не станем останавливаться на этом вопросе | 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) |
| так что при разработке современных цифровых схем очень важно выбрать правильные составляющие, поскольку это может оказать существенное влияние на быстродействие, мощность и/или сложность разработки | making the correct selection is getting increasingly important in modern digital circuits, and can have a great impact on performance, power, and/or design complexity (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
| Уровень 2 на рис. 9.4 стабилен, а Уровень 1 нестабилен. Уровень 1 зависит от Уровня 2. Уровень 2 независим и поэтому может быть заменен новым без "эффекта ряби" в остальной части системы. это – принцип и причина, стоящие за разрешением сильной зависимости сильной связи в нисходящем направлении и обеспечением слабой зависимости слабой связи в восходящем направлении | Layer 2 in Figure 9-4 is stable and Layer 1 is instable. Layer 1 depends on Layer 2. Layer 2 is independent and can therefore be replaced by a new one without a ripple-effect on the rest of the system. This is the principle and the reason behind allowing a high dependency high coupling in the top-down direction and ensuring a low dependency low coupling in the bottom-up direction (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| Условимся, что когда процесс достигает вершины у основания этой дуги, он мгновенно переходит назад к вершине, на которую указывает дуга | the convention is that when a process reaches the node at the tail of the arrow, it immediately and imperceptibly goes back to the node to which the arrow points (см. Communicating Sequential Processes by C.A.R. Hoare 1985) |
| Учитывая это, природа компьютеризации проектов современных механических систем становится более понятной. Вычислительные способности и ограничения должны рассматриваться на всех стадиях процесса проектирования и реализации. В частности, эффективность окончательной промышленной системы будет существенно зависеть от качества функционирования программного обеспечения в реальном масштабе времени, которое управляет механизмом | with this context, the compucentric nature of modern mechanical systems designs becomes clearer. Computational capabilities and limitations must be considered at all stages of the design and implementation process. In particular, the effectiveness of the final production system will depend very heavily on the quality of the real time software that controls the machine (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
| что изменилось на этот раз? | what's Different this Time? (ssn) |
| эта совместимость определена в терминах команд административного управления, на которые каждый тип устройства может ответить, как это указано в таблице 5.2 | this compliance is specified in terms of the management commands to which each type of device can respond, as given in table 5.2. (см. IEC 61499-1) |
| эта совместимость определёна в терминах команд административного управления, на которые каждый тип устройства может ответить, как это указано в таблице 5.2 | this compliance is specified in terms of the management commands to which each type of device can respond, as given in table (см. IEC 61499-1) |
| это вещь из области POSIX – стандарт утверждает, что на различных платформах вы можете использовать различные типы временных базисов, но любая платформа должна, по меньшей мере, поддерживать базис CLOCK_REALTIME | this is a POSIX thing – POSIX says that on different platforms you can have multiple time bases, but that every platform must support at least the CLOCK_REALTIME time base (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| это вещь из области POSIX стандарт утверждает, что на различных платформах вы можете использовать различные типы временных базисов, но любая платформа должна, по меньшей мере, поддерживать базис CLOCK_REALTIME | this is a POSIX thing POSIX says that on different platforms you can have multiple time bases, but that every platform must support at least the CLOCK_REALTIME time base (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| это движение моделируется на компьютере | this motion is computer simulated (ssn) |
| это очень гибкая методика, которая позволяет программе использовать максимальную частоту кадров, на которую способно оборудование. Однако назвать её стопроцентно полной развязкой всё же нельзя | 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) |
| этот агрегат состоит из движущейся слева направо ленты транспортёра, обрабатывающего устройства и двух роботов, которые перемещают ящики между этим устройством и лентой транспортёра, как изображено на рис. 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 use case displays the maximum and minimum values of a selected measurement (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch) |
| этот пункт определяет средства для спецификации типа трёх видов блоков, показанных на рисунке 9 | as illustrated in figure 9, this clause defines the means for the type specification of three kinds of blocks (см. IEC 61499-1) |
