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

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0504U000290

Облікова картка дисертації

0504U000290.pdf

Здобувач

Спеціальність

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

14-05-2004

Спеціалізована вчена рада

Д 26.204.01

Анотація

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

Читати повністю

Файли

Автореферат--aref.doc

Автореферат--title.DOC

Дисертація--ВИСНОВКИ.doc

Дисертація--ВСТУП.doc

Дисертація--ДОДАТКИ.doc

Дисертація--ЗМІСТ.doc

Дисертація--Література.doc

Дисертація--ОСНОВНА ЧАСТИНА--1--Р 1_1-4.doc

Дисертація--ОСНОВНА ЧАСТИНА--1--Р 1_5.doc

Дисертація--ОСНОВНА ЧАСТИНА--1--Р 1_6.doc

Дисертація--ОСНОВНА ЧАСТИНА--2--Р 2_1.doc

Дисертація--ОСНОВНА ЧАСТИНА--2--Р 2_2.doc

Дисертація--ОСНОВНА ЧАСТИНА--2--Р 2_3.doc

Дисертація--ОСНОВНА ЧАСТИНА--3--Р 3_1-2.doc

Дисертація--ОСНОВНА ЧАСТИНА--3--Р 3_3a.doc

Дисертація--ОСНОВНА ЧАСТИНА--3--Р 3_3b.doc

Дисертація--ОСНОВНА ЧАСТИНА--4--Р 4_1.doc

Дисертація--ОСНОВНА ЧАСТИНА--4--Р 4_2.doc

Дисертація--ОСНОВНА ЧАСТИНА--4--Р 4_3.doc

Дисертація--ОСНОВНА ЧАСТИНА--4--Р 4_4.doc

Дисертація--ОСНОВНА ЧАСТИНА--5--Р 531.doc

Дисертація--ОСНОВНА ЧАСТИНА--5--Р 532.doc

Дисертація--ОСНОВНА ЧАСТИНА--5--Р 533.doc

Дисертація--ОСНОВНА ЧАСТИНА--5--Р 5_1.doc

Дисертація--ОСНОВНА ЧАСТИНА--5--Р 5_2.doc

Дисертація--ОСНОВНА ЧАСТИНА--6--Р 6_1.doc

Дисертація--ОСНОВНА ЧАСТИНА--6--Р 6_2.doc

Дисертація--ОСНОВНА ЧАСТИНА--6--Р 6_4.doc

Дисертація--ОСНОВНА ЧАСТИНА--7--Р 7_0.doc

Дисертація--ОСНОВНА ЧАСТИНА--7--Р 7_1.doc

Дисертація--ОСНОВНА ЧАСТИНА--7--Р 7_2.doc

Дисертація--СКОРОЧЕННЯ.doc

Дисертація--ТИТУЛКА.doc

Схожі дисертації

0421U104038

Петренко Максим Віталійович

Методи інтеграції гетерогенних бібліографічних даних

0421U104040

Артабаєв Юрій Зуберович

Методика підвищення точності комплексованих навігаційних систем на основі прогнозуючих моделей з використанням генетичних алгоритмів.

0421U103593

Зубко Роман Анатолійович

Удосконалення методів підвищення часової ефективності фрактального стиснення зображень

0421U103401

Чистякова Інна Сергіївна

Метод відображення між дескриптивною логікою та реляційною моделлю даних.

0421U103320

Бєлозьорова Яна Андріївна

Метод застосування вейвлет аналізу в задачах ідентифікації мовної інформації