Детальная информация
Название | Разработка и реализация алгоритма синтеза систем переходов для GR(1)–формул при помощи BDD: выпускная квалификационная работа магистра: 02.04.02 - Фундаментальная информатика и информационные технологии ; 02.04.02_02 - Проектирование сложных информационных систем |
---|---|
Авторы | Архипов Тимофей Дмитриевич |
Научный руководитель | Шошмина Ирина Владимировна |
Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
Выходные сведения | Санкт-Петербург, 2018 |
Коллекция | Выпускные квалификационные работы ; Общая коллекция |
Тематика | Алгоритмы ; Контроллеры программные ; Автоматизированные системы проектирования ; реагирующие системы ; символьные вычисления |
УДК | 004.421 ; 004.312.46 ; 004.223.5:51-3 |
Тип документа | Выпускная квалификационная работа магистра |
Тип файла | |
Язык | Русский |
Уровень высшего образования | Магистратура |
Код специальности ФГОС | 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