English | Russian |
algorithm for generating a partial ordering of events in a distributed system and detecting causality violations | алгоритм получения частичного упорядочения событий в распределённой системе и обнаружения нарушений причинно-следственных связей (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) |
causally independent events in an asynchronous system | причинно независимые события в асинхронной системе (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) |
event in a distributed system | событие в распределённой системе (ssn) |
event-driven hierarchical system | событийно-управляемая иерархическая система (ssn) |
event-driven hierarchical system with variable structure | событийно-управляемая иерархическая система переменной структуры (ssn) |
event-driven hierarchical systems | событийно-управляемые иерархические системы (ssn) |
event-driven hierarchical systems with variable structure | событийно-управляемые иерархические системы переменной структуры (ssn) |
event-driven system | событийно-управляемая система (ssn) |
event-driven systems | системы, управляемые событиями (ssn) |
event-driven systems | событийно-управляемые системы (ssn) |
events generated by the user or the system | события, сгенерированные пользователем или системой (ssn) |
events in a distributed system | события в распределённой системе (ssn) |
events of interest characterized by inputs to the system | определённые события, характеризуемые вводами в систему (ssn) |
fixed sequence of events of interest characterized by inputs to the system | фиксированная последовательность определённых событий, характеризуемых вводами в систему (ssn) |
in the event of failure of the safety system | в случае отказа системы обеспечения безопасности (ssn) |
input event: A distinct, repeatable event or fixed sequence of events of interest characterized by inputs or input sequence to the system | входное событие: отдельное воспроизводимое событие или фиксированная последовательность определённых событий, характеризуемых вводами или последовательностью вводов в систему (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995 ssn) |
number of occurrences of arbitrary events in the system | количество произошедших в системе произвольных событий (ssn) |
occurrence of various events in a system | возникновение различных событий в системе (ssn) |
ordering of events in a distributed system | упорядочение событий в распределённой системе (ssn) |
partial ordering of events in a distributed system | частичное упорядочение событий в распределённой системе (ssn) |
representing causally independent events in an asynchronous system | представление причинно независимых событий в асинхронной системе (ssn) |
sequence of events of a component or system | последовательность событий в компоненте или системе (ssn) |
sequence of events of interest characterized by inputs to the system | последовательность определённых событий, характеризуемых вводами в систему (ssn) |
system events | системные события (ssn) |
System Events dialog | диалог "Системные события" (ssn) |
system for event evaluation and review | метод SEER (ssn) |
system for event evaluation and review | система экспертных оценок и обзора событий (сокр. SEER ssn) |
system states and events that cause transitions from one state to another | состояния системы и события, которые служат причиной перехода системы из одного состояния в другое (ssn) |
the simple Petri net view of a system concentrates on two primitive concepts: events and conditions | Простое представление системы сетью Петри основано на двух основополагающих понятиях: событиях и условиях |
the state machine model shows system states and events that cause transitions from one state to another | Модель конечного автомата показывает состояния системы и события, которые служат причиной перехода системы из одного состояния в другое (см. Software engineering, 8th ed. / Ian Sommerville 2007) |