Очередь при той же загрузке: зачем проверять разброс времени обслуживания

Решение: проверить причину очереди

На обычном участке обработки складских заявок средняя операция занимает пять минут. Руководитель видит очередь и спрашивает, нужно ли менять мощность. Сначала полезно проверить другое предположение: не скрывает ли среднее значительный разброс, который можно уменьшить без изменения принятого результата.

Ниже модель помогает отобрать гипотезу для пилота. Она не обосновывает покупку оборудования, найм или отказ от дополнительного ресурса по вымышленным числам. Экономику вариантов и реальные ограничения подтверждают отдельно.

Планирование сервисной мощности уже проверяет ресурсы и календарные окна. Здесь рассматривается случайный поток к одному участку, а не размещение подтверждённых записей в расписании.

Сначала установите границы очереди

Вход — момент готовности заявки к данному участку. Начало обслуживания — фактическое занятие единственного исполнителя. Завершение — принятый результат выбранной операции. Время до начала обозначим Wq, время вместе с собственным обслуживанием — W.

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

Такое разделение отличается от лимита начатой работы. В следующем расчёте не меняются допуск и порядок обслуживания: сравниваются разные длительности при одинаковом среднем потоке.

Допущения модели нельзя заменить средними цифрами

Выберем учебную M/G/1-модель. Поступления образуют стационарный пуассоновский поток с постоянной интенсивностью λ. Есть один исполнитель, который берёт заявки по порядку поступления, FCFS, не прерывает начатое и не простаивает при наличии готовой работы.

Времена обслуживания независимы, одинаково распределены и независимы от поступлений. Их второй момент конечен. Место ожидания в математической модели не ограничено; нет отказов в приёме, ухода из очереди, приоритетов, поломок, перерывов или группового обслуживания.

Запись на фиксированные слоты, поток после открытия смены, пакетная передача заданий или несколько исполнителей требуют другой проверки. Уходы, важные для метрик звонковой очереди, здесь специально отсутствуют.

Учебный поток: в среднем 9,6 заявки в час

Все параметры вымышлены. Интенсивность λ = 0,16 заявки в минуту, то есть 9,6 в час. Средний промежуток между поступлениями равен 1/0,16 = 6,25 минуты. Это не означает, что заявки приходят ровно каждые 6,25 минуты: пуассоновский поток допускает случайные сближения и паузы.

Среднее обслуживание E[S] = 5 минут. Средняя загрузка ρ = λ × E[S] = 0,16 × 5 = 0,8. Для рассматриваемого стационарного режима необходимо ρ < 1. Двадцать процентов незанятого времени в среднем не гарантируют отсутствия ожидания.

Сначала используем постоянные пять минут как сравнительный ориентир. Затем рассмотрим исходный переменный процесс: одна минута с вероятностью 1/2 либо девять минут с вероятностью 1/2. Его среднее тоже равно (1 + 9)/2 = 5, поэтому нагрузка остаётся 0,8.

Нужен средний квадрат, а не квадрат среднего

Формула среднего ожидания в выбранной модели:

Wq = λ × E[S²] / [2 × (1 − ρ)].

Здесь E[S²] — средний квадрат длительности, выраженный в минутах в квадрате. Gallager выводит эту формулу для M/G/1 и отдельно определяет ожидание до обслуживания. MIT 6.262, раздел 4.5.5, формула 4.50.

При постоянных пяти минутах E[S²] = 25. Поэтому Wq = 0,16 × 25 / [2 × 0,2] = 10 минут. Полное среднее время на участке W = 10 + 5 = 15.

Для исходной смеси одной и девяти минут E[S²] = (1² + 9²)/2 = 41. Получается Wq = 0,16 × 41 / 0,4 = 16,4 минуты. Вместе с обслуживанием W = 21,4.

Загрузка и средняя длительность совпадают, а среднее ожидание отличается на 6,4 минуты. Подстановка 5² вместо 41 стёрла бы весь разброс. Дисперсия исходной длительности равна 41 − 25 = 16 минут²; у постоянного ориентира она нулевая.

Почему длинные операции влияют на ожидание

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

MIT Urban Operations Research отдельно отмечает зависимость среднего ожидания M/G/1 от дисперсии обслуживания. MIT: M/G/1 queueing system, раздел 4.7. Это свойство заявленной модели, не доказательство, что любая стандартизация реального процесса даст такой же эффект.

