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

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