№

п/п

Назва теми

Зміст завдання

Науковий керівник

1.

Інформаційні технології побудови нелінійних регресійних моделей на основі активного та пасивного експерименту 

На основі оригінальних методів проектування інформаційних технологій побудови достовірних нелінійних регресійних математичних моделей з використанням невеликої кількості експериментів (активних, неактивних)

Проф. Павлов О.А.

2.

Календарне планування об’єктів із заданою структурою технологічних процесів

Розглядаються нові математичні моделі і алгоритми, що дозволяють ефективно автоматизувати процес планування в дискретних системах широкого класу (розробка програмних продуктів інноваційного типу, дрібносерійне виробництво). Ефективне розв’язання запропонованих моделей засноване на отриманих раніше результатах в науковій школі проф. Павлова О.А.

Проф. Павлов О.А.

3.

Автоматизований аналіз ефективності багатопоточних програм на основі стохастичних мереж Петрі

Розробка методу моделювання багатопочних програм на основі Петрі-об’єктної технології та програмного забезпечення для його автоматизації. Розробка методів аналізу ефективності багато-поточних програм на основі їх моделей.

Проф. Стеценко І.В.

4.

Методи розпізнавання динаміки дискретно-подійних систем

Розробка методів для співставлення спостережуваної послідовності подій в системі і динаміки моделі, заданої мережею Петрі. Застосування запропонованих методів для аналізу кіберзахисту комп’ютерних систем.

Доц. Баклан І.В.