Детальная информация
| Название | Разработка и реализация алгоритма синтеза систем переходов для 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 для её последующей визуализации.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Авторизованные пользователи СПбПУ |
|
| Интернет | Анонимные пользователи |
|
