Russian | English |
абстракция множества всех возможных состояний программы | abstraction of the set of all possible program states (ssn) |
алгоритмы вычисления множества достижимых состояний | algorithms for computing the set of reachable states (ssn) |
алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний | algorithms for computing the set of reachable states of a finite-state system (ssn) |
высказывания как множества состояний | propositions as sets of states (ssn) |
вычисление множества достижимых состояний | computing the set of reachable states (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) |
заданное множество начальных состояний | given a set of initial states (ssn) |
каждому состоянию соответствует своё множество возможных переходов | each state has its own set of transitions (ssn) |
количество собственных включений между множествами состояний | number of proper inclusions between the state sets (ssn) |
Композитное состояние представляет собой либо совокупность несовместимых т.е. последовательно активных подсостояний или же множество параллельных т.е. одновременно активных подсостояний | 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) |
конечное множество состояний | finite set of states (ssn) |
множества состояний | sets of states (ssn) |
множества состояний | state sets (ssn) |
множество внутренних состояний | set of internal states (конечного автомата ssn) |
множество всех возможных состояний программы | set of all possible program states (ssn) |
множество всех состояний | set of all states (ssn) |
множество допускающих состояний | set of accepting states (ssn) |
множество достижимых состояний | set of reachable states (ssn) |
множество заключительных, или допускающих, состояний | a set of final or accepting states (ssn) |
множество заключительных состояний | set of final states (ssn) |
множество значений переменных состояния | set of values of the state variables (ssn) |
множество значений переменных состояния в определённый момент времени | set of values of the state variables at a specified instant (ssn) |
множество начальных состояний | set of initial states (ssn) |
множество начальных состояний | a set of starting states (ssn) |
множество последующих состояний | a set of next states (ssn) |
множество разрешённых переходов приложения A в i-м состоянии | a set of enabled transitions of the application A in the i-th state (ssn) |
множество EC состояний | a set of EC states (диаграммы управления выполнением функционального блока, см. IEC 61499-1 ssn) |
множество EC состояний | a set of ECC states (см. IEC 61499-1 ssn) |
множество состояний диаграммы ECC | a set of ECC states (диаграммы управления выполнением, см. IEC 61499-1 ssn) |
множество состояний системы | state set of the system (ssn) |
множество финальных состояний | set of acceptance states (ssn) |
множество финальных состояний | a set of final states (ssn) |
определение множества состояний | determination of state set (ssn) |
определение множества состояний по внутренней структуре | determination of state set from internal structure (ssn) |
Такой переменной обычно является элемент перечисления некоторого множества действительных состояний, определяемого глобально или на уровне класса | this variable is usually a global or class-level integer enumeration with a defined set of valid states (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005 ssn) |