
- •Москва, 2004
- •Введение
- •1. Основные понятия теории моделирования
- •1.1 Понятие модели. Виды моделей
- •Цель (человека)
- •1.2. Общие вопросы моделирования систем
- •1.3. Основные требования к моделям
- •1.4. Принципы моделирования
- •1.5 Вопросы для самоконтроля
- •5. Основные требования к моделям.
- •6. Принципы моделирования.
- •2. Компьютерное моделирование
- •2.1 Этапы моделирования
- •2.2 Определение цели моделирования.
- •Определение типа системы;
- •Описание рабочей нагрузки;
- •Декомпозиция системы.
- •2.3 Определение типа системы
- •2.4 Описание рабочей нагрузки.
- •2.5 Декомпозиция системы
- •2.6 Выбор между имитационной или аналитической моделью
- •2.7 Вопросы для самоконтроля
- •6. Декомпозиция системы.
- •3.Формализация модели.
- •3.1 Классификация схем построения имитационной модели
- •3.2. Представление динамики системы
- •3.3. Генераторы случайных чисел
- •3.4 Моделирование случайных факторов
- •3.5 Управление модельным временем
- •3.5.1 Виды представления времени в модели
- •3.5.2 Изменение времени с постоянным шагом
- •3.5.3 Моделирование по особым состояниям
- •3.6. Моделирование параллельных процессов
- •3.6.1. Виды параллельных процессов
- •3.6.2. Механизм реализации параллельных процессов в языках моделирования
- •3.7 Вопросы для самоконтроля
- •8. Виды представления времени в модели.
- •4. Программная реализация модели
- •5.Планирование модельных экспериментов
- •5.1 Задачи планирования экспериментов. Стратегическое и тактическое планирование.
- •5.2. Стратегическое планирование имитационного эксперимента
- •5.2.1. Цель стратегического планирования эксперимента
- •5.2.2. Способы построения стратегического плана
- •5.3. Тактическое планирование экспериментов
- •5.4 Вопросы для самоконтроля
- •6. Обработка и анализ результатов моделирования
- •6.1 Основная идея регрессионного анализа
- •6.2 Общая схема проведения расчетов
- •6.3 Оценка качества имитационной модели
- •6.3.1 Адекватность модели
- •6.3.2 Оценка устойчивости
- •6.3.3 Оценка чувствительности
- •6.4 Калибровка модели
- •6.5 Вопросы для самоконтроля
- •6. Оценка чувствительности.
- •7.1 Основные понятия теории массового обслуживания
- •7.2 Марковский процесс
- •7.2.1 Понятие марковского процесса
- •7.2.2 Потоки событий
- •7.3 Уравнения Колмогорова для вероятностей состояний. Финальные вероятности состояний
- •7.4 Схема гибели/размножения.
- •7.5 Формула Литтла.
- •7.6 Моделирование смо как Марковского процесса
- •7.7. Моделирование смо по событиям
- •Заключение
7.2.2 Потоки событий
Потоки событий – последовательность однородных событий, следующих одно за другим в какие-то случайные моменты времени t (например: вызовы телефонной станции, поток отказов ЭВМ; поток железнодорожных составов и т. д.)
Поток событий можно изобразить рядом точек на оси времени (t) (рис.7.5). (Только не забываем, что положение каждой точки случайно и на рисунке приведена только какая-то реализация потока).
t
Рис. 7.5 Поток событий
События, образующие поток, само по себе вероятностями не обладают; вероятностями обладают другие, производные от них, события, например: на участок времени t попадает ровно 2 события; или на участок времени t попадает хоть одно событие; или промежуток времени между двумя соседними событиями будет не меньше t и т.д.
Важной характеристикой потока является его интенсивность – среднее число событий, приходящееся на единицу времени. Интенсивность может быть как постоянной (=const), так и переменной, зависящей от времени t. Например, поток автомобилей днем интенсивней, чем ночью, в часы пик – интенсивней, чем в другие часы.
Поток событий, называется регулярным, если события следуют одно за другим, через определенные, равные промежутки времени, например, конвейер. На практике чаще встречаются потоки нерегулярные, со случайными интервалами.
Поток событий называется стационарным, если его вероятностные характеристики не зависят от времени. В частности, интенсивность стационарного потока должна быть постоянной. Это не значит, что фактическое число событий, появляющихся в единицу времени, постоянно; нет, поток неизбежно имеет какие-то сгущения и разрежения. Но для стационарного потока эти сгущения и разрежения не носят закономерного характера: на один участок длины 1 может попасть больше, на другой – меньше событий, но среднее число событий, приходящихся на единицу времени, постоянно и от времени не зависит.
На практике часто встречаются потоки событий, которые (по крайней мере, на ограниченном участке времени) могут считаться стационарными. Например, поток вызовов на АТС с 13 до 14 часов практически стационарен; тот же поток в течение суток уже не стационарен.
Поток событий называется потоком без последействия, если для любых двух непересекающихся участков времени 1 и 2 число событий, попадающих на один из них, не зависит от того, сколько событий попало на другой. По сути это означает, что события, образующие поток, появляются в те или иные моменты времени независимо друг от друга, вызванные каждое своими собственными причинами. Например, поток пассажиров, входящих в метро – практически не имеет последействия. А поток покупателей, отходящих от прилавка с купленными товарами, уже имеет последействие хотя бы потому, что интервал времени между отдельными покупателями не может быть меньше, чем минимальное время обслуживания продавцом. Так же обстоит дело и с потоком поездов, прибывающих на станцию: между ними всегда есть интервал безопасности tбез. Но если минимальный интервал между событиями много меньше среднего интервала между ними tmin <<1/, наличием последействия в ряде случаев можно пренебречь.
Поток событий называется ординарным, если события в нем появляются поодиночке, а не группами по несколько сразу. Например, поток клиентов к врачу обычно ординарен, а поток клиентов в ЗАГС – нет. Поток поездов, приходящих к станции – ординарен, а поток вагонов – нет. Если поток событий ординарен, то вероятностью попадания на малый участок времени t двух и более событий можно пренебречь.
Поток событий называется простейшим (или стационарным пуассоновским), если он обладает сразу тремя свойствами: стационарен, ординарен и не имеет последействия. Название «простейший» обусловлено тем, что процессы, связанные с такими потоками, имеют наиболее простое математическое описание.
(Примечание. Между прочим, самый простой на первый взгляд регулярный поток не является простейшим, так как обладает последействием: моменты появления событий в таком потоке связаны жесткой функциональной зависимостью. Без специальных усилий по поддержанию его регулярности такой поток обычно не создается, как правило, это техногенный процесс.)
Простейший поток играет среди других потоков особую роль, в чем-то подобную роли нормального распределения среди других законов распределения. При наложении достаточно большого числа независимых, стационарных и ординарных потоков и получается поток, близкий к простейшему.
Д
ля
простейшего потока с интенсивностью
интервал времени между соседними
событиями имеет так называемое
показательное распределение с плотностью
f(t)=e-t
(t>0) (рис.7.6).
Величина называется параметром показательного закона. Для случайной величины Т, имеющей показательное распределение, математическое ожидание есть величина, обратная параметру (mT=1/), а среднеквадратичное отклонение равно математическому ожиданию Т = mT = 1/. В теории вероятности в качестве «меры случайности» неотрицательной случайной величины рассматривается так называемый коэффициент вариации (ковариация) vT=Т /mT.
Для показательного распределения vT=1, то есть для простейшего потока коэффициент варьирования интервалов между событиями равен 1. Для регулярного потока, у которого интервал между событиями не случаен Т=0, коэффициент вариации vT =0.
Для большинства потоков событий, встречающихся на практике, коэффициент вариации интервалов находится в диапазоне (0,1), и может служить «мерой регулярности» потока: чем ближе к 0, тем регулярнее поток.
Поток событий называется рекуррентным (потоком Пальма), если он стационарен, ординарен, а интервалы времени между событиями Т1, Т2, Т3… представляют собой независимые случайные величины с одинаковым произвольным распределением. Пример: технический элемент работает непрерывно до отказа; отказавший элемент мгновенно заменяется новым. Если отдельные экземпляры элемента выходят из строя независимо друг от друга, то поток отказов (он же поток замен, поток восстановлений) будет рекуррентным.
Очевидно, что простейший поток есть частный случай рекуррентного, когда интервалы между событиями имеют показательное распределение. Другим частным случаем (вырожденным) является регулярный поток, где интервалы вообще не случайны, постоянны.
Целую гамму рекуррентных потоков, обладающих разной степенью упорядоченности, можно получить «просеиванием» простейшего потока.
Пример: в какое-то учреждение поступает простейший поток посетителей; у входа стоит страж, направляющий первого посетителя к первому столу, второго – к второму и т.д. Если столов n, то на каждый из них поступает так называемый поток Эрланга n-го порядка. Такой поток получается из простейшего, если сохранять в потоке каждое n-е событие, а промежуточное – выбрасывать.
Простейший поток – поток Эрланга 1-го порядка. При таком просеивании коэффициент вариации интервалов уменьшается; при увеличении порядка n поток Эрланга приближается к регулярному. Коэффициент вариации интервалов между событиями потока Эрланга N-го порядка равен =1/
Потоки Эрланга образуют целую гамму потоков с различной степенью упорядоченности – от полного беспорядка (простейший поток) до полной упорядоченности – регулярный поток.
Если все потоки событий, переводящие систему S из состояния в состояние – простейшие, то процесс, протекающий в системе, будет марковским. (Простейший поток не обладает последействием; в нем будущее не зависит от прошлого).
Если система S находится в каком-то состоянии Si, из которого есть непосредственный переход в другое состояние Sj, то это представляют следующим образом: на систему в состоянии Si действует простейший поток событий, переводящий ее по стрелке Si Sj. Как только появляется первое событие этого потока, происходит «перескок» системы из Si в Sj. Для наглядности удобно на графе состояний у каждой стрелки проставить интенсивность того потока событий, который переводит систему по данной стрелке. Граф состояний, где указаны все интенсивности, называется размеченным.