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

Інформація × Реєстраційний номер 0405U004928, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 09-12-2005 Статус Запланована Назва роботи Методи та засоби алгебраїчного програмування в розробці математичних програмних систем Здобувач Волков Владислав Анатолійович, Керівник Летичевський Олександр Адольфович Опонент Клименко Віталій Петрович Опонент Гороховський Семен Самуїлович Опис У дисертації розроблено методологію координації різних видів математичної діяльності у різнорідному програмному середовищі шляхом представлення у вигляді взаємодіючих математичних агентів. Розроблено базові засоби системи АПС, що підтримують інтеграцію основних парадигм програмування. Створено та реалізовано архітектуру підтримки данної методології і використано у розробці системи перевірки вимог VRS. Розроблено алгебраїчне представлення для класу алгоритмів типу поповнення критичними парами. Досліджені властивості цього представлення; створено інструментальні програмних засобів для роботи з алгоритмами подібного типу; реалізовано декілька варіантів алгоритмів. Розроблено підхід до інтеграції символьних обчислень з численними методами та засобами штучного інтелекту. На основі цього підходу реалізовано систему комп'ютерної алгебри AIST для підтримку процесу викладання математики, та систему чисельно-аналітичних перетворень для дослідження задач прикладного математичного аналізу. Дата реєстрації 2005-12-09 Додано в НРАТ 2020-04-04 Закрити