Управління процесом символьних перетворень при розв"язанні задач комп"ютерної алгебри - Автореферат

ІНСТИТУТ ПРОБЛЕМ МАТЕМАТИЧНИХ МАШИН І СИСТЕМ 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і системНауковий керівник доктор фізико-математичних наук, старший науковий співробітник Клименко Віталій Петрович, Інститут проблем математичних машин і систем НАН України, заступник директора з наукової роботи Офіційні опоненти: доктор технічних наук, старший науковий співробітник Теслер Геннадій Семенович, Інститут проблем математичних машин і систем НАН України, головний науковий співробітник кандидат фізико-математичних наук, старший науковий співробітник Лялецький Олександр Вадимович, Київський національний університет імені Тараса Шевченка, факультет кібернетики, завідуючий лабораторією Захист відбудеться "23" січня 2008 року о 14 годині на засіданні спеціалізованої вченої ради Д 26.204.01 в Інституті проблем математичних машин і систем НАН України за адресою: 03187, Київ-187, проспект Академіка Глушкова, 42. З дисертацією можна ознайомитись у бібліотеці Інституту проблем математичних машин і систем НАН України за адресою: 03187, Київ-187, проспект Академіка Глушкова, 42. Поняття ефективності СКА в основному залежить від продуктивності праці користувача, забезпеченої високим рівнем інтелекту системи.Зявляються все нові версії таких систем компютерної алгебри (СКА), як АНАЛІТИК, АХІОМ, MAPLE, MATHEMATICA, REDUCE, які постійно вдосконалюються разом із ростом технічних характеристик ЕОМ. Глушкова в Інституті кібернетики НАН України розроблялися високоінтелектуальні СКА сімейства АНАЛІТИК, які апаратно реалізовувалися на ЕОМ серії МІР (АНАЛІТИК, АНАЛІТИК-74) та спеціалізованих машинах СМ-1410 та ЄС-2680 (АНАЛІТИК-79). З кінця 80-х років програмно реалізовувалися на сучасних ПЕОМ АНАЛІТИК-89, АНАЛІТИК-91, АНАЛІТИК-93, АНАЛІТИК-2000. Удосконалення сучасних СКА ведеться в таких напрямах: розширення множини типів даних, наближення символіки алгоритмічних мов СКА до символіки загальноприйнятої мови математики, що суттєво розширює спектр та ефективність застосовування методів. Дослідження з вирішенням задач в інтерактивному режимі показали, що рівень інтелекту мови в основному визначається засобами автоматичного рішення задач і лаконізмом та "прозорістю" програм.Обєктами перших ЕОМ були числа "із фіксованою комою", і вхідні мови цих ЕОМ не містили навіть таких "складних" операцій, як множення. Принципова відмінність мов сімейства АНАЛІТИК від мов зарубіжних СКА полягає в тому, що управління процесом обчислень визначається не типом даних, а спеціальними режимними операторами й функціями, які діють на всю програму або її частину. Функції мов сімейства АНАЛІТИК визначаються досить узагальнено, й вибір потрібної гілки в реалізуючій функцію процедурі задається за допомогою певних режимних засобів. Такі вирази аналогічні виразам математичного аналізу і, звичайно, будуються зі змінних, чисел, дужок, укажчиків функцій та операцій. Значення "істина" отримується, якщо при порівнянні обєкта та форми визначаються значення вільних змінних, при підстановці яких форма перетворюється у вираз, еквівалентний обєкту, що досліджується.Вирішена задача по створенню й реалізації мови КА з розвиненими засобами чисельно-аналітичних перетворень, розпізнавання та управління - АНАЛІТИК-2000, що забезпечує підвищення продуктивності праці користувача. Мова включає ефективний апарат налагодження програм та інтерактивного рішення задач. Швидкодія числових перетворень зросла у 7000-33000 разів у залежності від розрядності чисел. За усередненими даними користувачів час написання та налагодження програм скоротився у 3-6 разів. При виконанні дисертаційної роботи були отримані такі результати: Розроблено й реалізовано систему управління процесом аналітичних обчислень з урахуванням режимів і модифікацій.

Основний зміст роботи