Registration Number
0515U000364, Doctoral dissertation
Status
д.ф.-м.н.
Date
14-05-2015
popup.evolution
.
Title
Elaboration and investigation of methods of analysis of automata models defined on algebraic structures.
Author
Skobelev Volodimir Volodimirovich,
popup.head Letichevskiy Aleksandr Adol'fovich
popup.opponent Глазунов Микола Михайлович
popup.opponent Бедратюк Леонід Петрович
popup.opponent Савчук Михайло Миколайович
popup.rada
Taras Shevchenko Kiev University
Description
Метою дисертаційної роботи є розробка математичного апарату для дескриптивного, алгоритмічного та метричного аналізу сімей автоматів, які представлено системами рекурентних співвідношень на алгебраїчних структурах над скінченним кільцем з позиції їх потенційного використання у процесі розв'язання задач захисту інформації. Розро-блено математичний апарат для дослідження систем рівнянь та нерівностей над скінченним кільцем, а саме: метод аналізу статистичної еквівалентності відображень від багатьох змінних скінченної множини у себе, схему представлення у неявному вигляді множини розв'язків системи алгебраїчних рівнянь з параметрами, схему вирішувача для перевірки виконуваності формул лінійної арифметики.
Registration Date
2015-05-21
popup.nrat_date
2020-04-04 / 2026-06-29
