Eng
Укр Рус
ABOUT THE INSTITUTE
SKIT

Department of Mathematical Methods of Reliability Theory of Complex Systems

Head of the department:

Kuznetsov Mykola Yuriyovych

Doctor of Technical Sciences, Corresponding Member of NASU, Professor

 Head of the Department  Kuznetsov Mykola Yuriiovych , Corresponding Member of the NAS of Ukraine, Doctor of Technical Sciences, Professor . 

 The department was founded in 1971 by an academician of the NAS of Ukraine І.М. Kovalenko , who headed it until March 2016. 

 In the department There are 11 employees, including an academician of the National Academy of Sciences of Ukraine, 2 corresponding members of the National Academy of Sciences of Ukraine, 4 doctors of sciences, 4 candidates of sciences. 

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

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

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

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

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

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

Прикладні.

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


Presentations

M.Yu. Kuznetsov "Forecasting the risk of accidents at nuclear power plants by the method of accelerated modeling" ( kuzniecov-priskorene-modeljuvannja.pdf )