Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Моделирование систем. Возможности использования имитационного моделирования при формировании систем. Методическое пособие
.pdf
моделирующий алгоритм, в соответствии с которым в ЭВМ бу-
Модель
Е
(,, )wax y
y
a
(,, )wax y
дет вырабатываться информация, описывающая элементарные
явления исследуемого процесса с учетом их связей и взаимных
влияний. Определенная часть циркулирующей информации выводится «на печать» и используется для определения тех характеристик процесса, которые требуется получить в результате моделирования.
Центральным звеном моделирующего алгоритма является
собственно имитационная модель – формализованная схема процесса, которая представляет собой формальное описание процедуры функционирования сложного объекта в исследуемой операции и позволяет для любых задаваемых значений входных
факторов модели (переменных – x, детерминированных – a,
случайных – y) просчитать соответствующие им числовые значения выходных характеристик w.
Остальные модели (рис. 3.1) представляют собой внешнее математическое обеспечение процесса имитации.
y
Модель
выхода
Модель
детерминированных
Критерий оптимальности
входов
случайных
входов (ДСЧ
Формализованная
процесса
Цикл по
К
Модель
обратной
схема
x
связи
Цикл по
)
Рис. 3.1. Структура моделирующего алгоритма
для оптимизационной модели со случайными факторами
Модели входов обеспечивают задание тех или иных значений
входных факторов. Статические модели детерминированных
входов элементарны: это массивы значений констант, соответствующих определенным факторам модели. Динамические модели входов обеспечивают изменение значений детерминированных факторов во времени по известному закону ()at .
21

Модели случайных входов (иначе – датчики случайных чи-
()py
,ax
сел) имитируют поступление на вход изучаемого объекта случайных воздействий с заданными (известными) законами распределения
. Динамические модели случайных входов
учитывают, что законы распределения случайных величин являются функциями времени, т.е. для каждого периода времени
либо форма, либо характеристика закона распределения (например, математическое ожидание, дисперсия и т.д.) будут своими.
В связи с тем, что результат, полученный при воспроизведении единственной реализации, из-за наличия случайных факторов не может характеризовать исследуемый процесс в целом,
приходится анализировать большое число таких реализаций,
так как только тогда по закону больших чисел получаемые оценки приобретают статистическую устойчивость и могут быть
с определенной точностью приняты за оценки искомых величин.
Модель выхода обеспечивает накопление, обработку и анализ
полученного множества случайных результатов. Для этого с ее
помощью организуется многократный просчет значений выходных характеристик при постоянных значениях факторов
и различных значениях случайных факторов y (в соответствии
с заданными законами распределения) – «цикл по y». В связи
с этим модель выхода включает программы тактического планирования эксперимента на ЭВМ – определение способа проведения каждой серии прогонов, соответствующей конкретным
значениям a и x. Кроме того, модель решает задачу обработки
случайных значений выходных характеристик, в результате которой они «очищаются» от влияний случайных факторов и поступают на вход модели обратной связи, т.е. модель выхода реализует сведение стохастической задачи к детерминированной
методом «осреднения по результату».
Модель обратной связи позволяет на основе анализа получаемых результатов моделирования изменять значения переменных управления, реализуя функцию стратегического планирования имитационного эксперимента. При использовании
методов теории оптимального планирования эксперимента одной из функций модели обратной связи является представление
результатов моделирования в аналитическом виде – определение уровней функции отклика (или характеристической поверх-
22

ности). При оптимизации модель выхода вычисляет на основе
()Ew
значений выходных характеристик значение целевой функции
и с помощью того или иного численного метода оптимизации изменяет значения переменных управления для выбора значений, наилучших с точки зрения целевой функции.
Процедура разработки формализованной схемы состоит
из структуризации объекта на модули; выбора математической
схемы для формализованного описания работы каждого модуля;
формирования входной и выходной информации для каждого
модуля; разработки управляющей блок-схемы модели для отображения в ней взаимодействия отдельных модулей.
При структуризации объекта проводится разделение сложного объекта на сравнительно автономные части – модули – и
фиксация связей между ними. Структуризацию объекта при
моделировании целесообразно выполнять таким образом, чтобы
решение сложной проблемы расчленялось на ряд более простых
исходя из возможностей математического описания отдельных
модулей и практической реализации модели на имеющейся вычислительной технике за заданное время. Выделение элементов
(подсистем объекта) из исследуемого объекта и объединение их
в сравнительно автономный блок (модуль) проводится на основе
функциональной и информационно-процедурной моделей объекта только при установлении принципиальной возможности
построения математических соотношений между параметрами
этих элементов и промежуточными или выходными характеристиками объекта. В связи с этим ни функции, ни входы и выходы отдельных реальных элементов не определяют обязательно
границ модуля, хотя в общем это наиважнейшие факторы. Полученная схема структуризации объекта может корректироваться с точки зрения опыта или удобства передачи информации
в алгоритме, реализуемом на ЭВМ.
Далее для каждого модуля, соответствующего элементарному процессу, протекающему в объекте, производится ориентировочный выбор метода математического описания, на базе
которого будет строиться соответствующая модель операции.
Основой выбора метода математического описания является знание физической природы функционирования описываемого элемента и особенностей ЭВМ, на которой планируется проведение
23

