приоритет транзакта хранится в параметре
ответы. Целым приоритет транзакта хранится в параметре tpr
1. значение модуля m в алгоритме лемера должно быть целым
2. приоритет транзакта хранится в параметре t-pr
3. Результатом применения методологии структурного анализа в системе Pilgrim является имитационная модель или фукциональная
5. Наибольшая средняя длина очереди на обслуживающие заявок пуассоновского потока образуется, если законом распределения времени их обслуживания является ….
6. Конструктор Gem предназначен для …граф модели;параметры инициализации модели;переменные модели;включенные в модель фрагменты программного кода на языке C++.
автоматизировать процесс создания графа модели;
автоматически генерировать программный код на языке C++
предупреждает разработчика о возможных ошибках и не позволяет выполнять заведомо неверные действия.
7. Коэффициент вариации в формуле Хинчина–Полачека означает среднее время обслуживания заявки;— среднеквадратическое (стандартное) отклонение времени обслуживания в приборе;
8. Максимальная точность результатов моделирования в системе Pilgrim, выраженная в числе знаков после запятой, равна от 1 до 6 знаков
9. Метод обратной функции позволяет найти ….
10. Узлы pay, rent down Pilgrim-модели … кроме иерархической
11. Файл, сгенерированный конструктором Gem, представляет собой ….
12. Математическая модель отражает … объекта или явления отражающий в математической форме важнейшие его свойства: законы, которым он подчиняется, связи, присущие составляющим его частям, и т. Д
14. Имитационное моделирование стохастических систем применяется, если ….
15. К числу основных требований, предъявляемых к моделям, относятся …адекватность экономичность универсальность доступность адаптивность абстракция
16. Значение случайной величины, равномерно распределенной в произвольном интервале, обычно получается с помощью …в соответствии с методом обратной функции существует преобразование, позволяющее вычислить
18. Гистограмма на основе результатов моделирования строится для .
19. К преимуществам математических моделей относится …экономичность
20. Математическая модель объекта должна …?.
21. Для каждого узла модели системы Pilgrim в конструкторе Gem может задаваться ….
22. Транзакт в модели Pilgrim может …Представляет собой формальный запрос на какое-либо обслуживание. Транзакт в отличие от обычных заявок, которые рассматривались при анализе модели массового обслуживания в теме по стохастическим системам, имеет набор динамически изменяющихся свойств и параметров.
Транзакт является динамической единицей любой модели, работающей под управлением имитатора, и может выполнять следующие действия:
· порождать группы (семейства) других транзактов;
· поглощать другие транзакты конкретного семейства;
· определять времена обслуживания, накапливать информацию о пройденном пути и иметь информацию о своем дальнейшем пути и о путях других транзактов.
К основным параметрам транзактов относятся:
· идентификатор (номер) семейства, к которому принадлежит транзакт;
· наборы различных ресурсов, которые транзакт может захватывать и использовать какое-то время;
· время жизни транзакта;
· параметры обслуживания в каком-либо обслуживающем устройстве (включая вероятностные характеристики).
23.Наименьшее среднее время ожидания в очереди одноканальной системы массового обслуживания достигается, когда законом распределения времени обслуживания является ….
24. Стохастической системой называется система, остановка многих задач анализа и, в особенности, проектирования систем связаны с необходимостью проведения оценивания количественных показателей протекающих в системе процессов. Часто поведение этих развивающихся во времени процессов в силу действия различных случайных факторов не удается исследовать во всех деталях. Следствием этого является невозможность в отличие от детерминированных систем однозначно предсказать поведение системы в какой-то момент в будущем. Такие системы и процессы носят название стохастических (от греческого στοχαστική – умеющий угадывать). Их анализ целесообразно проводить, рассматривая их как случайные процессы, ход и исход которых зависят от ряда случайных факторов, сопровождающих их развитие.
25. Наименьшее среднее время ожидания в очереди достигается, когда законом распределения времени обслуживания является … закон распределения .
26. Недостаток метода обратной функции – это …Основной недостаток метода заключается в том, что интеграл не всегда является берущимся, а уравнение не всегда решается аналитическими методами.
Мат. моделирование. Математическое моделирование
Математическое моделирование представляет собой процесс установления соответствия реальной системе математической модели и проведения исследований на этой модели, позволяющий получить характеристики реальной системы
Моделирующие комплексы используются в случаях, когда…
Разрабатываемые модели отличает большая сложность
Будет проводится большой объем экспериментов.
Проверку формальной корректности графа модели
Выполнением команды проверки меню конструктора GEM
Автоматически во время выполнения команды генерации исходного модуля меню конструктор gem
Результатом применения методологии структурного анализа в системе Piligrim является … модель
Иерархическая
Математическая модель отражает … объекта или явления
Все существенные в смысле цели моделирования признаки.
Узел parent Piligrim-модели
Не выполняет никаких действий по обработке транзакта и при генерации программного кода просто заменяется своей декомпозицией
Отнесение признака объекта к существенным определяется …
Целями моделирования
Параметры транзакта … можно использовать только для чтения
Конструктор GEM предназначен для для …
автоматизации составления описания модели и получения на его основе исходного текста программной модели в моделирующей системе Pigrim
Событийный алгоритм моделирования целесообразно применять
Требуется максимальная эффективность
Узел term
уничтожение входящих в него транзактов
Используемые в имитационных моделях псевдослучайные числа представляют собой
Выходные данные работы специальной программы
Разработанная Pilgrim-модель …
Может переносится на другой компьютер при наличие компилятора C++
Сложность нахождения аналитического решения для случайной величины
Метод обратной функции позволяет найти …
Очередную реализацию случайной величины с заданным законом распределения
Режим возобновления прерванного обслуживания транзакта в узле serv задается параметром
t->ag?
Результаты моделирования помещаются в таблицу Excel
Транзакт в модели Pilgrim хранит …
Время жизни, приоритет, номер породивш
Коэффициент вариации в формуле Хинчина–Полачека означает отношение
Среднего квадратического отклонения времени обслуживания к его математическому ожиданию.
Число прошедших через узел ### транзактов хранится в параметре узла …
->na
Средний размер очереди в системе массового обслуживания с очередями и с пуассоновским входным потоком зависит от
Коэф. Использования прибора
Интервала поступления заявок
Моделирующий комплекс Pilgrim позволяет моделировать
Экономические, пространственные
Узлы pay, rent down Pilgrim-модели
Нельзя использовать для реализации иерахических моделей
Оценка вероятности наступления события по результатам моделирования получается на основе
Измеренной с помощью программных счесчиков частоты наступления события
для получения случайных чисел в модели системы Pilgrim используется
Моделирование в GPSS World
6.2.6.2. Блок DISPLACE
Блок DISPLACE предназначен для нахождения любого тран-закта и перемещения его к новому блоку. Блок DISPLACE имеет формат:
Операнд А указан выражением в скобках. Это выражение вычисляется и округляется до целого. Полученный результат является номером транзакта, который следует переместить. Далее блок DISPLACE отыскивает этот транзакт. При этом возможны случаи:
Когда транзакт перемещается к новому блоку, он исключается из списков:
При перемещении прерванные выполнения в устройствах не сбрасываются.
Это означает, что перемещаемый транзакт продолжает занимать устройство. Следовательно, если необходимо, нужно освободить устройство.
Пример использования блока DISPLACE приведен в п. 6.8.2.
6.2.7. Прерывание функционирования одноканального устройства
Если на входе ОКУ образуется очередь, выбор транзакта для ОКУ занятия после его освобождения происходит:
При этом очередной транзакт с большим приоритетом ждет окончания обслуживания предыдущего транзакта независимо от его приоритета. Приоритет учитывается только в образующейся очереди. В ней транзакты выстраиваются в приоритетном порядке.
Однако может возникнуть необходимость смоделировать ситуацию, когда очередной транзакт должен занять ОКУ, прервав обслуживание предыдущего транзак-та. Такое прерывание называется «захватом» ОКУ и моделируется блоком PREEMPT (захватить). Формат блока:
При занятом ОКУ блок PREEMPT функционирует либо в приоритетном режиме, либо в режиме прерывания. Режимы определяются операндом B :
6.2.7.1. Прерывание в приоритетном режиме
В приоритетном режиме прервать обслуживание предыдущего (обслуживаемого) транзакта, т. е. «захватить» ОКУ, может только транзакт с большим приоритетом. Если приоритет претендующего на занятие ОКУ транзакта равен или ниже приоритета обслуживаемого транзакта, он помещается в список задержки ОКУ последним в своем приоритете.
Операнд Е при значении RE определяет режим удаления прерванного транзакта.
Транзакт, захвативший ОКУ, освобождает его от захвата вхождением в блок RETURN.Формат блока:
Применение блоков PREEMPT и RETURN показано в п. 6.5.5.
6.2.7.2. Прерывание в режиме «захвата»
В режиме «захвата», если ОКУ уже используется, активный транзакт помещается в список отложенных прерываний или «захватывает» ОКУ. Прерывание обслуживания сразу, а не помещение транзакта в список, происходит тогда, когда список отложенных прерываний пуст и обслуживаемый транзакт сам не является «захватчиком».
Транзактам из списка отложенных прерываний предоставляется право занять ОКУ ранее, чем прерванным транзактам или транзак-там из списка задержки ОКУ.
6.2.7.3. Проверка состояния одноканального устройства, функционирующего в приоритетном режиме
Условие проверки задается одним из следующих условных операторов Х:
В первом и втором примерах блок GATE работает в режиме отказа во входе в случае невыполнения условия. Здесь также остается справедливым замечание, сделанное в п. 6.2.4: отсутствие операнда В может привести к увеличению машинного времени моделирования. Однако в некоторых случаях такой режим, наверное, можно использовать.
6.2.8. Недоступность одноканального устройства
Для моделирования неисправностей ОКУ и других ситуаций в GPSS World предусмотрены блоки, реализующие недоступность и доступность ОКУ. При использовании этих блоков статистика ОКУ не искажается. Здесь имеется в виду следующее. Для моделирования, например, неисправностей можно использовать и режим прерывания ( PREEMPT ). Однако при этом транзакты, вызывающие прерывания (имитирующие отказы ОКУ), учитываются в статистике, как и транзакты, обслуженные при исправном функционировании ОКУ. А это неправильно, вследствие чего и искажается статистика ОКУ.
6.2.8.1. Перевод в недоступное состояние и восстановление доступности
Блок делает недоступным ОКУ с именем или номером, указываемым операндом А (см. блок-диаграмму).
Операндом B задаются режимы обработки транзакта, занимающего ОКУ в момент перевода его в недоступноcть:
Операндом Е задаются режимы обработки транзактов, находящихся к моменту перевода ОКУ в недоступное состояние в списке прерываний, т. е. тех транзактов, обслуживание которых на данном ОКУ было ранее прервано:
Операнд F указывает метку блока, к которому будут направлены транзакты из списка прерываний ОКУ, из-за чего они не могут находиться в СБС, поэтому для них нет возможности занесения в их параметры времени, оставшегося до конца обслуживания.
Операнд F может использоваться и тогда, когда отсутствует операнд E (по умолчанию). В этом случае для перемещенных к новому блоку транзактов прерывание обслуживания сохраняется.
Операндом G задаются режимы обработки транзактов, находящихся к моменту перевода ОКУ в недоступное состояние в списке отложенных прерываний, т. е. ожидающих выполнения с прерыванием, и в списке задержки:
Недоступность ОКУ сохраняется до тех пор, пока транзакт, вызвавший переход в недоступное состояние, не войдет в блок
Применение блоков FUNAVAIL и FAVAIL показано в п. 6.7.5.
6.2.8.2. Проверка состояний недоступности и доступности одноканального устройства
Условие проверки задается одним из следующих условных операторов Х:
В первом примере блок GATE пропустит транзакт, когда ОКУ Stan будет недоступно.
В первом и втором примерах блок GATE работает в режиме отказа, если условия не выполняются. Здесь также остается справедливым замечание, сделанное в п. 6.2.4: отсутствие операнда В может привести к увеличению времени моделирования.
6.2.9. Сокращение машинного времени и изменение дисциплин обслуживания методом применения списков пользователя
Для экономии машинного времени заблокированные транзакты целесообразно помещать в списки пользователя и оставлять их там до тех пор, пока не будут выполнены условия, позволяющие дальнейшее продвижение этих транзактов. Кроме того, этим предоставляется возможность организовать различные дисциплины очередей, отличающиеся от дисциплины FIFO, реализованной в списке текущих событий.
Список пользователя представляет собой некоторый буфер, в который могут временно помещаться транзакты, выведенные из СТС. В отличие от списков текущих и будущих событий тран-закты вводятся в список пользователя и выводятся из него не автоматически, а по решению пользователя в соответствии с логикой модели при помощи специальных блоков.
Для ввода транзактов в список пользователя служит блок LINK (ввести в список), который может быть использован в режимах:
6.2.9.1. Ввод транзактов в список пользователя в безусловном режиме
В безусловном режиме, блок LINK имеет формат записи: [имя] LINK A,B
Операнд B определяет, в какое место списка пользователя следует поместить вошедший транзакт. Допустимые значения:
В качестве операнда B могут использоваться и другие СЧА, кроме указанных ранее СЧА транзактов: арифметическая переменная, функция, а также выражение в скобках. В этом случае выполняется вычисление указанного операндом B для активного транзакта и для всех остальных транзактов, уже находящихся в списке пользователя, начиная с начала очереди. После этого производится упорядочивание транзактов в списке пользователя по убыванию вычисленного значения. Например, блок
помещает транзакты в конец списка пользователя с номером 3 в порядке их поступления в блок. Блок
Условия, при которых транзакт помещается в список пользователя, в безусловном режиме проверяются средствами, предусмотренными разработчиком модели. Например, направить транзакт в список пользователя в случае занятости ОКУ можно так, как показано ниже.
В том же фрагменте модели список пользователя можно разместить и иначе.
В только что рассмотренных примерах предполагается, что список пользователя неограничен, т. е. в него может помещаться любое количество транзактов. При моделировании реальных систем список пользователя может использоваться для имитации, например, входного накопителя, емкость которого, как правило, ограничена. Это ограничение можно реализовать следующим образом.
Приведем еще возможный вариант этого же фрагмента модели.
6.2.9.2. Вывод транзактов из списка пользователя в условном режиме
Для вывода одного или нескольких транзактов из списка пользователя и помещения их обратно в список текущих событий служит блок UNLINK (вывести из списка), имеющий следующий формат:
Операндом А указывается имя или номер списка пользователя.
Операнд D может быть:
Если операнд D задает параметр, а операнд Е не используется, значение параметра транзакта из списка пользователя сравнивается со значением такого же параметра выводящего транзакта. Если они равны, транзакт выводится из списка пользователя. И в этом случае количество выводимых транзактов определяется операндом С.
Примеры применения списков пользователя (блоков LINK и UNLINK ) показаны в п. 6.3 и 6.7.
Моделирование в GPSS World
6.1. Основы построения и принципы функционирования языка имитационного моделирования
Чтобы обеспечить правильную последовательность обработки событий во времени, имеются системные часы, хранящие значения абсолютного модельного времени
Объекты в моделируемой системе предназначены для различных целей. Совершенно не обязательно, чтобы в одной модели участвовали все типы объектов. Необходимо лишь наличие блоков и транзактов, иначе модель работать не будет.
Объекты подразделяются на 7 категорий и 15 типов, которые представлены в табл. 6.1.
| Категории | Типы объектов |
|---|---|
| Динамическая | Транзакты |
| Операционная | Блоки |
| Аппаратная | Одноканальные устройства, памяти (многоканальные |
| устройства), логические ключи (переключатели) | |
| Вычислительная | Переменные, функции, генераторы случайных чисел |
| Статистическая | Очереди, таблицы |
| Запоминающая | Ячейки, матрицы ячеек |
| Группирующая | Числовые группы, группы транзактов, списки |
Многоканальные устройства (МКУ) предназначены для имитации оборудования, осуществляющего параллельную обработку. Они могут быть использованы одновременно несколькими тран-зактами. МКУ можно использовать в качестве аналога, например, многоканального ремонтного органа, нескольких каналов связи.
Для моделирования такого оборудования, как переключатели, имеющие только два состояния, в GPSS используются логические ключи.
Операционные объекты, т. е. блоки, задают логику функционирования модели системы и определяют пути движения транзактов между объектами аппаратной категории. В блоках могут происходить события четырех основных типов:
В зависимости от назначения блоки подразделяются на несколько групп.
Вычислительная категория служит для описания таких ситуаций в процессе моделирования, когда связи между компонентами моделируемой системы посредством процессом наиболее просто и компактно выражаются в виде математических (аналитических и логических) соотношений. Для этих целей в качестве объектов вычислительной категории введены арифметические и булевы переменные и функции.
Булевы переменные позволяют пользователю проверять в одном блоке GPSS одновременно несколько условий, исходя из состояния или значения этих условий и их атрибутов.
С помощью функций пользователь может производить вычисления непрерывных или дискретных функциональных зависимостей между аргументом функции (независимая величина) и зависимым значением функции.
Кроме библиотечных арифметических функций GPSS World имеет 24 встроенных генератора случайных чисел.
Объекты запоминающей категории обеспечивают обращения к сохраняемым значениям. Ячейки сохраняемых величин и матрицы ячеек сохраняемых величин используются для сохранения некоторой числовой информации. Любой активный транзакт может произвести запись информации в эти объекты. Впоследствии записанную в эти объекты информацию может считать любой транзакт. Матрицы могут иметь до шести измерений.
При моделировании транзакты хранятся в списках. Существует пять видов списков, только в одном из которых в любой момент времени может находиться транзакт:
Одноканальное устройство имеет:
Многоканальное устройство имеет:
6.2. Построение моделей с устройствами
Для представления собственно обслуживания используются определенные элементы. Такими элементами могут быть либо люди, либо какие-то предметы. Независимо от этого подобные элементы в GPSS называют объектами аппаратной категории, к которой относят одноканальные (ОКУ) и многоканальные устройства (МКУ) и логические ключи.
Рассмотрение методов построения моделей с устройствами начнем с имитации функционирования ОКУ.
При моделировании возможны следующие режимы организации функционирования ОКУ:
6.2.1. Организация поступления транзактов в модель и удаления транзактов из нее
6.2.1.1. Поступление транзактов в модель
Скобки [ ] означают, что данный операнд является необязательным. Не существует ограничений на число различных блоков GENERATE в одной модели.
С помощью модификатора-интервала задается равномерный закон распределения времени между генерацией транзактов.
Операнды А и B могут быть именем, положительным числом, выражением в скобках или непосредственно СЧА.
Операнд D задает граничное значение общего числа транзак-тов, которые могут войти в модель через данный блок GENERATE в течение времени моделирования. Когда это число достигнуто, данный блок GENERATE перестает быть активным. Если не определено граничное значение (операнд D не используется), блок GENERATE остается активным в течение всего времени моделирования, т. е. по умолчанию ограничения на количество создаваемых транзактов нет.
Моделирование в GPSS World
6.1. Основы построения и принципы функционирования языка имитационного моделирования
Чтобы обеспечить правильную последовательность обработки событий во времени, имеются системные часы, хранящие значения абсолютного модельного времени
Объекты в моделируемой системе предназначены для различных целей. Совершенно не обязательно, чтобы в одной модели участвовали все типы объектов. Необходимо лишь наличие блоков и транзактов, иначе модель работать не будет.
Объекты подразделяются на 7 категорий и 15 типов, которые представлены в табл. 6.1.
| Категории | Типы объектов |
|---|---|
| Динамическая | Транзакты |
| Операционная | Блоки |
| Аппаратная | Одноканальные устройства, памяти (многоканальные |
| устройства), логические ключи (переключатели) | |
| Вычислительная | Переменные, функции, генераторы случайных чисел |
| Статистическая | Очереди, таблицы |
| Запоминающая | Ячейки, матрицы ячеек |
| Группирующая | Числовые группы, группы транзактов, списки |
Многоканальные устройства (МКУ) предназначены для имитации оборудования, осуществляющего параллельную обработку. Они могут быть использованы одновременно несколькими тран-зактами. МКУ можно использовать в качестве аналога, например, многоканального ремонтного органа, нескольких каналов связи.
Для моделирования такого оборудования, как переключатели, имеющие только два состояния, в GPSS используются логические ключи.
Операционные объекты, т. е. блоки, задают логику функционирования модели системы и определяют пути движения транзактов между объектами аппаратной категории. В блоках могут происходить события четырех основных типов:
В зависимости от назначения блоки подразделяются на несколько групп.
Вычислительная категория служит для описания таких ситуаций в процессе моделирования, когда связи между компонентами моделируемой системы посредством процессом наиболее просто и компактно выражаются в виде математических (аналитических и логических) соотношений. Для этих целей в качестве объектов вычислительной категории введены арифметические и булевы переменные и функции.
Булевы переменные позволяют пользователю проверять в одном блоке GPSS одновременно несколько условий, исходя из состояния или значения этих условий и их атрибутов.
С помощью функций пользователь может производить вычисления непрерывных или дискретных функциональных зависимостей между аргументом функции (независимая величина) и зависимым значением функции.
Кроме библиотечных арифметических функций GPSS World имеет 24 встроенных генератора случайных чисел.
Объекты запоминающей категории обеспечивают обращения к сохраняемым значениям. Ячейки сохраняемых величин и матрицы ячеек сохраняемых величин используются для сохранения некоторой числовой информации. Любой активный транзакт может произвести запись информации в эти объекты. Впоследствии записанную в эти объекты информацию может считать любой транзакт. Матрицы могут иметь до шести измерений.
При моделировании транзакты хранятся в списках. Существует пять видов списков, только в одном из которых в любой момент времени может находиться транзакт:
Одноканальное устройство имеет:
Многоканальное устройство имеет:
6.2. Построение моделей с устройствами
Для представления собственно обслуживания используются определенные элементы. Такими элементами могут быть либо люди, либо какие-то предметы. Независимо от этого подобные элементы в GPSS называют объектами аппаратной категории, к которой относят одноканальные (ОКУ) и многоканальные устройства (МКУ) и логические ключи.
Рассмотрение методов построения моделей с устройствами начнем с имитации функционирования ОКУ.
При моделировании возможны следующие режимы организации функционирования ОКУ:
6.2.1. Организация поступления транзактов в модель и удаления транзактов из нее
6.2.1.1. Поступление транзактов в модель
Скобки [ ] означают, что данный операнд является необязательным. Не существует ограничений на число различных блоков GENERATE в одной модели.
С помощью модификатора-интервала задается равномерный закон распределения времени между генерацией транзактов.
Операнды А и B могут быть именем, положительным числом, выражением в скобках или непосредственно СЧА.
Операнд D задает граничное значение общего числа транзак-тов, которые могут войти в модель через данный блок GENERATE в течение времени моделирования. Когда это число достигнуто, данный блок GENERATE перестает быть активным. Если не определено граничное значение (операнд D не используется), блок GENERATE остается активным в течение всего времени моделирования, т. е. по умолчанию ограничения на количество создаваемых транзактов нет.