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

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

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

На здобуття

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

Дата захисту

14-05-2004

Статус

Запланована

Назва роботи

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

Здобувач

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

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

Опис

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

Додано в НРАТ

2020-04-04