Семинар «Автоматика и дискретная математика» проводится еженедельно в стенах СПбПУ Петра Великого под руководством д-ра техн. наук, профессора, профессора Высшей школы управления кибер-физическими системами (ВШУКС) Дмитрия Викторовича Ефанова.
Первый семинар состоялся 29 марта 2012. С октября 2025 года он проводится во ВШУКС в своей обновленной форме – с международным участием и привлечением специалистов не только с постсоветского пространства, но и дальнего зарубежья.
Цель семинара – развитие научной школы синтеза контролепригодных, самопроверяемых и отказоустойчивых дискретных систем, генерация новых знаний, обмен опытом, воспитание достойного поколения молодых ученых, специалистов и инженеров.
Участники семинара – ученые с мировыми именами, студенты, аспиранты и преподаватели СПбПУ и других научных и образовательных учреждений, специалисты из реальных секторов экономики и простые слушатели. Участники семинара – авторы научных статей в ведущих изданиях России и зарубежья (включая передовые журналы РАН, такие как старейший журнал по автоматизации и управлению «Автоматика и телемеханика», «Проблемы управления», «Известия РАН. Теория и системы управления» и многие другие), участники международных конференций, семинаров и научных школ, руководители и исполнители научно-исследовательских работ, авторы патентов и национальных стандартов.
Материалы семинаров
- Семинар 23.10.2025
- Вводная лекция по теории технической диагностики
- Разработка методов синтеза самопроверяемых дискретных устройств на основе логической коррекции сигналов и равновесного кода "1 из 4"
- Семинар 06.11.2025
- Лекция по теории технической диагностики
- Формирование двоичных избыточных кодов для обнаружения неисправностей в дискретных устройствах с учётом данных об их структурах
- Семинар 13.11.2025
- Системы технического диагностирования и достоверности диагноза
- Физика в дискретной математике
- Семинар 20.11.2025
- Системные инструменты для синтеза и исследования проектов последовательностных схем. Berkeley SIS
- Синтез отказоустойчивых дискретных структур на основе логической коррекции сигналов