Englisch | Russisch |
A composite state is either a network of disjoint substates that is, substates that are sequentially active or a set of concurrent substates that is, substates that are all active concurrently | Композитное состояние представляет собой либо совокупность несовместимых т.е. последовательно активных подсостояний или же множество параллельных т.е. одновременно активных подсостояний (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
a set of enabled transitions of the application A in the i-th state | множество разрешённых переходов приложения A в i-м состоянии (ssn) |
a set of finite values, each of which map to a useful discrete state | набор конечных значений, каждое из которых отображается в полезное дискретное состояние (ssn) |
a set of state variables | набор переменных состояния (ssn) |
a set of states not reachable from the initial state | набор состояний, недостижимых из начального состояния (ssn) |
a set of states not reachable from the initial state | набор состояний, недоступных из начального состояния (ssn) |
algorithms for computing the set of reachable states of a finite-state system | алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn) |
an abstraction of one or more variables that can take only a set of finite values, each of which map to a useful discrete state | абстрактное представление одной или нескольких переменных, принимающих набор конечных значений, каждое из которых отображается в полезное дискретное состояние (ssn) |
determination of state set | определение множества состояний (ssn) |
determination of state set from internal structure | определение множества состояний по внутренней структуре (ssn) |
each state has its own set of transitions | каждому состоянию соответствует своё множество возможных переходов (ssn) |
exit state set | набор выходных состояний (ssn) |
initial state set | набор начальных состояний (ssn) |
number of proper inclusions between the state sets | количество собственных включений между множествами состояний (ssn) |
Other approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system | другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
set of values of the state variables | множество значений переменных состояния (ssn) |
set of values of the state variables at a specified instant | множество значений переменных состояния в определённый момент времени (ssn) |
state machine model of a simple microwave oven equipped with buttons to set the power and the timer and to start the system | модель конечного автомата простой микроволновой печи, оборудованной кнопками включения питания, таймера и запуска системы (ssn) |
state set of the system | множество состояний системы (ssn) |
state sets | множества состояний (ssn) |
the offline_confirm function sets the state of the device to offline and returns immediately. Use this function to confirm that the device has finished its cleanup and is now going offline | Функция offline_confirm устанавливает состояние узла в режим "offline" выключен и немедленно возвращает управление. Использование этой функции позволяет узлу подтвердить информацию, что он окончил очистку и теперь выключается (см. Neuron® C Programmer's Guide by Echelon Corporation 2009) |
value set by the new state | значение, установленное новым состоянием (ssn) |
variables that can take only a set of finite values, each of which map to a useful discrete state | переменные, принимающие набор конечных значений, каждое из которых отображается в полезное дискретное состояние (ssn) |
working set initial state | начальное состояние в рабочем наборе (ssn) |