Теория интеллектуальных систем и автоматов 2016-2020НИР

Theory of intelligent systems and automata theory 2016-2020

Источник финансирования НИР

госбюджет, раздел 0110 (для тем по госзаданию)

Этапы НИР

# Сроки Название
1 1 января 2016 г.-31 декабря 2016 г. Теория интеллектуальных систем и автоматов 2016
Результаты этапа:
2 1 января 2017 г.-31 декабря 2017 г. Теория интеллектуальных систем и автоматов 2017
Результаты этапа: Решена задача удовлетворения ограничений, получены результаты по эффективному кодированию состояний автомата, получены оценки длины периода магазинного автомата, разработаны эффективные алгоритмы восстановления трехмерных тел по проекциям, получены оценки мощностной сложности функций с ограниченным числом единиц и монотонных функций при реализации плоскими схемами, разработаны LDPC коды для стандарта беспроводной связи 5G, разработаны эффективные аппаратные реализации для отечественных блочных шифров, разработаны и аппаратно реализованы устройства хранения данных для доверенных вычислительных платформ, написаны книги математической биологии по верификации программ, по моделированию логических процессов средствами пропозициональных исчислений, по опыту обучения компьютерного решателя задач по таким разделам как: аналитическая геометрия, линейная алгебра, теория вероятностей, комплексный анализ.
3 1 января 2018 г.-31 декабря 2018 г. Теория интеллектуальных систем и автоматов 2018
Результаты этапа:
4 1 января 2019 г.-31 декабря 2019 г. Теория интеллектуальных систем и автоматов 2019
Результаты этапа:
5 1 января 2020 г.-31 декабря 2020 г. Теория интеллектуальных систем и автоматов 2020
Результаты этапа:

Прикрепленные к НИР результаты

Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".