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

Название: Разработка моделей координации роботов для роботизированных производственных ячеек: выпускная квалификационная работа бакалавра: направление 02.03.02 «Фундаментальная информатика и информационные технологии» ; образовательная программа 02.03.02_02 «Информатика и компьютерные науки»
Авторы: Лукаш Екатерина Владимировна
Научный руководитель: Воинов Никита Владимирович
Другие авторы: Трифонов Петр Владимирович
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2020
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: супервизор; координационный модуль; дискретно-событийная система; конечный автомат; модальная логика; LTL; Supremica; производственная ячейка; supervisor; coordination module; discrete event system; finite state machine; modal logic; production cell
Тип документа: Выпускная квалификационная работа бакалавра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 02.03.02
Группа специальностей ФГОС: 020000 - Компьютерные и информационные науки
Ссылки: Отзыв руководителя; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2020/vr/vr20-926
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)

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

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

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

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

Аннотация

Работа посвящена решению одной из важных проблем компьютерной науки – разработке децентрализованного управления роботизированной производственной ячейкой. Задача реализуется посредством применения теории синтеза супервизора – логического контроллера. Из-за сложности рассматриваемой системы для создания модели используется специализированный инструмент синтез-контроля Supremica, основой которого являются конечные автоматы. Главная цель выпускной работы – продемонстрировать, как с помощью функциональных возможностей Supremica разработать модель производственной ячейки, координацию элементов которой обеспечивает модульный супервизор. В Supremica строится дискретно-событийная модель производственной ячейки и задаются конечноавтоматные спецификации, ограничивающие свободные действия агентов в системе. Разработанная модель верифицируется средствами программного пакета. С помощью симуляции проводится подробный анализ эффективности построенного управления и эксперименты с изменением параметров модели. Готовая модель демонстрирует применение теории синтеза супервизора как способа решения проблемы координации элементов в мультиагентной системе. Полученные результаты используются для написания учебно-методического пособия «Координация роботов роботизированной производственной ячейки», которое пошагово показывает, как применять теорию синтеза супервизоров для решения практических проблем.

The work is devoted to solving one of the important problems of computer science - the development of decentralized management of a robotic production cell. The problem is realized by means of application of the theory of synthesis of the supervisor - logic controller. Because of complexity of the considered system for model creation the specialized tool of synthesis-control Supremica is used which basis are final automata. The main objective of the graduation work is to demonstrate how to use the functionality of Supremica to develop a model of a production cell, the coordination of the elements of which is provided by a modular supervisor. In Supremica, a discrete event model of the production cell is built and the final specifications are set for the free actions of the agents in the system. The developed model is verified by the software package. By means of simulation, a detailed analysis of the efficacy of the built control and experiments with changing the model parameters are performed. The ready model demonstrates the application of the theory of supervisor synthesis as a way of solving the problem of elements coordination in a multi-agent system. The results obtained are used to write a training manual "Coordination of robots in a robotic cell", which shows step by step how to apply the theory of supervisor synthesis to solve practical problems.

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

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

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

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