| 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) |
| Вычислительная модель, состоящая из конечного числа состояний и переходов между этими состояниями, возможно с сопутствующими действиями | A computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions (о конечном автомате в IEEE 610 ssn) |
| для испытания результата этого изменения модель может быть снова подвергнута анализу с целью проверить планируемость | To test the effect of this change, the model can be analyzed again in order to check schedulability (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| для сигнала, описанного с составным подтипом, каждый скалярный подэлемент значения неявного выражения является неявным значением соответствующего подэлемента этого сигнала | for a signal declared to be of a composite subtype, each scalar subelement of the value of the default expression is the default value of the corresponding subelement of the signal (см. IEEE Std. 1076-87. IEEE Standard VHDL. Language Reference Manual) |
| если мы достигнем этой цели, то разработка отдельных модулей может осуществляться различными людьми независимо друг от друга, без необходимости общения друг с другом, при этом все эти объединённые вместе модули будут функционировать правильно | 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) |
| задача, которая реализует интерфейс с устройством ввода / вывода и активизируется прерываниями от этого устройства | task that interfaces to an I/O device and is activated by interrupts from that device |
| интегрированная среда модульного тестирования: инструмент, предоставляющий окружение для модульного тестирования или компонентного тестирования, в котором компонент может быть протестирован как в изоляции, так и с соответствующими заглушками и драйверами. этот инструмент также предоставляет разработчику возможности отладки | unit test framework: A tool that provides an environment for unit or component testing in which a component can be tested in isolation or with suitable stubs and drivers. It also provides other support for the developer, such as debugging capabilities (Standard glossary of terms used in Software Testing) |
| когда конкретная защита имеет значение FALSE, то драйверам соответствующих защищённых сигналов неявно присваивается пустая транзакция с целью отключения этих драйверов | when a given guard becomes False, the drivers of the corresponding guarded signals are implicitly assigned a null transaction to cause those drivers to turn off (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| Любая сеть диаграммы функциональных блоков, порождающая логический результат вычислений, может быть связана с переходом. В этом примере, MotorChecks-функция, которая устанавливает логический сигнал Go продолжать в 1 истина, когда значения входов Vibration вибрация, Fuel топливо и Pressure давление находятся в заданных пределах | Any Function Block Diagram network that generates a boolean output can be connected to a transition. In this example, MotorChecks is a function that sets a boolean signal Go to 1 true, when values of inputs Vibration, Fuel and Pressure are within operating limits (см. Robert W. Lewis: Programming industrial control systems using IEC 1131-3 ssn) |
| определение: представление понятия в виде описательных утверждений, служащее для отличия этого понятия от других, с ним связанных | definition: Representation of a concept by a descriptive statement which serves to differentiate it from related concepts (ISO 1087-1:2000, статья 3.3.1 ssn) |
| Основные свойства императивного языка программирования в значительной степени определяются разработкой способов связывания ячеек памяти с переменными, которые в них хранятся. Из этого следует важность чёткого понимания этих связей | the fundamental character of an imperative programming language is in large part determined by the design of the storage bindings for its variables. It is therefore important to have a clear understanding of these bindings (см. Concepts of programming languages / Robert W. Sebesta.–10th ed. 2012) |
| Отдаёте ли вы себе в этом отчёт или нет, но значительная доля кода вашего приложения всегда будет связана с управлением его состояниями | Whether or not you realize it, a significant portion your application's code relates to managing its state (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005 ssn) |
| Оценка функциональной безопасности программного обеспечения формирует ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения, полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the software functional safety assessment produces a clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended, the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (см. IEC 61508-7: 2010) |
| полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (ssn) |
| Почти любой аспект внешнего вида этого окна можно определить с помощью каскадных таблиц стилей | you can determine almost every aspect of the box's appearance with cascading style sheets (ssn) |
| с другой стороны, текущую деятельность можно представить в виде пары действий: действие при входе, которое начинает деятельность по входу в состояние, и действие при выходе, которое прекращает деятельность при выходе из этого состояния | Alternately, ongoing activity may be represented by a pair of actions, an entry action that starts the activity on entry to the state and an exit action that terminates the activity on exit from the state (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
| с этого момента | at that time (ssn) |
| Сложение при этом можно реализовать посредством сложения 32-битовых чисел с последующим вычитанием нежелательного переноса из полученной суммы | in this case, addition can be done by means of a 32-bit addition followed by subtracting out the unwanted carry (см. Hacker's delight / Henry S. Warren, Jr. – 2nd ed. 2013) |
| Стандартная библиотека 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) |
| Старшинство операторов является фиксированным и не может быть изменено пользователем, но наряду с этим для управления порядком сопоставления операторов и операндов могут быть использованы круглые скобки | the precedence of an operator is fixed and may not be changed by the user, but parentheses can be used to control the association of operators and operands (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| столкнуться с этой проблемой | have run into this issue (Alex_Odeychuk) |
| Структура этих документов может быть определена только с помощью визуального контроля | the structure of these documents can only be detected by visual inspection |
| тестирование: процесс, содержащий в себе все активности жизненного цикла, как динамические, так и статические, касающиеся планирования, подготовки и оценки программных продуктов и связанных с этим результатов работ с целью определить, что они соответствуют описанным требованиям, показать, что они подходят для заявленных целей и для определения дефектов | testing: The process consisting of all lifecycle activities, both static and dynamic, concerned with planning, preparation and evaluation of software products and related work products to determine that they satisfy specified requirements, to demonstrate that they are fit for purpose and to detect defects (см. Standard glossary of terms used in Software Testing ssn) |
| Цель рефакторинга Интерфейс извлечения двойная и определяется так: "Несколько клиентов используют то же самое подмножество интерфейса класса или два класса содержат общую часть своих интерфейсов" Фаулер, 1999, с.341. Метод рефакторинга Интерфейс извлечения используется, чтобы "выделить подмножество в интерфейс" там же. Идея относительно этого рефакторинга связана с самой природой интерфейсов | the refactoring target of Extract Interface is twofold and defined as Several clients use the same subset of a class's interface, or two classes have part of their interfaces in common (Fowler, 1999, p.341). The Extract Interface refactoring method is to extract the subset into an interface (Fowler, 1999, p.341). The idea of this refactoring is related to the very nature of interfaces (Section 9.1.6; см. Maciaszek L.A. and Liong B.L. (2005): Practical Software Engineering; раздел 9.1.6) |
| эта информация может быть представлена с помощью следующего обобщённого шаблона | this information can be represented by the following generalized template |
| этот метод обработки подобен функционированию сборочного конвейера и особенно удобен для работы с векторами и массивами | this technique is similar to the operation of an assembly line and is especially useful for vector and array processing |
| этот приём, называемый "перегрузкой методов", используется для реализации методов, выполняющих сходные задачи с разными типами и / или количеством аргументов | this technique, called method overloading, is used to implement methods that perform similar tasks but with different types and/or different numbers of arguments (см. Deitel P., Deitel. H. – Visual C# 2012 How to Program, 5Ed. – 2013) |
| этот унифицированный подход был принят для того, чтобы разработать рациональную и последовательную техническую концепцию для всех электрических систем, связанных с безопасностью | this unified approach has been adopted in order that a rational and consistent technical policy be developed for all electrically-based safety-related systems (см. IEC 61508-1, ГОСТ Р МЭК 61508-1-2007) |
| Эффективным и популярным способом реализации этого упорядочения является синхронный подход, при котором все запоминающие элементы системы обновляются одновременно с использованием глобального периодического синхронизирующего сигнала т.е. глобального тактового сигнала | the synchronous approach, in which all memory elements in the system are simultaneously updated using a globally distributed periodic synchronization signal that is, a global clock signal, represents an effective and popular way to enforce this ordering (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
