| Russian | English |
| абстракция множества всех возможных состояний программы | abstraction of the set of all possible program states (ssn) |
| анализ возможных рискованных ситуаций | risks considered (ssn) |
| анализ возможных рискованных ситуаций, а также методы управления такими ситуациями | risks considered as well as methods to manage the risks (ssn) |
| безопасно выполнить проверку на потенциально возможное арифметическое переполнение | safely check for potential overflows (корпорации Apple; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| бит возможного выравнивания | justification opportunity bit (ssn) |
| в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | 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) |
| в PRAM-среде возможен одновременный доступ | in the PRAM the access can be simultaneous (см. "Parallel and Distributed Programming Using C++" by Cameron Hughes, Tracey Hughes 2003) |
| весь возможный | each possible (ssn) |
| возможная активация | potential activation (ssn) |
| возможная диаграмма состояний | possible state diagram (ssn) |
| возможная комбинация | possible combination (ssn) |
| возможная конфигурация оборудования | allowed equipment configuration (ssn) |
| возможная объектно-ориентированная система | possible object-oriented system (ssn) |
| возможная ошибка во время выполнения | potential run-time error (корпорации AdaCore Alex_Odeychuk) |
| возможная потеря точности | potential loss of accuracy (ssn) |
| возможная связь | available connection (ssn) |
| возможное или допустимое решение | admissible decision (ssn) |
| возможное использование | possible use (ssn) |
| возможное использование до определения | possible use before definition (ssn) |
| возможное подмножество последовательностей сортировки | subset of possible collation sequences (ssn) |
| возможное представление | possible representation (ssn) |
| возможное событие | possible event (ssn) |
| возможное состояние | possible state (ssn) |
| возможные активации | potential activations (ssn) |
| возможные варианты переходов между состояниями | which state transitions are possible (ssn) |
| возможные входные условия | possible input conditions (ssn) |
| возможные действия | possible actions (ssn) |
| возможные действия при неопределённом поведении | possible actions of undefined behavior (ssn) |
| возможные замены | allowable replacements (ssn) |
| возможные замены символов | allowable replacements of characters (ssn) |
| возможные значения для литералов и переменных | for literals and variables the possible values (ssn) |
| возможные значения переменной | possible values for a variable (Alex_Odeychuk) |
| возможные значения переменных | possible values of variables (корпорации AdaCore Alex_Odeychuk) |
| возможные значения переменных | possible values for variables (корпорации AdaCore Alex_Odeychuk) |
| возможные значения переменных и параметров | possible values of variables and parameters (корпорации AdaCore Alex_Odeychuk) |
| возможные индикаторы видимости и их значения | possible visibility indicators and their meanings (ssn) |
| возможные комбинации | possible combinations (ssn) |
| возможные необязательные дополнения | optional possible adornments (ssn) |
| возможные ограничения обобщений для параметров типа | possible constraints for generic type parameters (ssn) |
| возможные ограничения параметров универсального типа | possible constraints for generic type parameters (ssn) |
| возможные отдельные комбинации | possible discrete combinations (ssn) |
| возможные отношения синхронизации между задачами | the synchronization relationships that can exist between tasks (ssn) |
| возможные показания часов | possible clock values (ssn) |
| возможные последовательности | possible sequences (событий ssn) |
| возможные последовательности событий | possible sequences of events (ssn) |
| возможные представления | possible representations (ssn) |
| возможные пути выполнения | possible execution paths (программы ssn) |
| возможные пути выполнения программы | possible execution paths in a program (ssn) |
| возможные пути преобразования | possible conversion paths (ssn) |
| возможные режимы | possible modes (ssn) |
| возможные режимы использования | possible modes of use (ssn) |
| возможные связи | available connections (ssn) |
| возможные события | possible events (ssn) |
| возможные состояния | possible states (ssn) |
| возможные состояния и варианты перехода из одного состояния в другое | states and transitions (ssn) |
| возможные состояния клетки | possible cell states (ssn) |
| возможные сферы применения | possible implementation areas (ssn) |
| возможные сценарии | through scenarios (ssn) |
| возможные типы искажений | possible types of damage (ssn) |
| возможные функциональные возможности, реализованные разработчиком | possible implementer dependent behavior (ssn) |
| возможный вариант трансляции | possible translation (ssn) |
| возможный вариант трансляции на язык ассемблера | possible translation to assembly language (ssn) |
| возможный вид | possible shape (напр., канонических форм ssn) |
| возможный вид канонических форм | possible shapes of the canonical forms (типов ssn) |
| возможный или допустимый вариант | admissible alternative (ssn) |
| возможный массив | possible array (ssn) |
| возможный путь решения | candidate solution path (ssn) |
| возможный сбойный код | possible nasty code (ssn) |
| возможный сценарий | through scenario (ssn) |
| возможный тип искажения | possible type of damage (ssn) |
| все возможные комбинации | all possible combinations (ssn) |
| все возможные отдельные комбинации | all possible discrete combinations (ssn) |
| все возможные пути выполнения | all possible execution paths (ssn) |
| все возможные пути выполнения программы | all possible execution paths in a program (ssn) |
| все возможные события | each possible event (ssn) |
| все возможные события для всех возможных состояний | each possible event for each possible state (ssn) |
| все возможные состояния | each possible state (ssn) |
| все возможные специфические детали | specific details as much as possible (ssn) |
| вся необходимая информация для определения возможных последовательностей событий | all necessary information to define the possible sequences of events (ssn) |
| выдавать для каждого возможного состояния соответствующее поведение | exhibit the appropriate behavior for each possible state (ssn) |
| выходные состояния как функции всех возможных входных условий | output states as functions of all possible input conditions (ssn) |
| выявление возможных использований до определения | detecting possible uses before definition (ssn) |
| дескриптор одного из возможных типов | one type of descriptor (ssn) |
| единственно возможное решение | the only solution possible (ssn) |
| единственно возможный | only possible (ssn) |
| единственно возможный способ | the only possible way (ssn) |
| знать все возможные значения | know all possible values (Alex_Odeychuk) |
| значение для каждого возможного состояния | values for each of the states (ssn) |
| интерфейс State, содержащий метод для каждого возможного действия | State interface that contains a method for every action (ssn) |
| каждая возможная комбинация | each possible combination (ssn) |
| каждая возможная комбинация входных сигналов | each possible input combination (ssn) |
| каждая возможная комбинация переменных состояния | each possible combination of the state variables (ssn) |
| каждое возможное действие | every action (ssn) |
| каждое возможное состояние | each possible state (ssn) |
| каждому состоянию соответствует своё множество возможных переходов | each state has its own set of transitions (ssn) |
| каждый возможный | every (ssn) |
| каждый возможный | each possible (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) |
| конечное число возможных состояний | finite number of possible states (ssn) |
| максимально возможное время активности этого шага | maximum length of time that the processing of this step should take (ssn) |
| максимальное возможное число | maximum number possible (ssn) |
| метод для каждого возможного действия | method for every action (ssn) |
| множество возможных значений потока данных | set of possible data-flow values (ssn) |
| множество возможных путей решения | set of candidate solution paths (ssn) |
| множество всех возможных состояний программы | set of all possible program states (ssn) |
| множество всех возможных стеков | set of all possible stacks (ssn) |
| множество всех возможных целых чисел | set of all possible integer values (ssn) |
| моделирование всех возможных неисправностей | fail-all fault simulation (в каждый момент времени моделируется одна из возможных неисправностей ssn) |
| набор всех возможных состояний системы, которые ей присущи | set of states which can be exhibited by a system (ssn) |
| несколько возможных типов искажений | a few possible types of damage (ssn) |
| несколько утверждений о возможном виде канонических форм | couple of facts about the possible shapes of the canonical forms (типов ssn) |
| область возможных значений | range of possible values (ssn) |
| область возможных значений переменных | range of possible values (ssn) |
| ограниченное число возможных значений | limited number of possible values (ssn) |
| один из возможных типов | one type (ssn) |
| одна из возможных структур | one possible design (ssn) |
| одна из возможных структур современной многоуровневой операционной системы | one possible design for a modern layered operating system (ssn) |
| одно из возможных решений | one solution (ssn) |
| Одно из возможных решений, которое, однако, мы применять не будем, предполагает создание большого массива указателей и присваивание значений указателям друг за другом по мере выделения памяти под новые структуры | 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) |
| одно из возможных состояний | one of a number of possible states (ssn) |
| определять местонахождение возможных ошибок в коде | identify likely error locations in the code (корпорации AdaCore Alex_Odeychuk) |
| Оптимизация опережающего считывания, однако, возможна | Utilizing readahead, on the other hand, is possible (ssn) |
| оценка возможных вариантов | what-if evaluation (ssn) |
| оценка возможных выигрышей | assessing possible gains (ssn) |
| оценка рисков, связанных с возможными нарушениями защиты | security risk assessment (ssn) |
| очередь с возможным ограничением на длину | optionally-bounded queue (Alex_Odeychuk) |
| перебор возможных сценариев | walk through scenarios (ssn) |
| Польза от методов борьбы с искажениями ограничена, поскольку предполагается, что разработчик заранее предугадает несколько возможных типов искажений и предусмотрит программно реализуемые функции для их устранения | Damage-correction techniques are of limited benefit because they require one to predict in advance a few possible types of damage and to design software functions to undo the damage when it occurs ("Software Reliability: Principles and Practices" by Glenford J. Myers (1976) ssn) |
| Порядковым называется тип, в котором область возможных значений переменных может быть легко связана с последовательностью натуральных чисел | an ordinal type is one in which the range of possible values can be easily associated with the set of positive integers (см. Concepts of programming languages / Robert W. Sebesta.–10th ed. 2012 ssn) |
| Порядок появления событий является одним из возможных, допускаемых основной структурой | the order of occurrence of the events is one of possibly many allowed by the basic structure |
| предупреждение о возможном наличии вируса | virus warning (ssn) |
| преобразование с возможной потерей точности | conversion with potential loss of accuracy (ssn) |
| преобразование типа с возможной потерей точности | conversion with potential loss of accuracy (ssn) |
| при любых возможных обстоятельствах | wherever possible (ssn) |
| применение при любых возможных обстоятельствах принципа наименьших привилегий | applying the principle of least privilege wherever possible (ssn) |
| проверять на наличие всех возможных ошибок во время выполнения | test for all potential run-time errors (корпорации AdaCore Alex_Odeychuk) |
| Проект должен предусматривать все возможные события для всех возможных состояний | the design must consider each possible event for each possible state |
| простейший из возможных способов | simplest possible way (ssn) |
| Различные стадии между "рождением" изделия и его возможной "смертью" известны как стадии жизненного цикла | Various identifiable phases between the product's "birth" and its eventual "death" are known as lifecycle phases (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering ssn) |
| Различные стадии между "рождением" изделия и его возможной "смертью" известны как стадии жизненного цикла | Various identifiable phases between the product's birth and its eventual death are known as lifecycle phases (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering ssn) |
| размер самого большого возможного массива | size of the largest possible array (ssn) |
| рассматриваются возможные сферы применения предлагаемого метода моделирования | possible implementation areas of the proposed modeling method are discussed (ssn) |
| риск, связанный с возможным нарушением защиты | security risk (ssn) |
| самый большой возможный массив | largest possible array (ssn) |
| Создайте переменную экземпляра для хранения текущего состояния, определите значение для каждого возможного состояния | Create an instance variable to hold the current state, and define values for each of the states (ssn) |
| список возможных связей | list of available connections (ssn) |
| список возможных сообщений | list of possible messages |
| список возможных состояний и вариантов перехода из одного состояния в другое | list of states and transitions (ssn) |
| список всех возможных значений | list of all possible values (ssn) |
| Становится возможным произвести переносимый код, то есть код, который может быть создан и скомпилирован, чтобы функционировать во многих различных средах реального времени без осуществления изменений в пользовательской части кода | it becomes possible to produce portable code, that is, code which can be generated and compiled to run in a number of different real time environments without changing the userwritten portion of the code (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
| Структура сети Петри такова, что содержит в себе всю необходимую информацию для определения возможных последовательностей событий | the Petri net structure itself contains all necessary information to define the possible sequences of events |
| тестирование всех возможных комбинаций каждой пары входных параметров | all-pairs testing (Alex_Odeychuk) |
| тестирование всех возможных путей выполнения | testing all possible execution paths (ssn) |
| Тип данных – это классификация, которая определяет возможные значения для литералов и переменных, операции, которые можно выполнять и способ хранения значений | A data type is a classification which defines for literals and variables the possible values, the operations that can be done, and the way the values are stored (ssn) |
| три возможных представления стеков | three possible representations for a stack (ssn) |
| Уменьшение видов атак соединяет использование многоуровневой защиты, отключение или ограничение доступа к системным сервисам и применение при любых возможных обстоятельствах принципа наименьших привилегий | Attack surface reduction embodies employing layered defenses, shutting off or restricting access to system services and applying the principle of least privilege wherever possible (см. ISO/IEC 27034-1:2011 ssn) |
| число возможных состояний клетки | number of possible cell states (ssn) |
| эта таблица содержит список дискретных состояний, в которых может находиться приложение, а также возможные варианты переходов между состояниями | this table lists the discrete states that the application can exist in and shows which state transitions are possible (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
| являться одним из возможных, допускаемых основной структурой | be one of possibly many allowed by the basic structure (ssn) |
