Головна Головна -> Реферати українською -> Дисертації та автореферати -> МЕТОДИ ТА ЗАСОБИ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ В РОЗРОБЦІ МАТЕМАТИЧНИХ ПРОГРАМНИХ СИСТЕМ

МЕТОДИ ТА ЗАСОБИ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ В РОЗРОБЦІ МАТЕМАТИЧНИХ ПРОГРАМНИХ СИСТЕМ

Назва:
МЕТОДИ ТА ЗАСОБИ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ В РОЗРОБЦІ МАТЕМАТИЧНИХ ПРОГРАМНИХ СИСТЕМ
Тип:
Реферат
Мова:
Українська
Розмiр:
23,33 KB
Завантажень:
60
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15 
Національна академія наук України
Інститут кібернетики імені В.М. Глушкова
ВОЛКОВ Владислав Анатолійович
УДК 681.3.06
МЕТОДИ ТА ЗАСОБИ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ
В РОЗРОБЦІ МАТЕМАТИЧНИХ ПРОГРАМНИХ СИСТЕМ
01.05.03 – математичне та програмне забезпечення обчислювальних машин і систем
Автореферат
дисертації на здобуття наукового ступеня
кандидата фізико-математичних наук
Київ – 2005


Дисертацією є рукопис.
Робота виконана в Інституті кібернетики ім. В.М. Глушкова НАН України.
Науковий керівник: член-кореспондент НАН України,
доктор фізико-математичних наук, професор,
Летичевський Олександр Адольфович,
Інститут кібернетики ім. В.М.Глушкова НАН України,
завідувач відділу.
Офіційні опоненти: доктор фізико-математичних наук, професор
Клименко Віталій Петрович,
Інститут математичних машин і систем НАН України,
заступник директора,
кандидат фізико-математичних наук, доцент,
Гороховський Семен Самуїлович,
Національний університет “Києво- Могилянська академія”, Міністерство освіти та науки України.
Провідна установа: Київський національний університет
імені Тараса Шевченка,
факультет кібернетики,
кафедра теоретичної кібернетики
Захист відбудеться 09.12.2005 р. о (об) _11______ годині на засіданні
спеціалізованої вченої ради Д 26.194.02 при Інституті кібернетики ім. В.М.Глушкова НАН України за адресою:
03680, МСП, Київ-187, проспект Академіка Глушкова, 40.
З дисертацією можна ознайомитися в науково-технічному архіві Інституту кібернетики ім. В.М. Глушкова НАН України.
Автореферат розісланий 08.11. 2005 р.
Учений секретар
спеціалізованої вченої ради Синявський В.Ф.
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Традиційно, вираз "математичне програмне забезпечення ЕОМ" розумівся, перш за все, у контексті чисельних обчислень. Протягом більше ніж 50 років використання обчислювальної техніки було розроблено багате програмне забезпечення, що надає можливості роботи з обчислювальними алгоритмами із різноманітних предметних областей. Однак за останні 15–20 років спостерігаються наступні яскраво виражені тенденції. Навіть ефективні чисельні методи, реалізовані на потужних суперкомп'ютерах, не можуть повністю виключити формульних перетворень. Класичним прикладом таких недоліків, що наводить D.Davenport, є факт, що розрахунок розвитку атмосферних процесів з точністю, необхідною метеорологам для 48-годинного прогнозу на найбільш потужних комп'ютерах, доступних на сьогоднішній час (типу CRAY), вимагає більше 48 годин. Таким чином, актуальним є створення програмних засобів, що підтримують символьнi/аналiтичнi обчислення (iнший термiн, що часто використовується – системи комп’ютерної алгебри). З теперішнього часу бiльшicтю сучасних систем комп’ютерної алгебри (Mathematica, Maple, Axiom, MuPad) підтримуються можливості змішаних чисельно-аналiтичних обчислень. Разом з графiчними засобами вiзуалiзацii така iнтеграцiя надає iдеальнi засоби для “наукових обчислень”. Взаємодія чисельних методiв та аналiтичних перетворень при цьому може досягатися найрiзноманiтнішими засобами, але, як правило, такий союз реалізується через зовнішню взаємодію ядра системи та відповідних бiблiотек чисельних перетворень.
З іншого боку, розв'язок нетривіальних математичних задач, як правило, вимагає використання як процедурного алгебраїчного знання (алгоритмів), так і логічного дедуктивного знання (теорем). Вже в 1963 р. John Mc Carthy висловив припущення, що ідея інтеграції алгебри і логіки може мати той самий ефект для розвитку науки, що мала в 20-му сторіччі інтеграція аналізу і фізики.
Переваги такої взаємодії останнім часом добре усвідомлюються як спеціалістами в обчислювальній комп’ютерній математиці, так і в математиці, орієнтованій на автоматичне доведення теорем. Загальноприйнятим є необхідність введення математичних теорій і арифметики, зокрема, дійсних чисел у системі автоматичного доведення теорем. Однак логічні мови і обґрунтування активно використовуються у системах символьних обчислень.
Починаючи з першої половини 90-х років, проводяться регулярні міжнародні конференції і семінари серії AISMC (Artificial Intelligence and Symbolic Mathematical Computing), де збираються дослідники, які працюють на перетині логічного програмування і комп’ютерної алгебри.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15 



Реферат на тему: МЕТОДИ ТА ЗАСОБИ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ В РОЗРОБЦІ МАТЕМАТИЧНИХ ПРОГРАМНИХ СИСТЕМ

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок