Портфолио. Михаил Петрович Синев
С 2013 года осуществляю педагогическую деятельность на кафедре "Вычислительная техника"
Перечень преподаваемых дисциплин:
- интерфейсы программирование приложений;
- сети ЭВМ и операционные системы.
Опубликован ряд статей по машинному обучению, Big Data, системам реального времени, микросервисной архитектуре.
Основные научные результаты:
1. Предложен метод комплексного контроля действий операторов и состояния аппаратуры, использующий математический аппарат продукционных правил. Метод отличается возможностью совместной и параллельной обработки информации о действиях операторов и техническом состоянии комплекса.
2. Разработаны алгоритмы комплексного контроля действий операторов и состояния аппаратуры с использованием последовательной и параллельной обработки, адаптированные для реализации метода комплексного контроля действий операторов и состояния аппаратуры. Отличительной особенностью данных алгоритмов является совместная обработка постполетной информации по нескольким задачам контроля, что позволяет сократить время анализа путем уменьшения количества обращений к массиву задокументированных данных.
3. С использованием событийных недетерминированных автоматов построена математическая модель последовательного и параллельных алгоритмов комплексного контроля действий операторов и состояния аппаратуры, позволяющая проводить исследования времени их выполнения в зависимости от структуры и объема входной информации.
4. Предложен способ представления данных в проверочной базе знаний экспертной системы с использованием объектно-ориентированной и предикатной моделей, что позволяет в отличие от известных способов унифицировать хранение и обработку экспертной информации в единой базе знаний.
5. Разработана архитектура аппаратных средств управления наземной инфраструктурой ракетно космической техники, основанная на модульно-блочном принципе и стандартизированных протоколах межблочного взаимодействия с резервными шинами обмена.