Проверяемый текст
Соколова, Лина Викторовна; Автоматизированная система обработки информации и управления предприятием по сервисному обслуживанию дорожно-строительной техники (Диссертация 2005)
[стр. 92]

(2.10) Введем новый элемент модели инициатор.
Первоначально будем полагать, что инициатор это объект, обладающий следующими свойствами: а) независимостью: может существовать самостоятельно без операторов; б) динамичностью: инициатор имеет возможность перемещаться от оператора к оператору; будем называть попадание инициатора на оператор сцеплением инициатора с элементарным оператором; в) инициативностью: в момент сцепления инициатора с оператором происходит выполнение элементарного оператора, что соответствует вычислению нового состояния процесса.
Будем в дальнейшем полагать, что выполнение элементарного оператора происходит мгновенно.
Это ограничение не сужает применимости предлагаемой модели, поскольку, если необходимо описать процесс, где вычисление нового состояния требует затрат реального времени, то можно ввести два элементарных оператора, ограничивающих начальный и конечный момент времени интервала вычислений.
Таким образом, описание процесса может быть выполнено путем задания линейной последовательности
инициатора I, сцепляющегося с элементарными операторами hct в заданные моменты времени t\ изменения состояния процесса.
Предлагаемая модель описания процесса предполагает, что моменты сцепления инициатора с элементарными операторами определяют сами элементарные операторы.
С этой целью введем оператор h?
условия сцепления инициатора, который определяет условие, при выполнении последовательности операторов и перемещения по этой
[стр. 71]

а) независимостью: может существовать самостоятельно без операторов; б ) динамичностью: инициатор имеет возможность перемещаться от оператора к оператору; будем называть попадание инициатора на оператор сцеплением инициатора с элементарным оператором; в) инициативностью: в момент сцепления инициатора с оператором происходит выполнение элементарного оператора, что соответствует вычислению нового состояния процесса.
Будем в дальнейшем полагать, что выполнение элементарного оператора происходит мгновенно.
Это ограничение не сужает применимости предлагаемой модели, поскольку, если необходимо описать процесс, где вычисление нового состояния требует затрат реального времени, то можно ввести два элементарных оператора, ограничивающих начальный и конечный момент времени интервала вычислений.
Таким образом, описание процесса может быть выполнено путем задания линейной последовательности
операторов { ^ ) .
, и перемещения по этой последовательности инициатора I, сцепляющегося с элементарными операторами Ив заданные моменты времени t\ изменения состояния процесса.
Предлагаемая модель описания процесса предполагает, что моменты сцепления инициатора' с элементарными операторами определяют сами элементарные операторы.
С этой целью введем оператор h
f условия сцепления инициатора, который определяет условие, при выполнении которого инициатор сцепляется с оператором hf+].
Возможны следующие варианты задания такого условия: а) указание момента времени /j+i сцепления инициатора с оператором

[Back]