name: Разработка алгоритмов и программного комплекса для вычислений в теории мультиопераций
keyword_list: надминимальные алгебры минимальные алгебры мультиоперации операции
abstract: Теория мультиопераций в настоящее время активно развивается. Одним из основных направлений развития теории является построение решеток и классификация алгебр мультиопераций. Алгебры операций и мультиопераций можно получить с помощью вычислительных экспериментов и компьютерных вычислений. Компьютерных инструментов для моделирования алгебр мультиопераций на сегодняшний день нет, поэтому был разработан программный комплекс для вычисления алгебр в теории мультиопераций. Таким образом, развитие теории мультиопераций позволяет расширить круг решаемых задач, поэтому развитие теории мультиопераций имеет важное значение. 
  В работе представлен алгоритм для вычисления всех минимальных алгебр операций ранга 3, алгоритм для вычисления всех надминимальных алгебр операций ранга 3 над всеми минимальными алгебрами ранга 3. Кроме того, на основании полученных вычислений разработано конструктивное описание всех классов минимальных и надминимальных алгебр операций ранга 3, представлена математическая модель обобщенных автоматов с помощью мультиопераций, а также разработан программный комплекс для вычислений в теории мультиопераций.
chairman_dissertation_council.name: Михаил
chairman_dissertation_council.surname: Куприянов
chairman_dissertation_council.patronymic: Степанович
chairman_dissertation_council.position: Заведующий кафедрой
chairman_dissertation_council.degree: Доктор технических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: 0
chairman_dissertation_council.scopus_author_id: 56785609900
chairman_dissertation_council.rinc_id: 2900
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Виктор
organization_supervisor.surname: Шелудько
organization_supervisor.patronymic: Николаевич
organization_supervisor.position: ректор
organization_supervisor.territory: РОССИЯ
rubrics.code: 28.25.23
rubrics.name: Кибернетические аспекты структурно-логической теории алгоритмов и программирования
rubrics.code: 27.47.17
rubrics.name: Математическая теория информации
oecds.code: 01.01.PO
oecds.name: MATHEMATICS, INTERDISCIPLINARY APPLICATIONS
speciality_codes.name: Математическое моделирование, численные методы и комплексы программ
speciality_codes.code: 05.13.18
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: 1027806875381
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: СПбГЭТУ "ЛЭТИ"
author_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский государственный электротехнический университет “ЛЭТИ” им. В.И. Ульянова (Ленина)"
author_organization.ogrn: 1027806875381
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения