ИСТИНА

Шуплецов Михаил Сергеевич пользователь ответственный

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики, доцент, с 30 ноября 2016

кандидат физико-математических наук с 2011 года

Прежние места работы (Нажмите для отображения)

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики, ответственный по системе

Соавторы: Ложкин С.А., Данилов Б.Р., Жуков В.В., Машко С.В., Коноводов В.А., Багров Н.Ю., Golubeva L.I., Дайняк А.Б., Романов Д.С., Западинский А.Б., Готманов А.Н., Автайкина М.А., Зенин Е. показать полностью..., Илларионова С.В., Кулешов О.В., Высоцкий Л.И., Антюфеев Г.В., Podvyaznikov D.A., Павлова А.Ф.

32 статьи, 23 доклада на конференциях, 3 тезисов докладов, 10 НИР, 1 свидетельство о регистрации прав на ПО, 4 награды, 2 членства в научных обществах, 1 стажировка, 4 членства в программных комитетах, 1 диссертация, 14 дипломных работ, 16 курсовых работ, 16 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 14, Scopus: 18

IstinaResearcherID (IRID): 2703955

Деятельность стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

---

• Статьи в журналах

  • • 2018 Алгоритмы решения задачи функциональной коррекции схем из функциональных элементов
    • Автайкина М.А., Шуплецов М.С.
    • в журнале Сборник трудов Всероссийских научно-технических конференций "Проблемы разработки перспективных микро и наноэлектронных систем (МЭС)", том 1, с. 23-29 DOI
  • • 2018 Алгоритмы синтеза схем-заплаток для решения ресурсо-ориентированной функциональной коррекции схем из функциональных элементов
    • Жуков В.В., Высоцкий Л.И., Шуплецов М.С.
    • в журнале Сборник трудов Всероссийских научно-технических конференций "Проблемы разработки перспективных микро и наноэлектронных систем (МЭС)", том 1, с. 30-37 DOI
  • 
    • 2017 Metabolic flux analysis using 13C isotopes. 1. Experimental basis of the method and the present state of investigations
    • Golubeva LI, Shupletsov MS, Mashko SV
    • в журнале Applied Biochemistry and Microbiology, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 53, № 7, с. 733-753 DOI
  • 
    • 2017 Metabolic flux analysis using 13C isotopes. 3. Significance for systems biology and metabolic engineering
    • Golubeva LI, Shupletsov MS, Mashko SV
    • в журнале Applied Biochemistry and Microbiology, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 53, № 9, с. 827-841 DOI
  • 
    • 2017 Synthesis of asymptotically size-optimal Boolean circuits protected from functionality inference
    • Lozhkin S.A., Shupletsov M.S., Danilov B.R.
    • в журнале Mathematical Aspects of Cryptography, том 8, № 2, с. 87-96
  • • 2017 Анализ метаболических потоков с использованием 13 С изотопов ( 13 C-MFA): III. Значение для системной биологии и метаболической инженерии
    • Голубева Л.И., Шуплецов М.С., Машко С.В.
    • в журнале Биотехнология, издательство ГосНИИгенетика (М.), том 33, № 2, с. 9-28
  • • 2016 Анализ метаболических потоков с использованием 13 С изотопов ( 13 C-MFA): I. Экспериментальные основы метода и состояние исследований
    • Голубева Л.И., Шуплецов М.С., Машко С.В.
    • в журнале Биотехнология, издательство ГосНИИгенетика (М.), том 32, № 5, с. 10-37
  • • 2016 Анализ метаболических потоков с использованием 13С-изотопов (13C-MFA). II. Математические основы метода
    • Шуплецов М.С., Голубева Л.И., Машко С.В.
    • в журнале Биотехнология, издательство ГосНИИгенетика (М.), том 32, № 6, с. 9-34
  • • 2016 Методы разбиения логических схем для оптимизации решения задач проверки эквивалентности и функциональной коррекции схем
    • Антюфеев Г.В., Жуков В.В., Зенин Е.Ю., Шуплецов М.С.
    • в журнале Сборник трудов Всероссийских научно-технических конференций "Проблемы разработки перспективных микро и наноэлектронных систем (МЭС)", том 1, с. 16-23
  • 
    • 2016 Распределенная система и алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных
    • Ложкин С.А., Шуплецов М.С., Коноводов В.А., Данилов Б.Р., Жуков В.В., Багров Н.Ю.
    • в журнале Сборник трудов Всероссийских научно-технических конференций "Проблемы разработки перспективных микро и наноэлектронных систем (МЭС)", том 1, с. 40-47
  • 
    • 2015 Switching Activity of Boolean Circuits and Synthesis of Boolean Circuits with Asymptotically Optimal Complexity and Linear Switching Activity
    • Lozhkin S.A., Shupletsov M.S.
    • в журнале Lobachevskii Journal of Mathematics, издательство Kazanskii Gosudarstvennyi Universitet/Kazan State University (Russian Federation), том 36, № 4, с. 450-460 DOI
  • 
    • 2014 OpenFLUX2: 13 C-MFA modeling software package adjusted for the comprehensive analysis of single and parallel labeling experiments
    • Shupletsov M.S., Golubeva L.I., Rubina S.S., Podvyaznikov D.A., Iwatani S., Mashko S.V.
    • в журнале Microbial Cell Factories, издательство BioMed Central (London), том 13, № 1:152, с. 1-25 DOI
  • • 2014 О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью
    • Ложкин С.А., Шуплецов М.С.
    • в журнале Ученые записки Казанского университета. Серия Физико- математические науки, том 156, № 3, с. 84-97
  • 
    • 2010 One Approach to synthesizing predicate circuits on the basis of generalized variables
    • Shupletsov M.S.
    • в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), том 34, № 4, с. 172-178 DOI
  • • 2010 Об одном подходе к синтезу предикатных схем на основе обобщенных переменных
    • Шуплецов М.С.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 4, с. 24-30
  • • 2009 Оценки высокой степени точности для сложности предикатных схем в некоторых базисах
    • Шуплецов М.С.
    • в журнале Ученые записки Казанского университета. Серия Физико- математические науки, том 151, № 2, с. 173-184
  • • 2008 Вероятностная аппроксимация задачи размещения
    • Ложкин С.А., Романов Д.С., Готманов А.Н., Дайняк А.Б., Западинский А.Б., Шуплецов М.С.
    • в журнале Сборник трудов Всероссийских научно-технических конференций "Проблемы разработки перспективных микро и наноэлектронных систем (МЭС)", с. 132-135

