|
(момент времени изменения состояния /,) некоторый оператор h f. Оператор hвычисляет значение состояния st е S в момент времени Оператор hf описывает вычисление только i-й точки процесса Z. Понятие инициатора процесса Таким образом, если описание процесса содержит п точек, то мы должны задать линейную последовательность операторов: Инициатор это объект, обладающий следующими свойствами: а) независимостью: может существовать самостоятельно без операторов; б) динамичностью: инициатор имеет возможность перемещаться от оператора к оператору; будем называть попадание инициатора на оператор сцеплением инициатора с элементарным оператором; в) инициативностью: в момент сцепления инициатора с оператором происходит выполнение элементарного оператора, что соответствует вычислению нового состояния процесса. Модель описания процесса предполагает, что моменты сцепления инициатора с элементарными операторами определяют сами элементарные операторы. Оператор условия сцепления hj определяет условие, при выполнении которого инициатор сцепляется с оператором Ь° м . Таким образом: где: оператор условия сцепления; h\ оператор временного условия; hc оператор логического условия; hU c\ оператор комбинированного условия. (1.23) 1> п2*•*»ni > ,,,пп (1.24) (1.25) |
Другая крайность, когда консультант позволяет на данный момент просматривать лишь единственный учебный фрагмент или решать единственное тестовое задание. общем случае зависит от времени. Обозначим эту зависимость как А?1. Рассмотрим два объекта О/ и Отв системе Q. Пусть О/Г\0т = 0 , а процессы в них задаются следующими операторами: объект Отсцеплен с объектом О/ в момент времени г,. То же относится и к их процессам. Это означает, что для определения состояния объекта От в момент времени ц, необходимо знание состояния объекта О/ в это же время. Обозначим отношение сцепления как 0\—>От. Задание процесса в виде единого оператора, как правило, либо затруднительно, либо невозможно. Рассмотрим некоторый дискретный во времени процесс Z. Поставим в соответствие каждой i-ой точке процесса (момент времени изменения состояния некоторый оператор й(с. Оператор А,с вычисляет значение состояния st е S в момент времени t,: Оператор hf описывает вычисление только i-й точки процесса Z. Понятие инициатора процесса Таким образом, если описание процесса содержит п точек, то мы должны задать линейную последовательность операторов: В ходе развития процесса множество аргументов А°‘ меняется и в Если Oj П А°' = 0 и О; П А,0” = 0 , то такие процессы и объекты называются несцепленными в момент времени t,. Если Оt П А°тФ0 , то с о ) . (2.4) Инициатор это объект, обладающий следующими свойствами: а) независимостью: может существовать самостоятельно без операторов; б) динамичностью: инициатор имеет возможность перемещаться от оператора к оператору; будем называть попадание инициатора на оператор сцеплением инициатора с элементарным оператором; в) инициативностью: в момент сцепления инициатора с оператором происходит выполнение элементарного оператора, что соответствует вычислению нового состояния процесса. Модель описания процесса предполагает, что моменты сцепления инициатора с элементарными операторами определяют сами элементарные операторы. Оператор условия сцепления h? определяет условие, при выполнении которого инициатор сцепляется с оператором А,с+]. Таким образом: V (2.6) где: Wi оператор условия сцепления; h\ оператор временного условия; hC[ оператор логического условия; h!'cl оператор комбинированного условия. Расширим понятие элементарного оператора, добавив к нему помимо оператора hct оператор Таким образом, окончательно определим элементарный оператор h„ как двойку: ht = (h -,K )(2.7) При сцеплении инициатора с элементарным оператором hj происходит мгновенноевыполнение его обеих составных частей:выполнение hc, позволяет вычислить новое состояние S; процесса Z, а выполнение оператора дает возможность определить момент времени, либо логическое условие сцепления инициатора со следующим элементарным оператором А,*/. Алгоритмическая модель процесса 62 |