Максимець О. М. Алгебро-автоматні методи аналізу процедурних програм і реактивних систем

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0414U004119

Облікова картка дисертації

0414U004119.pdf

Здобувач

Спеціальність

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

25-09-2014

Спеціалізована вчена рада

Д 26.001.09

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

Анотація

Обгрунтовано використання методів верхньої та нижньої апроксимації для пошуку програмних інваріантів над кільцями поліномів. Для них розв'язано задачi про спiввiдношення i перетин множин iнварiантiв та стабілізацію з використанням базисiв Грьобнера. Покращено TSS-метод побудови мінімальної генеруючої множини розв'язків системи лінійних діофантових рівнянь в множині натуральних чисел. Запропоновано моделювання синхронного добутку транзиційних систем та дослідження їх властивостей засобами мереж Петрі. Розроблено технологічну лінію дослідження властивостей мереж Петрі на основі удосконаленого TSS-методу.

Читати повністю

Файли

OKD_Maksymets.txt

aref.pdf

maksymets_disser.pdf

Схожі дисертації

0421U102388

Насіров Еміл Мехдієвич

Паралелізація невід’ємної факторизації розріджених лінгвістичних матриць та тензорів надвеликої розмірності

0420U102355

Дудар Вячеслав Вячеславович

Оптимiзацiйнi алгоритми навчання та iнварiантнiсть до геометричних перетворень нейронних мереж

0520U101700

Притоманова Ольга Михайлівна

Нечіткі задачі оптимального розбиття множин: теоретичні основи, методи та алгоритми розв’язання

0520U100242

Завадський Ігор Олександрович

Подільні коди та їх застосування

0520U100209

Рисцов Ігор Костянтинович

Застосування методів алгебраїчної теорії автоматів до проблем аналізу дискретних динамічних систем.