Новости

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

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

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

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

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

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

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

Смотрите также:
Участниками второго научно-туристического интенсива стали 36 математиков
В «Сириусе» завершается прием заявлений в магистратуру
В Университете «Сириус» состоялся второй выпуск магистров
Ученые Университета «Сириус» разработают методы контроля качества передовой вакцины от рака
09.07.2024 16:13:00
#наука #экология
В Университете «Сириус» обсудили подготовку аналитического доклада по вопросам изучения климата
08.07.2024 09:43:00
В «Сириусе» впервые прошла университетская регата

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

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

Согласен