Гипотеза пилота при прежнем среднем труде

Предположим, команда хочет проверить изменение подготовки входных данных, чтобы сократить длинные повторные уточнения. Для расчётного сценария отдельно зададим новое обслуживание: четыре либо шесть минут с вероятностями 1/2. Возможность получить такое распределение ещё требует подтверждения.

Среднее остаётся пять, загрузка — 0,8. Второй момент равен (4² + 6²)/2 = 26, дисперсия 26 − 25 = 1. Ожидание Wq = 0,16 × 26 / 0,4 = 10,4 минуты; полное время W = 15,4.

Пусть учебный критерий пилота — среднее ожидание не выше 12 минут. Исходный переменный процесс с 16,4 не проходит, предполагаемый вариант с 10,4 проходит. Постоянный сравнительный ориентир с десятью тоже удовлетворяет критерию, но не объявляется доступным реальным способом работы.

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

Среднее ожидание не является сроком каждого заказа

Число 10,4 не означает, что каждая заявка начнётся за 10,4 минуты или что определённый процент начнётся раньше двенадцати. Максимум, процентиль и вероятность соблюдения порога — другие показатели. Эта формула их не рассчитывает.

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

Малое изменение нагрузки может сильно изменить очередь

В отдельном сценарии сохраним исходное обслуживание одной или девяти минут, но увеличим λ до 0,18 в минуту. Загрузка станет 0,9. Тогда Wq = 0,18 × 41 / [2 × 0,1] = 36,9 минуты вместо 16,4.

При λ = 0,20 и прежних пяти минутах загрузка достигает единицы. Нельзя подставить нулевой знаменатель и записать ноль ожидания: конечного стационарного значения по этой модели нет. Условие «в среднем мощность равна входу» не создаёт запаса против случайных колебаний.

Добавление второго исполнителя тоже меняет модель. Нельзя просто поделить загрузку пополам в формуле одного сервера и объявить результат доказанным ожиданием двухканальной системы.

Что даёт закон Литтла

После расчёта ожидания можно проверить среднее число ожидающих: Lq = λ × Wq. Получаем 1,6 для постоянного ориентира, 2,624 для исходного переменного процесса и 1,664 для пилота. Дробь означает среднее по времени, а не часть физической заявки.

Связь полезна для согласования количества и времени, но сама не определяет Wq по известным λ и среднему обслуживанию. Gallager прямо отмечает эту границу закона Литтла. MIT: раздел 4.5.4.

Данные и приёмочные проверки

Сохраняйте вход, начало, завершение, тип заявки и результат. Отделяйте активное обслуживание от ожидания, фиксируйте перерывы, уходы и смену состава работы. Средний квадрат наблюдений считают как сумму квадратов длительностей, делённую на их число; квадрат среднего отвечает другому вопросу.

1. Единицы λ и длительности согласованы.
2. Все три сценария сохраняют среднее пять и загрузку 0,8.
3. Вторые моменты 25/41/26 дают ожидания 10/16,4/10,4.
4. Собственное обслуживание добавляется только к полному времени W.
5. Критерий 12 подписан как среднее, не гарантия порога.
6. Пилот не скрывает подготовку, пропуски и незавершённые заявки.
7. Изменение числа серверов или правил выпуска требует новой модели.

В SABSUS обсудите события заказов и аналитику. Поддержку расчёта очереди и проверки распределений нужно подтвердить отдельно. Модель не доказывает фактическую экономию труда.

Частые вопросы

Загрузка 80% означает свободную пятую часть каждой минуты?

Нет. Это средняя величина. Случайные поступления и длительные операции создают периоды ожидания и простоя.

Можно оценить очередь только по средней длительности?

Не в выбранной M/G/1-модели. Нужен также второй момент и выполнение остальных предпосылок.

Пилот с меньшим разбросом сразу можно внедрять?

Сначала подтвердите результат, полные затраты и отсутствие переноса ожидания. Учебная модель лишь помогает выбрать проверяемую гипотезу.

Источники

• MIT, Robert Gallager: Renewal Processes, разделы 4.5.4–4.5.5.
• MIT Urban Operations Research: M/G/1 queueing system.