Russian | English |
если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход | 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) |
Направление результата совпадает с направлением левого операнда, если только он не является пустым массивом | the direction of the result is the direction of the left operand, unless the left operand is a null array (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
Основная идея гл. 12 состоит в том, что если нас интересует реакция только в моменты квантования, эти квантованные величины могут быть описаны дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига | A key idea from Chapter 12 is that if one is only interested in the at-sample response, these samples can be described by discrete time models in either the shift or delta operator (см. Control system design by Graham C. Goodwin et al. 2000 ssn) |
Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению | the transition can be taken only if the current values of the clocks satisfy the clock constraint (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |