DictionaryForumContacts

   Russian
Terms for subject Programming containing возможное событие | all forms | in specified order only
RussianEnglish
в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времениin the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
возможное событиеpossible event (ssn)
возможные последовательности событийpossible sequences of events (ssn)
возможные событияpossible events (ssn)
все возможные событияeach possible event (ssn)
все возможные события для всех возможных состоянийeach possible event for each possible state (ssn)
вся необходимая информация для определения возможных последовательностей событийall necessary information to define the possible sequences of events (ssn)
Порядок появления событий является одним из возможных, допускаемых основной структуройthe order of occurrence of the events is one of possibly many allowed by the basic structure
Проект должен предусматривать все возможные события для всех возможных состоянийthe design must consider each possible event for each possible state
Структура сети Петри такова, что содержит в себе всю необходимую информацию для определения возможных последовательностей событийthe Petri net structure itself contains all necessary information to define the possible sequences of events