Контрольные вопросы:

1. Определите назначение системы PROMT 99.

2. Перечислите объекты системы PROMT 99 и дайте им краткую характеристику.

3. Попрактикуйтесь в подключении, отключении и изменении приоритета словарей. Убедитесь (на примере текста специфической направленности, например, технической), что приоритет словарей существенно влияет на результат перевода.

4. Создайте свой пользовательский словарь на основе какого-либо специального словаря. В созданный словарь внесите пять новых слов или словоформ, выбранных на ваше усмотрение. Убедитесь, что система использует новые словоформы при переводе.

Задания:

1. Создайте новый PROMT – документ, введите с клавиатуры текст (определенной направленности, не менее пяти предложений), и добейтесь корректного перевода этого текста.

2. Откройте документ, созданный в каком-либо другом приложении, осуществите корректный перевод. Сохраните результат.

3. Возьмите результат предыдущего задания и произведите обратный перевод, сравните его с оригиналом текста, сделайте вывод.

4. Попрактикуйтесь в различных способах перевода текста (по абзацам, текст целиком, из буфера обмена и т.д.).

5. Внесите в панель Интегратора PROMT 99 два приложения на ваш выбор.

6. Подключите установленные на компьютере программы проверки орфографии (одну или несколько). Продемонстрируйте проверку орфографии оригинального текста и его перевода.

Лабораторная работа №7

Тема: Символьные вычисления с помощью программы Maple V.

Цель работы: Получить представление о возможностях предоставляемых программой Maple V. Приобрести навыки работы с программой символьных вычислений Maple V.

Введение в компьютерную алгебру

Алгебраические вычисления не потеряли своей актуальности. Однако, чаще всего они выполняются вручную, хотя первые логические устройства для их автоматизации появились достаточно давно (в 1953 году). Очень скоро стало ясно, что программное обеспечение для использования в алгебраических вычислениях должно представлять собой полную систему, включающую метод представления нечисловых данных весьма специальной структуры, язык, позволяющий манипулировать с ними, и библиотеку эффективных функций для выполнения необходимых базисных алгебраических операций.

В настоящее время появились хорошо работающие системы, такие как Maple, Mathematica, Macsyma, Derive, Axiom и некоторые другие. Все упомянутые выше системы, так же как и большинство неупомянутых, являются весьма дружественными по отношению к пользователю.

1. Аналитические преобразования

Математический пакет Maple предназначен для символьных математических вычислений. Хотя между различными пакетами имеются различия, синтаксис - не главная проблема. В общем случае нескольких часов и небольшой практики вполне достаточно. Можно утверждать, что синтаксис всех систем символьных вычислений в значительной степени аналогичен синтаксису Паскаля или Си. Обязательно имеются операторы присваивания, понятие вызывающей функции (команды), более или менее богатый выбор управляющих структур (if,do,for,while и т.д.), возможности определения процедур... - одним словом, весь арсенал классических языков программирования, необходимый для записи алгоритмов. Для языков Maple, Mathematica и Derive встроенные справочники являются, по-видимому, наиболее доступными учебниками, как по синтаксису, так и по использованию команд. В силу этого мы не будем далее стремиться к полному и детальному описанию команд и функций. Всю необходимую информацию можно получить в Maple используя команды:

• ? (help) - помощь,

• ?? (usage) - проверка синтаксиса,

• ??? (example) - пример для данной команды, или меню в оболочке Maple для Windows.

Пример 1 (помощь).

> ?plot;

> ???factor;

> help(linalg);

В Maple выполняемые математические выражения вводятся всегда после символа >, а заканчиваются точкой с запятой или двоеточием, если результат не надо выводить на экран. Чтобы продолжить запись предложения на следующей строке используют комбинацию "Shift+Enter". При нажатии клавиши "Enter" предложение выполняется. Обнаружив ошибку, Maple выводит сообщение о ней в следующей строке.

Кроме обычных знаков математических операций используют :

** или ^ - возведение в степень,

! - факториал,

:= - знак присвоения,

<, >, >= , <= , = - логические операции,

'' , '''', """ - результаты трех предыдущих выполненых операций,

@ - сложная функция, т.е. ( f @ g )( x )= f(g(x)),

D - дифференциал и т.д.

Назначение двойных кавычек - экономить усилия при последовательной работе с документом, но приводит к неприятностям при свободном перемещении по тексту. Обратные кавычки указывают на строку символов, прямые кавычки (апостроф) используются для того, чтобы освободить переменную, которая уже использовалась. Заметим, что такие "парные" символы как кавычки, возведение в степень и некоторые другие вводятся с задержкой (советуем использовать пробел после введения такого "парного" символа).

Пример 2 (выражения).

> 5+4+9;

> f:=8+9+14:

> f;

> e1:=x*(x+1)*(x-1);

> factor( " );

> e:=x^3+x**2+1;

> x(y-1);

Всегда проверяйте написанное - в последней строке пропущен знак умножения x*(y-1) - тем не менее для Maple это не ошибка, данное выражение воспринимается как функция x от аргумента (y-1).

> i:=3;

> sum(i^2,i=1..6);

Последнюю строку Maple воспринимает как 3=1..6, т.е. как ошибку. Правильно будет использовать апострофы

> sum('i^2','i'=1..6);