Читать онлайн «Математические методы построения и анализа алгоритмов [Сб. ст.]»

АКАДЕМИЯ НАУК СССР ЛЕНИНГРАДСКИЙ ИНСТИТУТ ИНФОРМАТИКИ И АВТОМАТИЗАЦИИ МАТЕМАТИЧЕСКИЕ МЕТОДЫ ПОСТРОЕНИЯ И АНАЛИЗА АЛГОРИТМОВ ЛЕНИНГРАД «НАУКА» ЛЕНИНГРАДСКОЕ ОТДЕЛЕНИЕ 1990 УДК 512: 517: 518; 519; 621; 681 Математические методы построения и анализа алгоритмов. Л. : Наука 1990 238 с. ' В сборнике представлены результаты нсследований сотрудников лаборато- лаборатории теории алгоритмов Леиииградского ииститута ииформатики и автоматизации АН СССР, а также специалистов, сотрудничавших с этой лабораторией. Работы связаиы в осиовиом с разработкой и аиализом алгоритмов для обработки знаний, анализа изменений и сигналов и для систем компьютерной алгебры. Ответственные редакторы д-р физ. -мат. иаук А. О. СЛИСЕНКО канд. физ. -мат. иаук С. В. СОЛОВЬЕВ Рецензенты: д-р физ. -мат. иаук Ю. В. МАТИЯСЕВИЧ, д-р техн. иаук Л. В. ЧЕРНЫШЕВА Редактор издательства Т, И. W> ' полУгоДие w информатики и автома- ISBN 5-02-024464-3 тизации АН СССР, 1990 С. И. БАРАНОВ РЕАЛИЗАЦИЯ СИСТЕМЫ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ МИНИСАК НА ЯЗЫКЕ ФОРТ 1. Введение В основу данной реализации положена известная система символьных вычислений САК-2 [1], предназначенная для работы с полиномами от многих переменных над конечными полями. Алгоритмическое наполнение системы САК-2 содержит свыше 500 алгоритмов (процедур и функций), реализующих различные действия над полиномами и связанными с ними структурами. Все эти алгоритмы представлены в виде исходных текстов на алгорит- алгоритмическом языке Альдес, который относится к классу алголо- подобных бестиповых языков. Система САК-2 включает трансля- транслятор, переводящий текст с языка Альдес в стандартный Фортран. Текст этого транслятора дается в двух аутентичных вариантах — на языке Фортран и на языке Альдес. Комбинируя использование Альдес-транслятора системы САК-2 и стандартного транслятора с языка Фортран, можно перевести все алгоритмическое наполне- наполнение системы в библиотеку загрузочных модулей данной ЭВМ. Дальнейшая работа пользователя с системой выглядит сле- следующим образом. Программист пишет программу на языке Альдес, в которой имеются обращения к тем или иным модулям из алго- алгоритмического наполнения. Транслируя эту программу и затем присоединяя к ней необходимые модули из алгоритмического на- наполнения,, можно получить рабочую программу, которая загру- загружается в память и используется для расчетов. - Описанный подход приемлем при использовании больших ЭВМ, но совершенно не годится для средних персональных ЭВМ класса ЕС-1840 из-за своих высоких требований к оперативной памяти. Например, на ЕС ЭВМ средний объем рабочей программы при использовании системы САК-2 составляет около 400 К байт, не считая памяти, необходимой для размещения рабочих значений программы во время счета. На наш взгляд, такое «разбухание» рабочей программы связано, с одной стороны, с двухступенчатой © С. Н. Баранов, 1990 1* 3 трансляцией через Фортран в качестве промежуточного языка и, с другой — несовершенством исходного Альдес-транслятора.