Математический пакет Maple - Программирование, компьютеры и кибернетика курсовая работа

Дискретная минимаксная задача с ограничениями на параметры. Применение решений минимаксных задач в экономике с помощью математического пакета Maple. Математические пакеты Maple и Matlab. Основные средства решения минимаксных задач в среде Марle-языка.


посмотреть текст работы


скачать работу можно здесь


полная информация о работе


весь список подобных работ


Нужна помощь с учёбой? Наши эксперты готовы помочь!
Нажимая на кнопку, вы соглашаетесь с
политикой обработки персональных данных

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

В настоящее время научное программирование претерпевает серьезную трансформацию: развиваются интегрированные среды, основанные на алгоритмических языках, и растет применение универсальных математических систем ( Maple, Mathematics, MATLAB. MatCad и др.). Эти системы имеют дружественный интерфейс, реализуют множество стандартных и специальных математических операций, снабжены мощными графическими средствами и обладают собственными языками программирования. Все это предоставляет широкие возможности для эффективной работы специалистов разных профилей, о чем говорит активное применение математических пакетов в научных исследованиях и в преподавании. Система аналитических вычислений Maple - хороший выбор для проведения любого исследования, где требуется математика - от курсовой работы до научного открытия. С помощью этих пакетов проще готовить и выполнять задания, устраивать демонстрации и гораздо быстрее решать исследовательские и инженерные задачи.
Математический пакет Maple - интеллектуальный лидер в своих классах и образец, определяющий развитие компьютерной математики. Компьютерная алгебра Maple вошла составной частью в ряд современных пакетов. Сам пакет постоянно совершенствуются, развивая аппарат и пополняя ресурсы. Пакет Maple - мощная и хорошо организованная система, надежная и простая в работе. Освоение даже части его возможностей даст несомненный эффект, а по мере накопления опыта придет настоящая эффективность от взаимодействия с ним. Еще одним достоинством пакета является неизменность набора основных команд и конструкций языка при появлении новых версий.
Язык Maple - это функции и команды сравнительно небольшого по объему, но быстрого ядра, написанного на языке Cи, основной библиотеки, содержащей около 500 команд и функций, написанных уже на собственном языке Maple, и большого количества специализированных библиотек, также написанных на собственном языке Maple и расширяющих “способности” Maple в различных областях математики. Пожалуй, наиболее важная особенность системы - открытость архитектуры, т.е. возможность редактировать и изменять подпрограммы библиотек, а также пополнять библиотеки собственными подпрограммами. Благодаря этому за короткое время было создано большое число Maple-подпрограмм, целиком написанных пользователями из самых разных областей науки и техники. Лучшие подпрограммы пополняют библиотеку пользователей, так называемую Share-библиотеку, которая распространяется вместе с пакетом Maple.
К настоящему времени программа Maple превратилась в мощную вычислительную систему, предназначенную для выполнения сложных проектов. Maple умеет производить сложные алгебраические преобразования и упрощения над полем комплексных чисел; находить конечные и бесконечные суммы, произведения, пределы и интегралы; находить все корни многочленов; решать аналитически и численно алгебраические (в том числе трансцендентные) системы уравнений и неравенств, а также системы обыкновенных дифференциальных уравнений и некоторые классы уравнений в частных производных. В Maple включены специализированные пакеты подпрограмм для решения задач линейной и тензорной алгебры; евклидовой и аналитической геометрии; теории чисел; комбинаторики, теории вероятностей и математической статистики; теории групп; численной аппроксимации и линейной оптимизации (симплекс-метод); финансовой математики; для выполнения интегральных преобразований и многих других задач.
Пусть , - функции, заданные и непрерывно дифференцируемые на некотором открытом множестве . Предположим также, что задано выпуклое замкнутое (не обязательно ограниченное) множество .
Требуется найти точку , для которой
Эта функция задана на . Поставленная задача сводится к минимизации функции на множестве . Функция является дифференцируемой по всем направлениям в любой точке множества ; в частности, везде на .
1. Предположим, что на некотором открытом множестве заданы непрерывно дифференцируемые функции . Как и ранее, будем использовать обозначения
Пусть - выпуклое замкнутое множество, содержащееся в . Рассматривается задача минимизации функции на .
Теорема 2.1. Для того чтобы точка была точкой минимума функции на множестве , необходимо, а в случае выпуклости на и достаточно, чтобы
Замечание 1. Нетрудно проверить, что необходимое условие (2.1) эквивалентно следующему равенству:
Было показано, что при фиксированном функция
является непрерывной по функцией на всем пространстве . Поскольку множество ,
при любом фиксированном является замкнутым и ограниченным, то отсюда следует, что функция достигает своего минимума на .
Учитывая это замечание, заключаем, что инфимум, стоящий в левой части соотношения (2.1'), достигается, и условие (2.1') может быть переписано в виде
Замечание 2. При из теоремы 2.1 следует необходимое условие минимума непрерывно дифференцируемой функции на выпуклом множестве : для того чтобы непрерывно дифференцируемая функция достигала своего минимального на значения в точке , необходимо, а в случае выпуклости на и достаточно, чтобы
Определение. Точка , для которой выполняется соотношение (2.1), называется стационарной тонкой функции на .
2. Возьмем любую точку и зафиксируем ее.
Очевидно, . Замыкание конуса называется конусом возможных направлений множества в точке и обозначается
Теорема 2.2. Соотношение (2.1) эквивалентно неравенству
Доказательство см. Демьянов, стр. 148-149.
замкнуто и ограничено, то инфимум в левой части (2.10) достигается, и поэтому неравенство (2.10) может быть переписано в виде
Замечание 2. Рассмотрим случай . Для любой точки будем иметь
1. Зафиксируем , и пусть - конус возможных направлений множества в точке . Введем в рассмотрение сопряженный конус :
Конус является замкнутым и выпуклым множеством.
Теорема 3.1. Соотношение (2.1) (или , что то же самое , (2.10)) экв и валентно следующему условию:
Доказательство в [6] стр.150-151. (3.1)
Замечание 1. Если , то для любого . В этом случае условие (3.1) эквивалентно следующему включению:
Соотношение (3.4) совпадает с необходимым условием минимакса на всем пространстве .
Замечание 2. Пусть . В этом случае для любого . Учитывая (3.1), получаем следующее геометрическое условие минимума непрерывно дифференцируемой функции, на множестве .
Для того чтобы непрерывно дифференцируемая функ ция до с тигала своего минимального на значения в точке , необходимо, а в случае выпуклости на и достаточно, чтобы
2. Возьмем теперь любую точку . Построим для этой точки многогранник и конус . Положим
Поскольку и - замкнутые множества и одно из них () ограничено, то инфимум в (3.5) достигается. Таким образом, существуют такие точки и , что
Если , то точка является стационарной точкой функции на множестве , ибо в этом случае, очевидно, выполняется условие (3.1).
Пусть , т.е. - не стационарная точка. Нетрудно показать, что в этом случае вектор , удовлетворяющий соотношению (3.6), единствен. Введем обозначение
Определение. Вектор , называется направлением наискорейшего спуска функции на множестве в точке , если
Теорема 3.2. Если , то направление явля ется на правл е нием наискорейшего спуска функции на множестве в точке при этом
Лемма 3.1. Справедливо равенство
Доказательство в [6] стр.152-154. (3.8)
Замечание 1. Направление наискорейшего спуска функции на множестве в точке в случае, если , единственно.
Замечание 2. В теореме 3.2 утверждается лишь, что .
Может случиться, что при любых точки , так что движение в направлении наискорейшего спуска может оказаться невозможным.
3. В качестве примера рассмотрим функцию
Возьмем точку . Как было показано раньше, есть треугольник, натянутый на точки (-5, 1), (0, 4), (5, 1). Так как , то не является стационарной точкой функции на .
Нетрудно проверить, что в этом случае
Так как луч пересекает множество (рис.), то является стационарной точкой функции на множестве а поскольку - выпуклая функция, то - точка минимума функции на .
В этом случае . Так как и не имеют общих точек, то не является стационарной точкой функции на множестве . Нетрудно найти направление наискорейшего спуска функции в точке на множестве . Это есть вектор
Нетрудно проверить, что в этом случае
Таким образом, не является стационарной точкой функции на множестве . Вместе с тем движение вдоль направления наискорейшего спуска невозможно, ибо направление выводит нас из области .
1. Если - выпуклая функция, то любая стационарная точка функции на есть точка минимума на . Ниже устанавливаются достаточные условия локального минимакса.
Пусть . Введем в рассмотрение функцию
Тогда необходимое условие (2.10) может быть переписано в виде
Определение. Точка называется точкой локального минимума функции на множестве , если существует такое , что для , будет
Если при тех же условиях для , выполняется неравенство
то называется точкой строгого локального минимума функции на .
Теорема 4.1. Пусть - стационарная точка функции на . Если при этом
то является точкой строгого локального минимума функции на . Доказательство в [6] стр.157. Выясним теперь геометрический смысл условия (4.1).
Теорема 4.2. Условие (4.1) эквивалентно тому, что множество и конус не могут быть отделены, т.е. не существует ненулевого вектора и числа а таких, что
Доказательство в [6] стр.158-159 (4.6)
Следствие. Если , то , и потому условие неотдел и мости и означает, что 0 - внутренняя точка множества .
2. Приведем пример, показывающий, что стационарная точка может и не быть точкой локального минимума, если не выполнено условие (4.1).
Положим . Возьмем точку . Ясно, что ; есть треугольник с вершинами в точках (-5, 1), (0, 4), (5, 1); . Нетрудно проверить (рис. 31), что
так что является стационарной точкой функции на .
С другой стороны, условие не выполнено, поскольку и могут быть отделены прямой
Покажем, что не является точкой локального минимума функции на . Возьмем точку . Очевидно, . Имеем
Отсюда следует, что при малых будет
т.е. не является точкой локального минимума функции на .
Заметим, что этот эффект вызван тем, что функция не является выпуклой, вследствие чего невыпуклой оказалась и функция .
3*. Приведем еще одно достаточное условие локального минимума функции на множестве .
Теорема 4.3. Пусть - стационарная точка функции на , причем . Предположим, что функции , дважды непрерывно дифференцируемы в некоторой окрестности , точки . Если при нек о тором будет
то является точкой строгого локального минимума функции на .

