|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Корректность одного алгоритма построения модели программно-конфигурируемой сетикурсовая работа (Бакалавр)
- Научный руководитель: Подымов Владислав Васильевич
- Автор: Тищенко Анастасия Сергеевна
- Тип: Бакалавр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Кафедра математической кибернетики
- Год защиты: 2023
- Курс: 3
- Аннотация: Исследован алгоритм построения модели контура данных программно-конфигурируемой сети (ПКС), предлагавшийся в 2014 году в рамках разработки средства Vermont верификации контура данных ПКС и слегка доработанный позже студентом бакалавриата Прудниковым О.В. в своей выпускной работе. Описание модели некоторого частного вида и алгоритма её построение улучшено настолько, что стало возможным сформулировать и обосновать свойство корректности алгоритма. Это свойство сформулировано и обосновано.
- Добавил в систему: Подымов Владислав Васильевич