Cтраница 1
Система аналитических преобразований АУМ [71] была реализована на языке ЯРМО и функционировала на ЭВМ БЭСМ-6. Режим работы - диалоговый, с параллельной выдачей протокола работы на АЦПУ. Язык общения с программой был рассчитан на специалистов, не владеющих программированием. Реализованная система состоит из трех программ: КАРКАС, СКОРОСТЬ, ПОЛИНОМ, которые определяют класс решаемых задач. Тип решаемой задачи запрашивается системой в диалоге, в одном сеансе работы можно поочередно использовать все программы. Ввод исходных данных также производится в диалоге. Для первой задачи вводится граф реакции, для второй - совокупность элементарных реакций, для третьей - система линейных уравнений. [1]
Система аналитических преобразований MACSYMA в начале своей разработки практически не использовала идеи и методы искусственного интеллекта. [2]
Применение систем аналитических преобразований будет продуктивно в том случае, если процедура получения решения имеет достаточно ясный алгоритм и требует огромного числа кропотливых и монотонных преобразований. В том случае, когда алгоритм получения решения недостаточно ясен, требуется работа с контролем промежуточных результатов в режиме диалога. [3]
Реализации систем аналитических преобразований выполнены на ЭВМ разных моделей IBM, CDC, PDP, БЭСМ-6, ЭВМ ЕС. [4]
Для большинства систем аналитических преобразований этого типа характерен узкий класс встроенных математических операций, использующих эффективные алгоритмы. Как следствие, такие системы предъявляют невысокие требования к мощности ЭВМ. Чаще всего специализированные системы аналитического преобразования предназначены для проведения очень длинных аналитических выкладок. [5]
Большое значение в системе аналитических преобразований имеет представление получаемых результатов. Поэтому одной из задач здесь является обеспечение связи между аналитическими и вычислительными модулями, а также реализация понятного для пользователя вывода результатов. [6]
В табл. 5.1 приведены сравнительные характеристики систем аналитических преобразований разных классов, уже упоминавшихся выше. [7]
Реализация математических объектов и операций над ними требует выработки оптимальных стратегий, так как системы аналитических преобразований требуют большой памяти и быстродействия. [8]
Молчанов А А Зинченко ИФ [1986] Система автоматизированного проектирования устройств радиоэлектронного профиля - Изв вузов Радиоэлектроника, 1986, N 1, 60 - 64 Они же Системы аналитических преобразований в САПР на базе мини - и микро - ЭВМ / Аналитические пакеты-88 74 - 82 Они же и Н В Беркаль, С Л Мосейчук Применение аналитических преобразований в САПР изделий электронной техники - Ки-ев - 88, 160 - 168 Они же и Олефир А С Система ЭЛАН - повышение интеллектуального уровня САПР на основе аналитических вычислений. [9]
При первом из них исходные данные задаются в виде упакованных строк, а необходимая программа управления этими данными пишется на Ассемблере. Как правило, такой подход используется при реализации системы аналитических преобразований, ориентированной на решение узкого круга задач. Для систем этого типа характерны компактность и высокое быстродействие. Однако введение новых возможностей при таком подходе очень трудоемко и применяется редко. [10]
Разработаны различные методики численного, полуаналитического и аналитического характера для обращения первых интегралов в задачах небесной меха-пики [127-132], реализованные на электронно-вычислительных машинах, хотя, к сожалению, ни одна из них не является универсальной и достаточпо эффективной. Получение явных аналитических зависимостей а, е, со от аномалии D с помощью ЭВМ существенно зависит от мощности ЭВМ и возможностей математического обеспечения; необходимо иметь в стандартном математическом обеспечении ЭВМ пакеты программ для выполнения математических операций над аналитическими выражениями. Такими пакетами являются, например, системы аналитических преобразований ( САП) Reduce [133], УПП [134], но, к сожалению, нельзя утверждать, что на ЭВМ сегодняшнего дня эти пакеты программ являются достаточно эффективными и производительными. К сожалению, применение ЭВМ для выполнения аналитических ( буквенных) операций ( сложение, вычитание, умножение и деление рядов с буквенными коэффициентами, подстановка ряда в ряд и др.), по крайней мере на сегодняшний день, не является столь аффективным, как хотелось бы, поэтому часто представляется целесообразным иметь дело с рядами, коэффициентами которых являются числа. [11]
По-видимому, самым мощным подходом к разработке современных систем аналитических преобразований является четвертый подход, при котором используются развитая библиотека аналитических преобразований и принципы искусственного интеллекта. Подпрограммы из нее разрабатываются на языках высокого уровня и включают как средства символьных вычислений общего назначения, так и специальные функции. При таком подходе исходная информация и управляющая программа, в рамках которой задаются требуемые преобразования, пишутся на специальном входном языке, разрабатываемом вместе с системой аналитических преобразований. Важным преимуществом такого подхода является то, что конечный пользователь может сам расширять возможности системы аналитических преобразований, используя входной язык, а в тех случаях, когда это необходимо, и язык реализации системы аналитических преобразований. Как правило, четвертый подход используется при создании универсальных систем аналитических преобразований. [12]
Автоматизированные системы аналитических преобразований являются мощным инструментом решения задач, требующих больших чисто механических выкладок, или задач, чувствительных к потере точности при численном решении. К задачам первого типа относятся, например, задача обращения матриц, элементами которых являются алгебраические выражения. Важным примером второго типа задач являются задачи поиска нулей сложных функций в заданной области. В настоящему времени создано более 60 систем аналитических преобразований. Все они, с точки зрения возможностей аналитических преобразований могут быть разбиты на две группы. [13]
По-видимому, самым мощным подходом к разработке современных систем аналитических преобразований является четвертый подход, при котором используются развитая библиотека аналитических преобразований и принципы искусственного интеллекта. Подпрограммы из нее разрабатываются на языках высокого уровня и включают как средства символьных вычислений общего назначения, так и специальные функции. При таком подходе исходная информация и управляющая программа, в рамках которой задаются требуемые преобразования, пишутся на специальном входном языке, разрабатываемом вместе с системой аналитических преобразований. Важным преимуществом такого подхода является то, что конечный пользователь может сам расширять возможности системы аналитических преобразований, используя входной язык, а в тех случаях, когда это необходимо, и язык реализации системы аналитических преобразований. Как правило, четвертый подход используется при создании универсальных систем аналитических преобразований. [14]
По-видимому, самым мощным подходом к разработке современных систем аналитических преобразований является четвертый подход, при котором используются развитая библиотека аналитических преобразований и принципы искусственного интеллекта. Подпрограммы из нее разрабатываются на языках высокого уровня и включают как средства символьных вычислений общего назначения, так и специальные функции. При таком подходе исходная информация и управляющая программа, в рамках которой задаются требуемые преобразования, пишутся на специальном входном языке, разрабатываемом вместе с системой аналитических преобразований. Важным преимуществом такого подхода является то, что конечный пользователь может сам расширять возможности системы аналитических преобразований, используя входной язык, а в тех случаях, когда это необходимо, и язык реализации системы аналитических преобразований. Как правило, четвертый подход используется при создании универсальных систем аналитических преобразований. [15]