Russian | English |
Апериодические задачи активизируются в случайные моменты времени | Aperiodic tasks runs at irregular intervals (ssn) |
аспект деятельности, которой занята задача в любой момент | aspect of activity that a task is engaged in at any moment (ssn) |
базовые требования: зафиксированный в определённый момент времени, согласованный, просмотренный и одобренный набор требований для указанной версии продукта | requirements baseline: A snapshot in time representing the current agreed-upon, reviewed, and approved set of requirements for a specific product release (см. Software Requirements by Karl E. Wiegers 2003 ssn) |
в данный момент функция недоступна | this feature is currently not available (ssn) |
в каждый момент времени | at any specific time (AT any specific time – В кого(что) [каждый момент времени] ssn) |
в каждый момент времени пользователь всегда находится в одном диалоговом состоянии, или в диалоговом окне | the user is always in one conversational state, or dialog, at a time |
в каждый отдельно взятый момент времени | at a time (IBM Alex_Odeychuk) |
в любой момент времени | at any given time (ssn) |
в любой момент времени | at any specific time (AT any specific time – В кого(что) [любой момент времени] ssn) |
в момент создания контейнера | at the creation of the container (IBM Alex_Odeychuk) |
в моменты квантования | at-sample (ssn) |
в настоящий момент | currently (ssn) |
в настоящий момент сформирован широкий консенсус | it is now widely recognized (that ... – по поводу того, что ... / по вопросу о том, что ...; InfoWorld Alex_Odeychuk) |
в настоящий момент сформирован широкий консенсус по вопросу о | it is now widely recognized that (Alex_Odeychuk) |
в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | 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) |
входной символ и состояние в данный момент | input symbol and state at the present sampling time (ssn) |
входной символ и состояние в данный момент времени | input symbol and state at the present sampling time (ssn) |
входной символ и состояние в настоящий момент времени | input symbol and state at the present sampling time (ssn) |
выходной символ в данный момент времени | output symbol at the present sampling time (ssn) |
Выходной символ в данный момент времени однозначно определяется входным символом и состоянием в данный момент | the output symbol at the present sampling time is uniquely determined by the input symbol and state at the present sampling time (см. "Introduction to the Theory of Finite-State Machines" by Arthur Gill 1962) |
данные в выбранный момент времени | cross section (ssn) |
Действие выполняется мгновенно в момент перехода | the action executes instantaneously at the state transition (состояний) |
деятельность, которой занята задача в любой момент | activity that a task is engaged in at any moment (ssn) |
дискретные данные: данные, поступающие в дискретные моменты времени | discrete data: Data that arrives at specific time intervals (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn) |
дискретные события, которые могут возникать в отдельные моменты времени | discrete events at irregular intervals of time (ssn) |
заданные в фиксированный конечный момент времени значения функций от фазовых координат | functions of the state variables prescribed at a fixed terminal time (ssn) |
заданный в фиксированный конечный момент времени | prescribed at a fixed terminal time (ssn) |
занятый в данный момент | currently busy (ssn) |
занятый в данный момент исполнитель | currently busy server (ssn) |
зафиксированный в определённый момент времени | snapshot in time representing the current (ssn) |
значения переменных в момент остановки ресурса или конфигурации | values the variables had when the resource or configuration was stopped (ssn) |
интересоваться реакцией только в моменты квантования | be only interest in the at-sample response (ssn) |
какой-либо момент в прошлом, о котором была предварительная договорённость | some agreed-upon time in the past (ssn) |
конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени | finite sequence of symbols recording the events in which the process has engaged up to some moment in time (ssn) |
множество значений переменных состояния в определённый момент времени | set of values of the state variables at a specified instant (ssn) |
Основная идея гл. 12 состоит в том, что если нас интересует реакция только в моменты квантования, эти квантованные величины могут быть описаны дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига | 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 (см. Control system design by Graham C. Goodwin et al. 2000 ssn) |
повторяться в несоответствующий момент времени | be repeated at an incorrect point in time (напр., о старых необновлённых сообщениях ssn) |
поток с наивысшим приоритетом среди запущенных в данный момент | highest-priority thread that is currently runnable (ssn) |
протокол простого торгового автомата в момент завершения обслуживания первых двух покупателей | trace of the simple vending machine at the moment it has completed service of its first two customers (ssn) |
Протоколом поведения процесса называется конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени | A trace of the behaviour of a process is a finite sequence of symbols recording the events in which the process has engaged up to some moment in time (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
процессы, выполняющиеся параллельно и приводящие к дискретным событиям, которые могут возникать в отдельные моменты времени | processes taking place in parallel, giving rise to discrete events at irregular intervals of time (ssn) |
реакция в моменты квантования | at-sample response (ssn) |
с другой стороны, сообщение, пришедшее быстрее всех, можно рассматривать как самое точное, поскольку оно предположительно попало в момент наименьшего трафика и поэтому наиболее точно отражает чистое время прохождения | Alternatively, the message that came back fastest can be taken to be the most accurate since it presumably encountered the least traffic underway and therefore is the most representative of the pure propagation time (см. Distributed systems: principles and paradigms / Andrew S. Tanenbaum, Maarten Van Steen 2002 ssn) |
сервис, запускаемый в заданные моменты времени | time-triggered service (ssn) |
сервис, предоставляемый в заданные моменты времени | time-triggered service (ssn) |
события, в которых процесс участвовал до некоторого момента времени | events in which the process has engaged up to some moment in time (ssn) |
совместно используемый в данный момент ресурс | shared resource (ssn) |
состояние в данный момент | state at the present sampling time (ssn) |
состояние в данный момент времени | running status (ssn) |
состояние в данный момент времени | state at the present sampling time (ssn) |
состояние в следующий момент времени | state at the next sampling time (ssn) |
Состояние в следующий момент времени однозначно определяется входным символом и состоянием в настоящий момент времени | the state at the next sampling time is uniquely determined by the input symbol and state at the present sampling time (см. "Introduction to the Theory of Finite-State Machines" by Arthur Gill 1962) |
специфический аспект деятельности, которой занята задача в любой момент | particular aspect of activity that a task is engaged in at any moment (ssn) |
стимул, поступающий объекту в определённый момент времени | stimulus that arrives at an object at a point in time (ssn) |
фиксированные значения некоторых переменных состояния в заданный конечный момент времени | some state variables specified at a fixed terminal time (ssn) |
явления, связанные с очередями, возникающие тогда, когда объекту приходится ждать обслуживания от занятого в данный момент исполнителя | queueing phenomena, arising when an object has to wait for service from a currently busy server (ssn) |