Пошук академічних текстів

Інформація × Реєстраційний номер 0515U000364, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 14-05-2015 Статус Запланована Назва роботи Розробка і дослідження методів аналізу автоматних моделей, визначених на алгебраїчних структурах. Здобувач Скобелєв Володимир Володимирович, Керівник Летичевський Олександр Адольфович Опонент Глазунов Микола Михайлович Опонент Бедратюк Леонід Петрович Опонент Савчук Михайло Миколайович Опис Метою дисертаційної роботи є розробка математичного апарату для дескриптивного, алгоритмічного та метричного аналізу сімей автоматів, які представлено системами рекурентних співвідношень на алгебраїчних структурах над скінченним кільцем з позиції їх потенційного використання у процесі розв'язання задач захисту інформації. Розро-блено математичний апарат для дослідження систем рівнянь та нерівностей над скінченним кільцем, а саме: метод аналізу статистичної еквівалентності відображень від багатьох змінних скінченної множини у себе, схему представлення у неявному вигляді множини розв'язків системи алгебраїчних рівнянь з параметрами, схему вирішувача для перевірки виконуваності формул лінійної арифметики. Дата реєстрації 2015-05-14 Додано в НРАТ 2020-04-03 Закрити