Сколь значителен спектр задач, которые решаются при помощи пакета Maple видно из следующего перечисления:
o проведение математических исследований, требующих вычислений и аналитических выкладок;
o математическое моделирование, компьютерный эксперимент;
o визуализация, научная и инженерная графика,
o разработка графических и расчетных приложений.
Пакет предоставляет удобные среды для компьютерных экспериментов, когда пробуются различные подходы к задаче, анализируются частные решения, при необходимости программирования отбираются требующие особой скорости фрагменты. Он позволяет создавать интегрированные среды с участием систем программирования. Когда расчеты проведены и требуется оформить результаты, опять-таки можно использовать эти пакеты для визуализации данных и подготовки иллюстраций. Работа с системой проходит интерактивно - пользователь вводит команды и видит на экране результат их выполнения. Квалификация пакета обеспечивает выбор подходящих типов переменных и выполнение операций, так что в общем случае не требуется описания переменных.
Система Maple создавалась как пакет компьютерной алгебры, то есть основным объектом здесь являются формулы и операции с ними. Без дополнительных указании символ, например х, считается фактически математической переменной, как х в формуле Т(х). Такая специфика систем компьютерной алгебры позволяет проводить точные вычисления.
Система имеет развитые средства программирования, аналогичные распространенным алгоритмическим языкам, но при этом и здесь сохраняется специфика. обусловленная направленностью пакетов.
Пакет Maple - интерактивная программа, позволяющая проводить анали тические выкладки и вычисления, снабженная средствами двумерной и трехмерной графики, имеющая мощный язык программирования и богатую библиотеку математических формул и сведений. Работа с Maple заключается в том, что пользователь вводит математические выражения и инструкции (команды), а система пытается их выполнить и представить ответ. Получив (или не получив) ответ, пользователь вводит новые инструкции и так далее - взаимодействие с пакетом происходит в диалоговом режиме. Благодаря собственному язык программирования высокого уровня введенные выражения и инструкции, а также результаты выполнения команд - формулы, графики, таблицы и числа - запоминаются в едином документе (worksheet). Это обеспечивает уникальную технологию работы, когда чуть ли не все этапы математического исследования можно отразить в одном документе, и итоговый документ становится (быть может, с минимальными дополнениями) научной статьей, разделом в учебнике, отчетом.
В данной главе рассмотрен ряд общих вопросов: интерфейс (системы меню, значков и справки), кратко описана организация документа Maple, изложены общие сведения об основных объектах (переменных, константах, выражениях) и синтаксисе, а также дан обзор базовых типов Maple и основных математических функций.
Графический интерфейс Maple аналогичен имеющемуся в системах редактирования и подготовки текста и использует обычные средства работы с файлами и редактирования (мышь и клавиатура). После запуска выполняемого модуля wmapte или xmaple в среде Unix появляется оболочка с новым документом (worksheet). В верхней части окна расположено меню (пункты File, Edit и т. д.), чуть ниже - строка значков Toolbar для ряда часто выполняемых операций, еше ниже - строка значков Context Ваг, организующих представление данных в сеансе. Затем следует одно или несколько окон с документами, в которых размешаются формулы, рисунки, сопровождающий текст и др. В нижней части окна находится полоса Status Une, которая содержит информацию о системе. Работа в Maple проходит в режиме сессии (session) - пользователь вводит команды. математические выражения, процедуры, которые воспринимаются и интерпретируются Maple. Каждая команда должна завершаться точкой с занятой (;) или двоеточием (:). В первом случае в строке под предложением будет выведен результат исполнения команды или сообщение об ошибке, во втором случае результат не выводится. Для отмены всех сделанных назначений и начала нового сеанса без выхода из Maple используется команда restart.
Кроме того, в Maple можно вводить таблицы и текстовые параграфы, структурировать текст и документ, добавлять гиперссылки, объединяющие несколько документов в подобие электронной книги. В документ также можно вставлять объекты (рисунки и таблицы) из других программ, используя интерфейс OLE2.
Отметим, что различные документы, открытые в одном сеансе, используют общую область памяти, и значение, присвоенное переменной в одном документе, сохраняется при переходе к другому локумету. Для реализации многозадачной работы имссгся программа Parallel Server Maple 6. Ее интерфейс идентичен основной программе wmaple, но при работе назначения переменных действительны только в пределах «родного документа».
Команды Maple набираются после приглашения (>). Возможны два способа представления вводимого: стандартная математическая нотация и нотация Maple. В первом случае на экране дисплея интегралы, суммы и др. даются своими математическими изображениями, а во втором - при помощи текстовых эквивалентов. Нажатие клавиши Enter запускает исполнение введенных команд. Если интерпретатор посчитал введенное законченным предложением, то команды выполняются, в противном случае Maple ожидает завершения ввода. Обнаружив ошибку. Maple печатает на следующей строке сообщение о ней; при синтаксической ошибке символом А отмечается первая нераспознанная литера.
Результаты работы могут быть сохранены в файлах различных форматов. Текущий документ (области ввода и вывода, комментарии, текст, графика) записываются в файл с расширением .mws. При записи в файлы с другими расширениями сохраняются только области ввода и тексты комментариев. Кроме того, весь документ или его часть могут быть сохранены в форматах, допускающих их использование в других программах.
Пакет Maple постоянно развивается, приобретая новые команды и, соответственно, возможности для проведения математических выкладок, вычислений, графического отображения информации. При этом происходят изменения в синтаксисе и оболочке. Для хранения преемственности с документами, подготовленными в старых версиях, фирма снабжает свой продукт специальными конверторами, при загрузке файла устаревшей версии Maple предлагает преобразовать нотацию файла согласно новым правилам.
Задачи на определение минимума и/или максимума (минимакса) функции имеют не только чисто теоретическое значение в качественных аспектах целого ряда математических разделов, но в большей мере в многочисленных приложениях математического анализа. Для решения задач данного типа Maple-язык. предоставляет ряд средств различного уровня. К средствам первого уровня относятся функции min и max, имеющие идентичные форматы кодирования вида {min|max}(V1,V2,…,Vn) и возвращающие {минималъное|максималъное} значение среди результатов вычисления выражений Vk, указанных фактическим аргументом {Vk} - последовательности (). В качестве выражений Vk допускаются выражения, результаты вычисления которых могут быть как числовыми, так и символьными. В случае определения минимакса над последовательностью как числовых, так и символьных значений, возвращается {min|max}-конструкция, в которой произведены выбор числового минимакса и вычисления символьных выражений. При этом, если для символьных значений используется assume-механизм, то в выборе минимакса могут принимать участие и символьные значения, в ряде случаев возвращая символьный результат. Пустые вызовы функций {min, max} возвращают -значения, а именно: [min(),max()];, что по логике вещей должно быть с точностью до наоборот. Функции {min, max} могут использоваться совместно с функцией convert({min|max},piecewise), определяй минимаксные области для значений символьных выражений. Однако в таком случае операции возведения в степень в аргументе {min|max} функции convert должны быть представлены в терминах произведения. Следующий простой фрагмент иллюстрирует вышесказанное:
Приведенное описание функций {min,max} делает примеры фрагмента вполне прозрачными, как и применение рассмотренных функций минимакса в целом. Здесь же следует отметить то обстоятельство, что в виду градиентного характера понятий минимума и максимума на множестве числовых значений, в частности, и с помощью функции sort возможно решать минимаксные задачи уровня, не ниже рассмотренного. Так последний пример фрагмента представляет простую процедуру MinMax, реализованную на основе функции sort и возвращающую трехэлементный список, элементы которого представляют соответственно: количество переданных процедуре в качестве ее фактических аргументов числовых выражений, а также минимальное и максимальное среди них значение. На основе функции sort можно создавать и полезные нечисловые минимаксные процедуры, для которых стандартные средства языка АРМа не применимы.
На втором уровне Maple-язык АРМа предлагает функции minimize и maximize, допускающие следующие идентичные для обоих функций форматы кодирования:
{minimize|maximize}(V{,<Переменная>{,<Диапазон>|`infinite`}})
и возвращающие в случае простейшего формата соответственно {минимум|максимум} указанного первым фактическим аргументом алгебраического выражения V либо последовательность значений выражения V в качестве кандидатов для искомого минимакса. При кодировании второго фактического аргумента он определяет ведущую переменную либо их множество, относительно которых должен отыскиваться минимакс выражения V. При отсутствии второго фактического аргумента (простейший формат кодирования с одним формальным аргументом) минимакс отыскивается относительно всех идентификаторов исходного выражения V, т.е. <Переменная>=indets(V,name).
Необязательный третий аргумент функции (указывается только при наличии второго аргумента) определяет интервал или их множество для ведущих переменных выражения V, в рамках которых отыскивается его минимакс; при этом анализируются и граничные точки интервалов. В случае указания в качестве третьего фактического аргумента минимаксной функции `infinite` -значения минимакс отыскивается для действительных значений по всем ведущим переменным выражения V, определяемым вторым фактическим аргументом функции.
В качестве границ интервалов (третий фактический аргумент) для минимаксных функций {minimize,maximize} допускаются только выражения, результаты вычисления которых имеют {integer|fraction|float}-тип, в противном случае идентифицируется ошибочная ситуация «Error», {minimize|maximize} expects its 3rd argument, ranges». В случае одной ведущей переменной интервал можно указывать без ее идентификатора. На неопределенных функциях в качестве первого фактического аргумента минимаксной {minimize,maximize}-функции возвращаются значения NULL.
В ряде случаев минимаксные функции возвращают результаты в терминах алгебраических чисел вместе со вторым фактическим аргументом функции, если их порядок выше двух. Данная ситуация во многих случаях исключаема путем указания интервалов для ведущих переменных либо определения `infinite`-значения для третьего аргумента функции. Следующий простой фрагмент иллюстрирует применение рассмотренных минимаксных функций Maple-языка АРМа:
Примеры фрагмента с учетом сказанного достаточно прозрачны и особых пояснений не требуют. Таким образом, по минимаксной {minimize,maximize}-функции можно отыскивать как глобальные, так и локальные минимаксы функций нескольких переменных; при этом, при необходимости исследуется их бесконечная асимптотика. Завершает фрагмент процедура MiniMax, имеющая не менее двух формальных аргументов: тип искомого минимакса `{mini|maxi}` анализируемое на минимакс выражение V, а также, возможно, интервалы по ведущим переменным, определяющие область отыскания минимакса выражения. Для случая одной ведущей переменной процедура возвращает список, содержащий как тип и значение минимакса, так и точку, в которой он получен; для многомерного случая возвращается тип минимакса и его значение.
В модуле student наряду с рядом средств для решения базовых задач анализа содержатся определения функций минимакса (аналогичные рассмотренным выше или более ограниченные по возможностям) и функция extrema, имеющая формат:
extrema(V,<Условия>{,<Множество переменных>{,'h'}})
Функция extrema возвращает условный экстремум алгебраического выражения V от нескольких ведущих переменных (определенных множеством их идентификаторов в третьем фактическом аргументе) согласно заданным вторым фактическим аргументом условиям. Второй аргумент функции обязателен и задается в виде множества уравнений либо выражений, связывающих ведущие переменные; в случае выражений они по умолчанию полагаются в качестве левых частей уравнений с нулевой правой частью. В случае отсутствия таких ограничений кодируется пустое {}-множество.
В случае отсутствия третьего фактического аргумента, определяющего множество ведущих переменных,относительно которых должен отыскиваться экстремум выражения V, в качестве их по умолчанию выбираются все идентификаторы выражения V и уравнений-условий. В качестве результата функция ехtreта возвращает множество экстремумов, а также, возможно, вложенное множество экстремальных точек, включая и кандидаты на принадлежность к экстремальным; последнее возвращается в качестве значения невычисляемого идентификатора `h` - четвертого фактического аргумента функции. В случае невозможности получить выражение для экстремальных точек в качестве значения переменной h возвращается система уравнений, решение которой и определяет такие точки. Для вычисления условных экстремумов функция ехtrета использует метод неопределенных множителей Лагранжа. Следующий фрагмент иллюстрирует применение функции ехп-ета для вычисления условных экстремумов:
В приведенном фрагменте вычисляются экстремумы для двух функций А(х,у) и Z(x,y) с проведением анализа результатов, полученных на основе функции extrema. Наряду с этим, для функции g(x)=(x+2)*sin(x), не имеющей конечного глобального экстремума на открытом интервале , но имеющей бесконечное множество локальных экстремумов, применение функции extrema позволяет получать ближайший справа от начала координат базовый локальный экстремум (С; максимум) и в качестве экстремальной точки-кандидата (h-nepeменная) ближайший слева от начала координат локальный экстремум (.3093012857; максимум). Представленный график иллюстрирует поведение исследуемой функции g(x) в области полученных функцией extrema локальных экстремумов. В качестве полезного упражнения читателю рекомендуется на основе рассмотренных выше средств дифференцирования, отыскания пределов и минимакса написать общего типа процедуру, позволяющую производить полный анализ функций одной переменной с выводом графика в области экстремальных точек.
При вычислении условных экстремумов во многих случаях для получения строго численных результатов рекомендуется использовать функцию evalf, как это продемонстрировано в примерах фрагмента. Возвращаемые функцией extrema результаты следует проверять на предмет типа экстремума {минимум|максимум} и анализировать экстремальные точки, возвращаемые h-переменной, ибо среди них могут находиться как точки, определяющие возвращаемый функцией экстремум, так и точки-кандидаты в качестве экстремальных. В случае выражения V от нескольких переменных и корректного определения условий по функции extrema во многих случаях возвращается искомый экстремум, а через h-переменную - координаты экстремальной точки, в остальных же случаях требуется дополнительное исследование поведения выражения V.
Наконец, третий уровень средств по обеспечению решения минимаксных задач составляют средства модуля пакета simplex, содержащего определения как минимаксных, так и ряда других функций для решения задач линейного программирования симплексным методом. Детальнее со средствами simpleх-модуля можно ознакомиться в [74, 84, 85, 94], здесь же мы остановимся на двух базовых минимаксных функциях, решающих проблему минимакса для линейной целевой функции (ЦФ) и имеющих формат:
{minimize|maximize}(<Целевая функция>{,<ЛО>{,<ТВП>{'а'{,'b'}}})
где в качестве первого фактического аргумента функции выступает линейная целевая функция (ЦФ), для которой отыскивается соответственно {минималъное максималъное} значение на определенных вторым фактическим аргументом линейных ограничениях (ЛO) и типах ведущих переменных (ТВП), определяемых третьим фактическим аргументом функции. Второй фактический аргумент записывается в виде списка/множества линейных неравенств по ведущим переменным целевой функции. Третий необязательный аргумент функции определяет тип знака для ведущих переменных, относительно которых отыскивается минимакс ЦФ; для него допустимыми являются только два значения: NONNEGATIVE (по умолчанию; все ведущие переменные полагаются неотрицательными) и UNRESTRICTED (ограничений на знак ведущих переменных не накладывается). Наконец, необязательные четвертый и пятый аргументы функции определяют невычисляемые переменные 'а' и 'b', через которые возвращаются описание оптимизирующего решения минимаксной задачи и использованные для его получения преобразования ведущих переменных соответственно.
При этом для тестирования корректности задания системы ограничений, определяемых вторым и третьим фактическими аргументами минимаксной функции, служит логическая функция feasible(<ЛО>{,<ТВП>{'а'{,'b'}}}), смысл аргументов которой полностью соответствует выше сказанному и которая возвращает значение true в случае корректности системы условий и значение false - в противном случае. Более того, два последних необязательных аргумента функции в этом случае возвращают соответственно значение для окончательной системы корректных ЛO (которая может также включать глобальные переменные _AR, _SLk и/или _negk, _posk ядра пакета) и использованные для ее получения преобразования ведущих переменных ЦФ.
При этом модульная функция convert(LO,std) возвращает множество/список линейных ограничений для целевой функции, полученных путем переноса всех констант левых частей LO-списка/множества ограничений в их правые части. Модульная функция convert(LO,stdle) производит конвертацию всех неравенств LO-ограничений в неравенства (<=)-типа, упрощая решение задач симплекс-методом. Для использования обоих функций требуется выполнение предложения with(simplex).
Минимаксная функция {minimize|maximize} возвращает результат оптимизации исходной ЦФ в виде множества уравнений по ее ведущим переменным, на которых ЦФ достигает соответственно {минимума|максимума}. Последующая подстановка их в ЦФ возвращает само минимаксное значение. В случае отсутствия оптимизирующего решения возвращается пустое {}-множество, а для неограниченного решения возвращается значение NULL. Следующий фрагмент иллюстрирует применение рассмотренных средств для решения простых задач линейного программирования:
С учетом сказанного примеры фрагмента представляются достаточно прозрачными. В частности, для целевой функции определяется система линейных ограничений, после проверки которой на корректность производится вычисление максимизирующего функцию QR решения на указанных линейных ограничениях. Полученное в виде множества уравнений оптимизирующее решение R посредством функции subs подставляется в функцию QR, возвращая искомое значение QR_max:= 1588872, максимальное для заданной системы линейных ограничений. С о
Математический пакет Maple курсовая работа. Программирование, компьютеры и кибернетика.
Реферат: Netiquette Essay Research Paper As we enter
Реферат На Тему Договор На Реализацию Туристических Услуг
Курсовая работа по теме Организация, оформление и учет брокерских операций в кредитных организациях
Курсовая работа по теме Сравнительный анализ международных и отечественных стандартов финансовой отчетности
Контрольная работа по теме Правовые основы местного самоуправления
Практическое задание по теме Эмпирическое исследование влияния культуры и истории на становление личности
Дипломная работа по теме Современное состояние почвенных ресурсов Кузнецкой котловины
Реферат по теме Строение и функции сердца
Курсовая работа: Правые и левые эсеры
Реферат На Тему Особливостi Цiноутворення На Свiтовому Ринку
Составить План К Сочинению Золотая Осень
Строительство Жилых И Нежилых Зданий Реферат
Дипломная работа по теме Гендерные стереотипы в современном обществе
Контрольная работа по теме Граждане как субъекты гражданского права
Реферат по теме Расчет усилителя низкой частоты с блоком питания
Реферат по теме Землепроходец Петр Иванович Бекетов
Стандарты Реферата
Реферат: Вселенная. Скачать бесплатно и без регистрации
Почему Природу Называют Живой Сочинение 70 Слов
Контрольная работа по теме Теория факторов производства, как основа формирования стоимости товара и распределения доходов
Маркетинговое исследование ТМ "Веселый молочник" - Маркетинг, реклама и торговля курсовая работа
Творчество и герои В.С. Маканина - Литература курсовая работа
Проектирование дискретного транзистора - Коммуникации, связь, цифровые приборы и радиоэлектроника курсовая работа