×
Вхід:
перший заступник директора ФТІ, доцент кафедри інформаційної безпеки
Сергiй Анатолiйович Смирнов к.ф.-м.н., с.н.с.

1980-1986 студент МФТІ,

1986-1989 аспірант МФТІ,

1989-1996  Ін-т кібернетики НАН України,

1996-2009  Ін-т космічних досліджень НАН та НКА України,

з 2009 - Фізико-технічний інститут НТУУ "КПІ".

Викладаю у ФТІ з 1999 року.

Альма-матер

Московський фізико-технічний інститут

На поточний момент підготовлені і викладаються такі дисципліни:
  • функціональний аналіз
  • спеціальні розділи математики
  • математичне моделювання
  • моделі та методи прийняття рішень
  • рішення в умовах невизначеності
  • моделі та методи технологій мультімедіа
  • рефлексивні моделі та поведінка вибору
  • математичне моделювання систем і процесів
  • вразливості критичної інфраструктури
  • структури систем керування
  • ----------------------------------------------------
  • В минулі роки:
  • системи управління знаннями
  • теорія керування
  • системний аналіз
  • теорія ігор
Наукові інтереси:
  • прийняття рішень
  • математичне моделювання
  • безпека складних систем
Публікації на сайті
Всеукраїнський конкурс студентських наукових робіт зі спеціальності “Кібербезпека”

8 квітня у Фізико-технічному інституті НТУУ КПІ ім. Ігоря Сікорського відбувся ІІ тур Всеукраїнського Конкурсу з кібербезпеки у формі підсумкової науково-практичної конференції. На конференції виступило 13 студентів з 7 вищих навчальних закладів.

На підставі рецензій та оцінки наукових доповідей учасників науково-практичної конференції галузева конкурсна комісія вирішила визнати переможцями Конкурсу та нагородити дипломами:

Диплом відповідного ступеня, (потрібне зазначити)

Прізвище, імя, по-батькові студента (повністю)

Прізвище, імя, по-батькові посада наукового керівника (повністю)

Найменування вищого навчального закладу (повністю)

І ступінь

Мороз Артем Анатолійович

Щаблієнко Сергій Анатолійович

Яковів Ігор Богданович, доцент,к.т.н.

Інститут спеціального зв’язку та захисту інформації КПІ ім. Ігоря Сікорського

І ступінь

Ядуха Дарія Вікторівна

Фесенко Андрій Вячеславович, ст.викл, к.т.н.

НТУУ «КПІ ім. Ігоря Сікорського»

ІІ ступінь

Власенко Віталій Владиславович

Галюк Сергій Дмитрович, асистент

Чернівецький національний університет імені Юрія Федьковича

Герман Юрій Володимирович

ІІ ступінь

Губський Олександр Юрійович

Бабенко Тетяна Василівна, професор, д.т.н.

Київський національний університет ім. Тараса Шевченка

ІІІ ступінь

Щербань Тетяна Володимирівна

Лавров Євгеній Анатолійович, професор, д.т.н.

Сумський державний університет

ІІІ ступінь

Курочкін Андрій Олегович

ІІІ ступінь

Парфенюк Дмитро Миколайович

Жилін Артем Вікторович, доцент,к.т.н.

Інститут спеціального зв’язку та захисту інформації КПІ ім. Ігоря Сікорського

index

Вітаємо переможців та бажаємо нових успіхів у обраній справі!

Всеукраїнський конкурс студентських наукових робіт зі спеціальності “Кібербезпека”
До уваги учасників Всеукраїнського конкурсу студентських наукових робіт зі спеціальності “Кібербезпека”.  Для участі в науково-практичної конференції 5 квітня  запрошуємо учасників до КПІ в І корпус. Початок реєстрації з 9.00 у аудиторії 305-2 (3-й поверх наліво, клас Самсунг). Початок роботи о 10-й. Будуть заслухані доповіді фіналістів (12 перших з рейтингового списку) з відповідними презентаціями. Орієнтовна тривалість доповіді 10 хвилин, потім запитання. Ласкаво просимо шановних фіналістів до КПІ!
Всеукраїнський конкурс студентських наукових робіт зі спеціальності “Кібербезпека”. Рейтинговий список

До уваги учасників Всеукраїнського конкурсу студентських наукових робіт зі спеціальності “Кібербезпека”. Публікуємо рейтинговий список за результатами рецензування. Для участі в науково-практичної конференції 5 квітня 2019 р. рекомендовані учасники з перших 12 місць (що отримали більш ніж 60 балів). Більш детальна інформація з’явиться пізніше, слідкуйте за новинами на сторінці!

