Знайдено документів: 1
Інформація × Реєстраційний номер 0414U004119, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 25-09-2014 Статус Запланована Назва роботи Алгебро-автоматні методи аналізу процедурних програм і реактивних систем Здобувач Максимець Олександр Миколайович, Керівник Кривий Сергій Лук'янович Опонент Стецюк Петро Іванович Опонент Бублик Володимир Васильович Опис Обгрунтовано використання методів верхньої та нижньої апроксимації для пошуку програмних інваріантів над кільцями поліномів. Для них розв'язано задачi про спiввiдношення i перетин множин iнварiантiв та стабілізацію з використанням базисiв Грьобнера. Покращено TSS-метод побудови мінімальної генеруючої множини розв'язків системи лінійних діофантових рівнянь в множині натуральних чисел. Запропоновано моделювання синхронного добутку транзиційних систем та дослідження їх властивостей засобами мереж Петрі. Розроблено технологічну лінію дослідження властивостей мереж Петрі на основі удосконаленого TSS-методу. Дата реєстрації 2014-09-25 Додано в НРАТ 2020-04-03 Закрити
Дисертація кандидатська
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем
1
Максимець Олександр Миколайович. Алгебро-автоматні методи аналізу процедурних програм і реактивних систем : к.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 2014-09-25; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0414U004119.
Знайдено документів: 1

Оновлено: 2026-03-18


Роздрукувати цю сторінку