Search academic texts

Information × Registration Number 0414U004119, Candidate dissertation Status к.ф.-м.н. Date 25-09-2014 popup.evolution o Title Algebraic automata analysis methods of procedural programs and reactive systems Author Maksymets Olexandr Mykolayovych, popup.head Kryvyi Sergiy Lukianovych popup.opponent Стецюк Петро Іванович popup.opponent Бублик Володимир Васильович Description Обгрунтовано використання методів верхньої та нижньої апроксимації для пошуку програмних інваріантів над кільцями поліномів. Для них розв'язано задачi про спiввiдношення i перетин множин iнварiантiв та стабілізацію з використанням базисiв Грьобнера. Покращено TSS-метод побудови мінімальної генеруючої множини розв'язків системи лінійних діофантових рівнянь в множині натуральних чисел. Запропоновано моделювання синхронного добутку транзиційних систем та дослідження їх властивостей засобами мереж Петрі. Розроблено технологічну лінію дослідження властивостей мереж Петрі на основі удосконаленого TSS-методу. Registration Date 2014-09-25 popup.nrat_date 2020-04-03 Close