name: Генерация программ на основе функциональных блоков для промышленных киберфизических систем с использованием эволюционных алгоритмов
keyword_list: промышленные киберфизические системы, поисковая инженерия программного обеспечения, эволюционные алгоритмы, верификация
abstract: Цель работы состоит в повышении уровня автоматизации разработки программного обеспечения для промышленных киберфизических систем стандартов IEC 61499 и IEC 61131-3.
  Задачи работы:
   1. Разработка постановок задач оптимизации, решение которых эволюционными алгоритмами способствует повышению уровня автоматизации разработки программного обеспечения для промышленных киберфизических систем.
  2. Разработка метода построения функций приспособленности для поставленных задач с целью повышения эффективности их решения с помощью эволюционных алгоритмов.
  3. Исследование эффективности решения эволюционными алгоритмами поставленных задач.
  4. Разработка модификаций эволюционных алгоритмов для повышения эффективности решения поставленных задач, а также разработка рекомендаций по их практическому применению.
  Результаты работы:
  1. Впервые предложена постановка задачи автоматической генерации связей с целью удовлетворения данной системой требований спецификации, выраженных в виде темпоральных формул.
  2.  Разработан метод построения функции приспособленности для задачи автоматической генерации связей, основанный на использовании исходных и облегченных вариантов формул из формальной спецификации.
  3. Разработан метод явной максимизации популяционного разнообразия, предназначенный для формирования новых поколений в эволюционных алгоритмах, решающих задачу автоматической генерации связей.
  4. Разработан ряд рекомендаций по применению эволюционных алгоритмов к решению задачи автоматической генерации связей.
chairman_dissertation_council.name: Игорь
chairman_dissertation_council.surname: Бессмертный
chairman_dissertation_council.patronymic: Александрович
chairman_dissertation_council.position: доцент (квалификационная категория "ординарный доцент"), факультет биотехнологий
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Владимир
organization_supervisor.surname: Васильев
organization_supervisor.patronymic: Николаевич
organization_supervisor.position: ректор
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.47.02
rubrics.name: Общие проблемы
rubrics.code: 50.05.13
rubrics.name: Технология программирования. Автоматизация программирования.
rubrics.code: 27.41.41
rubrics.name: Алгоритмы решения задач вычислительной и дискретной математики
oecds.code: 01.02.EW
oecds.name: COMPUTER SCIENCE, SOFTWARE ENGINEERING
oecds.code: 01.02.EP
oecds.name: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
speciality_codes.name: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
speciality_codes.code: 05.13.11
supervisors.fio: Буздалов М.В.
supervisors.scientific_degree: Кандидат технических наук
supervisors.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
supervisors.responsible_type: Научный руководитель
opponents.fio: Терехов А.Н.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
opponents.responsible_type: Оппонент
opponents.fio: Вайзе К.Т.
opponents.scientific_degree: Кандидат технических наук
opponents.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
opponents.responsible_type: Оппонент
protection_organization.short_name: УНИВЕРСИТЕТ ИТМО; НИУ ИТМО; ИТМО
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИТМО"
protection_organization.ogrn: 1027806868154
protection_organization.supervisor_name: ВЛАДИМИР
protection_organization.supervisor_surname: ВАСИЛЬЕВ
protection_organization.supervisor_patronymic: НИКОЛАЕВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: УНИВЕРСИТЕТ ИТМО; НИУ ИТМО; ИТМО
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИТМО"
author_organization.ogrn: 1027806868154
author_organization.supervisor_name: ВЛАДИМИР
author_organization.supervisor_surname: ВАСИЛЬЕВ
author_organization.supervisor_patronymic: НИКОЛАЕВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения