Участник:RomanovDS — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
 
(не показаны 8 промежуточные версии 2 участников)
Строка 1: Строка 1:
 
{{DISPLAYTITLE:Романов Дмитрий Сергеевич}}
 
{{DISPLAYTITLE:Романов Дмитрий Сергеевич}}
[[Image:Romanov.jpg|thumb|right|Романов Дмитрий Сергеевич]]'''Романов Дмитрий Сергеевич''' — кандидат физико-математических наук, доцент.
+
[[Image:Romanov_DS.jpg|thumb|right|Романов Дмитрий Сергеевич]]'''Романов Дмитрий Сергеевич''' — доктор физико-математических наук, профессор кафедры МК.
  
== Области научных интересов ==
+
== [[Области научных интересов]] ==
  
 
* Дискретная математика
 
* Дискретная математика
Строка 8: Строка 8:
 
* Теория надежности
 
* Теория надежности
 
* Контроль управляющих систем
 
* Контроль управляющих систем
 
=== Ссылки ===
 
*[http://mathcyb.cs.msu.su/research.php Дискретная математика]
 
*[http://mathcyb.cs.msu.su/research.php Математическая кибернетика]
 
*[http://mathcyb.cs.msu.su/research.php Теория надежности]
 
*[http://mathcyb.cs.msu.su/research.php Контроль управляющих систем]
 
  
 
== Лекционные курсы ==
 
== Лекционные курсы ==
Строка 23: Строка 17:
  
 
* [[Некоторые вопросы теории управляющих систем]]
 
* [[Некоторые вопросы теории управляющих систем]]
* [[Некоторые вопросы синтеза управляющих систем]]
 
 
* [[Теория управляющих систем и математические модели СБИС]]
 
* [[Теория управляющих систем и математические модели СБИС]]
  
Строка 31: Строка 24:
  
 
# Гаврилов Г.П., Романов Д.С.  Методы линейной алгебры в теории графов (учебное пособие для студентов) // М.: Изд-во МГУ, 1996. — 72 с.
 
# Гаврилов Г.П., Романов Д.С.  Методы линейной алгебры в теории графов (учебное пособие для студентов) // М.: Изд-во МГУ, 1996. — 72 с.
# О числе тупиковых проверяющих замыкания тестов для блочных контактных схем счетчиков четности. // Дискретная математика. — Т. 9. — Вып. 4. — 1997. — С. 32-49.
+
# Об оценках функций Шеннона длины единичных тестов относительно транспозиций переменных // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн. — 2007, № 2. — С. 23-29.
# Обобщение теоремы С. М. Вартаняна о нижних оценках длин единичных диагностических тестов для контактных схем. // Мат. методы и приложения. Труды шестых мат. чтений МГСУ (23-30 января 1998 г.). — М.: Изд-во МГСУ "Союз", 1999. — С. 47-51.
+
# Кузнецов И.А., Романов Д.С. О полных проверяющих тестах относительно локальных слипаний переменных в булевых функциях // Ученые записки Казанского университета. Серия Физико-математические науки. — 2009 г. — Том 151, книга 2. — Стр. 90-97.
# О верхних оценках длины минимальных диагностических тестов на размыкания в блочных контактных схемах счетчиков четности. // Труды III Межд. конф. "Дискретные модели в теории управляющих систем". Красновидово-98 (22-27 июня 1998 г.). — М.: Диалог МГУ, 1998 г. — С. 97-101.
+
# D.S. Romanov. Diagnostic tests for local coalescences of variables in Boolean functions // Computational Mathematics and Modeling, Vol. 23, No 1, January, 2012, pp. 72-79.
 +
# Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины // Вестн. Моск. ун-та. Матем. Механ. — 2012. № 2. — С. 24-29.
 +
# Романов Д.С., Антюфеев Г.В. О тестах относительно примитивных сдвигов переменных в булевых функциях // Вопросы радиоэлектроники. Серия «Электронная вычислительная техника». 2013. Вып. 2. С. 64-68.
 +
# D.S. Romanov. Tests with respect to permutations of variables in Boolean functions // Computational Mathematics and Modeling, Vol. 24, Issue 4, October, 2013, pp. 558-565.
 +
# О синтезе схем, допускающих полные проверяющие тесты константной длины относительно произвольных константных неисправностей на выходах элементов // Дискретная математика. — 2013. — Т. 25, вып. 2. — С. 104-120.
 +
# Метод синтеза легкотестируемых схем, допускающих единичные проверяющие тесты константной длины // Дискретная математика. — 2014. — Т. 26, вып. 2. — С. 100-130.
 +
# О синтезе контактных схем, допускающих короткие проверяющие тесты // Ученые записки Казанского университета. Серия Физико-математические науки. — 2014. — Т. 156. Кн. 3. — С. 110-115.
 +
# О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн. — 2015. — № 1. — С. 30–37.
 +
# Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2015. — № 4. — С. 38–54.
 +
# Метод синтеза неизбыточных схем в стандартном базисе, допускающих единичные диагностические тесты длины два // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2016. — № 3. — С. 56–72.
 +
# Метод синтеза неизбыточных схем, допускающих единичные проверяющие тесты константной длины // Дискретная математика. — 2017. — Т. 29, № 4. — С. 87–105. (В соавт. с Е. Ю. Романовой).

Текущая версия на 17:29, 6 февраля 2023

Романов Дмитрий Сергеевич
Романов Дмитрий Сергеевич — доктор физико-математических наук, профессор кафедры МК.

Области научных интересов

  • Дискретная математика
  • Математическая кибернетика
  • Теория надежности
  • Контроль управляющих систем

Лекционные курсы

Спецсеминары

Аспиранты и студенты

Избранные публикации

  1. Гаврилов Г.П., Романов Д.С. Методы линейной алгебры в теории графов (учебное пособие для студентов) // М.: Изд-во МГУ, 1996. — 72 с.
  2. Об оценках функций Шеннона длины единичных тестов относительно транспозиций переменных // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн. — 2007, № 2. — С. 23-29.
  3. Кузнецов И.А., Романов Д.С. О полных проверяющих тестах относительно локальных слипаний переменных в булевых функциях // Ученые записки Казанского университета. Серия Физико-математические науки. — 2009 г. — Том 151, книга 2. — Стр. 90-97.
  4. D.S. Romanov. Diagnostic tests for local coalescences of variables in Boolean functions // Computational Mathematics and Modeling, Vol. 23, No 1, January, 2012, pp. 72-79.
  5. Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины // Вестн. Моск. ун-та. Матем. Механ. — 2012. № 2. — С. 24-29.
  6. Романов Д.С., Антюфеев Г.В. О тестах относительно примитивных сдвигов переменных в булевых функциях // Вопросы радиоэлектроники. Серия «Электронная вычислительная техника». 2013. Вып. 2. С. 64-68.
  7. D.S. Romanov. Tests with respect to permutations of variables in Boolean functions // Computational Mathematics and Modeling, Vol. 24, Issue 4, October, 2013, pp. 558-565.
  8. О синтезе схем, допускающих полные проверяющие тесты константной длины относительно произвольных константных неисправностей на выходах элементов // Дискретная математика. — 2013. — Т. 25, вып. 2. — С. 104-120.
  9. Метод синтеза легкотестируемых схем, допускающих единичные проверяющие тесты константной длины // Дискретная математика. — 2014. — Т. 26, вып. 2. — С. 100-130.
  10. О синтезе контактных схем, допускающих короткие проверяющие тесты // Ученые записки Казанского университета. Серия Физико-математические науки. — 2014. — Т. 156. Кн. 3. — С. 110-115.
  11. О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн. — 2015. — № 1. — С. 30–37.
  12. Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2015. — № 4. — С. 38–54.
  13. Метод синтеза неизбыточных схем в стандартном базисе, допускающих единичные диагностические тесты длины два // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2016. — № 3. — С. 56–72.
  14. Метод синтеза неизбыточных схем, допускающих единичные проверяющие тесты константной длины // Дискретная математика. — 2017. — Т. 29, № 4. — С. 87–105. (В соавт. с Е. Ю. Романовой).