• Статьи в сборниках

  • 
    • 2017 Distributed System and Switching Circuits Optimization Methods for Boolean Functions of Small Number of Variables
    • Lozhkin S.A., Shupletsov M.S., Konovodov V.A., Danilov B.R., Zhukov V.V., Bagrov N.Yu
    • в сборнике Problems of Advanced Micro- and Nanoelectronic Systems Development, место издания IPPM RAS Moscow, том 1, с. 9-15
  • 
    • 2017 Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction
    • Mikhail Shupletsov, Mariya Avtaikina
    • в сборнике 2017 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), издательство IEEE (Piscataway, NJ, United States), с. 1032-1035 DOI
  • 
    • 2017 Об одной модели сокрытия функциональности схем и оценках степени их защищённости при асимптотически оптимальной реализации «типичных» функций
    • Ложкин С.А., Павлова А.Ф., Данилов Б.Р., Шуплецов М.С.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.), серия Проблемы теоретической кибернетики, место издания М: МАКС Пресс, с. 145-147
    • редакторы Данилов Борис Радиславович, Журавлев Юрий Иванович, Романов Дмитрий Сергеевич
  • • 2017 Оценки функции Шеннона для динамической активности ориентированных контактных схем
    • Шуплецов М.С.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.), серия Проблемы теоретической кибернетики, место издания М: МАКС Пресс, с. 263-266
    • редакторы Данилов Борис Радиславович, Журавлев Юрий Иванович, Романов Дмитрий Сергеевич
  • • 2016 Точное значение функции Шеннона для сложности контактных схем от пяти переменных
    • Ложкин С.А., Шуплецов М.С., Коноводов В.А., Данилов Б.Р., Жуков В.В., Багров Н.Ю.
    • в сборнике Материалы XII Международного семинара «Дискретная ма- тематика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 147-149
  • • 2015 О динамической активности схем из функциональных элементов в стандартном базисе, реализующих мультиплексорную функцию
    • Кулешов О.В., Шуплецов М.С.
    • в сборнике Дискретные модели в теории управляющих систем. IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г, серия ISBN 978-5-317-04970-6, место издания МАКС Пресс Москва, с. 139-141
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2015 О связи между глубиной и динамической активностью схем из функциональных элементов в унимодальных базисах
    • Ложкин С.А., Шуплецов М.С.
    • в сборнике Дискретные модели в теории управляющих систем. IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г, серия ISBN 978-5-317-04970-6, место издания МАКС Пресс Москва, с. 148-150
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2015 Об уточнении значений функционалов сложности схем для булевых функций от четырёх и пяти переменных
    • Ложкин С.А., Шуплецов М.С., Коноводов В.А., Данилов Б.Р., Жуков В.В., Багров Н.Ю.
    • в сборнике Материалы X молодежной научной школы по дискретной математике и ее приложениям (Москва, 6-8 октября 2015 г.), место издания Москва: ИПМ им. М.В.Келдыша, с. 42-46
  • • 2014 О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с оптимальной по порядку динамической активностью
    • Ложкин С.А., Шуплецов М.С.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.), серия Проблемы теоретической кибернетики, место издания Отечество Казань, с. 176-179
  • • 2011 О сложности реализации предикатов из некоторых классов предикатными схемами
    • Шуплецов М.С.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.), серия Проблемы теоретической кибернетики, место издания Издательство Нижегородского университета Нижний Новгород, с. 573-577
  • • 2010 О сложности предикатных схем в базисах из элементов с не более чем тремя полюсами
    • Шуплецов М.С.
    • в сборнике Материалы X Международного семинара "Дискретная математика и ее приложения" (Москва, 1-6 февраля 2010 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 164-166
  • • 2009 О синтезе предикатных схем на основе разложений по обобщенным переменным
    • Шуплецов М.С.
    • в сборнике Материалы XVIII Международной школы-семинара "Синтез и сложность управляющих систем" имени академика О. Б. Лупанова (Пенза, 28 сентября - 3 октября 2009 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 123-128
  • • 2009 О сложности реализации булевых функций контактными схемами с ограничениями на структуру
    • Дайняк А.Б., Романов Д.С., Шуплецов М.С.
    • в сборнике Материалы XVIII Международной школы-семинара «Синтез и сложность управляющих систем» имени академика О. Б. Лупанова (Пенза, 28 сентября – 3 октября 2009 г.), место издания М.: Изд-во мех.-мат. ф-та МГУ, с. 33-38
  • • 2008 The placement problem: probabilistic apporach to delay optimization
    • Lozhkin S.A., Romanov D.S., Gotmanov A.N., Dainak A.B., Zapadinsky A.B., Shupletsov M.S.
    • в сборнике Proceedings of CDNLIVE! EMEA 2008 (Munich, 28-30 Aipril, 2008), с. 1-1
  • • 2008 Асимптотика функции Шеннона для сложности предикатных схем в некоторых базисах блочного типа
    • Шуплецов М.С.
    • в сборнике Материалы XVII Международной школы- семинара «Синтез и сложность управляющих систем» имени академика О.Б.Лупанова, место издания Изд-во Института математики СО РАН Новосибирск, с. 196-201

• Доклады на конференциях

  • • 2019 Оптимизация решения задачи выполнимости булевых формул методами машинного обучения (Устный)
    • Авторы: Шуплецов М.С., Илларионова С.В.
    • «Ломоносовские чтения - 2019». Секция «ВМК», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2018 Алгоритмы решения задачи функциональной коррекции схем из функциональных элементов (Устный)
    • Авторы: Автайкина М.А., Шуплецов М.С.
    • VIII Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем - 2018» (МЭС-2018)., Москва, Зеленоград, Россия, 1-5 октября 2018
  • • 2018 Алгоритмы синтеза схем-заплаток для решения ресурсо-ориентированной функциональной коррекции схем из функциональных элементов (Устный)
    • Авторы: Жуков В.В., Высоцкий Л.И., Шуплецов М.С.
    • VIII Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем - 2018» (МЭС-2018)., Москва, Зеленоград, Россия, 1-5 октября 2018
  • • 2017 Магистерская программа "Дискретные управляющие системы и их приложения" (Устный)
    • Автор: Шуплецов М.С.
    • Международный научно-образовательный семинар “Научно-образовательные программы в области проектирования интегральных схем”, Москва, ВМК МГУ, Россия, 25 сентября 2017
  • • 2017 Об одной модели сокрытия функциональности схем и оценках степени их защищённости при асимптотически оптимальной реализации «типичных» функций (Устный)
    • Авторы: Данилов Б.Р., Ложкин С.А., Павлова А.Ф., Шуплецов М.С.
    • XVIII Международная конференция «Проблемы теоретической кибернетики» (Пенза, 19-23 июня 2017 г.), Пенза, Россия, 19-23 июня 2017
  • • 2017 Оценки функции Шеннона для динамической активности ориентированных контактных схем (Устный)
    • Автор: Шуплецов М.С.
    • XVIII Международная конференция «Проблемы теоретической кибернетики» (Пенза, 19-23 июня 2017 г.), Пенза, Россия, 19-23 июня 2017
  • • 2016 Методы разбиения логических схем для оптимизации решения задач проверки эквивалентности и функциональной коррекции схем (Устный)
    • Авторы: Антюфеев Г.В., Жуков В.В., Зенин Е.Ю., Шуплецов М.С.
    • VII Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем - 2016» (МЭС-2016). , Москва, Зеленоград, Россия, 3-6 октября 2016
  • • 2016 Распределенная система и алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных (Устный)
    • Авторы: Ложкин С.А., Шуплецов М.С., Коноводов В.А., Данилов Б.Р., Жуков В.В., Багров Н.Ю.
    • VII Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем - 2016» (МЭС-2016). , Москва, Зеленоград, Россия, 3-6 октября 2016
  • • 2016 Точное значение функции Шеннона для сложности контактных схем от пяти переменных (Устный)
    • Авторы: Ложкин С.А., Шуплецов М.С., Коноводов В.А., Данилов Б.Р., Жуков В.В., Багров Н.Ю.
    • Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова , МГУ, Россия, 20-25 июня 2016
  • • 2016 Synthesis of Asymptotically Size-Optimal Boolean Circuits Protected from Functionality Inference (Устный)
    • Авторы: Ложкин С.А., Данилов Б.Р., Шуплецов М.С.
    • CTCrypt'2016, Ярославль, Россия, 6-8 июня 2016
  • • 2015 Large-Scale Equivalence Checking and Function Correction (Стендовый)
    • Авторы: Шуплецов М.С., Антюфеев Г.В., Жуков В.В., Зенин Е.
    • 2015 International Conference On Computer Aided Design, Остин, штат Техас, США, 2-6 ноября 2015
  • • 2015 Об уточнении значений функционалов сложности схем для булевых функций от четырёх и пяти переменных (Устный)
    • Авторы: Шуплецов М.С., Ложкин С.А., Коноводов В.А., Данилов Б.Р., Жуков В.В., Багров Н.Ю.
    • Десятая молодежная научная школа по дискретной математике и ее приложениям (Москва, 6-8 октября 2015 г.), Институт прикладной математики им. М.В. Келдыша Российской академии наук, Россия, 6-8 октября 2015
  • • 2015 О динамической активности схем из функциональных элементов в стандартном базисе, реализующих мультиплексорную функцию (Устный)
    • Авторы: Кулешов О.В., Шуплецов М.С.
    • IX Международная конференция "Дискретные модели в теории управляющих систем", Москва и Подмосковье, Россия, 20-22 мая 2015
  • • 2015 О связи между глубиной и динамической активностью схем из функциональных элементов в унимодальных базисах (Устный)
    • Авторы: Ложкин С.А., Шуплецов М.С.
    • IX Международная конференция "Дискретные модели в теории управляющих систем", Москва и Подмосковье, Россия, 20-22 мая 2015
  • • 2014 О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с оптимальной по порядку динамической активностью (Устный)
    • Авторы: Шуплецов М.С., Ложкин С.А.
    • XVII Международная конференция "Проблемы теоретической кибернетики" (Казань, 16-21 июня 2014), Казань, Россия, 16-21 июня 2014
  • • 2013 Advantages of the fundamental mathematical education for CAD software engineers (Устный)
    • Автор: Шуплецов М.С.
    • Международный научно-образовательный семинар ВМК МГУ и компаний Imagination Technologies (США) и NAUTECH (Россия, Украина), Москва, ВМК МГУ, Россия, 12 июля 2013
  • • 2011 О сложности реализации предикатов из некоторых классов предикатными схемами (Устный)
    • Автор: Шуплецов М.С.
    • XVI Международная конференция "Проблемы теоретической кибернетики", Нижний Новгород, б/о Спутник (20-25 июня 2011 г.), 20-25 июня 2011
  • • 2010 О сложности предикатных схем в базисах из элементов с не более чем тремя полюсами (Устный)
    • Автор: Шуплецов М.С.
    • X международный семинар "Дискретная математика и ее приложения" , Москва, Россия, Россия, 2010
  • • 2009 О синтезе предикатных схем на основе разложений по обобщенным переменным (Устный)
    • Автор: Шуплецов М.С.
    • XVIII Международная школа-семинар «Синтез и сложность управляющих систем» имени академика О. Б. Лупанова, Пенза, 28 сентября - 3 октября 2009
  • • 2009 О сложности реализации булевых функций контактными схемами с ограничениями на структуру (Устный)
    • Авторы: Романов Д.С., Шуплецов М.С., Дайняк А.Б.
    • XVIII Международная школа-семинар «Синтез и сложность управляющих систем» имени академика О. Б. Лупанова, Пенза, 28 сентября - 3 октября 2009
  • • 2008 Асимптотика функции Шеннона для сложности предикатных схем в некоторых базисах блочного типа (Устный)
    • Автор: Шуплецов М.С.
    • XVII Международная школа-семинар «Синтез и сложность управляющих систем» имени академика О. Б. Лупанова, Новосибирск, 2008
  • • 2008 Вероятностная аппроксимация задачи размещения (Устный)
    • Авторы: Ложкин С.А., Романов Д.С., Готманов А.Н., Дайняк А.Б., Западинский А.Б., Шуплецов М.С.
    • III Всероссийская научно-техническая конференция "Проблемы разработки перспективных микро- и наноэлектронных систем – 2008" (МЭС-2008), Московская область, 2008
  • • 2008 Оценки сложности предикатных схем в некоторых базисах (Устный)
    • Автор: Шуплецов М.С.
    • XV Международная конференция "Проблемы теоретической кибернетики", Казань, 2008

• Тезисы докладов

  • • 2019 Оптимизация решения задачи выполнимости булевых формул методами машинного обучения
    • Шуплецов М.С., Илларионова С.В.
    • в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 116-117
  • • 2008 Оценки сложности предикатных схем в некоторых базисах
    • Шуплецов М.С.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XV Международной конференции (Казань, 2-7 июня 2008 г.), серия Проблемы теоретической кибернетики, место издания Изд-во Казанского государственного университета Казань, тезисы, с. 134-135
  • • 2006 Асимптотические оценки высокой степени точности для сложности предикатных схем из одного класса
    • Ложкин С.А., Шуплецов М.С.
    • в сборнике Материалы XVI Международной школы-семинара «Синтез и сложность управляющих систем» (Санкт-Петербург, 26-30 июня 2006 г.), место издания Изд-во механико-математического ф-та МГУ Москва, тезисы, с. 72-77

• НИРы

  • • 1 января 2019 - 31 декабря 2023 Математические модели дискретных управляющих систем и их приложения
    • Лаборатория дискретных управляющих систем и их приложений
    • Руководители: Захаров В.А., Ложкин С.А. Ответственный исполнитель: Романов Д.С. Участники НИР: Владимирова Ю.С., Данилов Б.Р., Довгалюк Е.Л., Жуков В.В., Павлова А.Ф., Подымов В.В., Рамиль Альварес Х., Шуплецов М.С.
  • • 22 мая 2018 - 25 мая 2018 10-я Международная конференция "Дискретные модели в теории управляющих систем"
    • Кафедра математической кибернетики
    • Руководитель: Алексеев В.Б. Ответственный исполнитель: Селезнева С.Н. Участники НИР: Данилов Б.Р., Захаров В.А., Ложкин С.А., Нагорный А.С., Подымов В.В., Романов Д.С., Чокаев Б.В., Шуплецов М.С.
  • • 1 января 2018 - 31 декабря 2020 Методы синтеза схем и получение оценок различной степени точности для сложности, контролепригодности и информационной защищённости дискретных управляющих систем
    • Лаборатория дискретных управляющих систем и их приложений
    • Руководитель: Ложкин С.А. Ответственный исполнитель: Романов Д.С. Участники НИР: Высоцкий Л.И., Данилов Б.Р., Довгалюк Е.Л., Жуков В.В., Коноводов В.А., Павлова А.Ф., Шуплецов М.С.
  • • 20 мая 2015 - 22 мая 2015 Проект организации 9-й международной конференции "Дискретные модели в теории управляющих систем"
    • Кафедра математической кибернетики
    • Руководитель: Алексеев В.Б. Участники НИР: Бухман А.В., Данилов Б.Р., Захаров В.А., Ложкин С.А., Нагорный А.С., Романов Д.С., Сапоженко А.А., Селезнева С.Н., Шуплецов М.С.
  • • 1 января 2015 - 31 декабря 2017 Модели и методы теории синтеза и контроля комбинационных дискретных управляющих систем
    • Кафедра математической кибернетики
    • Руководитель: Ложкин С.А. Ответственные исполнители: Романов Д.С., Шуплецов М.С. Участники НИР: Вороненко А.А., Данилов Б.Р., Коноводов В.А., Малахова Е.С., Морозов Е.В., Романов Д.С., Садовников О.А., Шуплецов М.С., Яблонская А.Ю.
  • • 1 января 2014 - 31 декабря 2018 Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
    • Кафедра математической кибернетики
    • Руководители: Захаров В.А., Ложкин С.А. Ответственные исполнители: Романов Д.С., Шуплецов М.С. Участники НИР: Антюфеев Г.В., Владимирова Ю.С., Высоцкий Л.И., Данилов Б.Р., Добровецкий Д.И., Довгалюк Е.Л., Жуков В.В., Зиновьев В.С., Коноводов В.А., Кулешов О.В., Кухтинов А.С., Любич И.Г., Марченко А.М., Маслов С.П., Морозов Е.В., Павлова А.Ф., Подловченко Р.И., Подымов В.В., Рамиль Альварес Х., Романов Д.С., Сальников В.А., Шуплецов М.С.
  • • 17 мая 2012 - 31 декабря 2014 Получение оценок высокой и близкой к ней степени точности для сложности функций и длины тестов при различных ограничениях на структуру и параметры схем
    • Кафедра математической кибернетики
    • Руководитель: Ложкин С.А. Ответственный исполнитель: Романов Д.С. Участники НИР: Власов Н.В., Данилов Б.Р., Коноводов В.А., Марченко А.М., Морозов Е.В., Садовников О.А., Шуплецов М.С., Яблонская А.Ю.
  • • 1 января 2011 - 31 декабря 2013 Теория синтеза, надежности и контроля дискретных управляющих систем, математические модели СБИС
    • Кафедра математической кибернетики
    • Руководитель: Ложкин С.А. Участники НИР: Данилов Б.Р., Коноводов В.А., Романов Д.С., Шуплецов М.С.
  • • 24 мая 2010 - 23 ноября 2012 Теория и методы анализа и синтеза дискретных управляющих систем и их приложения
    • Кафедра математической кибернетики
    • Руководитель: Подловченко Р.И. Ответственные исполнители: Вороненко А.А., Шуплецов М.С. Участники НИР: Баранова М.М., Бескова Е.А., Власов Н.В., Вороненко А.А., Дайняк А.Б., Данилов Б.Р., Дьяконов А.Г., Коноводов В.А., Ложкин С.А., Марченков С.С., Морозов Е.В., Подымов В.В., Попеско У.В., Романов Д.С., Селезнева С.Н., Федорова В.С., Чистиков Д.В., Шуплецов М.С., Яблонская А.Ю.
  • • 1 января 2009 - 31 декабря 2011 Методы построения и анализа близких к оптимальным схем и тестов в дискретных моделях систем преобразования информации
    • Кафедра математической кибернетики
    • Руководитель: Ложкин С.А. Ответственный исполнитель: Романов Д.С. Участники НИР: Власов Н.В., Вороненко А.А., Данилов Б.Р., Попов Е.А., Садовников О.А., Чистиков Д.В., Чистиков Д.В., Чистиков Д.В., Шиганов А.Е., Шиганов А.Е., Шиганов А.Е., Шуплецов М.С., Яблонская А.Ю.

• Свидетельства о регистрации прав на программное обеспечение

  • • 2012 База данных "Значения функционалов сложности и известные оптимальные схемы из функциональных элементов и контактные схемы для булевых функций" (DB)
    • Авторы: Ложкин С.А., Шуплецов М.С., Коноводов В.А., Данилов Б.Р.
    • #2012621065, 15 октября

• Награды и премии

  • • 2017 Премия по Программе развития МГУ
    • Лауреат: Шуплецов Михаил Сергеевич
    • МГУ им.М.В. Ломоносова, ВМК, Россия
  • • 2017 Стипендия МГУ для молодых ученых и преподавателей, добившихся значительных успехов в педагогической и научной деятельности
    • Лауреат: Шуплецов М.С.
    • Ученый совет МГУ, Россия
  • • 2016 Стипендия МГУ для молодых ученых и преподавателей, добившихся значительных успехов в педагогической и научной деятельности
    • Лауреат: Шуплецов М.С.
    • Ученый совет МГУ, Россия
  • • 2015 CAD Contest at ICCAD 2015 1st Place Award
    • Лауреаты: Шуплецов М.С., Антюфеев Г.В., Жуков В.В., Зенин Е.
    • International Conference on Computer-Aided Design, США

• Членство в научных обществах

  • • с 2016 IEEE (Institute of Electrical and Electronics Engineers)
    • США
  • • с 2012 Associaton for Computing Machinery (ACM)
    • США

• Стажировки в организациях

  • • 13 января 2014 - 5 февраля 2014 The University of Michigan, США

• Участие в программных комитетах конференций

  • • 25 сентября 2017 Международный научно-образовательный семинар “Научно-образовательные программы в области проектирования интегральных схем”
    • Член организационного комитета
    • Москва, ВМК МГУ, Россия
  • • 24 октября 2016 Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 24 октября 2016 г.)
    • Член организационного комитета
    • Москва, Россия
  • • 10 ноября 2015 Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 10 ноября 2015 г.)
    • Член организационного комитета
    • Москва, Россия
  • • 27 октября 2015 Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 27 октября 2015 г.)
    • Член организационного комитета
    • Москва, Россия

