English | Russian |
alarms should only occur when the operator has time to respond | предупреждающие сигналы должны выводиться только тогда, когда у оператора есть достаточно времени, чтобы отреагировать на них (ssn) |
also occur when performing | возникать при выполнении (кого(чего) ssn) |
do not occur in regular or predictable time intervals | происходить через нерегулярные или непредсказуемые промежутки времени (о событиях ssn) |
errors that occur because of changes | ошибки, являющиеся следствием выполненных изменений (ssn) |
events that are not synchronized in time or do not occur in regular or predictable time intervals | события, несинхронизированные во времени или происходящие через нерегулярные или непредсказуемые промежутки времени (ssn) |
for an event to occur, it may be necessary for certain conditions to hold | для того чтобы событие произошло, необходимо выполнение соответствующих условий |
in the Petri net model, two events which are both enabled and do not interact may occur independently | в модели сети Петри два разрешённых невзаимодействующих события могут происходить независимо друг от друга |
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) |
occur check | проверка вхождения (ssn) |
occur externally | произойти внешне (ssn) |
Pertaining to events that are not synchronized in time or do not occur in regular or predictable time intervals | Относящийся к событиям, несинхронизированным во времени или происходящим через нерегулярные или непредсказуемые промежутки времени (асинхронный ssn) |
Side effects Errors that occur because of changes | Побочные эффекты – ошибки, являющиеся следствием выполненных изменений (см. "Quality Software Project Management" by Robert T. Futrell, Donald F. Shafer, Linda I. Safer 2002 ssn) |
Side effects — Errors that occur because of changes | Побочные эффекты – ошибки, являющиеся следствием выполненных изменений (см. "Quality Software Project Management" by Robert T. Futrell, Donald F. Shafer, Linda I. Safer 2002 ssn) |
two events which are both enabled and do not interact may occur independently | два разрешённых невзаимодействующих события могут происходить независимо друг от друга (ssn) |