моделирования. При разработке оригинальных зависимостей
существенную роль играют практический опыт, интуиция и изобретательность разработчика.
Для каждого выделенного модуля определяется перечень как
имеющейся, так и необходимой для реализации предполагаемого метода математического описания информации, ее источников и адресатов.
Объединение модулей в единую модель производится на базе
моделей операции и информационно-процедурных моделей,
приведенных в содержательном описании задачи. На практике
этот вопрос решается с помощью построения управляющей блоксхемы модели, дающей упорядоченную последовательность операций, связанных с решением задачи. В ней отдельные модули
обозначены прямоугольниками, внутри которых написаны наименования решаемых в ней задач. На этом уровне блок-схема
показывает, «что следует выполнить», но без каких-либо деталей, т.е. не указывает, «как выполнить». Последовательность
решения и взаимозависимость отдельных элементарных задач
указана направленными стрелками, включающими логические
условия, которые определяют процедуру передач управления.
Такая блок-схема дает возможность охватить весь процесс в его
динамике и взаимосвязи отдельных явлений, являясь рабочим
планом, по которому направляются усилия коллектива исполнителей по конструированию модели в целом.
В процессе построения управляющей блок-схемы проводят
согласование входов и выходов отдельных модулей между собой, их информационную увязку с привлечением полученного
ранее дерева целей-параметров. Практический метод разработки
управляющей блок-схемы непосредственно следует из той цели,
ради которой она конструируется, т.е. достаточно полно и ясно
представить функционирование реальной сложной системы во
всем многообразии взаимодействия составляющих явлений. Запись управляющей блок-схемы целесообразно проводить в операторной форме.
После построения управляющей блок-схемы детализируется
содержание отдельных модулей. Детальная блок-схема содержит уточнения, отсутствующие в обобщенной блок-схеме. Она
уже показывает не только то, что следует выполнять, но и как
24

это следует выполнять, дает детальные и однозначные указания
того, как должна выполняться та или иная процедура, как следует вести процесс или реализовать данную функцию.
При построении формализованной схемы следует учитывать
следующее. В любой модели функционирования могут иметь место следующие процессы: получение информации, необходимой
для управления, перемещение, «производство», т.е. основной
моделируемый процесс, и обеспечение (материально-техническое, энергетическое, ремонтное, транспортное и т.д.).
Рассмотрение всей этой совокупности – дело крайне сложное.
Поэтому при построении модели объекта именно «производство», т.е. то, ради чего поставлена задача исследования, описывается достаточно полно. Для учета влияния неосновных процессов основную модель процесса дополняют моделями входов,
имитирующими воздействия на исследуемый процесс процессов
перемещения, обеспечения и т.д., различных случайных факторов. Выходами этих достаточно простых моделей служат значения характеристик окружения, являющихся входами в модель
«производства».
Таким образом, получаемая формализованная схема содержит управляющую блок-схему процесса, описание каждого
модуля (наименование решаемой элементарной задачи, математический метод описания, состав входной и выходной информации, числовые данные), описание правил передачи управления от одного модуля к другому и окончательный перечень
искомых величин и исследуемых зависимостей. Формализованная схема процесса служит основой для дальнейшей формализации имитационной модели и составления программы расчета
на ЭВМ, позволяющей вычислить значения выходных характеристик объекта при любых заданных значениях управляемых
параметров, начальных условий и характеристик окружения.
Имитационная модель является, как правило, динамической
моделью, отражающей последовательность протекания элементарных процессов и взаимодействие отдельных элементов по оси
«модельного» времени tM.
Процесс функционирования объекта в течение некоторого
интервала времени Т можно представить как случайную последовательность дискретных моментов времени
M
t . В каждый
i
25

