English | Russian |
A timed automaton is a finite automaton augmented with a finite set of real-valued clocks | Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn) |
algorithms for testing inclusion between timed omega automata | алгоритмы проверки включения временных омега-автоматов (ssn) |
definition of timed automata | определение временных автоматов (ssn) |
definition of timed automaton | определение временного автомата (ssn) |
each pair of transitions from the individual timed automata | каждая пара переходов отдельных временных автоматов (ssn) |
finite representation for the infinite state space of a timed automaton | конечное представление бесконечного пространства состояний временного автомата (ssn) |
formal semantics for timed automata | формальная семантика временных автоматов (ssn) |
formal semantics for timed automata in terms of infinite state transition graphs | формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn) |
if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton | если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
individual timed automata | отдельные временные автоматы (ssn) |
individual timed automaton | отдельный временной автомат (ssn) |
list of previous timed events | список предыдущих событий измерения времени (ssn) |
modeling with timed automata | моделирование временными автоматами (ssn) |
parallel compositions of timed automata | параллельные композиции временных автоматов (ssn) |
previous timed event | предыдущее событие измерения времени (ssn) |
previous timed events | предыдущие события измерения времени (ssn) |
properties of timed automata | свойства временных автоматов (ssn) |
same location of the timed automaton | одна и та же позиция временного автомата (ssn) |
self-timed chip | самосинхронизирующаяся микросхема (ssn) |
self-timed chip | самотактируемая микросхема (ssn) |
self-timed chips | самотактируемые микросхемы (ssn) |
self-timed chips | самосинхронизирующиеся микросхемы (ssn) |
self-timed circuit | самотактируемая схема (ssn) |
self-timed circuit | схема с внутренней синхронизацией (ssn) |
self-timed circuit | самосинхронная схема (ssn) |
self-timed device | асинхронное устройство (Ant: clocked device ssn) |
self-timed device | самотактируемое устройство (Ant: clocked device ssn) |
self-timed device | самосинхронизирующееся устройство (Ant: clocked device ssn) |
self-timed devices | самотактируемые устройства (ssn) |
self-timed devices | асинхронные устройства (ssn) |
self-timed devices | самосинхронизирующиеся устройства (ssn) |
self-timed processor | самотактируемый процессор (ssn) |
self-timed processor | асинхронный процессор (ssn) |
self-timed processors | самотактируемые процессоры (ssn) |
self-timed processors | асинхронные процессоры (ssn) |
simple timed automaton | простой временной автомат (ssn) |
testing inclusion between timed omega automata | проверка включения временных омега-автоматов (ssn) |
timed automata | временные автоматы (ssn) |
timed automata | синхронные автоматы (ssn) |
timed automaton | синхронный автомат (ssn) |
timed automaton for the processing station | временной автомат для обрабатывающего устройства (ssn) |
timed automaton with two clocks | временной автомат с парой часов (ssn) |
timed back-up | запланированное резервное копирование (ssn) |
timed backup | запланированное резервное копирование (ssn) |
timed deployment | контролируемое по времени развёртывание (ssn) |
timed drum with discrete outputs | барабанный командоаппарат с дискретными выходами и переходом между шагами по времени (ssn) |
timed drum with discrete outputs | барабан с дискретными выходами и переходом между шагами по времени (ssn) |
timed entry call | временной вызов входа (ssn) |
timed event | событие с учётом времени (ssn) |
timed event | событие измерения времени (ssn) |
timed event | контролируемое по времени событие (ssn) |
timed event | событие с отсчётом времени (ssn) |
timed event object | объект, выполняющий обработку события измерения времени (ssn) |
timed event object | обработчик события измерения времени (ssn) |
timed event object constructor | конструктор обработчика события измерения времени (ssn) |
timed event object constructor | конструктор объекта, выполняющего обработку события измерения времени (ssn) |
timed loop | синхронизируемый цикл (ssn) |
timed omega automata | временные омега-автоматы (ssn) |
timed omega automaton | временной омега-автомат (ssn) |
timed pulse oscillator | генератор тактовых импульсов (ssn) |
timed switch | таймерный выключатель (ssn) |
timed text | синхронизированный текст (ssn) |
timed text tag | тег синхронизированного текста (ssn) |
timed token | маркер доступа с ограничением по времени (в сетях FDDI ssn) |
timed token | маркер доступа с ограничением времени (в сетях FDDI ssn) |
timed token | маркер доступа с контролем по времени (в сетях FDDI ssn) |
timed token | маркер доступа с контролем времени (в сетях FDDI ssn) |
timed wait | ожидание с ограничением по времени (ssn) |