35
формализация
На первом этапе проведения моделирования конкретного объекта (системы) на базе ЭВМ необходимо построить концептуальную (содержательную) модель Мк процесса функционирования этой системы, а затем провести ее формализацию, т. е. основным содержанием этого этапа является переход от словесного описания объекта моделирования к его математической (ана- литико-имитационной) модели. Наиболее ответственными моментами в этой работе является упрощение описания системы, т. е. отделение собственно системы S от внешней среды Е и выбор основного содержания модели Мк путем отбрасывания всего второстепенного с точки зрения поставленной цели моделирования [1].
Рассмотрим содержание подэтапов первого этапа моделирования.
1.1.Постановка задачи машинного моделирования. Необходимо дать четкую формулировку задачи, обратив особое внимание на существование такой задачи и необходимость машинного моделирования, на выбор методики решения задачи с учетом имеющихся машинных ресурсов, на определение масштаба задачи и возможность ее разбиения на подзадачи.
1.2.Анализ задачи моделирования. Проведение детального анализа поставленной задачи моделирования должно способствовать преодолению дальнейших трудностей с минимальными затратами. На этом подэтапе работа по анализу задачи сводится к выбору критериев оценки процесса функционирования исследуемой системы S (если они не заданы), выделению эндогенных и экзогенных переменных модели Мк, выбору возможных методов идентификации, выполнению предварительного анализа следующих двух этапов моделирования.
1.3.Определение требований к исходной информации. После поста-
новки задачи моделирования системы S необходимо сформулировать требования к исходной информации об объекте моделирования и в случае необходимости организовать получение недостающей информации. На этом подэтапе необходимо оценить достаточность имеющейся информации об объекте для его машинного моделирования, подготовить имеющиеся априорные сведения об объекте, провести анализ имеющихся экспериментальных данных о подобном классе систем.
1.4.Выдвижение гипотез и принятие предположений. При выдви-
жении гипотез и принятии предположений учитывается следующее: объем априорной информации для решения задачи; подзадачи, для решения которых информации недостаточно; ограничения на ресурсы при решении зада-
36
чи; ожидаемые результаты моделирования. Гипотезы при построении модели системы S служат для заполнения «пробелов» в понимании задачи моделирования исследователем, а предположения принимаются относительно известных данных, которые не отвечают требованиям (ограничениям, ресурсам) решаемой задачи и служат обычно для упрощения модели [1].
1.5.Определение параметров и переменных. Прежде чем перейти к описанию „математической модели, необходимо определить параметры системы, входные и выходные переменные, воздействия внешней среды. Описание каждого параметра и Переменной дается в следующей форме: определение и краткая характеристика; символ обозначения и единица измерения; диапазон изменения (для переменных); место применения в модели.
1.6.Обоснование критериев оценки эффективности системы. Для возможности оценки качества процесса функционирования моделируемой системы S необходимо выбрать (если она не задана) совокупность критериев оценки эффективности, т. е. в математической постановке задача сводится к получению соотношений (формул, алгоритмов) для оценки эффективности в функции параметров и переменных систем S с учетом воздействий внешней среды Е.
1.7.Определение процедур аппроксимации. Для возможности полу-
чения числовых значений интересующих характеристик системы S необходимо в процессе моделирования провести аппроксимации, для чего обычно используются: детерминированная процедура, когда результаты моделирования однозначно определяются по данной совокупности входных воздействий и параметров системы (предполагается, что в этом случае отсутствуют случайные факторы, влияющие на результаты моделирования); вероятностная процедура, когда предполагается, что случайные Элементы влияют на результаты моделирования и необходимо получить информацию о законах распределения выходных переменных; процедура определения средних значений, когда при моделировании представляют интерес средние значения выходных переменных при наличии случайных факторов.
1.8.Описание концептуальной модели. На этом подэтапе построения концептуальной модели Мк проводится ее описание в абстрактных терминах
ипонятиях с использованием типовых математических схем, т. е. реализуется переход к математической модели системы, окончательно принимаются гипотезы и предположения, обосновывается выбор процедур аппроксимации реальных процессов при построении модели. Таким образом, этот подэтап позволяет перейти ко второму этапу моделирования, так как после выполне-
37
ния этого подэтапа остается только проверить достоверность модели и оформить техническую документацию, что особенно важно, если на разных этапах моделирования работа выполняется разными исполнителями или коллективами разработчиков.
1.9. Проверка достоверности концептуальной модели. После того как концептуальная модель Мк описана, необходимо проверить достоверность некоторых концепций модели и затем перейти к следующему этапу моделирования. Проверка достоверности концептуальной модели является достаточно сложной задачей, так как такая модель описывается в абстрактных понятиях. Одним из методов проверки ее является применение обратных операций, что позволяет проанализировать модель, вернуться к принятым аппроксимациям и, наконец, рассмотреть реально процессы, протекающие в моделируемой системе. Такой метод проверки достоверности концептуальной модели должен включать следующие процедуры: проверку замысла модели; проверку достоверности исходной информации; повторное рассмотрение постановки задачи моделирования; анализ принятых аппроксимаций; исследование гипотез и предположений. Только после тщательной проверки концептуальной модели следует переходить ко второму этапу моделирования, т. е. к этапу машинной реализации модели.
1.10. Составление технической документации по первому этапу моделирования. В конце этапа построения концептуальной модели и ее формализации пишутся разделы пояснительной записки, которые включают следующие сведения: постановку задачи моделирования и ее анализ; критерии оценки эффективности; параметры и переменные модели системы; гипотезы и предположения; описание модели в абстрактных терминах и понятиях; описание ожидаемых результатов моделирования.
2. Этап алгоритмизации модели и ее машинной реализации
На втором этапе моделирования системы математическая модель, сформулированная на первом этапе, воплощается в конкретную машинную модель Мм. Второй этап моделирования представляет собой практическую деятельность, направленную на реализацию идей и математических схем в виде машинной модели, ориентированной на использование конкретных программно-технических средств (в курсовой работе — это GPSS/РС и средства ПЭВМ).
Удобной формой представления логической структуры моделей процессов функционирования систем и машинных программ является схема. На
38
различных этапах моделирования составляются обобщенные и детальные логические схемы моделирующих алгоритмов, а также схемы программ.
Обобщенная (укрупненная) схема модели задает общий порядок действий без каких-либо уточняющих деталей. Укрупненная схема показывает, что необходимо выполнить на очередном шаге, например: «Обратиться к датчику случайных чисел».
Детальная схема модели содержит уточнения, отсутствующие в обобщенной схеме, и показывает не только, что следует выполнить на очередном шаге, но и как это выполнить.
Логическая схема моделирующего алгоритма представляет собой логическую структуру модели процесса функционирования системы. Логическая схема указывает упорядоченную последовательность операций, связанных с решением задачи моделирования.
Схема программы отображает порядок программной реализации моделирующего алгоритма с использованием математического обеспечения конкретной ЭВМ и представляет собой интерпретацию логической схемы моделирующего алгоритма разработчиком программы.
Различие между этими схемами заключается в том, что логическая схема отражает логическую структуру модели процесса функционирования системы, а схема программы — логику машинной реализации модели с использованием конкретных средств программной реализации модели.
Рассмотрим подэтапы, выполняемые при алгоритмизации и программировании модели, обращая основное внимание на задачи каждого подэтапа и методы их решения с иллюстрацией особенностей практической реализации на рассматриваемом конкретном примере моделирования фрагмента СПД.
2.1. Построение логической схемы модели. Рекомендуется строить модель ММ по блочному принципу, т. е. в виде некоторой ограниченной совокупности блоков. Построение модели системы, из таких блоков обеспечивает необходимую гибкость модели Мм в процессе ее эксплуатации, а также дает ряд преимуществ на стадии ее машинной отладки. При построении блочной модели проводится разбиение процесса функционирования системы на отдельные достаточно автономные подпроцессы. Таким образом, модель функционально подразделяется на подмодели, каждая из которых может быть разбита на еще более мелкие элементы. Блоки такой модели бывают основные и вспомогательные. Каждый основной блок соответствует некоторому подпроцессу, имеющему место в моделируемой системе S, а вспомога-
39
тельные блоки представляют лишь составную часть машинной модели. Они не отражают функции моделируемой системы и необходимы лишь для машинной реализации модели, фиксации и обработки результатов моделирования.
2.2. Получение соотношений модели. Одновременно с выпол-
нением подэтапа построения логической схемы модели необходимо, где это возможно, получить математические соотношения в виде явных функций. Этот подэтап соответствует неявному заданию возможных математических соотношений на этапе построения концептуальной модели. При выполнении первого этапа еще может не быть информации о конкретном виде таких математических соотношений, на втором этапе эти соотношения необходимо получить. Схема машинной модели должна представлять собой полное отражение заложенной в модели концепции и иметь описание всех блоков модели с их наименованиями; единую систему обозначений и нумерацию блоков; отражение логики модели; задание математических соотношений в явном виде.
2.3. Проверка достоверности модели системы. Эта проверка является первой из выполняемых на этапе реализации модели. Так как модель представляет собой приближенное описание процесса функционирования реальной системы S, то до тех пор, пока не доказана достоверность модели, нельзя утверждать, что с ее помощью мы получим результаты, адекватные тем, которые могли бы быть получены при проведении натурного, эксперимента с реальной системой. Проверка модели на рассматриваемом подэтапе должна дать ответ на вопрос, насколько логическая схема модели и используемые соотношения отражают замысел ее, сформированный на первом этапе. При этом проверяются возможность решения поставленной задачи, точность отражения замысла в логической схеме, полнота логической схемы модели, правильность используемых математических соотношений. Только после этого можно считать, что имеется логическая схема модели, пригодная для дальнейшей работы по реализации модели на ЭВМ.
2.4. Выбор вычислительных средств для моделирования. На этом подэтапе необходимо окончательно решить вопрос о выборе ЭВМ для реализации модели на основе следующих требований: наличие необходимого математического обеспечения; доступность выбранной ЭВМ для разработчика модели; обеспечение всех этапов реализации модели; возможность своевременного получения результатов моделирования.