из этих моментов происходят изменения состояний элементов
1ii
t tt
+
= +∆
объекта, а в промежутке между ними никаких изменений состояния не происходит.
При построении формализованной схемы процесса должно
выполняться следующее рекуррентное правило: событие, происходящее в момент времени
M
t , может моделироваться толь-
i
ко после того, как промоделированы все события, происшедшие
в момент времени
. В противном случае результат моделиро-
1Mit−
вания может быть неверным.
Реализация этого правила может проводиться различными
способами.
1. Повременное моделирование с детерминированным шагом
(«принцип t∆»). При повременном моделировании с детерминированным шагом алгоритм одновременно просматривает все
элементы системы через достаточно малые промежутки времени
(шаг моделирования) и анализирует все возможные взаимодействия между элементами. Для этого определяется минимальный
интервал времени, в течении которого не может измениться состояние ни одного из элементов системы; детализированная величина t∆ принимается за шаг моделирования.
Способ моделирования с детерминированным шагом состоит
из совокупности многократно повторяющихся действий:
• на i-м шаге в момент ti просматриваются все элементы объекта и определяется, какие из них изменяют свое состояние
в этот момент;
• моделируются все те изменения состояния, которые проис-
ходят в момент ti;
• производится переход к (i+1)-му шагу, который выполняет-
ся в момент
.
«Принцип t∆» является наиболее универсальным принципом построения моделирующих алгоритмов, охватывающим
весьма широкий класс реальных сложных объектов и их элементов дискретного и непрерывного характера. Вместе с тем этот
принцип весьма неэкономичен с точки зрения расхода времени
работы ЭВМ – в течение длительного периода ни один из элементов системы не может изменить своего состояния, и прогоны модели будут совершаться впустую.
26

2. Современное моделирование со случайным шагом (моделирование по «особым» состояниям). При рассмотрении большинства сложных систем можно обнаружить два типа состояний системы:
1) обычные (неособые) состояния, в которых система находится большую часть времени;
2) особые состояния, характерные для системы в некоторые моменты времени, совпадающие с моментами поступления
в систему воздействий из окружения, выхода одной из характеристик системы на границу области существования и т.д. Например, станок работает – обычное состояние, станок сломан –
особое состояние. Любое скачкообразное изменение состояния
объекта может рассматриваться при моделировании как переход
в новое «особое» состояние.
Повременное моделирование со случайным шагом (от события к событию) заключается в том, что моделирующий алгоритм
осматривает модели элементов системы только в такие моменты
времени, когда состояние исследуемой системы меняется. В те
моменты времени, когда модель какого-либо элемента системы
должна менять состояние, происходит осмотр модели именно
этого элемента, и с учетом взаимосвязей элементов корректируется состояние модели всей системы. Длительность шага t∆ –
величина случайная. Этот способ отличается от «принципа t∆»
тем, что включает процедуру определения момента времени, соответствующего ближайшему особому состоянию по известным
характеристикам предыдущих состояний.
3. Позаявочный способ. При моделировании процессов обработки последовательно идущих заявок иногда удобно строить
моделирующие алгоритмы позаявочным способом, при котором
прослеживается прохождение каждой заявки (детали, носителя
информации) от ее входа в систему и до выхода ее из системы.
После этого алгоритм предусматривает переход к рассмотрению
следующей заявки. Такого рода моделирующие алгоритмы весьма экономичны и не требуют специальных мер для учета особых
состояний системы. Однако этот способ может использоваться
только в простых моделях в случаях последовательных заявок,
не опережающих друг друга, т.к. в противном случае становится
27

