5. Аналитические и статистические модели. Прямые и обратные задачи.

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

Поэтому в настоящее время наряду с построением аналитических моделей большое внимание уделяется задачам оценки характеристик больших систем на основе имитационных моделей, реализованных на современных ЭВМ с высоким быстродействием и большим объемом оперативной памяти.

Исходной информацией при построении математических моделей процессов функционирования систем служат данные о назначении и условиях работы исследуемой (проектируемой) системы S. Эта информация определяет основную цель моделирования системы S и позволяет определить (сформулировать) требования к разрабатываемой математической модели.

Математическую схему можно определить как звено при переходе от содержательного к формальному описанию процесса функционирования системы с учетом воздействия внешней среды т.е. имеет место цепочка: «описательная → математическая схема → математическая (аналитическая или имитационная) модель».

При построении математической модели определяется полнота модели (выбором границы «система S – среда E»), а также определение основных и второстепенных свойств в зависимости от цели моделирования.

При моделировании системы S входные воздействия внешней среды v є V и внутренние параметры h є H являются независимыми переменными (а выходные характеристики – зависимыми переменными y є Y). Моделирование во времени отражает динамические свойства системы.

Статистическое моделирование служит для описания поведения объекта в какой-либо момент времени, а динамическое – отражает поведение объекта во времени.

Аналитическая модель может быть исследована следующими методами: а). аналитическим, когда стремятся получить в общем виде явные зависимости для искомых характеристик; б). численным, когда не умея решать уравнения в общем виде стремятся получить числовые результаты при конкретных начальных данных; в). качественным, когда не имея решения в явном виде, можно найти некоторые свойства решения.

При имитационном моделировании реализующий модель алгоритм воспроизводит процесс функционирования системы S во времени. Методом статистического моделирования называется метод машинной реализации имитационной модели, а методом статистических испытаний – численный метод решения аналитической задачи.

Для статистических моделей математическая модель представляет собой отображение между двумя подмножествами свойств моделируемого объекта Y и {X,V,H}, в векторной форме записывается . Эти соотношения могут быть заданы различными способами: аналитически, графически, таблично и т.д.

Таким образом, под математической моделью объекта (реальной системы) понимают конечное подмножество переменных { }вместе с математическими связями между ними и характеристиками .

Постановки задач о некоторой системе и ее связи с окружающей средой рассматриваются с точки зрения соотношений причина-следствие. Установление причинно-следственных связей составляет цель прямых задач. Наоборот, если по определенной информации требуется восстановить причинные характеристики, то имеем ту или иную постановку обратной задачи. Постановки обратных задач, в отличие от прямых, не соответствуют физически реализуемым событиям.

6. Однокритериальные и многокритериальные задачи. Методы их решения.

Однокритериальные задачи – задачи, которые состоят в поиске лучшего (оптимального) решения, удовлетворяющего одному критерию. Примером однокритериальной задачи может послужить общая задача линейного программирования.

Многокритериальные модели предназначены для случаев с несколькими целями (имеется несколько целевых функций). Для работы с такими моделями пользуются способом сведения двух критериев к одному или методом последовательных уступок. Примером может служить модель увеличения производства какого-то товара при одновременном уменьшении себестоимости и улучшении качества.

Многокритериальные задачи – задачи, которые состоят в поиске лучшего (оптимального) решения, удовлетворяющего нескольким несводимым друг к другу критериям.

Формальная схема многокритериальной задачей линейного программирования (МЗЛП) от обычной ЗЛП отличается наличием нескольких целевых функций:

(1)

Знак max означает тот факт, желательно увеличение каждой из линейных форм , отражающей некоторую r-ю цель. Требование только максимизации не сужает общности задачи. Так, например, требование минимизации затрат некоторых ресурсов эквивалентно требованию максимизации остатка от изначально выделенных ресурсов. Наличие многих критериев позволяет сделать модель (1) более адекватной изучаемой ситуации, однако выводит ее из класса задач многокритериального программирования и требует разработки многих способов ее анализа. Начальный анализ МЗЛП состоит в удалении из области допустимых решений явно худших, доминируемых решений. Решение х’ доминирует решение х (х’>х), если при х’ хотя бы один критерий имеет больше значение при равенстве остальных. Поэтому решение х может быть исключено из дальнейшего рассмотрения, как худшее, чем х’. Если решение х’ не доминируется ни одним из решений, то его называют Паретто-оптимальным или эффективным решением. Таким образом, эффективное решение – это неулучшаемое решение (недоминируемое) решение, и ясно, что решение должно обладать этим свойством - другие решения нет смысла рассматривать.

Формальное определение π-оптимальности решения х’ записывается как требование об отсутствии такого решения, при котором бы были выполнены условия (2) и хотя бы одно из них – строго. Условия (2) выражают требование невозможности улучшения решения в пределах области допустимых решений ни по одному критерию без ухудшения хотя бы по одному из других.

7. Детерминированные задачи.

Детерминированные задачи (однозначно определенные)

Начало развития исследования операций как науки традицион­но связывают с сороковыми годами двадцатого столетия. Среди первых исследований в данном направлении может быть назва­на работа Л. В. Канторовича «Математические методы органи­зации и планирования производства», вышедшая в 1939 г. В за­рубежной литературе отправной точкой обычно считается вышедшая в 1947 г. работа Дж. Данцига, посвященная реше­нию линейных экстремальных задач.

Следует отметить, что не существует жесткого, устоявше­гося и общепринятого определения предмета исследования опе­раций. Часто при ответе на данный вопрос говорится, что «ис­следование операций представляет собой комплекс научных методов для решения задач эффективного управления органи­зационными системами» .

Природа систем, фигурирующих в приведенном определении под именем «организационных», может быть самой различной, а их общие математические модели находят применение не толь­ко при решении производственных и экономических задач, но и в биологии, социологических исследованиях и других практи­ческих сферах. Кстати, само название дисциплины связано с применением математических методов для управления военны­ми операциями.

Несмотря на многообразие задач организационного управ­ления, при их решении можно выделить некоторую общую по­следовательность этапов, через которые проходит любое опе­рационное исследование. Как правило, это: