Новости

Студентов научат контролировать киберфизические системы
Студентов научат контролировать киберфизические системы
27 июля 2020

Научно-технологический университет (НТУ) «Сириус» открыл прием заявок на образовательный модуль «Дискретные методы синтеза и верификации для киберфизических систем». Программа организована в партнерстве с Университетом ИТМО и рассчитана на студентов старших курсов бакалавриата, а также магистрантов и аспирантов, владеющих основами дискретной математики и навыками программирования.

Заявки на участие принимаются до 10 августа включительно через форму на странице модуля.

Пятидневный дистанционный курс стартует 17 августа. Программа включает два блока: инженерный и математический. Участники познакомятся с устройством современных промышленных киберфизических систем и узнают, как обеспечить их надежность.

Киберфизические системы находятся на пересечении между вычислительными и физическими процессами, поэтому можно сказать, что это комплексная система, которая постоянно получает данные из окружающей среды и использует их для дальнейшей оптимизации процессов управления.

«Как правило, в таких системах очень сложные взаимосвязи между программами, отвечающими за разные участки работ. Много входов и выходов. И для того, чтобы формально верифицировать всю систему, порой недостаточно вычислительных мощностей. При этом цена ошибки иногда стоит человеческих жизней», – рассказал один из преподавателей модуля, научный сотрудник Университета ИТМО Даниил Чивилихин.

Студенты модуля освоят алгоритмы, которые позволяют эффективно проводить формальную верификацию киберфизических систем и впоследствии объединять результаты. Знания могут применяться и в других областях, например, для программирования телефонов, когда необходимо оптимизировать и проверять работу разных частей единого целого.

Смотрите также:
29.01.2025
Учёные Университета «Сириус» создадут мышей с врождёнными нарушениями развития головного мозга
28.01.2025
В Сириусе студентов будут обучать квантовым технологиям на программах дополнительного образования
27.01.2025
Дмитрий Иванов: о жидких имплантах, саббатикалах и парадоксальности мышления
23.01.2025
В Университете «Сириус» создают новые технологии производства молочнокислых заквасок
16.01.2025
В Сириусе изучают, как очистить Чёрное море от мазута с помощью бактерий
14.01.2025
В Сириусе изучают особенности освоения чтения детьми-билингвами, говорящими на русском и татарском языках

Обратная связь

Для обеспечения удобства работы с сервисами данного сайта и поддержания высокого уровня их безопасности мы используем файлы cookie. Подробное описание используемых нами файлов cookie, порядке их отключения содержится в Политике конфиденциальности . Нажимая на кнопку «СОГЛАСЕН», Вы подтверждаете, что проинформированы об использовании cookies на нашем сайте, а также принимаете наши Политику конфиденциальности и Правила пользования сайтом.

Согласен