Search academic texts

Information × Registration Number 0504U000290, Doctoral dissertation Status д.т.н. Date 14-05-2004 popup.evolution o Title Intellectualization of the decision of scientific and applied problems on the basis of methods of computer algebra Author Lyakhov Alexandr Logvinovich, popup.head Klimenko Vitali Petrovich popup.opponent Перевозчикова Ольга Леонідівна popup.opponent Мочанов Олександр Артемович popup.opponent Теслер Генадій Семенович Description Об'єкт - сучасні проблеми застосування комп'ютерної алгебри, які ускладнюють створення програмного забезпечення наукових та прикладних задач. Мета - створення теоретичних і прикладних основ інтелектуалізації програмного забезпечення для автоматичного розв'язування чисельно-аналітичними методами складних наукових і прикладних задач. Методи -теоретико-множинний підхід, методи математичного аналізу, теорії узагальнених функцій, топології, теорії програмування та комп'ютерної алгебри, а також методологічні принципи і методи, що розроблені у даній дисертації. Створено теоретичні й прикладні основи інтелектуалізації програмного забезпечення складних наукових та прикладних задач. Дано аналіз сучасних проблем застосування чисельно-аналітичних методів і означений клас "складних задач комп'ютерної алгебри". Встановлена можливість розв'язання цієї проблеми шляхом інтелектуалізації програмного забезпечення мовами на основі аналітичної граматики. Розроблена теоретико-множинна модель задачі. Доведене існування такоїмови, обґрунтовані й розроблені основні структури даних, базисні процедури вхідних мов СКА нового покоління для інтелектуалізації програмного забезпечення складних задач. Отримані результати використані при розробленні нової мови сім'ї АНАЛІТИК - АНАЛІТИК-2000 і апробовані на реальних прикладних задачах: розроблені їх аналітичні моделі, методи розв'язування, алгоритми та програмне забезпечення, систематизовані стилі програмування. Registration Date 2004-05-14 popup.nrat_date 2020-04-04 Close