Відділ математичних методів теорії надiйностi складних систем

Завідувач відділу:

Кузнєцов Микола Юрійович

Доктор технічних наук, член-кореспондент НАНУ, професор

Відділ засновано 1971 року академіком НАН України І.М. Коваленком, який очолював його до березня 2016 року. У відділі працюють 11 співробітників, серед них – академік НАН України, 2 члени-кореспонденти НАН України, 4 доктори наук, 4 кандидати наук.

Відділ математичних методів теорії надiйностi складних систем

ОСНОВНІ НАПРЯМИ НАУКОВОЇ ДІЯЛЬНОСТІ

  •  наближені комбіновані аналітико-статистичні методи аналізу надійності складних систем;
  • теоретична та прикладна криптографія, системи та методи захисту інформації.

НАЙВАЖЛИВІШІ РЕЗУЛЬТАТИ

Фундаментальні.

  • розроблено новий асимптотичний метод аналізу основних показників надійності резервованих систем, поведінка яких описується сильнорегенеруючим процесом;
  • запропоновано нові методи асимптотичного аналізу типових систем  масового обслуговування за умови малого навантаження та встановлено умови нечутливості ймовірності втрати вимоги;
  • розроблено теорію методів прискореного моделювання характеристик надійності високовідповідальних систем, що дозволяє на два порядки скоротити час моделювання;
  • розроблено модель дерева відмов з ефективностями, запропоновано аналітичні та статистичні методи оцінки ймовірнісних характеристик систем і створено відповідне програмне забезпечення;
  • встановлено умови ергодичності та стійкості систем обслуговування з повторними викликами та довільним розподілом часу циклу орбіти;
  • розроблено алгоритм обчислення характеристик типових систем обслуговування з повторними викликами.

Прикладні.

  • розроблено та введено в дію в Україні державний стандарт електронного цифрового підпису ДСТУ 4145;
  • розроблено та реалізовано сертифікаційний центр розподілу та управління ключами;
  • розроблено алгоритм асиметричного шифрування із використанням криптографічного перетворення в групі точок еліптичної кривої;
  • створено концепцію цифрового конверту на основі алгоритму асиметричного шифрування та криптографічних алгоритмів, визначених стандартами України;
  • розроблено алгоритми формування та декодування цифрового конверту;
  • на основі міжнародних стандартів розроблено формальні формати даних, необхідних для зображення цифрового конверту, незалежно від мови програмування та платформи;
  • здійснено програмну реалізацію алгоритмів формування та декодування цифрового конверту мовою програмування Java, що дозволяє використовувати цифровий конверт на будь-якій платформі, яка підтримує технологію Java.
  • розробка методів розрахунку та оптимізації надійності космічних об’єктів (малих супутників), результат: пакет прикладних програм, використовується: Южмаш, м. Дніпропетровськ, Україна.
  • розробка набору статистичних тестів для формування заданих якостей псевдовипадкових послідовностей, результат: комплекс програм, використовується: СБУ, генерація ключової інформації.


М.Ю.Кузнєцов «Прогнозування ризику виникнення аварійних ситуацій на АЕС методом прискореного моделювання» (kuzniecov-priskorene-modeljuvannja.pdf)