Шифр роботи

Середній бал

Кібераудит

89

AJPS

85

Детектор

78

Лавкрафт

76

Пейто

75

ЕФІР

75

Aurora

75

Інтелект моделі

73

4343CLOUD

68

Захист web-ресурсів

64

Синевир

62

Калина

 61

СКУД

59

Холодна зима

58

Модуляція

56

Руна

55

Соціальні мережі

52

Контроль USB

52

Starman

49

Атака

47

CIP2k19

46

2210BITTOIN

45

Стеганографічний метод

41

Криптостеганосистема

38

Око

38

Функція хешування

38

ШИФРУВАННЯ

37

Програмний захист

32

Universe

32

Прогресивне рішення

2

 

Питання до icпиту з Рефлексивного аналізу 5 курс
  1. Базові поняття рефлексивного моделювання, мотиви та приклади.

  2. Математичне моделювання рефлексії. Модель рефлексивного суб’єкту І рангу.

  3. Математичне моделювання рефлексії. Модель рефлексивного суб’єкту ІІ рангу.

  4. Інтенціональний вибір. Метавибір. Приклад з терористом.

  5. Модель біполярного вибору с довільнім рангом рефлексії.

  6. Стохастизація моделей, опис у неперервних змінних.

  7. Тестування неперервної моделі. Сенс змінних, приклади.

  8. Неперервна биполярна модель с довільнім рангом рефлексії.

  9. Багатополярний вибір, багатозначні норми, формула Таран.

  10. Стохастизація формули Таран.

  11. Узагальнена формула Таран с довільним рангом рефлексії.

  12. Моральна свідомість, системи ціностей, етичні системи.

  13. Моральний вибір, булева модель, аксіоматика взаємодії моральних станів.

  14. Автомати з семантикою, етичний статус індивидів та ситуацій.

  15. Рефлексивні формули індивидів.

  16. Типологія нормативних індивидів.

  17. Модель індивіда з триранговою рефлексією, сенс 4 змінних, інтенціональний вибір.

  18. Квадрат аспектів буття людини. Рефлексивна інтерпретація психософії Афанасьева, 4-мірні формули індивідів.

  19. Моделювання почуттів та сумнівів одноаспектної моделі.

  20. Порівняння етичних систем: вина, засудження, сумніви.

  21. Принцип максимізації свого етичного статусу при прийнятті рішень.

  22. Рефлексивний агент у групі. Загальна схема рефлексивної декомпозиції.

  23. Спрощена схема Лефевра. Обчислення інтенцій агента в умовах впливу групи, приклади з 3 сторонами.

  24. Обчислення інтенцій агента в умовах впливу групи з врахуванням різної поінформованості, приклади з більш ніж 3 сторонами.

Література

1. Лефевр В.А. Алгебра логики. – М.: Когито-центр. -2003. -426 с.

2. Таран Т.А., Шемаев В.Н. Математическое моделирование рефлексивного управления // Системні дослідження та інформаційні технології, 2005, № 3, с. 114-131.

“МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ СИСТЕМ i ПРОЦЕСІВ” питання до іспиту для 5 курсу
  1. Загальне поняття математичної моделі. Системи і моделі.

  2. Компонентне моделювання. Концепція «віртуального стенду». Слідкуючий диференціатор.

  3. Типи моделей. Схема моделювання нелінійних динамічних систем.

  4. Неперервні системи керування. Принцип суперпозиції, лінійна ланка. Моделі у просторі сигналів. Перетворення Лапласу та передаточні функції.

  5. Імпульсні, перехідні характеристики та передаточні функції, частотні характеристики.

  6. ВІВО-стійкість, критерії стійкості.

  7. Критерій Михайлова, ознага чергування коренів.

  8. Алгебра передаточних функцій: з’єднання та перетворення. Принцип однонаправленністі.

  9. Структурні схеми, сигнальні графи. Визначник графу, формула Мейсона.

  10. Фізична реалізуємість передатних функцій. Схеми з підсилювачами та інтеграторами. Фізична реалізуємість та причинність.

  11. Задача реалізації для передатних функцій. Канонічна форма спостережуємості.

  12. Задача реалізації для передатних функцій. Канонічна форма керованості.

  13. Модель системи керування у просторі станів. Реалізація у просторі станів. Канонічні нормальні форми у просторі станів.

  14. Загальна схема зв’язків між моделями лінійних систем.

  15. Керованість лінійних систем, ранговий критерій керованості.

  16. Спостережуваність лінійних систем, ранговий критерій спостережуваності.

  17. Інваріантність лінійних підпросторів, декомпозиція Калмана

  18. Мережі Петрі. Неформальне визначення.

  19. Мережі Петрі. Формальне визначення.

  20. Мережі Петрі, процедура сінхронізації. Можливі та сумісно можливі події. Стійкість МП.

  21. Експеримент з натурной, аналітичной та імітаційной моделлю. Статистичний експерімент (метод Монте-Карло). Приклад (площа кола).

  22. Методи генерації випадкових чисел. Вимоги до генераторів.

  23. Генерація випадкових чисел з визначеним розподілом.

  24. Квазінеперервність та псевдовипадковість для випадкових чисел.

  25. Моделювання випадкових подій та величин.

  26. Системи масового обслуговування, загальна структура, моделі, потоки вхідних подій.

  27. Система масового обслуговування М/М/1 та ії властивості.

