|
4.2.Реализация моделирующего алгоритма сканирующего типа Моделирующий алгоритм в любом случае, как это следует из выше изложенного, должен включать следующие составные части: • подпрограммы событий, реализующие элементарные операторы; • алгоритм формирования модельного времени; • алгоритм выбора очередного КОС; • алгоритм генерирования КОС. Подпрограмма события представляет собой программную реализацию одного элементарного оператора, включающего оператор состояния, оператор условия продвижения инициатора и навигационный оператор. В этих подпрограммах, в общем случае, все параметры являются глобальными. В каждом же конкретном случае часть параметров может быть локализована. Однако все параметры, через которые осуществляется обмен, являются глобальными. Если подпрограмма события реализует объединенный элементарный оператор, то она должна иметь доступ к значению инициатора, определяющего локальную среду данного процесса. В самом общем виде моделирующий алгоритм представлен на рис.4.2. Здесь (hi, hi,.., ha) неупорядоченная совокупность подпрограмм событий, реализующих элементарные операторы треков всех процессов в системе. Параметр ВРЕМЯ содержит текущее значение модельного времени; Параметр ИНИЦИАТОР содержит значение текущего инициатора (ссылку на локальную среду процесса). КАЛЕНДАРЬ алгоритм, реализующий монотонно возрастающее продвижение модельного времени и начало нового КОС в системе. АПУ алгоритм проверки условий, обеспечивающий построение КОС для текущего значения модельного времени. 1 1 7 |
Важно найти признак, по которому можно определить завершенность КОС. Теорема 5. КОС завершен, если все условия, заданные операторами И1 во всех треках, равны 0. Поскольку КОС содержит одно активное событие и оно выполняется первым, то все остальные события пассивные. Пассивное событие по определению выполняется, если определяющее его условие равно 1. Однако, по предположению, все условия, заданные /г7 равны 0. Таким образом, выполнение пассивного события невозможно, а единственное активное событие уже выполнено. Поскольку не выполняется ни один элементарный оператор, состояние системы и параметры условных операторов не могут быть изменены. Состояние системы зафиксировано и не будет изменено вплоть до нового КОС. Что и требовалось доказать. Теорема 6 . Первым событием в КОС является активное событие. Доказывая теорему 5, мы показали, что когда завершен КОС, то все условия в условных операторах системы равны 0 , и состояние системы не может быть изменено ни одним пассивным событием. Значит, следующий КОС может начаться только с активного события. Что и требовалось доказать. Таким образом, наше допущение 2 о начальной функции активного события в КОС доказано строго в теореме 5. 2.3.3. Моделирующий алгоритм сканирующего типа Моделирующий апгоритм в любом случае, как это следует из выше изложенного, должен включать следующие составные части: • подпрограммы событий, реализующие элементарные операторы; 103 • алгоритм формирования модельного времени; • алгоритм выбора очередного КОС; • алгоритм генерирования КОС. Подпрограмма события представляет собой программную реализацию одного элементарного оператора, включающего оператор состояния, оператор условия продвижения инициатора и навигационный оператор. В этих подпрограммах, в общем случае, все параметры являются глобальными. Вкаждом же конкретном случае часть параметров может быть локализована. Однако все параметры, через которые осуществляется обмен, являются глобальными. Если подпрограмма события реализует объединенный элементарный оператор, то она должна иметь доступ к значению инициатора, определяющего локальную среду данного процесса. В самом общем виде моделирующий алгоритм представлен на рис.2.24. !04 Рис. 2.24. Моделирующий алгоритм сканирующего типа Здесь (h, hi,.., hu) неупорядоченная совокупность подпрограмм событий, реализующих элементарные операторы треков всех процессов в системе. Параметр ВРЕМЯ содержит текущее значение модельного времени; Параметр ИНИЦИАТОР содержит значение текущего инициатора (ссылку на локальную среду процесса). КАЛЕНДАРЬ алгоритм, реализующий монотонно возрастающее продвижение модельного времени по формуле (2.14) и начало нового КОС в системе. АПУ алгоритм проверки условий, обеспечивающий построение КОС для текущего значения модельного времени. ТБВ Таблица Будущих Времен, структура которой приведена на рис.2.25. Каждая строка ТБВ соответствует одному процессу и содержит следующие элементы описания будущего активного события: столбец 1 значение момента времени активизации инициатора, определяемого предшествующим оператором И ; столбец 2 инициатор процесса; столбец 3 адрес подпрограммы активного события в треке данного процесса. 105 -1 -2 -3момент активизации значение инициатора адрес активной подпрограммы • * *. • • •. • • • Рис. 2.25. Структура таблицы ТБВ. Совокупность значений атрибута “момент активизации"’ таблицы ТБВ составляет в любой момент модельного времени активное временное множество. ТУ Таблица Условий, структура которой приведена на рис.2.26. Каждая строка ТУ соответствует одному процессу и содержит следующие элементы описания будущего пассивного события: |