• Диссертация

  • • 2011 Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Шуплецов М.С., к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Ложкин С.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики

• Руководство дипломными работами

  • • 2018 Разработка алгоритмов решения задачи функциональной коррекции схем из функциональных элементов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Автайкина М.А., (Магистр)
  • • 2018 Исследование методов решения задач поиска обобщенных булевых соответствий, порожденных предикатами из некоторых классов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Вяткин Евгений Вадимович (Магистр)
  • • 2018 Алгоритмы и методы логического синтеза порогово-инверсных графов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Козловский Андрей Николаевич (Бакалавр)
  • • 2017 Разработка алгоритмов решения задачи поиска обобщённых булевых соответствий
    • Научный руководитель: Шуплецов М.С.
    • Автор: Филимонов Владимир Владимирович (Магистр)
  • • 2017 Исследование эффективности аппаратной реализации искусственных нейронных сетей при помощи программируемых интегральных схем
    • Научный руководитель: Шуплецов М.С.
    • Автор: Уваров Иван Васильевич (Бакалавр)
  • • 2017 Исследование подходов к сокращению пространства поиска при решении задачи обнаружения булевых соответствий
    • Научный руководитель: Шуплецов М.С.
    • Автор: Смирнов Максим Евгеньевич (Магистр)
  • • 2017 Исследование методов восстановления частично заданных схем из функциональных элементов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Трубицын Юрий Алексеевич (Бакалавр)
  • • 2016 Разработка алгоритмов проверки эквивалентности для некоторых моделей логических схем
    • Научный руководитель: Шуплецов М.С.
    • Автор: Автайкина Мария Андреевна (Бакалавр)
  • • 2016 Исследование задачи привязки к библиотеке для программируемых логических интегральных схем
    • Научный руководитель: Шуплецов М.С.
    • Автор: Вяткин Евгений Вадимирович (Бакалавр)
  • • 2015 Оценки динамической активности схем из функциональных элементов, реализующих функции мультиплексорного типа
    • Научный руководитель: Шуплецов М.С.
    • Автор: Кулешов Олег Владимирович (Специалист)
  • • 2015 Исследование задачи поиска путей в некоторых классах динамических графов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Тамм Ян-Мартин Юривич (Бакалавр)
  • • 2015 Исследование влияния некоторых классов параметров на сложность решения задачи верификации логических схем
    • Научный руководитель: Шуплецов М.С.
    • Автор: Павлов Андрей Викторович (Бакалавр)
  • • 2014 Разработка и анализ алгоритмов нахождения динамической активности схем из функциональных элементов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Доленко Ольга Сергеевна (Специалист)
  • • 2013 Исследование соотношений между некоторыми параметрами схем в одной модели СБИС (сверхбольших интегральных схем)
    • Научный руководитель: Шуплецов М.С.
    • Автор: Василевская Инесса Юрьевна (Магистр)