1. Бусленко Н.П. Моделирование сложных систем. -М.: Наука. -1978. -400 с.
2. Гультяев А. Визуальное моделирование в среде MATLAB: учебный курс. -СПб: Питер. -2000. -430 с.
3. Филлипс Ч., Харбор Р. Системы управления с обратной связью. –М.: Лаборатория Базовых Знаний. -2001. -616 с.

СИСТЕМНЫЙ АНАЛИЗ, вопросы к экзамену
  1. Структурный аспект сложности. Симплексы, симплициальный комплекс как структурная 
    модель системы. Триангуляция поверхностей.
  2. Q-связность в симплициальном комплексе как отношение еквивалентности.
  3. Q-цепи, структурний вектор симплициального комплекса.
  4. Структурное дерево симплициального комплекса. Адресация q-цепей и елементарних 
    (несоставних) симплексов.
  5. Эксцентриситет симплекса и q-цепи в комплексе.
  6. Системная постановка ЗПР. Виды неопределенности. Классификация ЗПР.
  7. Формальная структура принятия решений в условиях неопределенности. Матрица
    решений. Полезность решения, оценочная функция. Оптимистическая, нейтральная,
    пессимистическая позиция. Относительный пессимизм.
  8. Геометрическая интерпретация ПР. УТ и АУТ, поле полезности решения. Конус
    предпочтения и антиконус, области неопределенности. Линия уровня и функции
    предпочтения. Выпуклость и вогнутость. Их связь с характеристикой позиции.
  9. Классические критерии ПР: MM, BL, S, GMM, условия применимости.
  10. Скользящие режимы в оптимальном управлении, пример. Минимизирующие
    последовательности, «слабый» предел. Замыкание, выпуклое замыкание. Реализация
    скольжения, аппроксимация.
  11. Производные критерии ПР: HW, HL, G, условия применимости.
  12. Составные критерии Мушика: BL(MM), BL(S), условия применимости.
  13. Графическое исследование критериев ПР. Связь между критериями ПР. Геометрическая
    оптимизация для MM, G, BL, S. Направляющие и линии уровня, конусы.
  14. Геометрическая оптимизация для G, BL, HL, HW, BL(MM).
  15. Количественные характеристики ситуации ПР. Независимые и выбираемые переменные.
    Классификация видов задания параметров. Детерминированное и стохастическое
    поведение окружения. Информированность. Затраты на информацию. Наблюдения до
    решения и повторные реализации решения.
  16. Оценка значимости независимого параметра. Абсолютная и относительная
    Релевантность, релевантность независимого параметра. Энтропия параметра, как
    характеристика его информативности, формула Шеннона. Перенос формулы энтропии
    на непрерывные случайные величины.
  17. Дифференциальная энтропия. Аппроксимация энтропии разбиения. Принцип максимальной
    энтропии в физике и информатике.
  18. Ранжирование независимых параметров по значимости, выбор интервалов дискретизации.
  19. Метод Ханселя. Обратная связь энтропии с числом значений параметра. Методы расчета:
     итерационный и от минимальной релевантности.
  20. Модифицированный метод Ханселя. Процедура и доказательство сходимости.
  21. Три ситуации ПР, постановка задачи ПР: ошибка выбора, размер эмпирической и
    апостериорной выборок, критерии.
  22. Квантили, интервальные оценки. Схема Бернулли и распределение Бернулли.
  23. Эмпирическая ситуация ПР. Редукция к задаче ЛП.
  24. Прогностическая ситуация ПР. Редукция к задаче ЛП.
  25. Эмпирико-прогностическая ситуация ПР. Редукция к задаче ЛП.
  26. Решение вспомогательной задачи ЛП и соответствующих задач ПР для Эм, Пр, и
    Эм-Пр ситуаций.
“МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ПРОЦЕСІВ ТА СИСТЕМ” питання до іспиту для 5 курсу

 

  1. Загальне поняття математичної моделі. Механіка Арістотеля порівняння з ньютонівською.

  2. Компонентне моделювання. Концепція «віртуального стенду». Слідкуючий диференціатор.

  3. Типи моделей. Схема моделювання нелінійних динамічних систем.

  4. Неперервні системи керування. Принцип суперпозиції, лінійна ланка. Моделі у просторі сигналів. Перетворення Лапласу та передаточні функції.

  5. Імпульсні, перехідні характеристики та передаточні функції, частотні характеристики.

  6. ВІВО-стійкість, критерії стійкості.

  7. Критерій Михайлова, ознага чергування коренів.

  8. Алгебра передаточних функцій: з’єднання та перетворення. Принцип однонаправленністі.

  9. Структурні схеми, сигнальні графи. Визначник графу, формула Мейсона.

  10. Фізична реалізуємість передатних функцій. Схеми з підсилювачами та інтеграторами. Фізична реалізуємість та причинність.

  11. Задача реалізації для передатних функцій. Канонічна форма спостережуємості.

  12. Задача реалізації для передатних функцій. Канонічна форма керованості.

  13. Модель системи керування у просторі станів. Реалізація у просторі станів. Канонічні нормальні форми у просторі станів.

  14. Загальна схема зв’язків між моделями лінійних систем.

  15. Кінцеві автомати. Типи синхронізації.

  16. Асинхронні автомати.

  17. Мережі Петрі. Неформальне визначення.

  18. Мережі Петрі. Формальне визначення.

  19. Мережі Петрі, процедура сінхронізації. Можливі та сумісно можливі події. Стійкість МП.

  20. Експеримент з натурной, аналітичной та імітаційной моделлю. Статистичний експерімент (метод Монте-Карло). Приклад (площа кола).

  21. Методи генерації випадкових чисел. Вимоги до генераторів.

  22. Генерація випадкових чисел з визначеним розподілом.

  23. Квазінеперервність та псевдовипадковість для випадкових чисел.

  24. Моделювання випадкових подій та величин.

  25. Системи масового обслуговування. Система М/М/1 та ії властивості.

1. Бусленко Н.П. Моделирование сложных систем. -М.: Наука. -1978. -400 с.
2. Гультяев А. Визуальное моделирование в среде MATLAB: учебный курс. -СПб: Питер. -2000. -430 с.
3. Филлипс Ч., Харбор Р. Системы управления с обратной связью. –М.: Лаборатория Базовых Знаний. -2001. -616 с.
4. Бенькович Е.С., Колесов Ю.Б., Сениченков Ю.Б. Практическое моделирование динамических систем. –СПБ.: БХВ-Петербург. -2002. -464 с.

Питання до заліку з Рефлексивного аналізу
  1. Базові поняття рефлексивного керування, мотиви та приклади.

  2. Математичне моделювання рефлексії. Модель рефлексивного суб’єкту І рангу.

  3. Математичне моделювання рефлексії. Модель рефлексивного суб’єкту ІІ рангу.

  4. Інтенціональний вибір. Метавибір. Приклад з терористом.
  5. Стохастизація моделей, опис у неперервних змінних.
  6. Тестування неперервної моделі. Приклади.
  7. Багатополярний вибір, багатозначні норми, формула Таран.
  8. Стохастизація формули Таран.
  9. Моральна свідомість, системи ціностей, етичні системи.

  10. Моральний вибір, булева модель, аксіоматика..
  11. Автомати з семантикою, етичний статус індивида та ситуації.
  12. Рефлексивні формули індивидів.
  13. Типологія нормативних індивидів.
  14. Моделювання почуттів та сумнівів.
  15. Порівняння етичних систем: вина, засудження, сумніви.
  16. Принцип максимізації свого етичного статусу.
  17. Рефлексивний агент у групі. Рефлексивна декомпозиція.
  18. Обчислення агента в умовах впливу групи, приклади з 3 сторонами.
  19. Обчислення агента в умовах впливу групи, приклади з більш ніж 3 сторонами.
  20. Рефлексивні ігри, приклади. Внутрішня валюта у рефлексивних іграх.
  21. Процедури відновлення внутрішньої валюти рефлексивного гравця.
