Визуализация в Maple

Содержание

1. Пакет Maplet………………………………………………………………. 3
2. В изуализация комплексных чисел………………………………………4
3. Графика статистического пакета stats…………………………………..6
4. Иллюстративная графика пакета student……………………………….8
5. Пакет для работы с алгебраическими кривыми algcurves…………….9
6. Пакет векторных вычислений VectorCalculus…………………………10
7. Визуализация матриц……………………………………………………11
8. Пакет планиметрии geometry……………………………………………12
9. Пакет стереометрии geom3d…………………………………………….14
10. Визуализация решения систем неравенств……………………………..17
11. Визуализация вычисления определенных интегралов……………….17
12. Визуализация дифференциальных параметров кривых………………17
13. Список литературы………………………………………………………20

 

 

Пакет Maplet

Система компьютерной математики Maple является лидером среди систем символьной математики. Особенно широко она применяется в университетах и крупных научных центрах. Привлекательности системы, особенно новых реализаций Maple, во многом способствуют мощные средства визуализации вычислений и математических понятий.

В Maple был введен пакет расширения Maplets, который обеспечивает построение визуально-ориентированных элементов интерфейса для документов системы. Этот пакет создан на основе применения средств языка Java, так что для его использования надо позаботиться, чтобы Java был инсталлирован на компьютере, применяемом для работы с Maple.

О вызове пакета и его  составе можно судить по приведенным  ниже командам:

> restart; with(Maplets);

[Display, Elements, Examples, Tools]

> with(Maplets[Tools]);

[AddAttribute, AddContent, Get,

ListBoxSplit, ListJoin, ListSplit, Print,

Set, SetTimeout, StartEngine, StopEngine]

Пакет позволяет выводить на экран около 60-ти диалоговых окон и иных средств интерфейса — начиная  от простейших кнопок и заканчивая диалоговыми окнами вычисления интегралов и построения графиков заданных функций.

Вызов простейшего окна с  запросом «Хочешь дальше?» показан  на рис. 1. Это окно используется для  создания паузы в вычислениях  — они возобновляются только после  нажатия на клавишу с заданной надписью «Жми тут». При этом управление передается следующей строке ввода. Как надпись в окне, так и  подпись на кнопке задаются пользователем.

Более солидные действия производит функция вызова диалогового окна вычисления интегралов, показанная во фрагменте документа, представленном на рис. 2. Это окно вначале вызывает появление окна с запросом типа вычисляемого интеграла — определенного или неопределенного.

Рис. 1. Создание кнопки для  остановки и запуска вычислений.

Рис. 2.Вызов окна задания  интегралов.

Задав, к примеру, вычисление неопределенного интеграла, можно  получить окно с результатом. Но можно (см. рис. 3) задать в панели ввода любое подынтегральное выражение, а также указать переменную интегрирования. Кнопка Clear очищает окно, а кнопка Integrate обеспечивает вычисление интеграла.

Рис. 3.Вывод окна задания  и вычисления неопределенных интегралов.

Еще один пример (рис. 4) обеспечивает вывод диалогового окна построения графиков трехмерных объектов, представленных функцией двух переменных.

 

Рис. 4. Вызов и применение окна построения трехмерного графика.

 

Из приведенных примеров функции пакета Maplets вполне очевидны. В разделе Examples читатель найдет множество других примеров применения этого пакета — в их названиях есть слово Maplet.

Визуализация  комплексных чисел

В некоторых случаях полезна  визуализация операций с комплексными числами. Для этого удобен пакет  расширения plots, который позволяет представлять комплексные числа в виде стрелок на комплексной плоскости. Например, для иллюстрации операции умножения двух комплексных чисел

можно использовать следующие  графические построения:

> with(plottools):

l1 := arrow([0,0], [1,2], .1, .3, .1, color=green):

l1a := arc([0,0],1.5,0..arctan(2),

color=green):

> l2 := arrow([0,0], [1,.8], .1, .3, .1,

color=green):

l2a := arc([0,0],.75,0..arctan(.8),

color=green):

> l3 := arrow([0,0], [_.6,2.8], .1, .3, .1,

color=black):

l3a := arc([0,0], 2.5, 0..arctan(2.8,_.6),

color=black):

> plots[display](l1, l2, l3, l1a, l2a, l3a,

axes=normal,

view=[_3..3,0..3], scaling=constrained);

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

 

Рис. 5. Иллюстрация перемножения двух комплексных чисел.

 

Графика статистического  пакета stats

Статистический пакет  stats имеет свою небольшую библиотечку для построения простых графиков. Она вызывается в следующем виде:

> stats[statplots, function](args)

или

> statplots[function](args)

Вид графика задается описанием function:boxplot, histogram, notchedbox, quantile, quantile2, scatter1d, scatter2d и symmetry. В качестве примера можно рассмотреть построение гистограмм. Для их создания пакет stats имеет функцию histogram. Детали применения этой простой функции поясняет рис. 6. На нем дано два примера — построение столбцов заданной ширины и высоты и построение гистограммы 100 случайных чисел с нормальным распределением. Обратите внимание на то, что для второго примера гистограмма будет несколько меняться от пуска к пуску, так как данные для ее построения генерируются случайным образом.

 

Рис. 6. Построение гистограмм.

 

Визуализация решения  системы линейных уравнений Maple позволяет легко дать визуальное представление решения систем двух или трех линейных уравнений. К примеру, решение систем трехлинейных уравнений имеет наглядную геометрическую интерпретацию — в виде точки, в которой пересекаются три плоскости, каждая из которых описывается функцией двух переменных. Для наглядности желательно представить и линии пересечения плоскостей. Это позволяет сделать функция импликативной трехмерной графики implicitplot3d, что и показано на рис. 7. Для объединения графиков площадей использована функция display.

 

Рис. 7. Пример решения системы  трех линейных уравнений с графической  иллюстрацией решения.

 

Иллюстративная  графика пакета student

 

При создании учебных курсов нередко нужны графики, иллюстрирующие выполнение операций математического  анализа. Пакет student имеет три графические функции для иллюстрации интегрирования методом прямоугольников (левых, средних и правых). Кроме того, имеется функция построения касательной в заданной точке x = a к графику функции f (x). Все эти возможности пакета показаны на рис. 8. Четыре отмеченных вида графиков здесь построены в отдельных окнах.

 

Рис. 8. Примеры иллюстративной графики пакета student.

 

Пакет для работы с алгебраическими кривыми algcurves

 

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

> restart; with(algcurves);

Начиная с версии Maple 7, в пакет расширения algcurves добавлена новая функция импликативной графики plot_real_curve. Она строит алгебраическую кривую для действительной части полиномиального выражения (рис. 9).

 

Рис. 9. Примеры применения функции plot_real_curve.

 

Пакет векторных  вычислений VectorCalculus

Начиная с Maple 8, существенно расширены возможности вычислений над векторами (пространственными объектами) и поверхностями.

Для этого введен пакет VectorCalculus. С его функциями можно познакомиться, исполнив команду:

> restart;

with(VectorCalculus);

interface(showassumed=0);

Пакет VectorCalculus ориентирован в первую очередь на решение задач математической физики на основе методов теории поля и приложений дифференциального исчисления. Он оперирует такими привычными для физиков и математиков понятиями, как поток векторного поля, градиент, торсион, векторный потенциал и др. В Интернете можно найти целую серию уроков по векторному анализу и теории поля в виде пакета Calculus IV или V (разработчик проф. J. Wagner). Одним из важнейших приложений пакета

VectorCalculus является вычисление длин дуг и площадей сложных поверхностей на основе при менения линейных и поверхностных интегралов.

Иногда при этом приходится сталкиваться с большими трудностями  и использовать специальные подходы. Примером может служить поверхность:

> restart: with(plots):

with(LinearAlgebra):

with(VectorCalculus):

> f := <sin(x), sin(y), sin(x+y)>;

f := sin(x) + sin( y) + sin(x + y) x y z e e e

> plot3d(f, x=_Pi..Pi, y=_Pi..Pi,

axes=framed, grid=[70,70],

style=patchnogrid,

lightmodel=light2);

Эта поверхность с имитацией  освещения от внешнего источника  света показана на рис. 10.

 

Рис. 10. Сложная поверхность  с эффектами освещения внешним  источником света.

 

Визуализация  матриц

 

В ряде вычислений используются матрицы. Иногда их можно наглядно изобразить графически, например, в виде гистограммы. Она представляет собой множество столбцов квадратного сечения, расположенных на плоскости, образованной осями строк (row) и столбцов (column) матрицы. При этом высота столбцов определяется содержимым ячеек матрицы. Такое построение обеспечивает графическая функция matrixplot из пакета plots. На рис. 11 показана графическая визуализация матрицы, полученной как разность специальных матриц A и B, сформированных функциями пакета linalg. Для усиления эффекта восприятия применяется функциональная закраска разными цветами. Для задания цвета введена процедура F.

 

Рис. 11. Графическое представление матрицы.

 

Пакет планиметрии  geometry

Пакет геометрических расчетов geometry в последних версиях системы Maple получил как бы второе рождение — число его функций по сравнению с версией этого пакета в системе Maple V R5 возросло в несколько раз. Теперь загрузка пакета командой

> with(geometry)

возвращает весьма внушительный список из более чем ста функций для расчета основных параметров ряда геометрических объектов. Для каждого объекта возможно задание различных исходных величин, так что пакет охватывает практически все виды классических геометрических расчетов на плоскости. Приведем примеры применения пакета для визуализации геометрических понятий: рис. 12 дает графическую иллюстрацию к одной из теорем Фейербаха (здесь эффектно используются средства выделения геометрических фигур цветом); рис. 13 показывает гомологические преобразования квадрата. Заинтересовавшийся читатель может легко разобраться с деталями простого алгоритма этой программы.

Обратите особое внимание на последний параметр в функции  draw. Он задает построение титульной надписи с заданными шрифтом и размером символов. Приятно, что в графике Maple нет преград для использования символов кириллицы и создания надписей на русском языке. Множество других примеров применения всех функций пакета geometry дано в одноименном с ним файле примеров.

Рис. 12. Графическая иллюстрация к теореме Фейербаха.

 

Рис. 13. Гомологические преобразования квадрата.

 

Пакет стереометрии geom3d

Пакет geom3d предназначен для решения задач в области стереометрии (трехмерной геометрии). При загрузке пакета командой

> with(geom3d)

появляется доступ к весьма большому (свыше 140)числу новых функций. Функции этого пакета обеспечивают задание и определение характеристик и параметров многих геометрических объектов: точек в пространстве, сегментов, отрезков линий и дуг, линий, плоскостей, треугольников, сфер, регулярных и квазирегулярных полиэдров, полиэдров общего типа и др.

Ограничимся парой примеров применения этого пакета, один из которых представлен на рис. 14. На нем построена сфера внутри «малого иглообразного» додекаэдра (SmallStelletedDodecahedron). Второй пример представлен на рис. 15. Здесь показаны еще две объемные фигуры, расположенные одна в другой.

Рис. 14. Иллюстрация применения пакета geom3d.

 

Рис. 15. Еще один пример применения пакета geom3d.

 

 

Визуализация  решений дифференциальных уравнений

Важное место в математических расчетах занимает решение дифференциальных уравнений. К нему, в частности, обычно относится анализ поведения различных  систем во времени (анализ динамики), а  также вычисление различных полей (тяготения, электрических зарядов  и т. д.). Возможности аналитического и численного решений дифференциальных уравнений в среде Maple трудно переоценить. Они достаточно подробно отражены как к книгах по этой системе, так и в ее огромной справочной системе. Отметим лишь наличие превосходных специальных средств визуализации решений. Они входят в пакет Detools и с ними можно ознакомиться, исполнив команду

> with(DEtools)

Этот пакет дает самые  изысканные средства для аналитического и численного решения дифференциальных уравнений и систем. В пакет  входит ряд функций для построения наиболее сложных графиков решения  дифференциальных уравнений. Основной из этих функций является функция  DEplot. Следует отметить, что функция DEplot может обращаться к другим функциям пакета DEtools для обеспечения специальных графических возможностей, таких как построение векторного поля или фазового портрета решения. В файле deplot.mws можно найти множество дополнительных примеров на применение функции Deplot.