Search academic texts

Information × Registration Number 0405U004928, Candidate dissertation Status к.ф.-м.н. Date 09-12-2005 popup.evolution o Title Methods of algebraic programming in development of mahematical software systems Author Volkov Vladyslav, popup.head Letichevsky Alexander A. popup.opponent Клименко Віталій Петрович popup.opponent Гороховський Семен Самуїлович Description У дисертації розроблено методологію координації різних видів математичної діяльності у різнорідному програмному середовищі шляхом представлення у вигляді взаємодіючих математичних агентів. Розроблено базові засоби системи АПС, що підтримують інтеграцію основних парадигм програмування. Створено та реалізовано архітектуру підтримки данної методології і використано у розробці системи перевірки вимог VRS. Розроблено алгебраїчне представлення для класу алгоритмів типу поповнення критичними парами. Досліджені властивості цього представлення; створено інструментальні програмних засобів для роботи з алгоритмами подібного типу; реалізовано декілька варіантів алгоритмів. Розроблено підхід до інтеграції символьних обчислень з численними методами та засобами штучного інтелекту. На основі цього підходу реалізовано систему комп'ютерної алгебри AIST для підтримку процесу викладання математики, та систему чисельно-аналітичних перетворень для дослідження задач прикладного математичного аналізу. Registration Date 2005-12-09 popup.nrat_date 2020-04-04 Close