Технологічні тренди-2016: кібербезпека у світі взаємопов’язаних пристроїв

privacy_cojo_640x360_bbc

Цього року, основним приводом для хвилювань бізнесменів по всьому світу буде кібербезпека, кажуть експерти, і ця проблема посилюватиметься разом із розвитком “інтернету речей” і дедалі більшою глобальною мобільністю та взаємопов’язаністю – ВВС.

 10 головних трендів, що впливатимуть на бізнес у 2016 р.

Детальніше

“МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ”, питання до іспиту
  1. Системи і моделі. Механіка Арістотеля. Принцип відносності Галілея та механіка Ньютона. Загальне поняття моделі і загальне означення моделі.
  2. Компонентне моделювання. Слідкуючий диференціатор. Концепція «віртуального стенду».
  3. Типи моделей. Схеми моделювання нелінійних динамічних систем.
  4. Неперервні системи керування. Принцип суперпозиції, лінійна ланка. Імпульсні перехідні та передаточні функції, частотні характеристики.
  5. ВІВО-стійкість лінійних систем, критерій Михайлова.
  6. Алгебра передаточних функцій: з’єднання та перетворення. Принцип односпрямованісті. Структурні схеми, сигнальні графи. Визначник графу, формула Мейсона.
  7. Фізична реалізуємість передатних функцій. Схеми з підсилювачами та інтеграторами.
  8. Канонічна форма спостережуємості.
  9. Задача реалізації для передатних функцій.
  10. Канонічна форма керованості.
  11. Модель системи керування у просторі станів. Реалізація у просторі станів. Канонічні нормальні форми у просторі станів.
  12. Моделювання динамічних систем, типи часу в моделюванні: неперервний, дискретний.
  13. Матрична передатна функція для линейной системи керування у просторі станів.
  14. Скінчені та випадкові автомати, асинхронні автомати. Асинхронні архітектури.
  15. Мережі Петрі, графічне та аналітичне зображення, основні задачи та характеристики.
  16. Мережі Петрі, процедура сінхронізації. Можливі події. Стійкість МП.
  17. Експеримент з натурной, аналітичной та імітаційной моделлю. Мислений експеримент.
  18. Статистичний експерімент (метод Монте-Карло). Приклад (площа кола).
  19. Методи генерації стандартних випадкових чисел. Вимоги до генераторів.
  20. Генерація випадкових чисел з визначеним розподілом.
  21. Квазінеперервність та псевдовипадковість для випадкових чисел. Моделювання випадкових подій та величин.
  22. Моделі вхідного потоку однорідних подій: найпростіший та ерлангівський.
  23. Системи масового обслуговування. Дисциплини обслуговування.
  24. Система М/М/1 та ії властивості. Показники якості обслуговування.
  25. Марківська модель масового обслуговування. Рівняння Колмогорова-Чепмена для системи М/М/1.
  26. Планування модельних експериментів. Основні поняття теорії планування: факторний простір, рівні, центр плана, проміжок варіювання, спостерігаєма, дисперсія відтворюваності.
  27. Стратегічне і тактичне планування експеріментів. Засоби побудови стратегічного планування.
  28. Повний факторний експеримент. Рандомізовані плани.
  29. Факторні експеріменти: дробовий, зі зміною факторів по одному, випадковий. Функція відгуку та адекватність планів.
  30. Латинський план, його характеристична властивість. Сільскогосподарский експерімент.

Література

1. Бусленко Н.П. Моделирование сложных систем. -М.: Наука. -1978. -400 с.

2. Гультяев А. Визуальное моделирование в среде MATLAB: учебный курс. -СПб: Питер. -2000. -430 с.

3. Филлипс Ч., Харбор Р. Системы управления с обратной связью. –М.: Лаборатория Базовых Знаний. -2001. -616 с.

4. Бенькович Е.С., Колесов Ю.Б., Сениченков Ю.Б. Практическое моделирование динамических систем. –СПБ.: БХВ-Петербург. -2002. -464 с.