Детальная информация
Название | Построение моделей массового обслуживания в классе стохастических сетей Петри: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения |
---|---|
Авторы | Попсуйко Максим Юрьевич |
Научный руководитель | Сиднев Александр Георгиевич |
Другие авторы | Новопашенный Андрей Гелиевич |
Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
Выходные сведения | Санкт-Петербург, 2019 |
Коллекция | Выпускные квалификационные работы ; Общая коллекция |
Тематика | Математическое моделирование ; Петри сети ; Массового обслуживания теория ; стохастические сети |
УДК | 004.75(043.3) ; 004.94(043.3) ; 519.872(043.3) |
Тип документа | Выпускная квалификационная работа магистра |
Тип файла | |
Язык | Русский |
Уровень высшего образования | Магистратура |
Код специальности ФГОС | 09.04.01 |
Группа специальностей ФГОС | 090000 - Информатика и вычислительная техника |
Ссылки | Отзыв руководителя ; Рецензия ; Отчет о проверке на объем и корректность внешних заимствований |
DOI | 10.18720/SPBPU/3/2019/vr/vr19-722 |
Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
Ключ записи | ru\spstu\vkr\2464 |
Дата создания записи | 26.09.2019 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа | Анонимные пользователи |
---|---|
Сеть | Интернет |
В работе решена задача автоматического формирования исполняемой имитационной модели сети систем массового обслуживания (ССМО) по ее формализованному описанию. Сформированная имитационная модель ССМО предназначена для исполнения в среде системы имитационного моделирования стохастических сетей Петри. Показана возможность формального перехода от формализованного описания ССМО к формализованному описанию сети Петри. Разработан программный комплекс, включающий в себя редактор задания ССМО и программа-генератор исполняемого файла пакета 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. Тестирование генератора файлов имитационных моделей
- ЗАКЛЮЧЕНИЕ
- СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- ПРИЛОЖЕНИЕ. ЛИСТИНГИ
Количество обращений: 56
За последние 30 дней: 0