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



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

Автоматизация программирования вычислений над вещественными числами посредством операций целочисленной арифметики Фролов, Андрей Петрович

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

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

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

Фролов, Андрей Петрович. Автоматизация программирования вычислений над вещественными числами посредством операций целочисленной арифметики : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Ин-т прикладной математики.- Москва, 1997.- 21 с.: ил. РГБ ОД, 9 97-4/2440-8

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

з

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

В данной работе предлагается решение проблемы реализации вычислений над вещественными числами на ЭВМ посредством операций целочисленной арифметики. Излагаемый в данной работе материал является одним из результатов, полученных при выполнении комплекса работ по созданию системы программирования языка Пси-Фортран для управляющей СЦВМ космического корабля многоразового использования "Буран".

Предлагаемые методы использования целочисленной арифметики для выполнения действий с вещественными числами актуальны для управляющих СЦВМ, в которых отсутствует аппаратная реализация операций над числами с фиксированной точкой. В современных условиях актуальность этих методов не становится меньше, это объясняется спецификой использования СЦВМ, наиболее выгодными возможностями их усовершенствования в связи с развитием элементной базы. Кроме того, данные методы чрезвычайно важны при создании программного обеспечения для современных высокоскоростных процессоров с побитовой обработкой информации и мультиконвейерных микропроцессоров. В частности, в настоящее время предложенные методы используются при разработке прграммного обеспечения отечественной мультипроцессорной суперЭВМ, а также оптоэлектронной суперЭВМ с массовым параллелизмом.

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

  1. Создание алгоритмических основ построения системы автоматического масштабирования.

  2. Разработка программной реализации системы автоматического масштабирования и технологии ее использования.

Научная новизна. В процессе решения поставленных задач получены новые научные результаты, которые выносятся на защиту:

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

  2. Разработан алгоритм оптимального выбора масштабов для операций над масштабированными числами в пределах выражения.

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

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

  1. Разработана интегрированная система для интервального анализа программ.

  2. Предложена технология разработки масштабированных программ. Практическая ценность. Предложенные алгоритмы масштабирования и интервального анализа применялись в системах программирования для языков Пси-Фортран, С-Фортран, СЗ-Фортран, СЗХ-Фортран, использовавшихся при разработке систем космической и авиационной техники. В настоящее время они применяются при разработке ряда компиляторов для перспективных отечественных супер-ЭВМ и высокопроизводительных микропроцессоров.

Апробация работы. Результаты диссертации докладывались на семинаре в ИПМ им. М.В. Келдыша РАН (под рук. проф. А.К. Платонова), на семинарах в МГУ им. М.В. Ломоносова (под рук. академика РАН Д.Е. Охоцимского и под рук. проф. М.Р. Шура-Бура), на всесоюзной школе по проблемам математического обеспечения и архитектуры БЦВМ (Ташкент, 1988), на конференции "Интервальная математика" (Саратов, 1989).

Структура диссертации, публикации. Диссертация состоит из введения трех глав и заключения. Работа изложена на 199 страницах, содержит 18 рисунков и 4 таблицы. Список литературы содержит 46 наименований. Основные результаты опубликованы в работах [1 -6 ].

Похожие диссертации на Автоматизация программирования вычислений над вещественными числами посредством операций целочисленной арифметики