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

Моделирование. Учебное пособие

.pdf
Скачиваний:
1
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
если статистические данные, характеризующие один и тот же объект или процесс, собраны в разное время, то их можно объединить в одну выборку, проверив с помощью критерия согласия Смирнова гипотезу, что они принадлежат одной генеральной совокупности;
правильность работы имитационной модели вновь проектируе- мого объекта можно проверить, если сравнить выходные данные тационной модели с данными «ручного» расчета, в котором использу­ют более простой вариант объекта без учета вероятностных характери­стик по средним значениям;
правильность работы имитационной динамической модели мож- но проверить, сравнивая по шагам результаты работы динамической модели и «ручного» расчета по алгоритму;
для оценки правильности работы имитационной анализ выходных результатов производить с учетом реального време­ни работы объекта исследования;
в алгоритме расчета числа реализаций для обеспечения стати- стически устойчивых результатов имитационного моделирования следует выбрать один из показателей эффективности функциониро­вания объекта исследования, который требуется рассчитать с опреде­ленной точностью; в зависимости от формы показателя (вероятност ной или количественной) выбирают способ расчета числа реализа­ций; остальные показатели рассчитываются также в пределах этой точности;
для подтверждения расчета статистически устойчивых выходных данных имитационного моделирования нужно N раз провести экспе­рименты с имитационной моделью, не меняя начальные условия и зна­чения параметров модели. Затем необходимо определить максималь­ное
и минимальное значение показателя эффективности, который рас­считывается с заданной точностью (например, среднее значение вре­мени ожидания заявок в очереди). Если разница между максималь­ным/минимальным и средним значениями показателя не превышает заданной точности, то имитационная модель обеспечивает заданную точность расчета.
модели следует
ими-
-
Теоретические сведения
Качество имитационной модели, определяющее возможность ее использования для исследования объекта моделирования, определяет­ся ее адекватностью, устойчивостью и чувствительностью.
51
В работах9, а также [8–11] рассматриваются вопросы определения адекватности имитационных моделей.
В приложении 1 помещен чек-лист № 3 для оценки порядка разра­ботки и анкета № 3 для оценки качества датчиков случайных чисел.
Под адекватностью имитационной модели понимают степень соот­ветствия модели объекту исследования. Модель всегда отражает толь­ко часть характеристик, свойств, процессов объекта исследования, важных для получения ответа на возникшие вопросы или выявленные проблемы в объекте.
Валидация представляет собой процесс определения точности представления имитационной моделью объекта исследования для кон­кретных целей.
Процесс установления адекватности имитационной модели заклю­чается в сравнении результатов расчета с помощью модели с такими же данными, полученными в реальном объекте, или другим
методом.
Результаты расчетов имитационной модели без подтвержденной адекватности нельзя использовать для принятия решений.
Одним из способов проверки адекватности имитационной модели является анализ экспертами в предметной области результатов расче­тов имитационной модели и данных, полученных от реального объ­екта. Если эксперты, не зная истинные источники данных, оценят ре­зультаты имитационной модели
как полученные от реального объек­та, то считается, что имитационная модель адекватна объекту иссле­дования.
Еще одной проверкой адекватности имитационной модели является определение ее прогностических возможностей в случае, если процес­сы в объекте исследования развиваются во времени.
Один из наиболее очевидных подходов к проверке точности ими­тационной модели состоит в сравнении
выходных данных имитацион-
ной модели и реального объекта исследования при одинаковых вход-
9
Пепеляев В.А. О современных подходах к оценке достоверности имита­ционных моделей // Первая всероссийская научно-техническая конференция «Опыт практического применения языков и программных систем имитацион-
ного моделирования в промышленности и прикладных разработках» // В.А. Пепеляев, Ю.М. Черный. «ИММОД_2003»: сб. докл. Т. 1. – СПб.: ФГУП ЦНИИ технологии судостроения, 2003. – С. 142–146. – URL:
http://simulation.su/uploads/files/default/immod-2003-1-142-146.pdf; Ильин Е.А. Имитационное моделирование экономических процессов // Е.А. Ильин. – Тула,
2007. – С. 81–94. – URL: https://textarchive.ru/c-2455614-pall.html
52
ных данных. Для проверки соответствия могут применяться различные статистические гипотезы о том, что выборки имитационной модели и объекта исследования являются выборками из одной генеральной со­вокупности. Если мерой эффективности функционирования объекта исследования и имитационной модели является одна переменная, то в этом случае рассматривается одномерная двухвыборочная задача. В этом случае, используя критерии
согласия Стьюдента, Пирсона или Колмогорова, можно проверить гипотезу о соответствии выходных данных имитационной модели и объекта исследования.
Для моделей, входными данными для которых являются времен­ные ряды, для проверки гипотезы о соответствии можно использовать спектральный анализ.
Для оценки точности имитационной модели можно использовать регрессионный анализ, рассматривая регрессию временного ряда объ­екта исследования на смоделированный временной ряд. Коэффициент несовпадения дает возможность оценить степень совпадения предска­зания с помощью имитационной модели со значениями, рассчитанны­ми на основе статистических данных, собранных в объекте исследо­вания.
Для проверки адекватности имитационной модели объекту иссле­дования нередко используют процедуру верификации, которая пред­ставляет собой проверку правильности программной
реализации кон­цептуальной модели. В процессе верификаци используют следующие приемы:
проверка корректности результатов на «крайние» значения (ну-
левые значения исходных данных, не существующие в реальном объ­екте исходные данные);
сравнение результатов аналитического расчета с результатами
расчетов с помощью имитационной модели;
использование имитационного следа, представляющего собой
детальную распечатку
изменений параметров и переменных имитаци­онной модели в течение определенного времени в каждый момент приращения времени (от события к событию). При анализе такого имитационного следа можно выявить ошибки и несоответствия модели реальной системе;
документирование программной модели и проверка лицом, не
участвующим в разработке модели. Этим методом часто пренебрегают. Но если
есть краткие комментарии в программно реализованной модели
(определены все переменные и параметры, описаны функции), то это
53
дает возможность лицу, не участвующему в разработке модели, прове­рить ее логику, а разработчику существенно облегчает этот процесс;
проверка по анимации. В последнее время в программное обес-
печение для имитационного моделирования включают анимацию. Она позволяет визуализировать процесс расчетов модели при выводе ди­намики изменения компонентов модели в виде графических аналогов реального объекта.
Хотя верификация и валидация концептуально различны, обычно
они проводятся одновременно.
Задача исследования имитационной модели на чувствительность выходных данных к изменениям параметров и структуры модели воз­никает в связи с необходимостью отбирать изменяемые параметры мо­дели при планировании экспериментов. Выявление параметров, оказы­вающих незначительное влияние на выходные данные, упрощает
пла­ны экспериментов с имитационной моделью и сокращает время прове­дения экспериментов.
Оценку на чувствительность проводят для каждого параметра ими-
тационной модели, для чего:
выполняют два модельных эксперимента при минимальном и
максимальном значении исследуемого параметра;
вычисляют относительное приращение исследуемого параметра
и наблюдаемой выходной величины.
Таким образом, для каждого параметра
модели определяют пару значений, характеризующих чувствительность имитационной модели к изменению данного параметра. При планировании модельных экспе­риментов больше работают с наиболее «влиятельными» параметрами модели.
МОДЕЛИРОВАНИЕ ОБЪЕКТА ИССЛЕДОВАНИЯ
В табл. 9 показано соответствие целей обучающегося требованиям профессиональных стандартов (трудовых функций, трудовых дей­ствий, необходимых умений и знаний).
Таблица 9
Обобщенная трудовая функция
Выполнение работ и управление работами по созданию (модификации) и сопровождению ИС, автоматизирующих задачи организационного управле­ния и бизнес-процессы
54
Окончание табл. 9
Трудовая функция
Организация приемо-сдаточных испытаний (валидации) ИС (С/35.6)
Трудовые действия:
• организация проведения приемо-сдаточных испытаний ИС;
• организация подписания документов по результатам приемо-сдаточных испытаний
Необходимые умения:
• планировать работы;
• распределять работы и выде­лять ресурсы
Необходимые знания:
• инструменты и методы
проведения приемо-сда­точных испытаний (ва­лидации) ИС;
• управление качеством: контрольные списки, ве­рификация, валидация (приемо-сдаточные ис­пытания)
Цели обучающегося Уметь:
• определять основные свойства программного продукта:
– работоспособность; – универсальность; – полезность (валидация);
• определять возможности
усовершенствования про­граммного продукта
Оценка результатов работы на данном этапе определяется объ- емом выполненных экспериментов и качеством их анализа:
представлены в графической форме полученные зависимости показателей эффективности функционирования объекта исследования от параметров имитационной модели;
представлены в табличной форме рассчитанные количественные значения показателей эффективности функционирования объекта ис­следования и соответствующих им изменяемых параметров
имитаци-
онной модели;
приведена в текстовой форме интерпретация полученных зави- симостей.
Продуктивные приемы:
предметный характер проводимых модельных экспериментов за- висит от вопросов, на которые нужно найти ответ с помощью разрабо­танной имитационной модели;
при описании результатов влияния параметров объекта исследо- вания на показатели эффективности рекомендуется представить одни и те же результаты в графической и табличной форме;
55
целесообразно использовать при интерпретации полученных ре- зультатов шаблон вида «При изменении параметра имитационной мо­дели название-параметра от минимального значения значение до мак­симального значения значение величина показателя эффективности название_показателя изменилась от значение до значение, потому что причина наблюдаемого влияния параметра на показатель». В шаблоне представлены числовые данные и приведено объяснение характера по­лученной зависимости с точки зрения процессов функционирования объекта;
при анализе полученных зависимостей важно объяснить харак- тер зависимости, наличие локальных экстремумов или отсутствие из­менения показателей эффективности;
одним из важных экспериментов является определение зависи- мости выходных данных от начальных условий, т
. е. состояния объекта
исследования в момент времени t = 0;
в динамической модели необходимо при интерпретации выход- ных данных перейти от модельного времени в шагах к реальному вре­мени объекта исследования;
для определения степени соответствия смоделированных и наблюдаемых на практике временных рядов можно использовать сле­дующие характеристики: число точек
экстремума, распределение то­чек экстремума во времени, амплитуду возмущений на одних и тех же временных отрезках, средние значения переменных, одновременность экстремальных точек для различных переменных, точное совпадение значений переменных.
Теоретические сведения
Имитационное моделирование позволяет осуществлять многократ­ные испытания модели с определенными входными данными с целью определения их влияния на выходные критерии оценки работы объекта исследования.
В работах различной степени сложности и физической природы. На сайте Наци-
10
Тимченко В.С. Перспективы применения имитационного моделирова-
ния при оценке мероприятий по развитию транспортного комплекса Арк­тической зоны РФ / В.С. Тимченко // Мир науки. Выпуск 1-2015. – URL: http://mir-nauki.com/PDF/08EMN115.pdf; Емельянов А.А. Имитационное моде- лирование инвестиционных процессов // А.А. Емельянов, Е.А. Власова,
10
приведены примеры исследования реальных объектов
56
онального общества имитационного моделирования11 размещены мно­гочисленные публикации по имитационному моделированию.
В работах [6, 9, 10] рассматриваются вопросы проведения исследо­ваний объекта моделирования с помощью имитационной модели.
При проведении модельных экспериментов используют методы теории планирования экспериментов. В этом подходе все переменные модели принято делить на две группы: факторы (или независимые пе­ременные) и реакции (или зависимые переменные).
В свою очередь факторы могут быть «управляемыми и неуправляемыми, наблюдае­мыми и ненаблюдаемыми, изучаемыми и неизучаемыми, количествен­ными и качественными, а также фиксированными и случайными» [9, с. 75]. В результате экспериментов с имитационной моделью объек­та исследования определяют влияние факторов на реакции.
Различают стратегическое и тактическое планирование экспери-
мента. Последовательность этапов стратегического
планирования экс­перимента состоит в построении вначале структурной модели плана, а затем соответствующей функциональной модели. Структурная модель определяет число факторов и количество их уровней для эксперимен­тов. Функциональная модель включает в себя из числа элементов экс­перимента только те, которые могут быть реализованы с учетом огра­ничения на машинные ресурсы. Увеличение
числа факторов и их уровней (количественных значений каждого фактора в экспериментах) приводит к резкому увеличению объема прогонов имитационной мо­дели.
Н.З. Емельянова, Н.Н. Прокимнов // Прикладная информатика. – 2012. – № 2. – С. 93–99. – URL: https://cyberleninka.ru/article/n/imitatsionnoe­modelirovanie-investitsionnyh-protsessov/viewer; Лукинский В.В. Управление запасами в цепях поставок / В.В. Лукинский. – М.: Юрайт, 2018. – 287 с.; Ильин Е.А. Имитационное моделирование экономических процессов // Е.А. Ильин. – Тула, 2007. – С. 85–98. – URL: https://textarchive.ru/c-2455614­pall.html; Боев В.Д. Имитационное моделирование систем: учеб. пособие для прикладного бакалавриата / В.Д. Боев. – М.: Юрайт, 2017. – 253 с. – URL:
http://simula-tion.su/uploads/files/default/2017-uch-posob-boev.pdf; Кораблев Ю.А. Имитационное моделирование: учебник / Ю.А. Кораблев. – М.: КНОРУС,
2017. – 146 с. – URL: http://simulation.su/uploads/files/default/2017-korablev­uch.pdf; Строгалев В.П. Имитационное моделирование: учебное пособие /
В.П. Строгалев, И.О. Толкачева. 3-е изд. – М.: Изд-во МГТУ им. Н.Э. Баума­на, 2017. – 295 с.
11
Национальное общество имитационного моделирования http://simula-
tion.su/static/ru-review.html
57
В ходе тактического планирования определяют порядок изменения выделенных факторов на реакции в одной серии экспериментов (при­мер такого эксперимента рассмотрен в [9, с. 76–78]). «В процессе так­тического планирования определяются конкретные способы проведе­ния каждой серии испытаний, намеченной построенным на этапе стра­тегического планирования планом эксперимента. При этом возникают следующие требующие своего решения
задачи: выбор начальных условий и определение их влияния на результаты моделирования; обеспечение точности и достоверности результатов моделирования; уменьшение дисперсии оценок определяемых характеристик системы; выбор правил автоматической остановки машинного эксперимен­та» [9, с. 81].
«В целом же наиболее распространенными при обработке резуль­татов машинного моделирования являются такие задачи, как опреде­ление эмпирического закона
распределения случайной величины, про­верка однородности распределений, сравнение математических ожи­даний и дисперсий переменных, полученных в ходе моделирования, и т. д. Все эти задачи с точки зрения математической статистики явля­ются типовыми задачами проверки статистических гипотез с исполь­зованием соответствующего критерия согласия» [9, с. 81].
58
ЗАКЛЮЧЕНИЕ
В настоящее время для исследования сложных объектов, процес­сов, явлений, характеризующихся неочевидными причинно-следствен­ными связями, используют моделирование различных видов, в том числе имитационное моделирование.
Разработка программно реализуемых имитационных моделей в со­временных условиях является сложным, слабо формализованным на отдельных этапах процессом, в котором участвуют специалисты из различных предметных областей. В алистам, разрабатывающим программные продукты различного назна­чения, определяются профессиональными стандартами. Кроме того, имеются многочисленные продуктивные приемы, являющиеся резуль­татом осмысления и обобщения лучших практик по разработке про­граммных продуктов. Соответственно в данном учебном пособии рас­смотрены особенности основных этапов разработки программно реа­лизуемых имитационных моделей ного цикла с опорой на требования современных профессиональных стандартов и продуктивные приемы, описываемые в литературе. В ра­боте определены критерии оценки качества разработки имитационной модели на каждом этапе, что дает возможность согласовать критерии качества между заказчиком и разработчиком, а также выполнять само­оценку качества проделанной работы мы на каждом этапе; приведены краткие теоретические сведения.
Организация разработки любого программного продукта по опи­санной модели обеспечивает условия для его разработки в соответ­ствии с современными требованиями к качеству.
свою очередь требования к специ-
в рамках каскадной модели жизнен-
; выделены продуктивные прие-
59
ПРИЛОЖЕНИЯ
я
Приложение 1
ЧЕК-ЛИСТЫ ПОРЯДКА ВЫПОЛНЕНИЯ
И АНКЕТЫ ОЦЕНКИ КАЧЕСТВА
Чек-лист № 1
«Порядок построения имитационной модели объекта
исследования»
Отметьте факт выполнения того или иного действия (да/нет) в про­цессе разработки имитационной модели.
№ Действие
Сформулирован(ы) вопрос(ы), ответ на который(ые) даст ими-
тационная модель объекта исследования
Выделен из среды объект исследования и составлена его со-
держательная модель
Выбраны показатели эффективности функционирования
объекта исследования
Спланирован порядок сбора статистических данных на объек-
те исследования
Идентифицированы законы распределения случайных потоков
событий в объекте исследования по статистическим данным
Построена Q-схема объекта исследования Построена временная диаграмма объекта исследовани Разработаны тесты для проверки правильности работы имита-
ционной модели Разработана алгоритмическая модель Реализована программно алгоритмическая модель
Протестирована программная модель на правдоподобие вы-
ходных данных (правильность расчета) Протестирована программная модель на обеспечение точности
расчета выходных данных Проведены эксперименты на чувствительность модели к из-
менению ее параметров и структуры Выполнена оценка качества пользовательского интерфейса
имитационной модели
Отметка
(да/нет)
60
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]