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

Название Разработка и реализация алгоритма синтеза систем переходов для 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
Права доступа Доступ по паролю из сети Интернет (чтение, печать, копирование)
Ключ записи RU\SPSTU\edoc\57213
Дата создания записи 20.11.2018

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

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

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

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

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

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

Количество обращений: 77 
За последние 30 дней: 0

Подробная статистика