Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Моделирование систем. Возможности использования имитационного моделирования при формировании систем. Методическое пособие

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
2 Мб
Скачать
☆
объекта моделирования в требуемой форме при помощи заранее определенных математических схем, построение моделирующе­го алгоритма, его программирование, организация вычислитель­ного процесса на ЭВМ и т.д.) автоматизируются и выполняются при помощи специальных, заблаговременно заготовленных про­грамм. Примером такого комплекса программ является пакет под названием «Универсальная автоматизированная имитаци­онная модель» (УАИМ). С широким внедрением УАИМ в прак­тику появляется возможность решения задач методом имита­ционного моделирования для человека, знающего свою узкую специальность и способного грамотно сформулировать задачу, но не имеющего специальной подготовки по программированию, методам решения задач на ЭВМ, а также подготовки в области математического аппарата исследования систем (теории массо­вого обслуживания, теории автоматов, теории дифференциаль­ных уравнений и т.д.).
Какой бы сложной и полной не была модель, она тем не ме­нее является приближенным отображение реального объекта и отражает его при определенных принятых допущениях. Однако до тех пор, пока не доказана адекватность модели реальной об­становке, нельзя с уверенностью утверждать, что с ее помощью получается те результаты, которые действительно характеризу­ют функционирование исследуемого объекта. Оценка адекватно­сти и точности математической модели любого типа, в том числе и имитационной, является важнейшей задачей моделирования, так как любые исследования на неадекватной модели теряют смысл.
С ростом адекватности и точности модели возрастают как ее стоимость, так и ценность для исследования, в связи с чем приходится решать вопрос о компромиссе между стоимостью модели и последствиями ошибочных решений из-за ее не­адекватности исследуемому процессу. Поэтому на практике построение модели представляет собой итеративный процесс усовершенствования системы моделей, а следовательно, и ис­следования объекта до тех пор, пока это считается разумным. Поэтому и оценка адекватности и точности модели представля­ет собой непрерывный процесс с самого начала исследования. Правильность построения модели может быть проверена толь-
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
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]