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

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

Название: Разработка и реализация алгоритма синтеза систем переходов для GR(1)–формул при помощи BDD: выпускная квалификационная работа магистра: 02.04.02 - Фундаментальная информатика и информационные технологии ; 02.04.02_02 - Проектирование сложных информационных систем
Авторы: Архипов Тимофей Дмитриевич
Научный руководитель: Шошмина Ирина Владимировна
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2018
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Алгоритмы; Контроллеры программные; Автоматизированные системы проектирования; реагирующие системы; символьные вычисления
УДК: 004.421; 004.312.46; 004.223.5:51-3
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 02.04.02
Группа специальностей ФГОС: 020000 - Компьютерные и информационные науки
Ссылки: Отзыв руководителя; Рецензия
DOI: 10.18720/SPBPU/2/v18-4928
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)

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

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

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

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

Аннотация

В данной работе рассматривается задача синтеза контроллера для реагирующей системы по требованиям, представленным с помощью подкласса LTL-формул - GR(1)-формул. Синтез основывается на символьном алгоритме, описанном в работе. Символьная запись хранится программно в виде BDD. При заданных поведениях среды и реагирующей системы и выигрышном условии, представленном в виде GR(1)-формул, производится вычисление выигрышного региона и синтез совместного контроллера, удовлетворяющего заданным требованиям. Для уменьшения количества состояний синтезированного контроллера к модели его поведения применяется алгоритм минимизации. После этой минимизации описание модели транслируется в формат DOT для её последующей визуализации.

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

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

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

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