Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Численная сертификация алгоритмов и программ Егоров, Алексей Александрович

Данная диссертационная работа должна поступить в библиотеки в ближайшее время
Уведомить о поступлении

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Егоров, Алексей Александрович. Численная сертификация алгоритмов и программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / МГУ им. М. В. Ломоносова.- Москва, 1995.- 8 с.: ил. РГБ ОД, 9 96-1/2090-2

Введение к работе

Актуальность темы.

Численное программное обеспечение, производящееся в огромных количествах, должно быть достаточно надежным и эффективным, так как часто используется для принятия довольно ответственных решений. Но, в типичной ситуации, математик-вычислитель приступает к написанию программы в условиях немалой теоретической неопределенности в отношении структурных и численных свойств выбранного алгоритма. Что же является гарантией качества? Такую гарантию может дать только опыт практической эксплуатации. Но практической эксплуатации предшествует период "эксплуатации" исследовательской. Действуя как физики-экспериментаторы, мы можем и должны ставить задачу об экспериментальном изучении свойств наших алгоритмов. Таким образом мы приходим к проблеме численной, сертификации алгоритмов и программ.

Цели диссертации.

  1. Выработка концепции для основных частей проблемы сертификации.

  2. Разработка инструментальных средств для проведения численной сертификации алгоритма, заданного реализующей его программой на языке Фортран.

Научная новизна. Предложен оригинальный подход для получения формульных выражений для машиннонезавпсимых характеристик математического алгоритма и реализующей его программы на базе метода трассировки и обработки результатов по методу наименьших квадратов.

Построена концепция основных частей проблемы сертификации.

Впервые метод трассировки был использован для получения численных характеристик математического графа алгоритма и для моделирования машинной арифметики.

— 2 -

Разработан аппарат получения аналитических формул для характс ристик графа алгоритма и некоторых машиннонезависимых характ< ристик реализующей его программы, избавляющий математика от pj тинных теоретических выкладок.

Исследована проблема адекватности машинных п математически тестов, разработан подход для построения тестов, точных в машинно арифметике, п предложен способ "лечения"тестов.

Разработаны гибкие п простые средства для моделирования маши* ной арифметики.

Практическая значимость. Предложенный в диссертационной рг боте подход позволяет определить общую структуру и провести пссле дование алгоритма, заданного программой на языке Фортран, с исполі зованием разработанных автором программных средств.

Апробация работы. Результаты диссертации обсуждались на а минарах Института вычислительной математики РАН (Москва, 199$ 95), докладывались на заседании Ученого совета Института вьічислі: тельной математики (Москва, 1995), на научно-исследовательском с( минаре Института системного программирования РАН и на семиш ре НИВЦ МГУ " Современные проблемы численного анализа" (Москв; 1995).

Публикации. По теме диссертации опубликованы две печатные рг боты.

Структура и объем диссертации. Диссертация состоит из вв< дения, трех глав, заключения, списка литературы (48 найменованій и приложения; изложена на 105 страницах и включает 2 рисунка и таблиц.

Похожие диссертации на Численная сертификация алгоритмов и программ