Классификация видов моделирования

Классификация видов моделирования

Физическое – используется сама система, либо подобная ей (летательный аппарат в аэродинамической трубе).

Математическое – процесс установления соответствия реальной системе S математической модели M и исследование этой модели, позволяющее получить характеристики реальной системы.

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

Компьютерное – математическое моделирование формулируется в виде алгоритма (программы для ЭВМ), что позволяет проводить над ней вычислительные эксперименты.

Численное – используются методы вычислительной математики (отличается от численного аналитического тем, что возможно задание различных параметров модели).

Статистическое – обработка данных о системе (модели) с целью получения статистических характеристик системы.

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

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

Экономический эффект: затраты в среднем сокращаются в 10-100 раз.

Понятие сложной системы

Элемент s – некоторый объект, обладающий определенными свойствами, внутреннее строение которого для целей исследования не играет роли (самолет: для моделир. полета – не элемент, а для моделир. работы аэропорта –элемент).

Связь l между элементами – процесс их взаимодействия, важный для целей исследования.

Система S – совокупность элементов со связями и целью функционирования F.

Сложная система – состоящая из разнотипных элементов с разнотипными связями.

Большая система – состоящая из большого числа однотипных элементов с однотипными связями.

Система:

Автоматизированная система - сложная система с определяющей ролью элементов двух типов: технических средств (прежде всего ЭВМ) и действий человека :

здесь - остальные элементы системы.

Структура системы – ее расчленение (декомпозиция) на элементы или группы элементов с указанием связей между ними, неизменное во время функционирования системы.

Практически все системы рассматриваются функционирующими во времени, поэтому определим их динамические характеристики.

Состояние – множество характеристик элементов системы, изменяющихся во времени и важных для целей функционирования.

Процесс (динамика) – множество значений состояний системы, изменяющихся во времени.

Цель функционирования – задача получения желаемого состояния системы. Достижение цели обычно влечет целенаправленное вмешательство в процесс функционирования системы, которое называется управлением.

Задачи исследования систем:

1. анализ – изучение свойств функционирования системы;
2. синтез – выбор структуры и параметров по заданным свойствам системы.

МЕТОД МОНТЕ-КАРЛО

- Способ исследования поведения вероятностных систем экономических, технических и т.п. в условиях, когда неизвестны в полной мере внутренние взаимодействия в этих системах.

Создателями метода статистических испытаний (метода Монте-Карло) считают американских математиков Д. Неймана и С. Улама. В 1944 году, в связи с работами по созданию атомной бомбы Нейман предложил широко использовать аппарат теории вероятностей для решения прикладных задач с помощью ЭВМ. Данный метод был назван так в честь города в округе Монако, из-за рулетки, простейшего генератора случайных чисел.

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

Метод Монте-Карло (или метод статистических испытаний) можно определить как метод моделирования случайной величины с целью вычисления характеристик их распределений. Суть состоит в том, что результат испытаний зависит от некоторой случайной величины, распределенной по заданному закону. Поэтому результат каждого отдельного испытания носит случайный характер. (Как правило, составляется программа для осуществления одного случайного испытания.) Проведя серию испытаний, получают выборку. Полученные статистические данные обрабатываются и представляются в виде численных оценок интересующих исследователя величин (характеристик системы).

Т.е. испытание повторяется N раз, причем каждый опыт не зависит от остальных, и результаты всех опытов усредняются. Это значит, что число испытаний должно быть достаточно велико, поэтому метод существенно опирается на возможности компьютера.

Теоретической основой метода Монте-Карло являются предельные теоремы теории вероятностей. Они гарантируют высокое качество статистических оценок при весьма большом числе испытаний. Метод статистических испытаний применим для исследования как стохастических, так и детерминированных систем. Практическая реализация метода Монте-Карло невозможна без использования компьютера.

Можно проиллюстрировать метод статистических испытаний на простейшем примере: вычисление числа π как отношение площади 1/4 круга к площади всей картинки путем разбрасывания случайным образом точек по всему рисунку. Затем считается отношение попавших в круг точек ко всем точкам, и по этому отношению приблизительно определяется отношение площадей. Увеличением числа вбрасываемых точек можно более точно определить площадь круга, но это так же ведет и к увеличению времени вычислений.

Точность вычислений очень сильно зависит от качества используемого генератора псевдослучайных чисел. Другими словами, точность тем выше, чем более равномерно случайные точки распределяются по единичному квадрату.

p»4S_кр/S_кв (1)

Подсчитаем число точек внутри квадрата и внутри четверти круга. Очевидно, что их отношение будет приближенно равно отношению площадей этих фигур, так как попадание капель в различные места чертежа равновероятно. Пусть N_кр - число капель в круге,N_кв –число капель в квадрате, тогда

p»4N_кр/N_кв (2)

 

число бросаний Точное значение Програмное значение Погрешность   0.25 3,1632 0,021607346   0.25 3,14436 0,002767346

 

Каждому точке поставим в соответствие два случайных числа, характеризующих его положение вдоль осей Ох и Оу (см. рис. 2). Если окажется, что для точки (х_i,у_i) выполняется неравенство х_i²+у_i²>1, то, значит, она лежит вне круга. Если х_i² +у_i² Ј 1, то точка лежит внутри круга.

