Билет 10:
Специализированные языки и системы моделирования.
Специализированные языки имеют средства описания структуры и процесса функционирования моделируемой системы, что значительно облегчает и упрощает программирование имитационных моделей, поскольку основные функциии моделирующего алгоритма при этом реализуются автоматически. Программы имитационных моделей на специализированных языках моделирования близки к описаниям моделируемых систем на естественном языке, что позволяет конструировать сложные имитационные модели пользователям, не являющимся профессиональными программистами. Одним из наиболее эффективных и распространенных языков моделирования сложных дискретных систем является в настоящее время язык GPSS .
GPSS - может быть использован для моделирования систем, формализуемых в виде систем массового обслуживания. В качестве объектов языка используются аналоги таких стандартных компонентов как заявки, обслуживающие приборы, очереди.
Наиболее популярные системы моделирования BONeS (фирма Systems and Networks) - графическая система моделирования общего назначения для анализа архитектуры систем, сетей и протоколов. Описывает модели на транспортном уровне и на уровне приложений. Дает возможность анализа воздействия приложений типа клиент - сервер и новых технологий на работу сети.
Netmaker (фирма OPNET Technologies) - проектирование топологии, средства планирования и анализа сетей широкого класса. Состоит из различных модулей для расчета, анализа, проектирования, визуализации, планирования и анализа результатов.
Optimal Perfomance (фирма Compuware; Optimal Networks) - имеет возможности быстрого оценочного и точного моделирования, помогает оптимизировать распределенное программное обеспечение.
Prophesy (компания Abstraction Software) - простая система для моделирования локальных и глобальных сетей. Позволяет оценить время реакции компьютера на запрос, количество "хитов" на WWW-сервере, количество рабочих станций для обслуживания активного оборудования, запас производительности сети при поломке определенного оборудования.
Основные особенности и возможности общецелевой системы моделирования GPSS.
GPSS (общецелевая система моделирования) — язык программирования, используемый для моделирования различных систем, в основном систем массового обслуживания, был создан в 1961 году Джеффри Гордоном. Является одним из наиболее эффективных и распространенных языков моделирования сложных дискретных систем
GPSS может быть с наибольшим успехом использован для моделирования систем, формализуемых в виде систем массового обслуживания.
В качестве объектов языка используются аналоги таких стандартных компонентов как заявки, обслуживающие приборы, очереди, что позволяет конструировать сложные имитационные модели, сохраняя привычную терминологию СМО (систем массового обслуживания).
На персональных компьютерах (ПК) типа IBM/PC язык GPSS реализован в рамках пакета прикладных программ GPSS /PC, представляет собой последовательность операторов, которые записываются и вводятся в ПК в следующем формате: номер _строки имя операция операнды ; комментарии
Каждый оператор GPSS /PC относится к одному из четырех типов: операторы-блоки, операторы определения объектов, управляющие операторы и операторы-команды.
Операторы-блоки - формируют логику модели,
Операторы определения объектов - описание параметров некоторых объектов GPSS/PC.
Управляющие операторы - для управления процессом моделирования (прогоном модели).
Операторы-команды - управляют работой интегрированной среды GPSS/PC.
Управляющие операторы и операторы-команды обычно не включаются в исходную программу, а вводятся непосредственно с клавиатуры ПК в процессе интерактивного взаимодействия с интегрированной средой.
Объекты GPSS /PC можно разделить на семь классов: динамические, операционные, аппаратные, статистические, вычислительные, запоминающие и группирующие.
Каждый объект GPSS/PC имеет имя и номер. СЧА $имя ;
Прогон текущей модели - выполняется с помощью управляющей программы - симулятором
Работа GPSS-модели под управлением симулятора заключается в перемещении транзактов от одних блоков к другим, аналогично тому, как в моделируемой СМО перемещаются заявки, соответствующие транзактам.
Каждое продвижение транзакта в модели является событием, которое должно произойти в определенный момент модельного времени, для этого используется таймер модельного времени, который автоматически корректируется в соответствии с логикой, предписанной моделью, имеет следующие особенности:
1) регистрируются только целые значения (все временные интервалы в модели изображаются целыми числами);
2) единица модельного времени определяется разработчиком модели, который задает все временные интервалы в одних и тех же, выбранных им единицах;
3) симулятор не анализирует состояние модели в каждый следующий момент модельного времени (отстоящий от текущего на единицу модельного времени), а продвигает таймер к моменту времени, когда происходит ближайшее следующее событие.