Диссертация

Ефимов Алексей Андреевич

Кандидат наук

Статус диссертации

  
Диплом Кандидат наук
  
Решение о выдаче диплома
  
Положительное заключение АК
27.02.2024 
На рассмотрении в АК
22.12.2023 
Положительная защита
14.11.2023 
Объявление опубликовано
10.11.2023 
Принят к защите
07.11.2023 
Заключение комиссии
07.11.2023 
Документы приняты
ФИО соискателя
Ефимов Алексей Андреевич
Степень на присвоение
Кандидат наук
Дата и время защиты
22.12.2023 16:45
Место проведения защиты
119234, Москва, Ленинские горы, д. 1, МГУ имени М. В. Ломоносова, аудитория 14-08.
Научный руководитель
Гасанов Эльяр Эльдарович
Доктор наук Профессор
Калачев Глеб Вячеславович
Кандидат наук
Оппоненты
Ложкин Сергей Андреевич
Доктор наук Профессор
Сергеев Игорь Сергеевич
Доктор наук
Мастихина Анна Антоновна
Кандидат наук
Место выполнения работы
Московский государственный университет имени М.В.Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем
Специальность
1.1.5. Математическая логика, алгебра, теория чисел и дискретная математика
физико-математические науки
Диссертационный совет
Телефон совета
+7 985 304-73-65

Представленная работа является исследованием в области разработки универсальных методов синтеза объёмных схем, реализующих булевы функции и операторы из заданного класса и оптимальных в некотором смысле. Автором получен порядок функции Шеннона потенциала объёмных схем для класса схем без ограничений и в классе схем с близкими выходами.

Диссертация состоит из введения, трёх глав, заключения, списка литературы.

Во введении обосновывается актуальность исследований, проводимых в рамках данной диссертационной работы, приводится обзор научной литературы по изучаемой проблеме, формулируется цель, ставятся задачи работы, излагается научная новизна и научная значимость представляемой работы. Также в введении даются основные понятия и определения. В частности, определяется объёмная схема и потенциал, как мера сложности объёмных схем.

Первая глава диссертационной работы посвящена верхним оценкам функции Шеннона для булевых функций и операторов, реализуемых объёмными схемами. А именно, приведен универсальный метод синтеза, позволяющий построить для любой булевой функции (оператора) объёмную схему, реализующую данную функцию (оператор) и имеющую оптимальный порядок сложности и потенциала.

Вторая глава диссертационной работы полностью посвящена нижней оценке функции Шеннона потенциала для частичных булевых операторов. Для доказательства используется вариация метода расслоения, ранее применявшегося в работах для плоских схем. Отметим, что для всюду определенных операторов нижняя оценка совпадает с верхней оценкой.

В третьей главе диссертационной работы рассматривается класс объёмных схем с близкими выходами. Для него получены нижняя и верхняя оценка функции Шеннона потенциала объёмных схем, совпадающие по порядку.

В заключении излагаются основные результаты проведенного исследования.