Головна Головна -> Реферати українською -> Дисертації та автореферати -> розробка інтегрованих алгебро-алгоритмічних моделей: елементи теоріЇ, інструментарій, ЗАСТОСУВАННя

розробка інтегрованих алгебро-алгоритмічних моделей: елементи теоріЇ, інструментарій, ЗАСТОСУВАННя

Назва:
розробка інтегрованих алгебро-алгоритмічних моделей: елементи теоріЇ, інструментарій, ЗАСТОСУВАННя
Тип:
Реферат
Мова:
Українська
Розмiр:
17,69 KB
Завантажень:
34
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12 
Київський національний університет
імені Тараса Шевченка
Яценко Олена Анатоліївна
УДК 681.3.06
розробка інтегрованих алгебро-алгоритмічних моделей:
елементи теоріЇ, інструментарій, ЗАСТОСУВАННя
01.05.03 математичне та програмне забезпечення
обчислювальних машин і систем
Автореферат
дисертації на здобуття наукового ступеня
кандидата фізико-математичних наук
Київ – 2005
Дисертацією є рукопис
Робота виконана в Інституті програмних систем
Національної академії наук України, м. Київ.
Науковий керівник:
доктор технічних наук, професор
Цейтлін Георгій Овсійович
Міжнародний Соломонів університет, м. Київ,
завідувач кафедри
Офіційні опоненти:
доктор фізико-математичних наук, старший науковий
співробітник Буй Дмитро Борисович,
Київський національний університет
імені Тараса Шевченка, м. Київ, завідувач лабораторії
проблем програмування
кандидат фізико-математичних наук, старший науковий
співробітник Гороховський Семен Самуїлович,
Національний університет “Києво-Могилянська академія”,
м. Київ, доцент
Провідна установа: Інститут кібернетики НАН України, м. Київ,
відділ автоматизації програмування
Захист відбудеться 16 червня 2005 року о 14 годині на засіданні
спеціалізованої вченої ради Д .001.09 Київського національного
університету імені Тараса Шевченка за адресою:
03127, м. Київ-127, проспект Акад. Глушкова 2, корпус 6,
Київський національний університет імені Тараса Шевченка,
факультет кібернетики, ауд. 40. Тел. 259-04-24.
З дисертацією можна ознайомитися в бібліотеці Київського
національного університету імені Тараса Шевченка (вул. Володимирська 58).
Автореферат розісланий 11 травня 2005 року.
Вчений секретар
спеціалізованої вченої ради
кандидат фізико-математичних наук, доцент В.П. Шевченко
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Важливою проблемою сучасного програмування є його математизація, розробка формалізованих мов проектування алгоритмів і програм, а також їх абстрактних моделей. Засоби проектування, аналізу і реалізації алгоритмів є особливо актуальними у зв’язку з важливими процесами комп’ютеризації й автоматизації діяльності суспільства. До таких засобів, зокрема, відносяться алгебри алгоритмів, орієнтовані на вирішення проблем формалізації, обґрунтування правильності, покращення алгоритмів (за обраними критеріями). Значний внесок у розробку алгебри алгоритмів був здійснений фундаментальними працями В.М. Глушкова з автоматизації програмування і проектування логічних структур ЕОМ, що були опубліковані в 60_х – х роках. У руслі вказаних праць Глушковим та його учнями була побудована теорія систем алгоритмічних алгебр (САА). Саме від концепції САА і бере свій початок алгебра алгоритміки – перспективний напрямок, що розвивається у рамках української алгебро-кібернетичної школи. Згадана алгебра займає власну нішу в області алгебраїчної алгоритміки, яка в останній час отримала поширення на Заході. Алгебра алгоритміки створює важливі теоретичні підвалини для розвитку суміжних досліджень, зокрема, що стосуються параметричних систем програмування та програмології, діалогових систем, повторного використання компонент, моделей предметних областей, баз даних та знань, паралельних обчислень. Використання теорії САА та алгебри алгоритміки в роботах К.Л. Ющенко, А.В. Анісімова, А.Ю. Дорошенка, Ю.В. Капітонової, О.А. Летичевського, К.М. Лавріщевої, О.Л. Перевозчикової, В.Н. Редька, Г.О. Цейтліна та інших вчених дозволило зробити суттєвий вклад у розвиток теорії і технології програмування.
Задачі побудови ефективних моделей і методів як послідовної, так і паралельної обробки займають одне із центральних місць у алгебрі алгоритміки. Так, важливою залишається проблема адаптивності формальних специфікацій алгоритмів та програм до конкретних умов їх використання. Зокрема вона може бути вирішена за рахунок параметризації згаданих специфікацій. Це робить надзвичайно актуальним подальший розвиток інтегрованих алгебро-алгоритмічних моделей програм, які сполучають алгебру алгоритміки з теорією формальних граматик.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12 



Реферат на тему: розробка інтегрованих алгебро-алгоритмічних моделей: елементи теоріЇ, інструментарій, ЗАСТОСУВАННя

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок