| Russian | English |
| в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | 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) |
| Время между вызовами блока должно быть постоянным. Вход "время опроса" задаёт время между вызовами блока | the time between the block calls must be constant. the "sampling time" input specifies the time between block calls |
| для генератора, в котором используется указание подтипа, начальным значением создаваемого объекта является то же значение, которое задаётся неявно в объявлении переменной неявное начальное значение указанного подтипа | for an allocator with a subtype indication, the initial value of the created object is the same as the default initial value for an explicitly declared variable of the designated subtype (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| задавать действия меню, подсказки или переходы | specify menu activities, prompts, or transitions (ssn) |
| задавать действия меню, подсказки или переходы гибким, детализированным и явным образом | specify menu activities, prompts, or transitions in a flexible, granular, and explicit manner (ssn) |
| задавать использование разделителя групп | add group separators (флаг, управляющий форматом выходных данных ssn) |
| задавать последовательность возвращаемых значений | set up a sequence of return values (github.io Alex_Odeychuk) |
| задавать форматирование того же значения, к которому относился предыдущий спецификатор | format the same value as the previous specifier (флаг, управляющий форматом выходных данных ssn) |
| задаваться без префиксов библиотек | be defined without library prefixes (ssn) |
| задаваться в спецификации параметров | be specified in parameter specifications (корпорации AdaCore Alex_Odeychuk) |
| заранее задавать размер набора данных | hard-coding the size of the data set (ssn) |
| Заранее задавать размер набора данных, как в листинге 4.10, в таком случае не следует | Hard-coding the size of the data set as in Listing 4.10 is not appropriate (ssn) |
| исходная ячейка, которую задаёт функция хеширования | original location that the hash function specifies (ssn) |
| ключевое слово C++, которое задаёт способ приведения типа, использующий информацию, доступную во время исполнения | dynamic cast (используя динамическое приведение, можно получить указатель на объект наследующего класса по указателю на базовый класс. если оказалось, что адресуемый объект не принадлежит указанному наследующему классу, оператор dynamic_cast вернет 0) |
| Параметр it_value задаёт либо интервал времени от настоящего момента до момента срабатывания таймера в случае относительного таймера, либо собственно время срабатывания в случае абсолютного таймера | the it_value specifies either how long from now the timer should go off in the case of a relative timer, or when the timer should go off in the case of an absolute timer (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
| по определению, у схемы классического образца типа последовательностной схемы с обратной связью нет входа для подачи тактового сигнала, которым задавались бы моменты фиксации значений входных сигналов | By definition, a fundamental-mode circuit such as a feedback sequential circuit does not have a clock to tell it when to sample its inputs (см. "Digital Design – Principles & Practices" by John F. Wakerly Third Edition, 1999) |
| после срабатывания таймера значение величины it_interval задаёт относительное время для повторной загрузки таймера, чтобы он мог сработать снова | once the timer fires, the it_interval value specifies a relative value to reload the timer with so that it can trigger again (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
| Различие заключается в том, что при тестировании на основе технических требований программе задаются данные без какого-либо учёта логики работы программы | the difference lies in that testing to specs feeds the program with data without any consideration given to the program logic (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