Для подсчета значения p воспользуемся формулой (2). Ошибка вычислений по этому методу, как правило пропорциональна , где D – некоторая постоянная, а N – число испытаний. В этом примере . Из этой формулы видно, что для того, чтобы уменьшить ошибку в 10 раз, т.е. получить ещё один верный десятичный знак, нужно увеличить N, т.е. объём работы, в 100 раз (см. таблицу с результатами испытаний).

Базовый датчик

Моделирование случайных элементов в системах является одной из самых главных, базовых задач математического моделирования.

Любая случайная величина или процесс X может моделироваться следующим образом:

Базовый датчик выдает независимые равномерно распределенные случайные величины:

1. непрерывные в [0,1);

2. дискретные в

Типы базовых датчиков:

1. физические (любой физический шум) – не используются, т.к. характеристики нестабильны и реализацию повторить нельзя;

2. псевдослучайные – строятся на основе детерминированного алгоритма, но полученные результаты неотличимы от случайных.

Псевдослучайные базовые датчики строятся по модели при заданном

Требования к базовым датчикам и их проверка

Отрезок апериодичности

Периодом T и длиной отрезка апериодичности датчика называются наименьшие из величин, удовлетворяющие

Чем больше T и L, тем лучше датчик (особенно L).

Как определить их:

1. Берем V – достаточно большое число (обычно

2. Генерируем и проверяем ,запоминая.

3. Генерируем и проверяем . Если нет для , то и . Иначе запоминаем , для которого , и находим следующий , для которого (если нужно, генерируются дополнительные величины). Тогда

4. Генерируем и и ищем первое совпадение . Тогда

Равномерность

Должно быть для

Проверка:

1. Берем и генерируем

2. Находим и разбиваем отрезок [0,1) на k равных частей (длиной )

3. Для каждого числа определяем, в какой интервал оно попало:

и заполняем массив :

4. По значениям этого массива строим гистограмму (для наглядности).

5. Используем критерий

.

 

Выбираем уровень значимости (обычно 5%), а число степеней свободы . В таблицах находим значение и проверяем: если ,то «данные эксперимента не противоречат гипотезе о равномерности случайных чисел», иначе – «противоречат».

Некоррелированность

1. Генерируем

2. Вычисляем , (можно и больше).

3. Вычисляем

4. Проверяем для всех k

Если да, то «данные эксперимента не противоречат гипотезе о равномерности случайных чисел», иначе – «противоречат». Здесь – уровень значимости, а берется из таблиц

4. Простейшие проверки

Подходят для любой непрерывной случайной величины.

1. Математическое ожидание:

2. Дисперсия:

 

 

Мультипликативный конгруэнтный метод (метод вычетов)

В основе лежит следующее рекуррентное соотношение:

– множитель, M – модуль, – стартовое значение. Рекомендуемые значения для 64-разрядной сетки:

Тогда период

Для 32-разрядной:

Тогда период

Генерация случайных событий

1. Пусть имеется некоторое случайное событие А, наступающее с вероятностью р(А). Тогда ( – числа, генерируемые базовым датчиком). Следовательно, генератор 1 случайного события:

,где

 

2. Полная группа попарно несовместимых событий . Пусть Идея:

 

Равномерное распределение

x			...	n
p			...

Тогда

Док-во.

x удовлетворяет равномерному распределению.

Биномиальное распределение

(теорема об опытах – вероятность наступления m событий A в n опытах).
Введем (функция Хэвисайда).
Тогда

наступило 1 события сумма дает кол-во событий наступивших в n опытах биномиальное распределение).

 

Пуассоновское распределение

Классификация видов моделирования

Физическое – используется сама система, либо подобная ей (летательный аппарат в аэродинамической трубе).

Математическое – процесс установления соответствия реальной системе S математической модели M и исследование этой модели, позволяющее получить характеристики реальной системы.

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

Компьютерное – математическое моделирование формулируется в виде алгоритма (программы для ЭВМ), что позволяет проводить над ней вычислительные эксперименты.

Численное – используются методы вычислительной математики (отличается от численного аналитического тем, что возможно задание различных параметров модели).

Статистическое – обработка данных о системе (модели) с целью получения статистических характеристик системы.

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

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

Экономический эффект: затраты в среднем сокращаются в 10-100 раз.

Понятие сложной системы

Элемент s – некоторый объект, обладающий определенными свойствами, внутреннее строение которого для целей исследования не играет роли (самолет: для моделир. полета – не элемент, а для моделир. работы аэропорта –элемент).

Связь l между элементами – процесс их взаимодействия, важный для целей исследования.

Система S – совокупность элементов со связями и целью функционирования F.

Сложная система – состоящая из разнотипных элементов с разнотипными связями.

Большая система – состоящая из большого числа однотипных элементов с однотипными связями.

Система:

Автоматизированная система - сложная система с определяющей ролью элементов двух типов: технических средств (прежде всего ЭВМ) и действий человека :

здесь - остальные элементы системы.

Структура системы – ее расчленение (декомпозиция) на элементы или группы элементов с указанием связей между ними, неизменное во время функционирования системы.

Практически все системы рассматриваются функционирующими во времени, поэтому определим их динамические характеристики.

Состояние – множество характеристик элементов системы, изменяющихся во времени и важных для целей функционирования.

Процесс (динамика) – множество значений состояний системы, изменяющихся во времени.

Цель функционирования – задача получения желаемого состояния системы. Достижение цели обычно влечет целенаправленное вмешательство в процесс функционирования системы, которое называется управлением.

Задачи исследования систем: