Курсовая работа: Разработка средств моделирования систем

В вычислительной системе роль обслуживающего прибора играет ЭВМ, роль заявок - решаемые задачи. Источником заявок служат терминалы пользователей. Моментом выдачи заявки является момент нажатия клавиши для подачи директивы о запуске задачи на решение. Операционная системы ЭВМ исполняет роль диспетчера: определяет очередность решения задач. В роли ячеек буфера выступают ячейки памяти ЭВМ, хранящие сведения о задачах, требующих решения.

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

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

- рассматриваются сети замкнутые и разомкнутые;

Разомкнутая сеть – это такая отрытая сеть, в которую заявки поступают из внешней среды и уходят после обслуживания из сети во внешнюю среду. Другими словами, особенностью разомкнутой СМО является наличие одного или нескольких независимых внешних источников, которые генерируют заявки, поступающие в сеть, независимо от того, сколько заявок уже находится в сети. В любой момент времени в разомкнутой СМО может находиться произвольное число заявок (от 0 до Ґ).

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

- система должна обеспечивать ввод и анализ корректности параметров систем;

При вводе параметров, необходимых для реализации системы, проверяется их корректность и если параметр введён неверно, то пользователя просят повторить ввод но уже нового параметра.

- система должна обеспечивать генерацию отчётов.

В системе моделирования GPSSW предусмотрен стандартный отчет, в котором выводятся результаты моделирования.

Стандартный отчет включает в себя результаты моделирования системы, например такие, как:

- коэффициент использования канала обслуживания;

- средняя длина очереди;

- среднее время пребывания требования в очереди и ряд других.

1.2 Разработка концептуальной модели системы

Разработка концептуальной модели подразумевает в себе определение структуры моделируемой системы, свойства ее элементов и причинно-следственные связи, присущие этой системе.

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

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

СМО состоит:

- из обслуживающих узлов(используются только устройства);

- из маршрутных узлов(используются только вероятностные или вообще не используются).

СМО подразделяются на линейные и нелинейные. Сеть массового обслуживания является линейной, если выполняется условие:интенсивность заявок на входе в любую СМО определяется линеной суперпозицией потоков других СМО. Другими словами, не должно быть дулирования или удаления элементов потоков.

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

Рисунок 1.2.1 Модель замкнутой СМО

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

Разомкнутые и замкнутые СМО могут быть как однородными, так и неоднородными. В однородных сетях может быть только один тип заявок. В неоднородных сетях соответственно может быть несколько типов заявок.

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

В рамках выполнения курсовой работы ограничимся рассмотрением линейных замкнутых и разомкнутых СМО. В них используются следующие узлы: