Cтраница 3
В ответ на успехи США в конце 70 - х в гонку включается Япония, объявив о начале проекта машин V поколения, основанных на знаниях. Проект был рассчитан на 10 лет и объединял лучших молодых специалистов ( в возрасте до 35 лет) крупнейших японских компьютерных корпораций. Для этих специалистов был создан специально новый институт ICOT, и они получили полную свободу действий, правда, без права публикации предварительных результатов. В результате они создали достаточно громоздкий и дорогой символьный процессор, программно реализующий ПРОЛОГо-подобный язык, не получивший широкого признания. Однако положительный эффект этого проекта был очевиден. [31]
Подробные сведения по символьным вычислениям в MathCAD Pro содержатся в разд. Здесь мы лишь коснемся этой темы применительно к использованию символьного процессора в вычислительных блоках. С точки зрения типа используемого процессора, описанные ранее четыре решающие функции различны. Функции find и minerr допускают применение символьного процессора для получения как численного решения, так и аналитического выражения. Функции же minimize или maximize можно использовать только с обычным процессором для получения решения в числовом виде; получение символьного результата с помощью этих функций невозможно. [32]
Он касается получения результата с помощью символьного процессора. В отличие от вариантов применения вычислительных блоков для получения численных решений, в которых требуется предварительно задать начальные приближения, при использовании этих блоков в символьном анализе начальные приближения не задаются. Это приводит к тому, что искомые переменные в решающих функциях ( в примере - Find) приобретают красный цвет и появляется сообщение о том, что переменные не определены ранее. В символьных вариантах подобные сообщения и выделения красным цветом элементов вычислительного процесса являются обычными и не служат препятствием для получения решения. Отмеченная особенность символьных вычислений имеет общий характер и касается любых вариантов использования символьного процессора. [33]
Symbolics для осуществления вычислений в символьной форме ( см. разд. Позволяя выполнять ряд символьных вычислений, позиция Symbolics главного меню, к сожалению, не отвечает всем требованиям, предусмотренным для получения результата в аналитическом виде. Так, в случае, когда символьный процессор в состоянии непосредственно найти аналитическое решение, активизация одной из команд группы Symbolics сразу же дает конечный результат. Однако получение этого результата командами группы Symbolics осуществляется без промежуточных выкладок и пояснений того, как он получен. В ряде случаев этого бывает достаточно, особенно когда таким способом получают решение одной из локальных задач при решении общей, глобальной. Если же требуется получить решение основной задачи, а не ее фрагмента, то это решение должно сопровождаться выполнением промежуточных выкладок для анализа логической структуры алгоритма, пути получения результата и обоснования его объективности. Все это не обеспечивается применением позиции Symbolics главного меню. Кроме того, в случаях, когда символьному процессору для получения результата необходимо использовать несколько символьных операторов одновременно, командами группы Symbolics не удается получить конечный результат. Другим недостатком команд позиции Symbolics служит то, что изменение состава исходных данных или алгоритма вычисления не приводит к автоматическому изменению результата. [34]