Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save anonymous/f3db86b501c5e7d041528528f8d10636 to your computer and use it in GitHub Desktop.
Save anonymous/f3db86b501c5e7d041528528f8d10636 to your computer and use it in GitHub Desktop.
Найти обратную матрицу в maple

Найти обратную матрицу в maple



Прежде чем перейти к рассмотрению обширных возможностей пакетов Maple 7 по части решения задач линейной алгебры, рассмотрим краткие определения, относящиеся к ней. Матрица m х n — прямоугольная двумерная таблица, содержащая m строк и n столбцов элементов, каждый из которых может быть представлен числом, константой, переменной, символьным или математическим выражением расширительная трактовка матрицы. Квадратная матрица — матрица, у которой число строк m равно числу столбцов n. Пример квадратной матрицы размера 3x Сингулярная вырожденная матрица — квадратная матрица, у которой детерминант определитель равен 0. Такая матрица обычно не упрощается при символьных вычислениях. Линейные уравнения с почти сингулярными матрицами могут давать большие погрешности при решении. Единичная матрица — это квадратная матрица, у которой диагональные элементы равны 1, а остальные элементы равны 0. Ниже представлена единичная матрица размера 4x Обратная матрица — это матрица М -1 , которая, будучи умноженной на исходную квадратную матрицу М, дает единичную матрицу Е. Ступенчатая форма матрицы соответствует условиям, когда первый ненулевой элемент в каждой строке есть 1 и первый ненулевой элемент каждой строки появляется справа от первого ненулевого элемента в предыдущей строке, то есть все элементы ниже первого ненулевого в строке — нули. В приведенной ниже матрице элементы диагонали представлены заглавными буквами:. Обычно указанную диагональ называют главной диагональю — для матрицы А, приведенной выше, это диагональ с элементами А, Е и L. Матрица, все элементы которой, расположенные кроме как на диагонали, под диагонали и над диагонали, равны нулю, называется ленточной. Определитель матрицы — это многочлен от элементов квадратной матрицы, каждый член которого является произведением n элементов, взятых по одному из каждой строки и каждого столбца со знаком произведения, заданным четностью перестановок:. В таком виде определитель он же детерминант легко получить в символьных вычислениях. В численных расчетах мы будем подразумевать под определителем численное значение этого многочлена. Матрица в целой степени — квадратная матрица в степени n n — целое неотрицательное число , определяемая следующим образом: Нуль-матрица — матрица, все элементы которой равны 0. Блок-матрица — матрица, составленная из меньших по размеру матриц, также можно представить как матрицу, каждый элемент которой — матрица. Частным случаем является блок-диагональная матрица — блок-матрица, элементы-матрицы которой вне диагонали — нуль-матрицы. Комплексно-сопряженная матрица — матрица А, полученная из исходной матрицы А заменой ее элементов на комплексно-сопряженные. Характеристический многочлен матрицы — определитель разности этой матрицы и единичной матрицы, умноженный на переменную многочлена, — А - gE. Собственные значения матрицы — корни ее характеристического многочлена. Норма — обобщенное понятие абсолютной величины числа. Норма трехмерного вектора х — его длина. Несомненно, что уникальной возможностью системы Maple 7, как и других систем компьютерной алгебры, является возможность решения задач линейной алгебры в символьном формульном, аналитическом виде. Однако такое решение представляет скорее теоретический, чем практический интерес, поскольку даже при небольших размерах матриц уже при строках и столбцах символьные результаты оказываются очень громоздкими и труднообозримыми. Они полезны только при решении специфических аналитических задач, например с разреженными матрицами, у которых большинство элементов имеют нулевые значения. Поэтому разработчики Maple 7 были вынуждены реализовать в своей системе численные методы решения задач линейной алгебры, которые широко используются в основных сферах ее приложения — математическом моделировании систем и устройств, расчетах в электротехнике, механике, астрономии и т. В ядро Maple 7, как отмечалось, введены очень скромные и минимально необходимые средства для решения задач линейной алгебры. Основной упор в их реализации сделан на подключаемые пакеты. Основным из них, унаследованным от предшествующих реализаций системы, является пакет решения задач линейной алгебры Unalg. Это один из самых обширных и мощных пакетов в области решения задач линейной алгебры. Он содержит свыше ста функций:. Ниже указано назначение тех функций пакета linalg , которые подробно не описаны:. Ниже мы рассмотрим более подробно наиболее часто используемые функции из этого пакета. С деталями синтаксиса достаточно разнообразного для каждой из указанных функций можно ознакомиться в справочной системе Maple. Для этого достаточно использовать команду. Для интерактивного ввода матриц можно, определив размерность некоторого массива, использовать функцию entermatrix:. В библиотечном файле Unalg имеются следующие функции для задания векторов и матриц: Обратите внимание на последние примеры — они показывают вызов индексированных переменных вектора и матрицы. Для работы с векторами и матрицами Maple 7 имеет множество функций, входящих в пакет linalg. Ограничимся приведением краткого описания наиболее распространенных функций этой категории. Читатель, понимающий суть матричных вычислений, легко справится с тестированием других функций, входящих в пакет linalg. В приведенных примерах полезно обратить внимание на то, что многие матричные функции способны выдавать результаты вычислений в аналитическом виде, что облегчает разбор выполняемых ими операций. Ниже представлен простой пример составления и решения трех систем линейных уравнений с применением функций, входящих в пакет linalg:. Следующий пример показывает решение более сложной системы линейных уравнений с комплексными коэффициентами:. В конце примера показано преобразование результатов с целью их получения в обычной форме комплексных чисел с частями, представленными в форме чисел с плавающей точкой. В последние годы разработчики систем символьной математики осознали, что малая скорость выполнения векторных и матричных операций при решении задач линейной алгебры оборачивается потерей заметной части рынка систем компьютерной математики. В новых реализациях систем Maple и MATLAB была сделана ставка на использование давно апробированных быстрых алгоритмов линейной алгебры, предложенных создателями Number Algorithm Group NAG. Эти алгоритмы издавна применяются на больших ЭВМ и суперкомпьютерах, обеспечивая ускорение численных матричных операций от нескольких раз до нескольких десятков раз. Их применение обеспечивает эффективное использование систем символьной математики в решении задач, сводящихся к задачам линейной алгебры. В числе таких задач многочисленные задачи теоретической электротехники, механики многих объектов, моделирования электронных устройств и т. В Maple 7 использование алгоритмов NAG является одной из первых отличительных черт новой версии системы. Оно реализуется новым пакетом LinearAlgebra. Для его загрузки используются следующие команды:. RowDimension, RowOperation, RowSpace, ScalarMatrix, ScalarMultiply, ScalarVector, SchurForm, SingularValues, SmithForm, SubMatrix, SubVector, SumBasis, SylvesterMatrix, ToeplitzMatrix, Trace, Transpose, TridiagonalForm, UnitVector, VandermondeMatrix, VectorAdd, VectorAngle, VectorMatrixMultiply, VectorNorm, VectorScalarMultiply, ZeroMatrix, Zero Vector, Zip ]. Нетрудно заметить, что многие функции этого пакета повторяет по назначению функции более старого пакета linalg , описанного выше. Поэтому мы не будем останавливаться на их повторном описании. Главное то, что эти функции задействуют возможности быстрых алгоритмов NAG и в отличие от функций пакета linalg ориентированы на численные расчеты в формате обработки вещественных чисел, характерном для компьютерной платформы. Знающий матричные методы читатель легко поймет назначение функций пакета LinearAlgebra по их составным названиям. Например, DeleteColumn означает удаление столбца матрицы, ToeplitzMatrix означает создание матрицы Теплица, ZeroMatrix — создание матрицы с нулевыми элементами и т. Все имена функций этого пакета начинаются с заглавной буквы. Примеры матричных операций с применением пакета LinearAlgebra. Применение алгоритмов NAG особенно эффективно в том случае, когда используется встроенная в современные микропроцессоры арифметика чисел с плавающей запятой. С помощью специального флага такую арифметику можно отключать или включать:. После этого можно выполнять с ними типовые матричные операции. Например, можно инвертировать обращать матрицы:. Обратите внимание, что Maple 7 теперь выдает информационные сообщения о новых условиях реализации операции инвертирования матриц с вещественными элементами, и в частности об использовании алгоритмов NAG и арифметики, встроенной в сопроцессор. Параметр inplace в функции умножения обеспечивает помещение результата умножения матриц на место исходной матрицы Ml — излюбленный прием создателей быстрых матричных алгоритмов NAG. Поскольку матрицы Ml и М2 за- -даны как случайные, то при повторении этого примера результаты, естественно, будут иными, чем приведенные. Конечной целью большинства матричных операций является решение систем линейных уравнений. Для этого пакет LinearAlgebra предлагает великое множество методов и средств их реализации. Мы ограничимся простым примером одновременного решения сразу трех систем уравнений. Дабы не загромождать книгу массивными выражениями, ограничимся решением систем из двух линейных уравнений, матрица коэффициентов у которых одна, а векторы свободных членов разные. Ниже показан пример решения такой системы:. На этом, учитывая ограниченный объем книги, мы завершаем обзор пакета LmearAlgebra. Читатель, познающий или знающий методы линейной алгебры, может опробовать в работе любые функции этого пакета самостоятельно или познакомиться со множеством примеров, размещенных в справочной системе Maple 7. Возможности пакетов linalg и LinearAlgebra удовлетворят самых требовательных специалистов в этой области математики. Несмотря на обширные средства линейной алгебры да и многие другие , имеющиеся у системы Maple 7, есть системы компьютерной математики, решающие некоторые классы задач более эффективно, и прежде всего быстрее. В области линейной алгебры к таким системам, безусловно, относится система MATLAB, созданная компанией Math Works, Inc. Ее название происходит именно от слов MATrix LABoratory — матричная лаборатория. MATLAB содержит в своем ядре многие сотни матричных функций и является одной из лучших матричных систем для персональных компьютеров. Она реализует самые современные алгоритмы матричных операций, включая, кстати, и алгоритмы NAG. Однако главное достоинство MATLAB — наличие множества дополнительных пакетов как по классическим разделам математики, так и по самым новейшим, таким как нечеткая логика, нейронные сети, идентификация систем, обработка сигналов и др. Знаменитым стал пакет моделирования систем и устройств Simulink, включаемый в пакет поставки системы MATLAB. Последней версией системы является MATLAB 6. В то же время нельзя не отметить, что MATLAB — одна из самых громоздких математических систем. Инсталляция ее полной версии занимает около 1,5 Гбайт дискового пространства. Несмотря на это, интеграция различных математических систем с данной системой, похоже, становится своеобразной модой. Такая возможность предусмотрена и в системе Maple 7 с помощью пакета Matlab. Использование этой команды ведет к автоматическому запуску системы MATLAB гарантируется работа с версиями MATLAB до 5. Таким образом, есть все основания полагать, что возможности MATLAB в интеграции с системой Maple 7 используются пока очень слабо и носят рудиментарный характер. Стоит ли ради этих функций иметь на компьютере огромную систему MATLAB, пользователи должны решать сами. Если ответ положительный, то, скорее всего, пользователь решает тот класс задач, для которых лучше подходит MATLAB, и надо задуматься уже над тем, нужен ли в этом случае Maple. Большинство функций пакета Matlab не путайте с системой MATLAB, имя которой надо записывать прописными буквами реализуют самые обычные матричные операции, что и иллюстрируют приведенные ниже примеры. Ниже даны примеры транспонирования матрицы, ее инвертирования, вычисления детерминанта и собственных значений матрицы:. Здесь надо иметь в виду, что форматы матриц в системах Maple и MATLAB различны. Таким образом, видно, что пакет Maple в данном случае реализует типовые матричные операции, но средствами системы MATLAB. Загрузка последней происходит автоматически при загрузке пакета Matlab. Если система MATLAB не установлена на вашем компьютере, то доступ к функциям пакета Matlab будет отсутствовать, a Maple 7 при попытке использования данных функций будет выдавать сообщения об ошибках. Среди небольшого числа доступных функций системы MATLAB в пакете Matlab нельзя не выделить особо функции быстрого прямого и обратного преобразований Фурье. В системе MATLAB эти функции реализуют наиболее эффективные алгоритмы быстрого преобразования Фурье БПФ , обеспечивающие решение крупноразмерных задач например, обработки сигналов, представленных векторами и матрицами больших размеров в десятки раз быстрее, чем при обычных методах выполнения преобразований Фурье. Покажем возможность применения БПФ на ставшем классическим примере — выделении спектра полезного сигнала на фоне сильных помех. Зададим некоторый двухчастотный сигнал, имеющий точек отсчета:. Нетрудно заметить, что теперь форма сигнала настолько замаскирована шумом рис. Эта высокочастотная составляющая сигнала скрыта шумом. Подвергнем полученный сигнал в виде временной зависимости прямому преобразованию Фурье, реализованному функцией fft: Эта операция переводит задачу из временного представления сигнала в частотное, что позволяет использовать частотные методы анализа сигнала. Выделим, к примеру, действительную и мнимую части элементов вектора ft и проверим его размер:. Пакет анализа линейных функциональных систем LinearFunctionalSystems. Пакет LinearFimctionalSystems содержит набор функций для решения задач, связанных с анализом линейных функциональных систем. Обычно такие системы описываются линейными дифференциальными уравнениями, имеющими то или иное решение. Пакет LinearFunctionalSystems позволяет провести тестирование подготовленной системы, оценить ряд ее параметров и получить решение одним из ряда методов. MatrixTriangularization, PolynomialSolution, Properties, RationalSolution,. Прежде чем рассматривать основные функции пакета, рассмотрим две тестовые функции. Они представлены следующими формами записи:. IsSolution sol, A, x, case AreSameSolutior sol, soil. Группа основных функций пакета LinearFunctionalSystems имеет идентичный синтаксис и записывается в виде:. Несколько вспомогательных функций пакета LinearFunctionalSystems представлено ниже:. Примеры применения пакета LinearFunctionalSystems. Ниже представлен ряд примеров применения пакета LinearFunctionalSystems , иллюстрирующих его возможности: Множество дополнительных примеров на анализ и решение линейных функциональных систем можно найти в справке по функциям данного пакета. Знаете ли Вы, что баланс в экономико-математическом моделировании - это уравнение или неравенство, устанавливающее соответствие между источниками ресурса и направлениями его использования. Уравнения используются, если имеющиеся источники ресурса должны быть использованы без остатка либо если наличие остатка влияет на экономический эффект требует затрат на утилизацию либо может быть с выгодой продан на рынке. В противном случае балансы записываются в форме неравенств, согласно которым совокупное использование ресурса не превышает размера имеющихся его источников. НОВОСТИ ФОРУМА Рыцари теории эфира.


Не подключается к wifi роутеру d link
Расписание поезда николаев москва на декабрь
Причины болейв животево время беременности
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment