English | Russian |
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) |
an application programme may consist of a number of tasks. The execution of each task is accomplished sequentially, one programmable function at a time until the end of the task. The initiation of a task, periodically or upon the detection of an event interrupt condition, is under the control of the operating system | Прикладная программа может включать в себя несколько задач. Выполнение каждой задачи осуществляется последовательно как одна запрограммированная функция во времени до окончания задачи. Запуск задачи, периодически или при обнаружении некоторого события условие прерывания, осуществляется под управлением операционной системы (см. IEC 61131-1 2003 ssn) |
Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
discrete events at irregular intervals of time | дискретные события, которые могут возникать в отдельные моменты времени (ssn) |
Events take variable amounts of time in real life, and this variability is reflected in the Petri net model by not depending on a notion of time to control the sequence of events | в реальной жизни различные события укладываются в различные интервалы времени, и это отражено в модели сети Петри независимостью от времени управления последовательностью событий (ssn) |
finite sequence of symbols recording the events in which the process has engaged up to some moment in time | конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (ssn) |
length of time the event took | продолжительность события (ssn) |
not depending on a notion of time to control the sequence of events | независимость от времени управления последовательностью событий (ssn) |
processes taking place in parallel, giving rise to discrete events at irregular intervals of time | процессы, выполняющиеся параллельно и приводящие к дискретным событиям, которые могут возникать в отдельные моменты времени (ssn) |
Relative timers provide some form of event "in a certain number of seconds", while absolute timers provide this event "at a certain time" | Относительные таймеры обеспечивают генерацию событий "через определённое число секунд", в то время как абсолютные таймеры генерируют события "в определённое время" (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
start time and duration of event | время запуска и длительность события (ssn) |
state changes taking place at the time of each event | изменения состояний, происходящие при возникновении каждого события (ssn) |
the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | одно из важнейших свойств времени, с логической точки зрения, – это определение частичного упорядочения событий (ssn) |
the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | одно из важнейших свойств времени, с логической точки зрения, это определение частичного упорядочения событий (ssn) |
this reflects a philosophy of time which states that the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | это отражает философский подход к понятию времени, утверждающий, что одно из важнейших свойств времени, с логической точки зрения, – это определение частичного упорядочения событий (ssn) |
this reflects a philosophy of time which states that the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | это отражает философский подход к понятию времени, утверждающий, что одно из важнейших свойств времени, с логической точки зрения, это определение частичного упорядочения событий (ssn) |
time to control the sequence of events | время управления последовательностью событий (ssn) |