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

Реєстраційний номер

0504U000290, Докторська дисертація

Назва роботи

Інтелектуалізація розв'язування наукових і прикладних задач на основі методів комп'ютерної алгебри

Здобувач

Ляхов Олександр Логвинович,

Керівник Клименко Віталій Петрович
Опонент Перевозчикова Ольга Леонідівна
Опонент Мочанов Олександр Артемович
Опонент Теслер Генадій Семенович

На здобуття

д.т.н., 01.05.03, Математичне та програмне забезпечення обчислювальних машин і систем

Дата захисту

14-05-2004

Опис

Об'єкт - сучасні проблеми застосування комп'ютерної алгебри, які ускладнюють створення програмного забезпечення наукових та прикладних задач. Мета - створення теоретичних і прикладних основ інтелектуалізації програмного забезпечення для автоматичного розв'язування чисельно-аналітичними методами складних наукових і прикладних задач. Методи -теоретико-множинний підхід, методи математичного аналізу, теорії узагальнених функцій, топології, теорії програмування та комп'ютерної алгебри, а також методологічні принципи і методи, що розроблені у даній дисертації. Створено теоретичні й прикладні основи інтелектуалізації програмного забезпечення складних наукових та прикладних задач. Дано аналіз сучасних проблем застосування чисельно-аналітичних методів і означений клас "складних задач комп'ютерної алгебри". Встановлена можливість розв'язання цієї проблеми шляхом інтелектуалізації програмного забезпечення мовами на основі аналітичної граматики. Розроблена теоретико-множинна модель задачі. Доведене існування такоїмови, обґрунтовані й розроблені основні структури даних, базисні процедури вхідних мов СКА нового покоління для інтелектуалізації програмного забезпечення складних задач. Отримані результати використані при розробленні нової мови сім'ї АНАЛІТИК - АНАЛІТИК-2000 і апробовані на реальних прикладних задачах: розроблені їх аналітичні моделі, методи розв'язування, алгоритми та програмне забезпечення, систематизовані стилі програмування.