| 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) |
| восходящее тестирование: последовательный подход к интеграционному тестированию, при котором компоненты нижнего уровня тестируются первыми и затем используются для облегчения тестирования компонентов более высокого уровня. этот процесс повторяется до тех пор, пока компонент на самом верху иерархии не будет протестирован | 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 |
| как мы увидим далее в этой книге, многие алгоритмы основаны на принципе рекурсивного разбиения большой задачи на меньшие, когда решения подзадач используются для решения исходной задачи | 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) |
| Мартин Фаулер и другие авторы, принявшие участие в написании этой книги, внесли большой вклад в разработку объектно-ориентированного программного обеспечения тем, что пролили свет на процесс рефакторинга. В книге описываются принципы и лучшие способы осуществления рефакторинга, а также указывается, где и когда следует начинать углублённо изучать код, чтобы улучшить его | 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) |
| Недавние работы распространили эту теорию на более общие классы процессов, но ограничения всё ещё существуют | 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) |
| подпрограммы, которые работают на структурах, определённых этим объявлением объектов | subprograms that work on the object structures defined by these declarations (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) |
| Полнотекстовый поиск поиск документа в базе данных текстов на основании содержимого этих документов, а также совокупность методов оптимизации этого процесса | 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) |
| при высвобождении большого участка памяти часть его может быть выделена в ответ на текущий запрос, при этом остаток может оказаться слишком малым для удовлетворения любых последующих запросов | 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) |
| Стандартная библиотека 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) |
| Условимся, что когда процесс достигает вершины у основания этой дуги, он мгновенно переходит назад к вершине, на которую указывает дуга | 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) |
| что изменилось на этот раз? | 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) |
| этот агрегат состоит из движущейся слева направо ленты транспортёра, обрабатывающего устройства и двух роботов, которые перемещают ящики между этим устройством и лентой транспортёра, как изображено на рис. 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) |
