- •Введение
- •Раздел I. Математические методы в исследовании операций.
- •1. Основные понятия.
- •2. Классификация моделей.
- •3. Выбор решения в условиях неопределенности.
- •4. Многокритериальные задачи.
- •Раздел II. Линейное программирование.
- •1. Математические модели задач линейного программирования.
- •Задача о пищевом рационе.
- •Задача производственного планирования.
- •Задачи раскроя.
- •2.Основная задача линейного программирования (озлп)
- •Найти неотрицательные значения переменных x1 , x2 , …, xn , которые удовлетворяли бы условиям-равенствам
- •3. Геометрическая интерпретация озлп.
- •4. Симплекс-метод.
- •4. Двойственные задачи линейного программирования.
- •5. Транспортная задача.
- •Раздел III. Графовые модели.
- •1.Элементы теории графов.
- •2. Задача о кратчайшем пути.
- •3. Кратчайший путь в ориентированном графе.
- •4. Построение графа наименьшей длины.
- •5. Транспортная задача в сетевой постановке.
- •6. Метод ветвей и границ.
- •7. Максимальный поток на сети.
- •Раздел IV. Динамическое программирование.
- •Раздел V. Имитационное моделирование
- •Теория игр.
- •Антагонистические матричные игры.
- •Задачи, приводимые к матричным играм.
- •Преобразование матричных игр.
- •Методы решения матричных игр.
- •Игры с природой.
- •Раздел VI. Теория массового обслуживания.
- •Задачи теории массового обслуживания.
- •Формула Литтла.
- •Простейшие системы массового обслуживания.
- •Решение задач
Простейшие системы массового обслуживания.
n-канальная СМО с отказами. (задача Эрланга).
ПРИМЕРЫ. Телефонная станция.
Рассмотрим одну из первых по времени, «классических» задач теории массового обслуживания; эта задача возникла из практических нужд телефонии и была решена в начале нашего века датским математиком Эрлангом.
ДАНО.
n – количество каналов (линий связи),
λ – интенсивность потока заявок (1/tз ).
– интенсивность потока обслуживании (1/tоб ).
НАЙТИ.
pi – финальные вероятности состояний СМО
характеристики ее эффективности:
A — абсолютную пропускную способность, т. е. среднее число заявок, обслуживаемых в единицу времени;
Q — относительную пропускную способность, т, е. cреднюю долю пришедших заявок, обслуживаемых системой;
Pотк —вероятность отказа, т. е. того, что заявка покинет СМО необслуженной;
k — среднее число занятых каналов.
РЕШЕНИЕ. Cостояния системы S будем нумеровать по числу заявок, находящихся в системе (в данном случае оно совпадает с числом занятых каналов):
Sо — в СМО нет ни одной заявки,
S1 — в СМО находится одна заявка (один канал занят, остальные свободны),
Sk —в СМО находится k заявок (k каналов заняты, остальные свободны),
Sn — в СМО находится п заявок (все п каналов заняты).
Граф состояний СМО соответствует схеме гибели и размножения.
λ λ λ λ λ λ λ
2 3 k (k+1) (n-1) n
Разметим этот граф, т.е. проставим у стрелок интенсивности потоков событий. Из S0 в S1 систему переводит поток заявок с интенсивностью λ (как только приходит заявка, система перескакивает из S0 в S1 ). Тот же поток заявок переводит систему из любого левого состояния в соседнее правое. Проставим интенсивности у нижних стрелок. Пусть система находится в состоянии S1 (работает один канал). Он производит обслуживаний в единицу времени. Проставляем у стрелки S1 - S0 интенсивность . Теперь представим себе, что система находится в состоянии S2 (работают два канала). Чтобы ей перейти в S1 нужно, чтобы либо закончил обслуживание первый канал, либо второй; суммарная интенсивность их потоков обслуживании равна 2; проставляем ее у соответствующей стрелки. Суммарный поток обслуживаний, даваемый тремя каналами, имеет интенсивность 3, n каналами — n. Проставляем эти интенсивности у нижних стрелок.
А теперь, зная все интенсивности, воспользуемся уже готовыми формулами для финальных вероятностей в схеме гибели и размножения.
Обозначим , тогда и
Вероятность того, что заявка не будет обслужена, равна вероятности того, что все каналы заняты, следовательно
Относительную пропускную способность – это вероятность того, что заявка будет обслужена Q=1-Pотк
Абсолютная пропускная способность А= Q
А можно расценивать как интенсивность потока обслуженных заявок. Каждый занятый канал в единицу времени обслуживает заявок. Тогда среднее количество занятых каналов k=A/
Одноканальная СМО с неограниченной очередью.
ПРИМЕРЫ.
Врач, обслуживающий пациентов; будка с телефоном-автоматом.
ЗАДАЧА. Построить модель одноканальной СМО с очередью.
ПРЕДПОЛОЖЕНИЯ. Очередь не ограничена по времени ожидания и по длине.
ДАНО.
n=1 – число каналов
λ – интенсивность потока заявок
μ – интенсивность потока обслуживания.
НАЙТИ.
Рi– финальные вероятности системы.
Lсист – среднее число заявок в системе
Wсист – среднее время пребывания заявки в системе
Lоч – среднее число заявок в очереди
Wоч – среднее время пребывания заявки в очереди.
Pзан – вероятность того, что канал занят.
РЕШЕНИЕ.
S0 – канал свободен;
S1 – канал занят, очереди нет (в системе одна заявка);
S2 – канал занят, одна заявка в очереди;
…
Sk – канал занят, k-1 заявка стоит в очереди;
…
Построим граф состояний:
λ λ λ λ λ λ λ λ
μ μ μ μ μ μ μ μ
P0=(1+λ/μ+ (λ/μ)2+(λ/μ)3+…(λ/μ)k+…)-1=(1+ ρ + ρ 2+…+ ρ k+…)-1=1/(1- ρ) при ρ <1
При ρ ≥1 ряд расходится, т.е. предельные вероятности не существуют. Это говорит о том, что очередь неограниченно растёт, т.е. система перегружена.
При ρ =1 СМО справляется только с регулярным потоком заявок с временем обслуживания равным интервалу между заявками.
P0=1- ρ
P1= ρ (1- ρ)
P2= ρ 2(1- ρ)
…
Среднее число заявок в системе = математическому ожиданию числа заявок:
Lсист=(0*Р0+1*Р1+2*Р2+…+k*Pk+…
По формуле Литтла:
Среднее число заявок в очереди = среднему числу заявок в системе – среднее число заявок под обслуживанием. Число заявок под обслуживанием в одноканальной системе может быть либо 0, либо 1. Вероятность того, что канал свободен =Р0. Вероятность того, что канал занят Pзан =1-Р0=ρ. Эта вероятность и есть среднее число заявок, находящихся под обслуживанием.
Lоч= Lсист–ρ=
n-канальная СМО с неограниченной очередью.
ПРИМЕРЫ.
Кассы, обслуживающие покупателей; переговорная станция.
ЗАДАЧА. Построить модель n-канальной СМО с очередью.
ПРЕДПОЛОЖЕНИЯ. Очередь не ограничена по времени ожидания и по длине.
ДАНО.
n – число каналов
λ – интенсивность потока заявок
μ – интенсивность потока обслуживания.
НАЙТИ.
Рi– финальные вероятности системы.
Lсист – среднее число заявок в системе
Wсист – среднее время пребывания заявки в системе
Lоч – среднее число заявок в очереди
Wоч – среднее время пребывания заявки в очереди.
Pзан – вероятность того, что канал занят.
РЕШЕНИЕ.
S0 – каналы свободны;
S1 – 1 канал занят, остальные свободны (в системе одна заявка);
S2 – 2 канала занято, остальные свободны;
…
Sk – k каналов занято, остальные свободны;
…
Sn – все каналы заняты, очереди нет;
Sn+1 – все каналы заняты, одна заявка в очереди;
Sn+2 – все каналы заняты, две заявки в очереди;
…
Sn+r – все каналы заняты, r заявок стоит в очереди;
…
Построим граф состояний:
λ λ λ λ λ λ λ λ
μ 2μ 3μ nμ nμ nμ nμ nμ
Обозначим ρ = λ/μ
p0=(1+ ρ + ρ 2/2+ ρ 3/3!…+ ρ n/n!+ ρ n+1/(n!(n- ρ)) )-1 при ρ /n<1
При ρ/n ≥1 ряд расходится, т.е. предельные вероятности не существуют. Это говорит о том, что очередь неограниченно растёт, т.е. система перегружена.
P1= ρ P0
P2=P0 ρ 2/2!
…
Pn=P0 ρ n/n!
,
k= λ/μ – среднее число занятых каналов для любой СМО с неограниченной очередью.
Среднее число заявок в очереди = математическому ожиданию числа заявок в очереди:
Lоч=(1* Pn+1+2* P n+2+…+r* Pn+r+…
Среднее число заявок под обслуживанием Lобс = k = ρ
Среднее число заявок в системе Lcис= Lоч +Lобс
Одноканальная СМО с ограниченной очередью.
ПРИМЕРЫ.
Врач, обслуживающий пациентов по талонам.
ЗАДАЧА. Построить модель одноканальной СМО с ограниченной очередью.
ДАНО.
n=1 – число каналов
k – max длина очереди
λ – интенсивность потока заявок
μ – интенсивность потока обслуживания.
НАЙТИ.
Рi– финальные вероятности системы.
Lсист – среднее число заявок в системе
Wсист – среднее время пребывания заявки в системе
Lоч – среднее число заявок в очереди
Wоч – среднее время пребывания заявки в очереди.
Pзан – вероятность того, что канал занят.
РЕШЕНИЕ.
S0 – канал свободен;
S1 – канал занят, очереди нет (в системе одна заявка);
S2 – канал занят, одна заявка в очереди;
…
Sk+1 – канал занят, k заявок стоят в очереди;
Построим граф состояний:
λ λ λ λ
μ μ μ μ
P0=(1+λ/μ+ (λ/μ)2+(λ/μ)3+…(λ/μ)k+1)-1=(1+ ρ + ρ 2+…+ ρ k+1)-1
Замкнутая СМО с одним каналом и m источниками заявок.
ПРИМЕРЫ.
Оператор, обслуживающий группу станков.
ЗАДАЧА. Построить модель одноканальной СМО с ограниченным источником заявок.
ДАНО.
n=1 – число каналов
m – max число заявок
λ – интенсивность потока заявок
μ – интенсивность потока обслуживания.
НАЙТИ.
Рi– финальные вероятности системы.
Lсист – среднее число заявок в системе
Wсист – среднее время пребывания заявки в системе
Lоч – среднее число заявок в очереди
Wоч – среднее время пребывания заявки в очереди.
Pзан – вероятность того, что канал занят.
РЕШЕНИЕ.
S0 – канал свободен;
S1 – канал занят, очереди нет (в системе одна заявка);
S2 – канал занят, одна заявка в очереди;
…
Sm – канал занят, m-1 заявка в очереди;
Построим граф состояний:
mλ (m-1)λ (m-2)λ λ
μ μ μ μ
P0=(1+mλ/μ+ m(m-1)(λ/μ)2+m(m-1)(m-2)(λ/μ)3+…m!(λ/μ)m)-1=
=(1+ mρ + m(m-1)ρ2+…+ m!ρ m)-1