Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Моделирование систем. Возможности использования имитационного моделирования при формировании систем. Методическое пособие
.pdf
объекта моделирования в требуемой форме при помощи заранее
определенных математических схем, построение моделирующего алгоритма, его программирование, организация вычислительного процесса на ЭВМ и т.д.) автоматизируются и выполняются
при помощи специальных, заблаговременно заготовленных программ. Примером такого комплекса программ является пакет
под названием «Универсальная автоматизированная имитационная модель» (УАИМ). С широким внедрением УАИМ в практику появляется возможность решения задач методом имитационного моделирования для человека, знающего свою узкую
специальность и способного грамотно сформулировать задачу,
но не имеющего специальной подготовки по программированию,
методам решения задач на ЭВМ, а также подготовки в области
математического аппарата исследования систем (теории массового обслуживания, теории автоматов, теории дифференциальных уравнений и т.д.).
Какой бы сложной и полной не была модель, она тем не менее является приближенным отображение реального объекта и
отражает его при определенных принятых допущениях. Однако
до тех пор, пока не доказана адекватность модели реальной обстановке, нельзя с уверенностью утверждать, что с ее помощью
получается те результаты, которые действительно характеризуют функционирование исследуемого объекта. Оценка адекватности и точности математической модели любого типа, в том числе
и имитационной, является важнейшей задачей моделирования,
так как любые исследования на неадекватной модели теряют
смысл.
С ростом адекватности и точности модели возрастают как
ее стоимость, так и ценность для исследования, в связи с чем
приходится решать вопрос о компромиссе между стоимостью
модели и последствиями ошибочных решений из-за ее неадекватности исследуемому процессу. Поэтому на практике
построение модели представляет собой итеративный процесс
усовершенствования системы моделей, а следовательно, и исследования объекта до тех пор, пока это считается разумным.
Поэтому и оценка адекватности и точности модели представляет собой непрерывный процесс с самого начала исследования.
Правильность построения модели может быть проверена толь-
31

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

Основные принципиальные ошибки при переходе от концеп-
туальной модели к математической следующие:
• структура математической модели не соответствует струк-
туре концептуальной модели;
• модель включает неверные математические соотношения.
По окончании разработки математической модели до начала
программирования необходимая проверка адекватности должна дать ответ на вопрос, насколько используемые уравнения или
моделирующий алгоритм отражают концептуальную модель.
Если уравнения получены теоретическим путем, могут быть
проведены вычисления в нескольких точках с целью определения приемлемости результатов. Дополнительная проверка уравнений состоит в анализе размерностей. Необходимо убедиться,
что все единицы измерения применены в соответствии с физическим смыслом, масштабирование и согласование размерностей
в уравнениях проведено правильно. Кроме того, обязательной
является проверка результатов в условиях, когда факторы модели принимают предельные значения.
При переходе от концептуальной модели к математической
для формализации описания явлений используются линеаризация, аппроксимация, интерполяция, причем каждый метод вносит определенные погрешности. Если уравнения выведены на основании анализа эмпирических данных, необходимо провести
выборочную проверку согласия с опытными данными. При этом
могут быть использованы статистические выборки для оценки
средних значений и дисперсий, дисперсионный, регрессионный,
факторный и спектральный анализ, автокорреляция, метод проверки с помощью критерия «ч-квадрат» и непараметрические
проверки. Так как каждый из этих статистических методов основан на некоторых допущениях, то при их использовании возникают вопросы, связанные с оценкой их адекватности.
Решение об адекватности математической модели по отношению к концептуальной также принимается только заказчиком,
который тем самым разрешает исследователю перейти к этапу
реализации математической модели на ЭВМ.
Как указывалось ранее, входные факторы математической
модели по своей природе можно разделить на управляемые пере-
33

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

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

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

Ошибки, обусловленные ограниченностью объема статисти-
MY
σ
kK
k
EY∂
∂
k
Y
22
сис сл
RS S= +
ческих данных, являются контролируемыми в том смысле, что
при необходимости они могут быть уменьшены за счет увеличения их объема. Безусловно, это приводит к увеличению затрат
(либо на сбор информации, либо затрат машинного времени при
реализации модели на ЭВМ), но в разумных пределах этим фактором можно пользоваться для уменьшения суммарной погрешности моделирования.
Чтобы правильно просуммировать систематические и случайные ошибки, необходимо сначала их разделить. Затем систематические ошибки алгебраически суммируются для получения
результирующей систематической ошибки для всех рассматриваемых компонентов. Случайные ошибки суммируются в обычном среднеквадратичном смысле.
Если при построении модели пренебрегают случайными факторами, учесть которые можно, но которые в целях упрощения
включаются в модель детерминированными средними значениями, то соответствующая составляющая методической ошибки
может быть вычислена по формуле
K
E
∂
22
σ= σ
где
– среднеквадратичное отклонение неучитываемых вход-
Y
k
ных факторов от средних значений;
1,
= – число неучитываемых случайных факторов;
()
∑
∂
k
=
1
Y
k
,
k
– коэффициент чувствительности целевой функции (или
некоторой выходной характеристики) к изменению фактора
Часто используемая аппроксимация результирующей ошибки, вызванной одновременным присутствием систематической и
случайной ошибок, получается вычислением корня квадратного
из суммы квадратов систематической и случайной компонент:
где R – результирующая ошибка;
S
– систематическая компонента;
сис
Sсл – случайная компонента.
.
,
37