• Руководство курсовыми работами

  • • 2018 Разработка алгоритмов поиска макроблоков для некоторых типов задач привязки логической схемы к библиотеке
    • Научный руководитель: Шуплецов М.С.
    • Автор: Шубная Анна Геннадьевна (Бакалавр)
  • • 2018 Обзор методов, реализующих умножение матриц при помощи программируемых логических интегральных схем
    • Научный руководитель: Шуплецов М.С.
    • Автор: Красильникова Анна Андреевна (Бакалавр)
  • • 2017 Обзор научных работ по тематике "Динамическая активность автоматных схем"
    • Научный руководитель: Шуплецов М.С.
    • Автор: Вяткин Евгений Вадимович (Магистр)
  • • 2017 Исследование методов решения задачи функциональной коррекции схем из функциональных элементов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Автайкина М.А., (Магистр)
  • • 2016 Разработка алгоритма решения задачи поиска обобщенных булевых соответствий на основе двоичных решающих диаграмм
    • Научный руководитель: Шуплецов М.С.
    • Автор: Трубицын Юрий Алексеевич (Бакалавр)
  • • 2016 Построение схем из предикатных элементов со структурными ограничениями
    • Научный руководитель: Шуплецов М.С.
    • Автор: Тамм Ян-Мартин Юривич (Магистр)
  • • 2016 Обзор основных подходов к аппаратной реализации искусственных нейронных сетей при помощи программируемых интегральных схем
    • Научный руководитель: Шуплецов М.С.
    • Автор: Уваров Иван Васильевич (Бакалавр)
  • • 2016 Исследование методов решения задачи функциональной коррекции схем из функциональных элементов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Филимонов Владимир Владимирович (Магистр)
  • • 2016 Исследование методов решения задачи поиска булевых соответствий
    • Научный руководитель: Шуплецов М.С.
    • Автор: Смирнов Максим Евгеньевич (Магистр)
  • • 2015 Исследование задачи привязки логической схемы к библиотеке с макроблоками
    • Научный руководитель: Шуплецов М.С.
    • Автор: Автайкина М.А., (Бакалавр)
  • • 2014 Исследование динамической активности мультиплексорной функции в классе схем из функциональных элементов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Кулешов Олег Владимирович (Специалист)
  • • 2014 Анализ методов и алгоритмов решения задачи трассировки соединений в схемах
    • Научный руководитель: Шуплецов М.С.
    • Автор: Тамм Ян-Мартин Юривич (Бакалавр)
  • • 2014 Анализ алгоритмов решения задачи выполнимости и алгоритмов представления логических сетей в виде конъюнктивных нормальных форм
    • Научный руководитель: Шуплецов М.С.
    • Автор: Павлов Андрей Викторович (Бакалавр)
  • • 2013 Динамическая активность схем из функциональных элементов
    • Научный руководитель: Шуплецов М.С.
    • Автор: Доленко Ольга Сергеевна (Специалист)
  • • 2013 Динамическая активность контактных схем
    • Научный руководитель: Шуплецов М.С.
    • Автор: Кулешов Олег Владимирович (Специалист)
  • • 2012 Обзор научных работ по тематике «Схемы из функциональных клеточных элементов»
    • Научный руководитель: Шуплецов Михаил Сергеевич
    • Автор: Доленко Ольга Сергеевна (Специалист)

