
- •Введение
- •Раздел 1 т еоретические положения построения моделей
- •Глава 1. Анализ производственных задач
- •1.1. Актуальность моделирования при решении производственных задач
- •1.2. Объекты моделирования в производственных системах
- •1.3. Анализ процессов исследования и проектирования информационных систем
- •1.4. Анализ процесса проектирования и исследования технологических систем
- •1.5. Анализ процесса проектирования и исследования технических систем
- •Технологической системы
- •Глава 2. Основные понятия процесса
- •2.1. Понятия «система» и «сложная система»
- •2.2. Описание сложной системы
- •2.3. Эффективность сложной системы
- •2.4. Состояния и процессы системы
- •2.5. Основные понятия моделирования
- •2.6. Классификация моделей
- •2.7. Модельные параметры и характеристики
- •2.8. Задачи моделирования
- •2.9. Методы моделирования
- •Глава 3. Математические модели дискретных систем
- •3.1. Поток заявок
- •3.2. Системы массового обслуживания
- •3.2.1. Основные определения
- •3.2.2. Длительность обслуживания заявок
- •3.2.3. Дисциплины управления потоками заявок
- •3.2.5. Параметры систем массового обслуживания
- •3.2.6. Режимы функционирования систем массового обслуживания
- •3.2.7. Характеристики систем массового обслуживания с однородным потоком заявок
- •3.2.8. Характеристики систем массового обслуживания с неоднородным потоком заявок
- •3.3. Сети массового обслуживания
- •3.3.1. Основные определения
- •3.3.2. Классификация моделей сетей массового обслуживания
- •3.3.3. Параметры сетей массового обслуживания
- •3.3.4. Режимы функционирования сетей массового обслуживания
- •3.3.5. Характеристики сетей массового обслуживания
- •Глава 4. Аналитическое моделирование
- •4.1. Одноканальные системы массового обслуживания с однородным потоком заявок
- •4.1.1. Характеристики экспоненциальной системы массового обслуживания (m/m/1)
- •4.1.2. Характеристики неэкспоненциальной системы массового обслуживания (m/g/1)
- •4.1.3. Анализ свойств одноканальной системы массового обслуживания
- •4.2. Многоканальные системы массового обслуживания с однородным потоком заявок
- •4.2.1. Характеристики многоканальной системы массового обслуживания (m/м/n)
- •4.2.2. Анализ свойств многоканальной системы массового обслуживания
- •4.3. Одноканальные системы массового обслуживания с неоднородным потоком заявок
- •4.3.1. Характеристики и свойства до бп
- •4.3.2. Характеристики и свойства до оп
- •4.3.3. Характеристики и свойства до ап
- •4.3.4. Законы сохранения
- •4.4. Разомкнутые экспоненциальные сети массового обслуживания с однородным потоком заявок
- •4.4.1. Описание разомкнутых сетей массового обслуживания
- •4.4.2. Режимы функционирования разомкнутых сетей массового обслуживания
- •4.4.3. Расчет коэффициентов передач и интенсивностей потоков заявок в узлах разомкнутых сетей массового обслуживания
- •4.4.4. Расчет узловых характеристик разомкнутых сетей массового обслуживания
- •4.4.5. Расчет сетевых характеристик рСеМо
- •4.5. Замкнутые экспоненциальные сети массового обслуживания с однородным потоком заявок
- •4.5.1. Режим функционирования замкнутых сетей массового обслуживания
- •4.5.2. Расчет коэффициентов передач в узлах замкнутых сетей массового обслуживания
- •4.5.3. Расчет характеристик замкнутых сетей массового обслуживания
- •Глава 5. Численное моделирование
- •Глава 6. Имитационное моделирование
- •Глава 7. Линейные графы
- •7.1. Основные определения графов связи
- •7.2. Категории и виды многосвязных элементов
- •7.3. Обобщающие определения
- •7.3.1. Многосвязные поля
- •7.3.2. Модулированные 2-связные узлы
- •7.3.3. Узловая структура
- •Раздел 2 моделирование производственных систем
- •Глава 8. Метод синтеза и оценки эффективности интегрированной информационной системы
- •8.2. Концептуальная модель вычислительной системы технической подготовки производства
- •8.1. Задачи и методы анализа эффективности информационных систем предприятия
- •8.2. Концептуальная модель информационной системы предприятия
- •8.3. Параметры интегрированной информационной системы предприятия
- •8.4. Оценка пропускных способностей каналов связи
- •8.5. Определение требований к производительности центрального сервера информационной системы
- •8.6. Анализ временных характеристик интегрированной информационной системы предприятия
- •8.6.1. Модели обработки данных
- •А) однопроцессорной; б) многопроцессорной
- •В однопроцессорном сервере от периода ввода оценок
- •8.6.2. Модели передачи данных
- •Глава 9. Анализ инструментальной подготовки производства на предприятии
- •9.1. Концептуальная модель производственной системы
- •9.3.1. Инструментальная подготовка производства и инструментальное производство
- •Основного производства
- •Инструментальное производство
- •9.3.2. Классификация технологической оснастки
- •6.3. Потоки в инструментальном производстве
- •6.4. Схемы производственных процессов инструментальной подготовки производства
- •Контроль и испытание то
- •6.5. Режимы работы инструментального производства
- •Глава 10. Моделирование механообрабатывающей технологической системы
- •10.1. Необходимость моделирования технологической подготовки
- •10.3. Концептуальная модель технологической системы
- •10.4. Механическая интерпретация понятий линейных графов
- •10.6. Пример моделирования динамической системы
- •Построение модели
- •V4 v7 qout v6 v9 q10 p11 q11 c c
- •Исследование модели
- •Заключение
- •Глава 11. Моделирование автоматизированной линии сборки
- •11.1. Описание автоматизированной линии сборки
- •11.2. Дополнительные понятия к моделированию
- •11.2. Состав задач моделирования процессов функционирования
- •11.3. Концептуальные модели функционирования технологической линии сборки
- •Глава 12. Моделирование узла оптического прибора
- •2.10. Программные системы моделирования производственных систем
- •Приложение 1. Элементы теории вероятностей
- •П.1.1. Событие, вероятность, случайная величина
- •П.1.2. Законы распределений случайных величин
- •П.1.3. Числовые характеристики случайных величин
- •3.1.2. Типовые распределения случайных величин
- •Здесь использованы следующие обозначения:
- •Приложение 2. Обозначения систем массового обслуживания (символика Кендалла)
- •Приложение 3. Пример описания и расчета замкнутой однородной экспоненциальной СеМо
4.4.2. Режимы функционирования разомкнутых сетей массового обслуживания
Разомкнутые СеМО, как и СМО, могут работать в режимах установившемся, неустановившемся (переходном и нестационарном), перегруженным (см. п. 3.2.6).
Очевидно, что перегрузки в СеМО отсутствуют, если каждый узел сети работает без перегрузок. Если же хотя бы один из узлов сети не справляется с нагрузкой, то длина очереди в этом узле начнет увеличиваться до бесконечности и, следовательно, суммарное число заявок в СеМО будет расти неограниченно.
Таким
образом, для того чтобы в разомкнутой
СеМО не было перегрузок, необходимо
отсутствие перегрузок во всех узлах
СеМО, то есть загрузка
любого узла
должна быть строго меньше единицы:
для всех
.
Это условие, с учетом того, что для
линейных разомкнутых СеМО интенсивность
поступления заявок в любой узел
связана линейной зависимостью
с интенсивностью внешнего
источника заявок, может быть записано
в следующем виде:
. (4.11)
Если условие (4.11) не выполняется, то стационарный режим в разомкнутой СеМО может быть реализован одним из следующих способов:
уменьшением интенсивности внешнего источника заявок;
в перегруженных узлах:
уменьшением длительностей обслуживания заявок;
увеличением количества обслуживающих приборов.
В дальнейшем при исследовании разомкнутых СеМО будем всегда полагать, что в сети существует установившийся режим.
Расчет характеристик функционирования линейных разомкнутых однородных экспоненциальных СеМО базируется на эквивалентном преобразовании сети и проводится в три этапа:
расчет коэффициентов передач
и интенсивностей потоков заявок
в узлах разомкнутой СеМО;
расчет узловых характеристик;
расчет сетевых характеристик.
4.4.3. Расчет коэффициентов передач и интенсивностей потоков заявок в узлах разомкнутых сетей массового обслуживания
Покажем,
что интенсивности
потоков
заявок, поступающих в узлы
сети, однозначно определяются вероятностями
передач
,
задающими маршруты заявок в СеМО.
Будем
рассматривать только установившийся
режим. Так как в линейной СеМО заявки
не размножаются и не теряются, то
интенсивности входящего и выходящего
потоков для узла
будут равны между собой. Интенсивность
потока заявок, входящих в любой узел
сети, равна сумме интенсивностей потоков
заявок, поступающих в него из других
узлов
.
Поскольку заявки из узла
поступают в узел
с вероятностью
,
то интенсивность потока заявок,
поступающих из
в
,
равна
,
где
- интенсивность
выходящего и, следовательно, входящего
потока заявок узла
.
С учетом этого, на входе узла
имеется поток с интенсивностью
. (4.12)
Выражение
(4.12) представляет собой систему
линейных алгебраических уравнений
-го
порядка, из которой могут быть найдены
интенсивности потоков заявок
в виде
соотношения
.
Коэффициент
называется коэффициентом
передачи
и определяет среднее число попаданий
заявки в узел
за время ее нахождения в сети, причем
.
Для
разомкнутой СеМО известна интенсивность
источника заявок
.
Можно показать, что система уравнений
для расчета интенсивностей имеет
единственное решение вида
,
где
– заданная величина.
4.4.4. Расчет узловых характеристик разомкнутых сетей массового обслуживания
Один и тот же объект, рассматриваемый на разных уровнях детализации, можно представить различными моделями массового обслуживания, характеристики которых одинаковы или отличаются на величину, не превосходящую заданной погрешности. При выполнении определенных условий такие модели легко преобразуются друг в друга.
Для сетевых моделей в виде разомкнутых и замкнутых СеМО могут использоваться два вида преобразований:
эквивалентное преобразование;
толерантное преобразование.
Две сетевые модели эквивалентны, если сравниваемые характеристики этих моделей не отличаются друг от друга.
Две сетевые модели толерантны (подобны), если значения определенных характеристик отличаются друг от друга на величину, не превосходящую заданную.
Использование свойств эквивалентных и толерантных моделей позволяет упростить расчет характеристик моделей путем замены сложных сетевых моделей более простыми. Эквивалентными могут быть сетевые модели одного типа (например, две замкнутые сети), толерантными — модели как одного, так и разных типов.
Расчет
характеристик функционирования линейных
разомкнутых однородных экспоненциальных
СеМО базируется на эквивалентном
преобразовании сети, заключающемся в
представлении разомкнутой
СеМО с n
узлами в
виде n
независимых экспоненциальных СМО типа
M/M/N
(простейший поток заявок, длительность
обслуживания распределена по
экспоненциальному закону, N
обслуживающих приборов, см. прил. 2). При
этом интенсивность входящего потока
заявок в СМО, отображающую узел
сети, определяется из системы алгебраических
уравнений (4.12) через интенсивность
входящего в сеть потока и коэффициент
передачи соответствующего узла:
,
а средняя длительность обслуживания
заявок в СМО равна длительности
обслуживания
заявок в соответствующем узле СеМО.
Характеристики всех n СМО (время ожидания заявок в очереди и пребывания в системе, длина очереди и число заявок в системе, среднее число занятых приборов и т.д.) представляют собой узловые характеристики СеМО.
Среднее
время ожидания заявок в очереди может
быть рассчитано с использованием
выражения (3.4) для многоканальных СМО
типа M/M/N
или выражения (3.1) для одноканальных СМО
типа M/M/1,
остальные характеристики узла
– с использованием фундаментальных
соотношений, представленных в п.2.3.3, а
именно:
нагрузка в узле j, показывающая среднее число занятых приборов:
;
загрузка узла j:
, где
– число обслуживающих приборов в узле j;
коэффициент простоя узла:
время пребывания заявок в узле:
;
длина очереди заявок:
;
число заявок в узле (в очереди и на обслуживании в приборе):
.
Рассчитанные таким образом характеристики отдельных СМО в точности соответствуют узловым характеристикам исходной СеМО, то есть в отношении своих характеристик модель массового обслуживания, представляющая собой совокупность независимых СМО (каждая СМО рассматривается независимо от других), строго эквивалентна исходной СеМО в целом.