Огляд багатопоточних засобів мов програмування. Аналіз інтегрованого інструментарію синтезу алгоритмів і програм на основі алгебро-алгоритмічних моделей. Створення алгебро-алгоритмічних моделей програм для розв’язання задач символьної мультиобробки.
Аннотация к работе
Автореферат дисертації на здобуття наукового ступеня кандидата фізико-математичних наук розробка інтегрованих алгебро-алгоритмічних моделей: елементи ТЕОРІЇ, інструментарій, ЗАСТОСУВАННЯНауковий керівник: доктор технічних наук, професор Цейтлін Георгій Овсійович Міжнародний Соломонів університет, м. Офіційні опоненти: доктор фізико-математичних наук, старший науковий співробітник Буй Дмитро Борисович, Київський національний університет імені Тараса Шевченка, м. Київ, завідувач лабораторії проблем програмування кандидат фізико-математичних наук, старший науковий співробітник Гороховський Семен Самуїлович, Національний університет “Києво-Могилянська академія”, м. Захист відбудеться 16 червня 2005 року о 14 годині на засіданні спеціалізованої вченої ради Д 26.001.09 Київського національного університету імені Тараса Шевченка за адресою: 03127, м. З дисертацією можна ознайомитися в бібліотеці Київського національного університету імені Тараса Шевченка (вул.До таких засобів, зокрема, відносяться алгебри алгоритмів, орієнтовані на вирішення проблем формалізації, обґрунтування правильності, покращення алгоритмів (за обраними критеріями). Значний внесок у розробку алгебри алгоритмів був здійснений фундаментальними працями В.М. Саме від концепції САА і бере свій початок алгебра алгоритміки - перспективний напрямок, що розвивається у рамках української алгебро-кібернетичної школи. Алгебра алгоритміки створює важливі теоретичні підвалини для розвитку суміжних досліджень, зокрема, що стосуються параметричних систем програмування та програмології, діалогових систем, повторного використання компонент, моделей предметних областей, баз даних та знань, паралельних обчислень. Розроблені в дисертації інструментальні засоби поєднують потужні можливості візуалізації алгоритмів, які застосовує UML, з притаманним алгебрі алгоритміки описом алгоритмів у аналітичній формі, яка дозволяє здійснювати формальні перетворення алгоритмів з метою їх покращення.Перший розділ містить огляд літератури, що стосується сучасного стану досліджень у рамках алгебри алгоритміки. Розглядається проектування предметних областей, алгебро-алгоритмічні моделі та інструментальні засоби алгебри алгоритміки. Згадані моделі інтегрують у собі апарат алгебр алгоритмів із теорією формальних граматик. Інструментарій UML, як і засоби алгебри алгоритміки, не залежить від конкретної мови програмування і може використовуватися для автоматизованої генерації текстів програм. Беручи до уваги коефіцієнти при , для паралельного алгоритму БС-М максимальна кількість операцій порівняння і максимальна кількість переміщень менші, ніж для послідовного алгоритму, у 1.6 і 2 рази відповідно; в алгоритмі ЧОВНИК-2 - в 1.33 рази; в алгоритмі АДРСОРТ-П(М0, М, n) - в n разів; у сортуванні САВ/А на n - 2 менше, ніж у послідовному, а в 2 рази; для алгоритму ЧОВНИК-П менше в разів, ніж для послідовного сортування (при ), а - в разів (при m > 2).Головним результатом дисертації є розробка інтегрованих алгебро-алгоритмічних моделей, які розвязують важливу задачу проектування і генерації програм і мають істотне значення для розробки послідовних та паралельних застосувань у сучасних ОО середовищах. Конкретними науковими результатами проведеного дослідження є: Розроблено розподілені гіперсхеми - моделі, що є різновидом граматик структурного проектування і призначені для проектування та синтезу класів паралельних алгоритмів і програм. Створені моделі застосовано для проектування і генерації схем алгоритмів символьної мультиобробки: паралельних сортування, пошуку, мовного процесування та ін. Розроблено концепцію середовища конструювання алгоритмічних знань символьної обробки, яка ґрунтується на апараті алгебри алгоритміки (стратегії обробки, метаправила конструювання схем). Інструментарій забезпечує генерацію програм із використанням засобів візуалізованого проектування (мови UML і системи Rational Rose) у ОО середовищах програмування (Java, C та ін.).