• Авторство учебных курсов

  • • 2018 Программируемые логические интегральные схем. Часть 2.
    • Автор: Шуплецов М.С.
  • • 2018 Modern trends in discrete mathematics and computer science
    • Авторы: Захаров В.А., Алексеев В.Б., Подымов В.В., Романов Д.С., Селезнева С.Н., Шуплецов М.С., Чокаев Б.В.
    • курс на иностранном языке
  • • 2017 Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
    • Авторы: Подымов Владислав Васильевич, Шуплецов Михаил Сергеевич
  • • 2016 Программируемые логические интегральные схемы
    • Автор: Шуплецов М.С.
  • • 2016 Практикум по пакетам проектирования сверхбольших интегральных схем
    • Авторы: Подымов В.В., Шуплецов М.С., Данилов Б.Р.
  • • 2015 Математические модели и методы логического синтеза сверхбольших интегральных схем
    • Автор: Шуплецов М.С.
  • • 2014 Математические модели и методы синтеза СБИС
    • Авторы: Марченко А.М., Шуплецов М.С.
  • • 2014 Логический синтез. Физический синтез.
    • Автор: Шуплецов М.С.
  • • 2011 Математические модели и методы планарных и клеточных схем
    • Авторы: Ложкин С.А., Шуплецов М.С.
  • • 2008 Практикум на ЭВМ (7 семестр)
    • Авторы: Дайняк А.Б., Шуплецов М.С.
  • • 2008 Практикум на ЭВМ (6 семестр)
    • Авторы: Дайняк А.Б., Шуплецов М.С.
  • • 2008 Практикум на ЭВМ (5 семестр)
    • Авторы: Дайняк А.Б., Шуплецов М.С.
  • • 2008 Практикум на ЭВМ
    • Авторы: Дайняк А.Б., Шуплецов М.С.

