Иначе обстоит дело с программами других вычислительных алго-
ритмов, устойчивость которых зависит от значений чисел — входных
параметров. Показателен классический пример Дж. Форсайта [4] о
проблеме выбора алгоритма для поиска корней квадратного уравнения
при различных значениях коэффициентов. Для обеспечения эффектив-
ных и корректных вычислений вызов таких библиотечных программам
должен сопровождаться заданием дополнительных параметров и ука-
заний, например, о характере входных данных. Интеграция программ
в пакетах прикладных программ требует согласования не только фор-
мальных и фактических параметров процедур, но также типов и видов
таких дополнительных параметров. Поэтому формальная суперпози-
ция при построении цепочки вызовов библиотечных процедур с уче-
том и передачей только содержательных параметров будет недостаточ-
но эффективна. Для выбора оптимального варианта цепочки вызовов
программ нужен учет и согласование дополнительных неформальных
признаков. Успех работы по построению оптимальной траектории вы-
зовов процедур, выполняемых в ППП, зависит от уровня детализации
неформальных характеристик процедур и алгоритмов их обработки.
Эта обработка может производиться автоматически, как например, в
ППП САФРА. Разработчики пакета PETS признают, что работа упра-
вляемого опциями автомата — солвера (решателя) не всегда может
быть оптимальна и поэтому предусматривают возможность активного
участия пользователя в формировании последовательности работ. Для
этого в программах допускается явное описание векторов и матриц и
задание их характеристик: степень разреженности матриц, разрешение
параллельной обработки элементов векторов и т.д. Естественно, вне-
сение в программы приложения соответствующих описателей лишает
программы мобильности, они смогут работать только в PETS среде.
Библиотеки, классифицируемые как системы математического
обеспечения, например MATLAB, обеспечиваются интерфейсом с
языками Фортран и Си. Но системы программирования для этих язы-
ков, встроенные в библиотеку, не могут соревноваться по качеству
объектного кода с кодом, продуцированным отдельными независимы-
ми компиляторами с этих универсальных языков. Наконец, приложе-
ния, получаемые при помощи данной среды программирования, не
отчуждаемы от среды и поэтому также не мобильны.
Конечно, библиотеки допускают использование своих математиче-
ских подпрограмм и пакетов из независимых Фортран и Си-систем
программирования, однако наибольший эффект от использования би-
блиотеки получается при погружении в ее среду приложения цели-
ком. Коммерческие мотивы в проблеме мобильности приложений не-
сомненны.
170
ISSN 1812-3368. Вестник МГТУ им. Н.Э. Баумана. Сер. “Естественные науки”. 2012