Необходимо иметь в виду, что изменение величин составляющих суммарной ошибки в тех случаях, когда они заметно
меньше остальных, не приводит к существенному изменению
суммарной ошибки. Поэтому, если модель является грубой или
часть информации, вводимой в модель, определена с большими
ошибками, неизвестная информация также может быть установлена весьма приближенно. При построении модели следует
стремиться к тому, чтобы все составляющие суммарной ошибки
были примерно одного порядка.
Поиск компромиссного соотношения между случайными и
систематическими ошибками практически всегда связан с анализом допустимых упрощений как исходных алгоритмов отдельных модулей, так и алгоритма их взаимодействия. При
создании математической модели способы анализа возможных
упрощений бывают различными, но главное – обеспечить расчеты в отведенное время и достичь при этом заданной точности
расчета. Таким образом, можно найти рациональную сложность
модели, обеспечивающую минимальную величину суммарной
погрешности при заданном машинном времени. Во всех случаях
построения моделей следует выбирать оптимальное сочетание
сложности модели (определяющей методическую ошибку) и метода расчета (определяющего ошибку расчета) с точностью входной информации.
Анализ результатов моделирования и оценка адекватности
построенной модели позволяют сделать вывод о необходимости
корректировки имеющейся модели и ее направлениях (учет новых факторов, переход от линейных зависимостей к более гибким нелинейным, замена статических моделей динамическими,
учет стохастичности и т.д.).
38

ЗАКЛЮЧЕНИЕ
Таким образом, моделирование позволяет заранее предвидеть ход событий и тенденции развития, присущие управляемой системе, выяснить условия ее существования и установить
режим деятельности с учетом влияния разных факторов. Совершенствование процесса принятия управленческих решений
и, соответственно, повышение качества принимаемых решений
достигается за счет использования научного подхода, моделей
и методов принятия решений. Модель является представлением системы, идеи или объекта. Необходимо использовать модели из-за сложности организаций, невозможности проводить
эксперименты в реальном мире, необходимости заглядывать
в будущее.
Как было показано, при имитационном моделировании динамические процессы системы-оригинала подменяются процессами, имитируемыми в абстрактной модели, но с соблюдением
основных правил (режимов, алгоритмов) функционирования
оригинала. В процессе имитации фиксируются определенные
события и состояния или измеряются выходные воздействия,
по которым вычисляются характеристики качества функционирования системы. Имитационное моделирование позволяет
рассматривать процессы, происходящие в системе, практически
на любом уровне детализации. При этом в имитационной модели
можно реализовать практически любой алгоритм управленческой деятельности или поведения системы. Кроме того, модели,
которые допускают исследование аналитическими методами,
также могут анализироваться имитационными методами. Все
это служит причиной того, что имитационные методы моделирования в настоящее время становятся основными методами исследования сложных систем.
Результаты имитационного моделирования могут быть
оформлены в виде графиков или таблиц, в которых каждому варианту значений параметров исследуемого объекта поставлены
в соответствие определенные значения показателей, оценивающих функционирование объекта. Однако зависимости между
теми же величинами в аналитическом виде с помощью имитационной модели не могут быть получены. Все имитационные мо-
39

дели представляют собой модели типа так называемого черного
ящика. Это означает, что они обеспечивают выдачу выходных
параметров системы, если на ее взаимодействующие подсистемы поступают входные воздействия. Поэтому для получения необходимой информации или результатов следует осуществить
«прогон» (реализацию, «репетицию») моделей, а не «решать»
их. Имитационные модели не способны формировать свое собственное решение в том виде, в каком это имеет место в аналитических моделях, а могут лишь служить в качестве средства для
анализа поведения системы в условиях, которые определяются
экспериментатором.
В итоге можно сделать вывод: к методу имитационного моделирования обращаются тогда и только тогда, когда аналитическое решение задачи исследования данного объекта затруднено
или невозможно.
40
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
