Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 21: Строка 21:
 
|-
 
|-
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
{{announce Seminar| 18 ноября 2017 г.
+
{{announce Seminar| 24 ноября 2017 г.
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
+
| Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»
| align="center" | Павлова А.Ф.
+
| align="center" | Крюков Павел
 
|}}
 
|}}
  

Версия 14:22, 23 ноября 2017

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
20 октября 2017 г. О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А. Вершинин А., 618/1 гр.


Теория управляющих систем и математические модели СБИС
24 ноября 2017 г. Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.» Крюков Павел


Сложность решения дискретных задач
22 ноября (в среду) 2017 г. Упаковки и покрытия путей в графах и кёниговы графы аннотация доклада Мокеев Д.Б. (ННГУ)


Теоретические проблемы программирования
24 ноября 2017 г.


Обнаружение скомпрометированных коммутаторов в SDN сетях

Рассматривается задача обнаружения скомпрометированных коммутаторов в SDN сетях на основе анализа сетевой статистики.


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

Иван Петров (аспирант 3 г/о ЛВК АСВК)