Построение логической схемы модели.
Рекомендуется строить модель Мм по блочному принципу, т. е. в виде некоторой ограниченной совокупности блоков. Построение модели системы из таких блоков обеспечивает необходимую гибкость модели в процессе ее эксплуатации, а также дает ряд преимуществ на стадии ее машинной отладки. При построении блочной модели проводится разбиение процесса функционирования системы на отдельные достаточно автономные подпроцессы. Таким образом, модель функционально подразделяется на подмодели, каждая из которых может быть разбита на еще более мелкие элементы. Блоки такой модели бывают основные и вспомогательные. Каждый основной блок соответствует некоторому подпроцессу, имеющему место в моделируемой системе S, а вспомогательные блоки представляют лишь составную часть машинной модели. Они не отражают функции моделируемой системы и необходимы лишь для машинной реализации модели, фиксации и обработки результатов моделирования.
Рассматриваемый пример моделирования процесса функционирования фрагмента СПД ориентирован на использование языка GPSS, в котором уже предусмотрена символика изображения схемы модели на языке блок-диаграмм (см. приложение 1) для реализации модели, что практически освобождает пользователя от выполнения этого 'подэтапа и позволяет переходить к следующим.
Получение соотношений модели.
Одновременно с выполнением подэтапа построения логической схемы модели необходимо, где это возможно, получить математические соотношения в видеявных функций. Этот подэтап соответствует неявному заданию возможных математических соотношений на этапе построения концептуальной модели. При выполнении первого этапа еще может не быть информации о конкретном виде таких математических соотношений, на втором этапе эти соотношения необходимо получить. Схема машинной модели должна представлять собой полное отражение заложенной в модели концепции и иметь описание всех блоков модели с их наименованиями; единую систему обозначений и нумерацию блоков; отражение логики модели; задание математических соотношений в явном виде.
Так как в рассматриваемом примере моделирования для реализации был выбран язык GPSS, то необходимо разработать блок-диаграмму модели, по сути представляющую собой логическую схему, адаптированную к особенностям использования для машинной реализации модели GPSS. Блок-диаграмма модели процесса функционирования фрагмента СПД для данного примера приведена на рис. 3.5, гце для структурных элементов модели, показанных на рис. 3.4, введены следующие обозначения: для накопителей HI, Н2, НЗ и Н4 соответственно, BUF1, BUF2, BUF3 и BUF4; для источников И1 и И2 соответственно GEN1 и GEN2; для каналов обслуживания: в узлах коммутации для ЦП К1 — CPU1 и КЗ — CPU2, в каналах связи при дуплексной передаче К2—DCH1 и K4—DCH2. Остальные обозначения, использованные на блок-диаграмме, показанной на рис. 3.5, знакомы из рассмотренного ранее материала (см. гл. 2).
Проверка достоверности модели системы.
Эта проверка является первой из выполняемых на этапе реализации модели. Так как модель представляет собой приближенное описание процесса функционирования реальной системы S, то до тех пор, пока не доказана достоверность модели, нельзя утверждать, что с ее помощью мы получим результаты, адекватные тем, которые могли бы быть получены при проведении натурного эксперимента с реальной системой. Проверка модели на рассматриваемом подэтапе должна дать ответ на вопрос, насколько логическая схема модели и используемые соотношения отражают замысел ее, сформированный на первом этапе. При этом проверяются возможность решения поставленной задачи, точность отражения замысла в логической схеме, полнота логической схемы модели, правильность используемых математических соотношений. Только после этого можно считать, что имеется логическая схема модели, пригодная для дальнейшей работы по реализации модели на ЭВМ.
В рассматриваемом примере моделирования процесса функционирования фрагмента СПД проверка достоверности модели проводится просто, так как блок-диаграмма GPSS однозначно соответствует формализации модели в виде Q-схемы. Для этого достаточно еще раз сопоставить блок-диаграмму, приведенную на рис. 3.5, с 0-схемой модели на рис. 3.4 с учетом расширения описания элементов Q-схемы (источников, накопителей и каналов) блоками различных категорий GPSS.
Блок-диаграмма GPSS-модели процесса взаимодействия узлов коммутации