весьма затруднительным учет взаимодействия заявок, поступающих в систему.
Моделирующие алгоритмы могут сроиться на нескольких
принципах одновременно. Например, общая структура моделирующего алгоритма базируется на принципе особых состояний,
а между особыми состояниями для всех заявок реализуется позаявочный способ.
Структура моделирующего алгоритма, как показывает практика, имеет специфику, связанную с узкими классами конкретных типов систем и задач, для решений которых предназначена
модель.
28

4. РЕАЛИЗАЦИЯ ИМИТАЦИОННЫХ
МОДЕЛЕЙ НА ЭВМ
Поиск решений по имитационным моделям осуществляется
с помощью методов экспериментальной оптимизации на ЭВМ,
являющихся особой разновидностью численных методов оптимизации. При этом разработчик модели сталкивается с необходимостью разработки не только собственно имитационного алгоритма, но и с разработкой специфических именно для этого
алгоритма вспомогательных элементов – моделей входов, выхода, обратной связи.
Следует отметить, что в программном обеспечении одновременных ЭВМ присутствуют пакеты прикладных программ
(в первую очередь, по разделу «Математическая статистика»),
которые можно использовать при разработке тех или иных вспомогательных элементов конкретной имитационной модели.
В связи с этим остановимся более подробно на задачах, ими решаемых.
Методы имитационного моделирования позволяют сочетать
формальные математические методы исследования с интуицией и опытом специалистов-производственников. Для того
чтобы осуществить сочетание наиболее эффективно, необходимо максимально сократить по времени, облегчить и упростить
общение специалистов с машиной. Нужно, чтобы указанные
специалисты могли при формировании модели и воспроизведении на ЭВМ процесса оперировать привычными понятиями
и представлениями, а также получали бы из ЭВМ информацию
в удобной для восприятия и анализа форме. В связи с этим появилась настоящая необходимость в разработке программных
средств, специально приспособленных к задаче написания программ моделирования.
Это привело к тому, что параллельно с универсальными алгоритмическими языками (Алгол, Кобол, Фортран, ПЛ/1, Бэйсик
и т.п.) разрабатывалось множество специализированных языков
для эффективного описания тех или иных типов моделей, в первую очередь, в качестве программного обеспечения имитационного подхода к изучению того или иного класса объектов. Выбрав для решения своей задачи конкретный язык, исследователь
29

получает в распоряжение тщательно разработанную систему понятий, представляющих ему основу для формализации исследуемой проблемы.
Преимуществами специализированных языков моделирова-
ния являются:
• краткость, точность выражения понятий, характеризую-
щих имитируемые процессы, удобные средства формализации и
воспроизведения динамических свойств моделируемого объекта;
• возможность заранее строить для пользователей стандартные
программы, меньшие затраты времени на программирование;
• более эффектное выявление ошибок в процессе отладки про-
граммы;
• организация данных, обеспечивающая простое и эффектив-
ное моделирование, в том числе автоматическое формирование
определенных типов данных; удобство накопления и представления выходных данных;
• возможность имитации стохастических систем, т.е. нали-
чие процедур генерирования и анализа случайных величин и
временных рядов.
Языки имитационного моделирования различаются по принципам построения поискового управляющего алгоритма. Поисковые схемы в них могут быть ориентированы на описание
выполнения событий (Симскрипт, Симпак), работ (GSP, GSL),
процессов (GPSS, Симула). Каждая из поисковых схем, а соответственно, и языки, ее реализующие, имеют свои преимущества. Для любой из них существуют ситуации, в которых какаялибо одна эффективнее остальных, и ситуации, в которых она
работает хуже.
Одним из направлений создания специализированных языков моделирования является создание универсальных комплексов программ, способных настраиваться на любой объект моделирования из заданного класса. В состав комплекса помимо
собственно программ имитации входят программы автоматического преобразования элементов реальной системы и схем сопряжения к стандартной форме, а также ряд вспомогательных
и обслуживающих программ. За человеком остается лишь неформальная часть действий: постановка задачи и интерпретация
результатов моделирования. Все остальные работы (описание
30
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
