Участник:RomanovDS — различия между версиями
Материал из Кафедра математической кибернетики
Root (обсуждение | вклад) |
RomanovDS (обсуждение | вклад) (→Избранные публикации) |
||
| Строка 25: | Строка 25: | ||
# Гаврилов Г.П., Романов Д.С. Методы линейной алгебры в теории графов (учебное пособие для студентов) // М.: Изд-во МГУ, 1996. — 72 с. | # Гаврилов Г.П., Романов Д.С. Методы линейной алгебры в теории графов (учебное пособие для студентов) // М.: Изд-во МГУ, 1996. — 72 с. | ||
# О числе тупиковых проверяющих замыкания тестов для блочных контактных схем счетчиков четности. // Дискретная математика. — Т. 9. — Вып. 4. — 1997. — С. 32-49. | # О числе тупиковых проверяющих замыкания тестов для блочных контактных схем счетчиков четности. // Дискретная математика. — Т. 9. — Вып. 4. — 1997. — С. 32-49. | ||
| − | # | + | # Об асимптотически минимальных единичных диагностических тестах для «прямоугольных» контактных схем, реализующих элементарные симметрические функции // Вестник Нижегородского государственного университета. Математическое моделирование и оптимальное управление. — 2000. — Вып. 1(22). — С. 159-167. |
| − | # О | + | # Об оценках функций Шеннона длины единичных тестов относительно транспозиций переменных // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн. — 2007, № 2. — С. 23-29. |
| + | # Кузнецов И.А., Романов Д.С. О полных проверяющих тестах относительно локальных слипаний переменных в булевых функциях // Ученые записки Казанского университета. Серия «Физико-математические науки». — 2009 г. — Том 151, книга 2. — Стр. 90-97. | ||
| + | # 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. | ||
Версия 00:57, 29 января 2015
Содержание
Области научных интересов
- Дискретная математика
- Математическая кибернетика
- Теория надежности
- Контроль управляющих систем
Лекционные курсы
Спецсеминары
Аспиранты и студенты
Избранные публикации
- Гаврилов Г.П., Романов Д.С. Методы линейной алгебры в теории графов (учебное пособие для студентов) // М.: Изд-во МГУ, 1996. — 72 с.
- О числе тупиковых проверяющих замыкания тестов для блочных контактных схем счетчиков четности. // Дискретная математика. — Т. 9. — Вып. 4. — 1997. — С. 32-49.
- Об асимптотически минимальных единичных диагностических тестах для «прямоугольных» контактных схем, реализующих элементарные симметрические функции // Вестник Нижегородского государственного университета. Математическое моделирование и оптимальное управление. — 2000. — Вып. 1(22). — С. 159-167.
- Об оценках функций Шеннона длины единичных тестов относительно транспозиций переменных // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн. — 2007, № 2. — С. 23-29.
- Кузнецов И.А., Романов Д.С. О полных проверяющих тестах относительно локальных слипаний переменных в булевых функциях // Ученые записки Казанского университета. Серия «Физико-математические науки». — 2009 г. — Том 151, книга 2. — Стр. 90-97.
- 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.