• Преподавание учебных курсов

  • • с 7 февраля 2018 Математические модели и методы физического синтеза сверхбольших интегральных схем
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, вариативной части, лекции, 36 часов
  • • с 7 февраля 2018 Математические модели и методы физического синтеза сверхбольших интегральных схем
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, вариативной части, семинары, 18 часов
  • • с 7 февраля 2018 Программируемые логические интегральные схем. Часть 2.
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • с 5 сентября 2016 Практикум по пакетам проектирования сверхбольших интегральных схем
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, семинары, 18 часов
  • • с 1 сентября 2016 Практикум по пакетам проектирования сверхбольших интегральных схем
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 18 часов
  • • с 1 сентября 2016 Программируемые логические интегральные схемы
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • с 8 февраля 2016 Математические модели и методы синтеза СБИС
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 18 часов
  • • с 1 сентября 2015 Математические модели и методы логического синтеза сверхбольших интегральных схем
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, семинары, 18 часов
  • • с 1 сентября 2015 Математические модели и методы логического синтеза сверхбольших интегральных схем
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 36 часов
  • • 9 февраля 2015 - 1 июня 2015 Математические модели и методы синтеза СБИС
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, семинары, 18 часов
  • • с 7 февраля 2014 Практикум на ЭВМ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, практические занятия, 108 часов
  • • 7 февраля 2014 - 30 мая 2014 Логический синтез. Физический синтез.
    • МГУ имени М.В. Ломоносова, Казахстанский филиал МГУ (г. Астана)
    • обязательная, вариативной части, лекции, 36 часов
  • • с 1 сентября 2012 Математические модели и методы синтеза СБИС
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, семинары, 18 часов
  • • 1 сентября 2012 - 1 июня 2015 Математические модели и методы синтеза СБИС
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2011 - 31 мая 2013 Математические модели и методы планарных и клеточных схем
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, по выбору (спецкурс), лекции, 18 часов
  • • с 7 февраля 2008 Основы кибернетики
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, семинары, 32 часов
  • • с 7 февраля 2008 Дискретная математика
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, семинары, 32 часов
  • • 7 февраля 2008 - 31 декабря 2013 Практикум на ЭВМ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, практические занятия, 144 часов

---