С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

Детальная информация

Название: Построение моделей массового обслуживания в классе стохастических сетей Петри: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения
Авторы: Попсуйко Максим Юрьевич
Научный руководитель: Сиднев Александр Георгиевич
Другие авторы: Новопашенный Андрей Гелиевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт промышленного менеджмента, экономики и торговли
Выходные сведения: Санкт-Петербург, 2019
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Математическое моделирование; Петри сети; Массового обслуживания теория; стохастические сети
УДК: 004.75(043.3); 004.94(043.3); 519.872(043.3)
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 09.04.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
Ссылки: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-722
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

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

The paper solves the problem of automatic generation of an executable simulation model of a queuing network (QN) according to its formalized description. The generated QN simulation model is intended for the execution in the environment of a simulation system of stochastic Petri nets. The possibility of a formal transition from a formalized description of the QN to a formalized description of the Petri net is shown. A software package has been developed, which includes the QN task editor and the generator program for the executable file of the CPN tools package.

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

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи Прочитать Печать Загрузить
-> Интернет Анонимные пользователи

Оглавление

  • ВВЕДЕНИЕ
  • 1. Анализ проблемы моделирования систем массового обслуживания
    • 1.1. Сети систем массового обслуживания - эффективный формализм представления объектов
    • 1.2. Постановка задачи
  • 2. ФОРМАЛИЗМ СЕТЕЙ ПЕТРИ ДЛЯ МОДЕЛИРОВАНИЯ СЕТЕЙ СМО
    • 2.1. Разомкнутая сеть СМО
    • 2.2. Замкнутая сеть СМО
    • 2.3. Замкнутая сеть СМО с размножением заявок
  • 3. Выбор пакета моделирования для моделирования сетей Петри
    • 3.1. Анализ систем имитационного моделирования сетей Петри
    • 3.2. QPME
      • 3.2.1. Сети Петри с очередями
      • 3.2.2. Описание пакета моделирования QPME
    • 3.3. CPN Tools
      • 3.3.1. Представление сетей Петри в редакторе пакета CPN
      • 3.3.2. Способ создание задержек, моделирующих время обслуживания в CPN сетях
      • 3.3.3. Язык описания цветных сетей Петри CPN ML
      • 3.3.4. Cредства анализа производительности в CPN Tools
      • 3.3.5. Краткое описание интерфейса CPN Tools
      • 3.3.6. Анализ сетей Петри в CPN Tools
      • 3.3.7. Симуляция в CPN Tools
      • 3.3.8. Симуляция временной сети Петри
      • 3.3.9. Модификация XML-файла
  • 4. Разработка генератора файлов имитационных моделей
    • 4.1. Выбор среды для редактирования и построения сети СМО
    • 4.2. Обзор редактора Msagl
      • 4.2.1. Исследование архитектуры редактора Msagl
      • 4.2.2. Обзор редактора Msagl и его возможностей
      • 4.2.3. Модификация редактора Msagl
      • 4.2.4. Добавление возможности задания СМО в виде матрицы
    • 4.3. Реализация автоматизированного перехода от формализма сетей СМО к имитационной модели сетей Петри
  • 5. Тестирование
    • 5.1. Тестирование доработанного редактора Msagl
    • 5.2. Тестирование генератора файлов имитационных моделей
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ. ЛИСТИНГИ

Статистика использования

stat Количество обращений: 43
За последние 30 дней: 0
Подробная статистика