Warning: Undefined property: Dissovet\Models\Dissertation::$performed_in_place2 in /var/www/application/Models/Dissertation.php on line 354
Диссертация

Диссертация

Романов Дмитрий Сергеевич

Доктор наук

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

07.07.2020 
Диплом Доктор наук
29.06.2020 
Решение о выдаче диплома
19.06.2020 
Положительное заключение АК
18.03.2020 
На рассмотрении в АК
11.12.2019 
Положительная защита
11.10.2019 
Объявление опубликовано
02.10.2019 
Принят к защите
01.10.2019 
Заключение комиссии
01.09.2019 
Документы приняты
ФИО соискателя
Романов Дмитрий Сергеевич
Степень на присвоение
Доктор наук
Приказ о выдаче диплома
№ 691 от 07.07.2020
Дата и время защиты
11.12.2019 16:45
Научный консультант
Ложкин Сергей Андреевич
Доктор наук Профессор
Оппоненты
Алехина Марина Анатольевна
Доктор наук Профессор
Золотых Николай Юрьевич
Доктор наук Доцент
Редькин Николай Петрович
Доктор наук Профессор
Ученое звание
Доцент
Место выполнения работы
Московский государственный университет имени М.В.Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
Специальность
01.01.09 Дискретная математика и математическая кибернетика
физико-математические науки
Диссертационный совет
Телефон совета
+7 495 939-14-70

Объект исследования: логические схемы (ЛС) — схемы из функциональных элементов (СФЭ), контактные схемы (КС), обобщенные итеративные контактные схемы (ОИКС). Цели диссертации: разработка новых методов синтеза легкотестируемых ЛС, получение новых оценок функций Шеннона (ФШ) длин тестов для булевых функций (БФ). Применяются методы дискретной математики и математической кибернетики, комбинаторные и алгебраические методы. Получены: новые оценки длин минимальных проверяющих тестов (ПТ) относительно различных источников константных неисправностей на входах счетчиков четности; новые оценки ФШ длин ПТ и диагностических тестов (ДТ) относительно перестановок входов схем, а также относительно локальных слипаний входов схем; новые оценки а) ФШ длин ПТ и ДТ для СФЭ, б) длин минимальных единичных ПТ для КС и ОИКС. Результаты диссертации могут применяться в исследованиях тестов для БФ, реализованных ЛС. Доказанные утверждения могут включаться в курсы, читаемые студентам и аспирантам. Разработанные в диссертации методы синтеза легкотестируемых ЛС или заложенные в них идеи могут применяться для решения задач проектирования цифровых устройств.

# Название Размер