| English | Russian |
| A key idea from Chapter 12 is that if one is only interested in the at-sample response, these samples can be described by discrete time models in either the shift or delta operator | Основная идея гл. 12 состоит в том, что если нас интересует реакция только в моменты квантования, эти квантованные величины могут быть описаны дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (см. Control system design by Graham C. Goodwin et al. 2000 ssn) |
| A solution is said to be efficient if it solves the problem within its resource constraints | Решение называется эффективным, если оно решает задачу в рамках её ограничений по ресурсам (С. А. Shaffer ssn) |
| All sequential circuits have one property in common a well-defined ordering of the switching events must be imposed if the circuit is to operate correctly | все последовательностные схемы обладают одним общим свойством: для правильной работы схемы необходимо обеспечить строго определённый порядок переключений (см. Digital Integrated Circuits A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
| All sequential circuits have one property in common – a well-defined ordering of the switching events must be imposed if the circuit is to operate correctly | все последовательностные схемы обладают одним общим свойством: для правильной работы схемы необходимо обеспечить строго определённый порядок переключений (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
| an object declaration is called a multiple object declaration if its identifier list has two or more identifiers | Объявление объекта называется множественным объявлением объекта, если стоящий в нём список идентификаторов содержит два или более идентификаторов (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| an object declaration is called a single object declaration if its identifier list has a single identifier | Объявление объекта называется отдельным объявлением объекта, если стоящий в нём список идентификаторов содержит единственный идентификатор (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| Architectural design is an exercise in managing module dependencies. Module A depends on module B if changes to module B may necessitate changes to module A. It is important that dependencies do not cross dependency firewalls Martin, 2003. In particular, dependencies should not propagate across non-neighboring layers and must not create cycles | Структурное проектирование – нечто вроде упражнения в управлении зависимостями модулей. Модуль A зависит от модуля B, если изменения в модуле B могут потребовать изменений в модуле A. Важно, чтобы эти зависимости не противоречили брандмауэрам зависимостей Мартин, 2003. В частности, зависимости не должны быть между несоседними уровнями и не должны создавать циклы (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering ssn) |
| be that if | быть таковым, что если (ssn) |
| be that if | состоять в том, что если (ssn) |
| branch if bit is clear | переход, если бит сброшен (ssn) |
| branch if bit is set | переход, если бит установлен (ssn) |
| check if new character is ready | проверка того, готов ли новый символ (ssn) |
| command to remove the stack's top element, if the stack is not empty | команда удаления верхнего элемента стека, если стек не пуст (ssn) |
| Except for the most critical process, all others maintain their schedulability if a nonpreemptive scheduler is used | Исключая наиболее требовательные процессы, все остальные сохраняют свою планируемость при использовании планировщика без приоритетов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| for example, if the value of a byte variable is promoted to int inside an expression, outside the expression, the variable is still a byte | Так, если значение переменной типа byte продвигается к типу int внутри выражения, то вне выражения эта переменная по-прежнему относится к типу byte |
| if all the above conditions are met except that a thread at the same priority is ready to run, then this thread will give up CPU after its timeslice expires, and the other thread will be given a chance to run | если удовлетворены все вышеизложенные условия, за исключением того, что становится готов к работе другой поток с таким же самым приоритетом, то предыдущий поток освободит процессор после того, как истечёт выделенный ему квант времени – таким образом, другой поток будет иметь шанс на обслуживание (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
| if all the above conditions are met except that a thread at the same priority is ready to run, then this thread will give up CPU after its timeslice expires, and the other thread will be given a chance to run | если удовлетворены все вышеизложенные условия, за исключением того, что становится готов к работе другой поток с таким же самым приоритетом, то предыдущий поток освободит процессор после того, как истечёт выделенный ему квант времени таким образом, другой поток будет иметь шанс на обслуживание (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
| if alternative representation of programming language elements is available, then the display representation is generally user-selectable | если допускается альтернативное представление элементов языка программирования, то вывод на дисплей обычно осуществляется по выбору пользователя (см. IEC 61131-1 2003 ssn) |
| If, as is quite common, there are ten interlock signals which allow a motor to start, the maintenance staff will need to be able to check these quickly in the event of a fault | Если, как это обычно бывает, имеется порядка десяти блокирующих друг друга сигналов, позволяющих запустить электродвигатель, обслуживающий персонал в случае неисправности должен быть способен быстро проверить все эти сигналы (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn) |
| if neither operand is a one-dimensional array, the type of the result must be known from the context | если ни один из операндов не является одномерным массивом, то тип результата должен быть известен из контекста (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton | если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| if the assignment symbol followed by an expression is not present in a constant declaration, then the declaration declares a deferred constant | если в объявлении константы отсутствует символ присваивания и следующее за ним выражение, то такое объявление описывает неполную константу (см. IEEE Std. 1076-87. IEEE Standard VHDL. Language Reference Manual ssn) |
| if the referenced instance is of a class or function block type that implements the interface, the result is a valid reference to this instance | если экземпляр, на который дана ссылка, принадлежит классу или типу функционального блока, реализующего интерфейс, то результат является действительной ссылкой на данный экземпляр (см. IEC 61131-3:2013 ed. 3.0 Programmable Controllers – Programming Languages ssn) |
| if the size is not an integer multiple of the block size | если этот размер не кратен размеру блока (ssn) |
| if the stream is less than 1,000 bytes long, the byte array returned reflects the actual stream size | если поток меньше 1000 байт, возвращаемый байтовый массив соответствует фактическому размеру потока (ssn) |
| if the tuple is part of a larger expression | если кортеж является частью более сложного выражения (ssn) |
| if you want to put it into real life concepts, your personal watch is a clock source | если хотите аналогию из повседневной жизни, то ваши личные часы являются источником времени (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| it is an error if a constant declaration declares a constant that is of a file type or an access type | Считается ошибкой, если объявление константы описывает константу файлового или ссылочного типа (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| it is an error if a signal declaration declares a signal that is of a file type or an access type | Считается ошибкой, если объявление сигнала описывает сигнал файлового или ссылочного типа (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual 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) |
| query to find out what the top element is, if the stack is not empty | запрос элемента, находящегося на вершине стека если стек не пуст (ssn) |
| schedulability if a nonpreemptive scheduler is used | планируемость при использовании планировщика без приоритетов (ssn) |
| skip if bit is clear | пропуск, если бит сброшен (ssn) |
| skip if bit is set | пропуск, если бит установлен (ssn) |
| skip if register bit is clear | пропуск, если бит регистра сброшен (ssn) |
| skip if register bit is set | пропуск, если бит регистра установлен (ssn) |
| text to display if the condition is false | отображаемый текст, если условие ложно (ssn) |
| text to display if the condition is true | отображаемый текст, если условие истинно (ssn) |
| the consequence is that if offending class dependencies i.e. class dependencies that introduce cycles can be eliminated or made harmless then the overall software architecture of layers and packages can be so much more stable | Последствие таково, что если неприятные зависимости классов то есть, зависимости классов, которые представляют циклы могут быть устранены или сделаны безопасными, то вся структура уровней и пакетов ПО может быть намного более устойчива (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| there are two kinds of execution-based testing: testing to specs black-box testing and testing to code whitebox testing. Both kinds use the same strategy of feeding the program with input data and observing if the output is as expected | Имеются два вида тестирования, основанного на выполнении программы: тестирование на основе технических требований тестирование методом чёрного ящика и тестирование по исходным текстам тестирование методом белого ящика. Оба вида используют ту же самую стратегию задания программе входных данных и наблюдения, тот ли выходной результат получается, который ожидался (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| this implies that if a superset object is deleted destroyed, then its subset objects must also be deleted | Отсюда следует, что если объект супермножества удалён уничтожен, объекты его подмножеств также удаляются (см. Maciaszek, L.A.: Requirements Analysis and System Design, 3rd ed. 2007 ssn) |
| Two array types may be closely related even if corresponding index positions have different directions | Два индексируемых типа могут быть родственными, даже если соответствующие позиции индексов имеют разные направления (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| Two type definitions always define two distinct types, even if they are textually identical | Два объявления типа всегда описывают два различных типа, даже если оба они текстуально идентичны (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not | Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| Unscheduled communication occurs only when a periodic or event task is not running. If you use multiple tasks, make sure that their scan times and execution intervals leave enough time for unscheduled communication | Незапланированный обмен данными происходит лишь в то время, когда не работает ни периодическая, ни событийная задача. Если вы используете несколько задач, убедитесь в том, что их времена сканирования и промежутки между выполнениями обеспечивают достаточное время для незапланированного обмена данными (ssn) |