Одноканальная СМО

Министерство  образования и науки Российской Федерации 
 
 
 
 
 

Пояснительная записка к курсовой работе

по дисциплине:

«Компьютерное моделирование» 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Рязань 2011

Введение

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

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

     К основным этапам компьютерного моделирования  относятся:

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

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

     Целью курсовой работы является практическое усвоение основных разделов теоретической части курса «Компьютерное моделирование», закрепление и углубление знаний по математическим и программным средствам моделирования, получение навыков комплексного решения задач на базе современных ЭВМ.

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

1. Постановка  задачи

     Одноканальная СМО – ЭВМ, на которую поступают заявки (требования на расчеты). Поток заявок – простейший со средним интервалом между заявками tср.=10 мин. Время обслуживания распределено по закону Эрланга 3-го порядка с математическим ожиданием tобсл.=8 мин.

     Определить  среднее число заявок в СМО и среднее число заявок в очереди, а также средние времена пребывания заявки в системе и в очереди. Решите задачу, используя аналитическую и имитационную модели СМО. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

2. Разработка  концептуальной модели и ее формализация

  Переформулируем предложенную задачу в терминах теории массового обслуживания. В данном случае исследуемую систему можно представить в виде СМО разомкнутого типа, содержащей один канал обслуживания. Время обслуживания распределено по закону Эрланга 3-го порядка с математическим ожиданием tобсл.=8 мин. или с интенсивностью потока обслуживаний μ=1/ tобсл. При загруженном канале заявки могут ждать обслуживания в общей очереди числом мест m. Дисциплина ожидания – бесприоритетная, заявки ставятся в очередь в порядке поступления. Дисциплина обслуживания также бесприоритетная, при освобождении канала обслуживания заявка выбирается из начала очереди (дисциплина FIFO). Поток заявок – простейший, со средним интервалом между заявками tср.=10 мин. или с интенсивностью λ =1/ tср.

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

                                                             tобсл.

                       λ 
 

     Рисунок 1. Модель исследуемой системы 
 
 
 
 
 
 
 

3. Аналитический расчет СМО

     Исследуемая система – одноканальная СМО  с неограниченной очередью при простейшем потоке заявок и произвольном времени обслуживания.

     На  одноканальную СМО поступает  простейший поток заявок с интенсивностью потока заявок λ, которую рассчитаем по формуле: 

     λ =1/ tср=1/10=0,1 (заявки/мин) 

     Время обслуживания распределяется по закону Эрланга 3-го порядка с математическим ожиданием tобсл.=1/ μ=8 (мин), где μ- интенсивность потока обслуживаний. Отсюда 

       μ=1/ tобсл. =1/8=0,125 (заявки/мин). 

     Коэффициент вариации времени обслуживания для  закона Эрланга 3-го порядка рассчитывается ν =1/ , так как k=3, то  

     ν =1/ . 

     Обозначим λ/μ=ρ. Эта величина носит название относительной интенсивности. Подставляем значения и получаем  

     ρ=0,1/0,125=0,8 

     Среднее число заявок в очереди rср. определяется по формуле Поллачека-Хинчина (1):

               

     rср.=                                                                                         (1)

     Подставляем значения и получаем:

     rср.= = = =2,128≈2,13 

     Среднее число заявок в СМО zср. рассчитываем по формуле

     Поллачека-Хинчина (2): 

     zср.=                                                                                 (2) 

Подставляя  необходимые значения величин, получаем:

     zср.= = = =2,928≈2,93 

     Среднее время пребывания заявки в системе tср.сист. рассчитываем по формуле Литтла (3). 

     tср.сист.= zср / λ                                                                                           (3) 

     Аналогично  рассчитываем среднее время пребывания заявок в очереди по формуле Литтла (4): 

     tср.оч.= rср/ λ                                                                                                (4) 

     Подставляя  в формулы (3) и (4) рассчитанные выше значения zср. и rср, а также значение интенсивности потока заявок , получаем:

     tср.сист.=2,93/0,1=29,3 (мин)

     tср.оч.=2,13/0,1=21,3 (мин)

     Расчет  величин rср. и  zср. производился по формулам Поллачека-Хинчина, так как эти формулы используется в случае, если рассматривается одноканальная СМО с неограниченной очередью, на которую поступает произвольный рекуррентный поток заявок с интенсивностью λ и коэффициентом вариации ν, заключенным между нулем и единицей: 0< ν <1. Время обслуживания tобсл. также имеет произвольное распределение со средним значением tобсл. == 1/m . Для этого случая точных аналитических формул получить не удается, можно только приближенно оценить среднюю длину очереди, ограничить ее сверху и снизу. Но, если входящий поток – простейший (как в исследуемой системе), то обе оценки - верхняя и нижняя - совпадают, и получается формула Поллачека–Хинчина (формулы (1) и (2)) [1].

     Также при расчетах использовались формулы  Литтла. Формула Литтла применяется для любой СМО, при любом характере потока заявок, при любом распределении времени обслуживания, при любой дисциплине обслуживания .Среднее время пребывания заявки в системе равно среднему числу заявок в системе, деленному на интенсивность потока заявок.

     Точно таким же образом определяется вторая формула Литтла, связывающая среднее время пребывания заявки в очереди и среднее число заявок в очереди (формулы (3) и (4)). 

Рассмотрим  состояние системы, когда в ней  m заявок.

     Возможные переходы:

     S0 - в системе нет ни одной заявки;

     S1 - в системе одна заявка, она находится на обслуживании в обслуживающем аппарате, очереди нет;

     S2 – в системе две заявки, причем одна из них на обслуживании, другая в очереди;

     Sm – в системе m заявок , причем одна на обслуживании, а m-1 заявок в очереди.

     Граф  переходов для исследуемой СМО  представлен на рисунке 2. 

                     λ                      λ                 λ     .........   λ               λ

                     μ                     μ                   μ    .........   μ               μ 

Рисунок 2. Граф переходов

     Этой  системе соответствует матрица  интенсивности переходов  Λ . Сумма интенсивностей переходов, выходящих данного состояния записывается со знаком «-» в главной диагонали. Интенсивности переходов, входящие в данное состояние записываются со знаком «+».

                   S0            S1           S2                                   Sm        

         S0        -λ         λ            0 …………...  …0