|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Численная сертификация алгоритмов и программдиссертация
- Научный руководитель: Тыртышников Е.Е.
- Автор: Егоров Алексей Александрович
- Дата защиты: 10 октября 1995 года
- Шифр диссертационного совета: К.053.05.84
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Физика и математика
- Специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Тип диссертации: Кандидатская
- Ведущая организация: Институт системного программирования РАН
- Организация, в которой выполнялась работа: Институт вычислительной математики РАН
- Оппоненты: Арушанян О.Б., Нечепуренко Ю.М.
-
Аннотация:
Предложен оригинальный подход для получения формульных выражений для машинно-независимых характеристик математического алгоритма и реализующей его программы на базе метода трассировки и обработки результатов по методу наименьших квадратов. Разработан подход для построения тестов, точных в машинной арифметике. Разработаны гибкие и простые средства для моделирования машинной арифметики.
- Добавил в систему: Тыртышников Евгений Евгеньевич