Понятие математической модели. Этапы математического моделирования

Лекция № 1

Введение. Понятие математических моделей и методов

Раздел 1. Введение

2. Методы построения математических моделей. Понятие о системном подходе. 1

3. Основные понятия математического моделирования экономических систем.. 4

4. Методы аналитического, имитационного и натурного моделирования. 5

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

1. Содержание, цели и задачи дисциплины «Методы моделирования»

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

В задачи дисциплины входит:

Ознакомить студентов с основными понятиями теории математического моделирования, теории систем, теории подобия, теории планирования эксперимента и обработки экспериментальных данных, используемых для построения математических моделей,

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

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

Курс дисциплины рассчитан на 12 лекций и 12 практических работ. В результате изучения дисциплины студент должен освоить методы математического моделирования от постановки задачи до реализации математических моделей на ЭВМ

2. Методы построения математических моделей. Понятие о системном подходе

5. Решение задачи.

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

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

4. Методы аналитического, имитационного и натурного моделирования

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

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

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

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

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

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

Результатом работы имитационной модели являются собранные в ходе наблюдения за протекающими событиями статистические данные о наиболее важных характеристиках сети: временах реакции, коэффициентах использования каналов и узлов, вероятности потерь пакетов и т. п.

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

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

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

ЛЕКЦИЯ 4

Определение и назначение математического моделирования

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

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

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

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

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

Бурный рост математического моделирования обусловлен стремительным совершенствованием вычислительной техники. Если еще 20 лет назад проведением численных расчетов занималось лишь небольшое число программистов, то теперь объем памяти и быстродействие современных компьютеров, позволяющих решать задачи математического моделирования доступных всем специалистам, включая студентов ВУЗов.

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

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

1. Уравнения математической физики (кантовая механика, газо - и гидродинамика)

2. Линейная алгебра (теория упругости)

3. Скалярные и векторные поля (теория поля)

4. Теория вероятностей (квантовая механика, статистическая физика, физическая кинетика)

5. Специальные функции.

6. Тензорный анализ (теория упругости)

7. Математический анализ

ММ в естествознании, технике, и экономике

Рассмотрим вначале различные разделы естествознания, техники, экономики, в которых используются математические модели.

Естествознание

Физика, устанавливающая основные законы естествознания, давно разделилась на теоретическую и экспериментальную. Выводом уравнений, описывающих физические явления, занимается теоретическая физика. Таким образом, теоретическая физика также может считаться одним из направлений математического моделирования. (Вспомним, что название первой книги по физике – «Математические начала натуральной философии» И. Ньютона можно перевести на современный язык как «Математические модели естествознания».) На основании полученных законов проводятся инженерные расчеты, которые проводятся в различных институтах, фирмах, КБ. Эти организации разрабатывают технологии изготовления современной продукции, которые являются наукоемкими.Таким образом, понятие наукоемкие технологии включает в себя расчеты с помощью соответствующих математических моделей.

Один из наиболее обширных разделов физики – классическая механика (иногда этот раздел называется теоретической или аналитической механикой). Данный раздел теоретической физики изучает движение и взаимодействие тел. Расчеты с помощью формул теоретической механики необходимы при изучении вращения тел (расчет моментов инерции, гиростатов – устройств сохраняющих в неподвижности оси вращения), анализе движения тела в безвоздушном пространстве, и др. Один из разделов теоретической механики называется теорией устойчивости и лежит в основе многих математических моделей, описывающих движение самолетов, кораблей, ракет. Разделы практической механики – курсы «Теория машин и механизмов», «Детали машин», изучается студентами почти всех технических вузов (включая МГИУ).

Теория упругости – часть раздела механики сплошных сред , предполагающая, что материал упругого тела однороден и непрерывно распределен по всему объему тела, так что самый малый элемент, вырезанный из тела, обладает теми же физическими свойствами, что и все тело. Приложение теории упругости – курс «сопротивление материалов», изучается студентами всех технических вузов (включая МГИУ). Данный раздел необходим для всех расчетов прочности. Здесь и расчет прочности корпусов кораблей, самолетов, ракет, расчет прочности стальных и железобетонных конструкций зданий и многое другое.

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

Предыдущие разделы механики рассматривали движении тел в макромире, и физические законы макромира неприменимы в микромире, в котором движутся частицы вещества - протоны, нейтроны, электроны. Здесь действуют совершенно другие принципы, и для описания микромира необходима квантовая механика . Основное уравнение, описывающее поведение микрочастиц - уравнение Шредингера: . Здесь - оператор Гамильтона (гамильтониан). Для одномерного уравнения движения частицы https://pandia.ru/text/78/009/images/image005_136.gif" width="35" height="21 src=">-потенциальная энергия. Решение этого уравнения – набор собственных значений энергии и собственных функций..gif" width="55" height="24 src=">– плотность вероятности. Квантовомеханические расчеты нужны для разработки новых материалов (микросхемы), создания лазеров, разработки методов спектрального анализа, и др.

Большое количество задач решает кинетика , описывающая движение и взаимодействие частиц. Здесь и диффузия , теплообмен, теория плазмы – четвертого состояния вещества.

Статистическая физика рассматривает ансамбли частиц, позволяет сказать о параметрах ансамбля, исходя из свойств отдельных частиц. Если ансамбль состоит из молекул газа, то выведенные методами статистической физики свойства ансамбля представляют собой хорошо известные со средней школы уравнения газового состояния: https://pandia.ru/text/78/009/images/image009_85.gif" width="16" height="17 src=">.gif" width="16" height="17">-молекулярный вес газа. К – постоянная Ридберга. Статистическими методами рассчитываются также свойства растворов, кристаллов, электронов в металлах. ММ статистической физики – теоретическая основа термодинамики, которая лежит в основе расчета двигателей, тепловых сетей и станций.

Теория поля описывает методами ММ одну из основных форм материи – поле. При этом основной интерес представляют электромагнитные поля. Уравнения электромагнитного поля (электродинамики) были выведены Максвеллом: , , , . Здесь и https://pandia.ru/text/78/009/images/image018_44.gif" width="16" height="17"> - плотность заряда, -плотность тока. Уравнения электродинамики лежат в основе расчетов распространения электромагнитных волн, необходимых для описания распространения радиоволн (радио, телевидение, сотовая связь), объяснения работы радиолокационных станций.

Химию можно представить в двух аспектах, выделяя описательную химию – открытие химических факторов и их описание – и теоретическую химию – разработку теорий, позволяющих обобщить установленные факторы и представить их в виде определенной системы (Л. Полинг). Теоретическая химия называется также физической химией и является, в сущности, разделом физики, изучающей вещества и их взаимодействия. Поэтому все, что было сказано относительно физики, в полной мере относится и к химии. Разделами физической химии будут термохимия, изучающая тепловые эффекты реакций, химическая кинетика (скорости реакций), квантовая химия (строение молекул). При этом задачи химии бывают чрезвычайно сложными. Так, например, для решения задач квантовой химии – науки о строении атомов и молекул, используются программы, сравнимые по объему с программами ПВО страны. Например, для того, чтобы описать молекулу UCl4, состоящую из 5 ядер атомов и +17*4) электронов, нужно записать уравнение движения – уравнения в частных производных.

Биология

В биологию математика пришла по настоящему только во второй половине 20 века. Первые попытки математически описать биологические процессы относятся к моделям популяционной динамики. Популяцией называется сообщество особей одного вида, занимающих некоторую область пространства на Земле. Эта область математической биологии, изучающая изменение численности популяции в различных условиях (наличие конкурирующих видов, хищников, болезней и т. п.) и в дальнейшем служила математическим полигоном, на котором "отрабатывались" математические модели в разных областях биологии. В том числе модели эволюции, микробиологии, иммунологии и других областей, связанных с клеточными популяциями.
Самая первая известная модель, сформулированная в биологической постановке, ‑ знаменитый ряд Фибоначчи (каждое последующее число является суммой двух предыдущих), который приводит в своем труде Леонардо из Пизы в 13 веке. Это ряд чисел, описывающий количество пар кроликов, которые рождаются каждый месяц, если кролики начинают размножаться со второго месяца и каждый месяц дают потомство в виде пары кроликов. Ряд представляет последовательность чисел: 1, 1, 2, 3, 5, 8, 13, 21, …

8, 13, …

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

Классическим примером ММ также является популяция дрозофилы. Еще более удобной моделью являются вирусы , которые можно размножать в пробирке. Методами моделирования в биологии служат методы динамической теории систем, а средствами - дифференциальные и разностные уравнения, методы качественной теории дифференциальных уравнений, имитационное моделирование.
Цели моделирования в биологии:
3. Выяснение механизмов взаимодействия элементов системы
4. Идентификация и верификация параметров модели по экспериментальным данным.
5. Оценка устойчивости системы (модели).

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

Техника

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

Экономика и социальные процессы

Принято считать, что математическое моделирование как метод анализа макроэкономических процессов было впервые применено лейб-медиком короля Людовика XV доктором Франсуа Кенэ , который в 1758 г. опубликовал работу «Экономическая таблица». В этой работе была сделана первая попытка количественно описать национальную экономику. А в 1838 г. в книге О. Курно «Исследование математических принципов теории богатства» количественные методы были впервые использованы для анализа конкуренции на рынке товара при различных рыночных ситуациях.

Широко известна также теория Мальтуса о народонаселении, в которой он предложил идею: рост населения далеко не всегда желателен, и рост этот идет быстрее, чем растут возможности обеспечения населения продовольствием. Математическая модель такого процесса достаточно проста: Пусть - прирост численности населения за время https://pandia.ru/text/78/009/images/image027_26.gif" width="15" height="24"> численность была равна . и - коэффициенты, учитывающие рождаемость и смертность (чел/год). Тогда

https://pandia.ru/text/78/009/images/image032_23.gif" width="151" height="41 src=">Инструментальные и математические методы " href="/text/category/instrumentalmznie_i_matematicheskie_metodi/" rel="bookmark">математические методы анализа (например, в последние десятилетия в гуманитарных науках появились математические теории развития культуры, построены и исследованы математические модели мобилизации, циклического развития социокультурных процессов, модель взаимодействия народа и правительства, модель гонки вооружений и др.).

В самых общих чертах процесс ММ социально-экономических процессов условно можно подразделить на четыре этапа:

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

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

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

Успешно развивается теория катастроф. Эта теория рассматривает вопрос об условиях, при которых изменение параметров нелинейной системы вызывает перемещение точки в фазовом пространстве, характеризующей состояние системы, из области притяжения к начальному положению равновесия в область притяжения к другому положению равновесия. Последнее очень важно не только для анализа технических систем, но и для понимания устойчивости социально-экономических процессов. В этой связи представляют интерес выводы о значении исследования нелинейных моделей для управления. В книге «Теория катастроф», опубликованной в 1990 г., он, в частности, пишет: «…нынешняя перестройка во многом объясняется тем, что начали действовать хотя бы некоторые механизмы обратной связи (боязнь личного уничтожения)».

(параметры модели)

При построении моделей реальных объектов и явлений часто приходится сталкиваться с недостатком информации. Для исследуемого объекта распределение свойств, параметры воздействия и начальное состояние известны с той или иной степенью неопределенности. При построении модели возможны следующие варианты описания неопределенных параметров:

Классификация математических моделей

(методы реализации)

Методы реализации ММ можно классифицировать в соответствии с таблицей, приведенной ниже.

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

Математические методы выступают как способ получения новых знаний об объекте. Это относится не только к системам. Оглядываясь назад, обращаясь к истории науки, исследователь видит, что всю динамику науки можно рассматривать как непрерывный процесс построения новых, более совершенных и мощных моделей. Укоренилось представление, что «всякое познание является моделированием» (Н.Амосов). Под воздействием общей теории систем произошло переосмысление, переоценка и классических представлений. Понятие математического моделирования стало толковаться настолько расширительно, что включило в себя всю формализацию и математизацию знания. «Математическая модель - это лишь специальный способ описания, позволяющий для анализа использовать формально-логический аппарат математики » (Моисеев Н.Н., 1973).

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

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

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

Отношение модели и реальности иное, чем отношение реальности и математической формулы. Формула − это иероглиф, знак действительности. Модель − это сама действительность. Можно возразить, что физик или математик отлично чувствует динамику, реальные отношения, которые скрываются за формулой, не воспринимает ее как иероглиф, а, кроме того, современная математика − это далеко не просто и не только формула. И все же, формулами ученый мыслить не может. Иное дело модель. Она обладает динамикой, она живет (не только в переносном, порой и в прямом смысле слова). Исследователь может мыслить моделями, он получает возможность образного мышления. В мире моделей смыкается художественное и логическое восприятие действительности.

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

Если мы рассматриваем некоторый объект как целое, заданное своими внешними свойствами, мы можем эффективно использовать аналитические способы описания для процессов, происходящих вне этого целого. Но стоит поставить задачу внутреннего описания большой и/или сложной системы, описания взаимодействий между ее частями, элементами и подсистемами методами классической математики, как мы немедленно сталкиваемся с непреодолимыми трудностями.

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

В математике аналитических структур мы должны сначала понять, а потом описать. В моделировании, в математике алгоритмических процессов, сам процесс описания того, что еще не понято, нередко становится средством понимания.

Как методология научных исследований математическое моделирование сочетает в себе опыт различных отраслей науки о природе и обществе, прикладной математики, информатики и системного программирования для решения фундаментальных проблем. Математическое моделирование объектов сложной природы – единый сквозной цикл разработок от фундаментального исследования проблемы до конкретных численных расчетов показателей эффективности объекта. Результатом разработок бывает система математических моделей, которые описывают качественно разнородные закономерности функционирования объекта и его эволюцию в целом как сложной системы в различных условиях. Вычислительные эксперименты с математическими моделями дают исходные данные для оценки показателей эффективности объекта. Поэтому математическое моделирование как методология организации научной экспертизы крупных проблем незаменимо при проработке народнохозяйственных решений. (В первую очередь это относится к моделированию экономических систем).По своей сути математическое моделирование есть метод решения новых сложных проблем, поэтому исследования по математическому моделированию должны быть опережающими. Следует заранее разрабатывать новые методы, готовить кадры, умеющие со знанием дела применять эти методы для решения новых практических задач.Математическая модель может возникнуть тремя путями: 1. В результате прямого изучения реального процесса. Такие модели называются феноменологическими.2. В результате процесса дедукции. Новая модель является частным случаем некоторой общей модели. Такие модели называются асимптотическими.3. В результате процесса индукции. Новая модель является обобщением элементарных моделей. Такие модели называют моделями ансамблей. Процесс моделирования начинается с моделирования упрощенного процесса, который с одной стороны отражает основные качественные явления, с другой стороны допускает достаточно простое математическое описание. По мере углубления исследования строятся новые модели, более детально описывающие явление. Факторы, которые считаются второстепенными на данном этапе, отбрасываются. Однако, на следующих этапах исследования, по мере усложнения модели, они могут быть включены в рассмотрение. В зависимости от цели исследования один и тот же фактор может считаться основным или второстепенным.Математическая модель и реальный процесс не тождественны между собой. Как правило, математическая модель строится с некоторым упрощением и при некоторой идеализации. Она лишь приближенно отражает реальный объект исследования, и результаты исследования реального объекта математическими методами носят приближенный характер. Точность исследования зависит от степени адекватности модели и объекта и от точности применяемых методов вычислительной математики. Схема построения математических моделей следующая: 1. Выделение параметра или функции, подлежащей исследованию.2. Выбор закона, которому подчиняется эта величина.3. Выбор области, в которой требуется изучить данное явление.

Теоретическая дисциплина становится точной наукой, когда она оперирует количественными характеристиками. За качественным описанием модели следует вторая фаза абстрагирования − количественное описание модели. Еще Галилео Галилей сказал, что книга природы написана на языке математики. Иммануил Кант провозгласил, что «во всякой науке столько истины, сколько в ней математики». А Давиду Гильберту принадлежат слова: «Математика − основа всего точного естествознания».

Математическое моделирование − это теоретико-экспериментальный метод познавательно-созидательной деятельности, это метод исследования и объяснения явлений, процессов и систем (объектов-оригиналов) на основе создания новых объектов − математических моделей.

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

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

Принимая во внимание, изложенное выше, дадим наиболее общее, но в то же время строгое конструктивное определение математической модели, сформулированное П.Дж. Коэном.

Определение 4.1. Математическая модель − это формальная система, представляющая собой конечное собрание символов и совершенно строгих правил оперирования этими символами в совокупности с интерпретацией свойств определенного объекта некоторыми отношениями, символами или константами.

Как следует из приведенного определения, конечное собрание символов (алфавит) и совершенно строгих правил оперирования этими символами («грамматика» и «синтаксис» математических выражений) приводят к формированию абстрактных математических объектов (АМО). Только интерпретация делает этот абстрактный объект математической моделью.

Математическая модель представляет собой количест-венную формализацию абстрактных представлений об изучаемом явлении или объекте.

Математические модели могут быть представлены различны­ми математическими средствами:

· действительными или комплексными величинами;

· векторами, матрицами;

· геометрическими образами;

· не­равенствами;

· функциями и функционалами;

· множествами, различными уравнениями;

· функциями распределения вероятностей, статистиками и т.д.

«В физической науке − писал Томпсон, − при изучении любого объекта первый и наиболее существенный шаг состоит в том, чтобы найти принципы численной оценки и практические методы из­мерения некоторого количества, присущего этому объекту».

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

Конечно, построение физической модели часто неразрывно свя­зано с построением математической модели и оба этих процесса представляют две стороны единого процесса абстрагирования.

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

Определение 4 .2 . Математическая модель технического объекта - совокупность математических объектов и отношений между ними, которая адекватно отражает свойства исследуемого объекта, интересующие исследователя (инженера).

Модель может быть представлена различными способами.

Формы представления модели

· инвариантная − запись соотношений модели с помощью традиционного математического языка безотносительно к методу решения уравнений модели;

· аналитическая − запись модели в виде результата аналитического решения исходных уравнений модели;

· алгоритмическая − запись соотношений модели и выбранного численного метода решения в форме алгоритм;

· схемная (графическая) − представление модели на некотором графическом языке (например, язык графов, эквивалентные схемы, диаграммы и т.п.);

· физическая;

· аналоговая;

Математическое моделирование является наиболее универсальным описанием процессов.

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

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

Пусть некоторый объект Q обладает некоторым интересующим нас свойством C 0 .

Для получения математической модели, описывающей данное свойство необходимо:

1. Определить показатель данного свойства (т.е. определить меру свойства в некоторой системе измерения ).

2. Установить перечень свойств С 1 , ..., С m, с которыми свойство С 0 связано некоторыми отношениями (это могут быть внутренние свойства объекта и свойства внешней среды, влияющие на объект).

3. Описать в избранной форматной системе свойства внешней среды, как внешние факторы х 1 , ..., х n , влияющие на искомый показатель Y , внутренние свойства объекта, как параметры z 1 , ..., z r , а неучтенные свойства отнести к группе неучитываемых факторов .

4. Выяснить, если это возможно, закономерные отношения между Y и всеми учитываемыми факторами и параметрами, и составить математическое описание (модель ).

Реальный объект характеризуется следующим функциональным отношением между показателями его свойств:

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

Математическую модель можно определить еще и как абстракцию изучаемой реальной сущности .

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

где - внутренние параметры модели, адекватные параметрам оригинала.

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

Главным вопросом математического моделирования является вопрос о том, как точно составленная ММ отражает отношения между учитываемыми факторами, параметрами и показателем Y оцениваемого свойства реального объекта, т.е. на сколько точно уравнение (4.2) соответствует уравнению (4.1). Иногда уравнение (4.2) может быть получено сразу в явном виде, например, в виде системы дифференциальных уравнений, или в виде иных явных математических соотношений.

В более сложных случаях вид уравнения (4.2) неизвестен и задача исследователя состоит, прежде всего, в том, чтобы найти это уравнение. При этом к числу варьируемых параметров , относят все учитываемые внешние факторы и параметры исследуемого объекта, а к числу искомых параметров относят внутренние параметры модели , связывающие факторы , с показателем Y " наиболее правдоподобным отношением. Решением этой проблемы занимается теория эксперимента. Суть этой теории состоит в том, чтобы, основываясь на выборочных измерениях значений параметров , и показателя Y ", найти параметры , при которых функция (4.2) наиболее точно отражает реальную закономерность (4.1).

Понятие модели и моделирования.

Модель в широком смысле - это любой образ, аналог мысленный или установленный изображение, описание, схема, чертеж, карта и т. п. какого либо объема, процесса или явления, используемый в качестве его заменителя или представителя. Сам объект, процесс или явление называется оригиналом данной модели.

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

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

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

Задача исследователя - предсказывать характер явления и ход процесса.

Иногда, бывает, что объект доступен, но эксперименты с ним дорогостоящи или привести к серьезным экологическим последствиям. Знания о таких процессах получают с помощью моделей.

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

Особую роль в науке играют математические модели, строительный материал и инструменты этих моделей - математические понятия. Они накапливались и совершенствовались в течении тысячелетий. Современная математика дает исключительно мощные и универсальные средства исследования. Практически каждое понятие в математике, каждый математический объект, начиная от понятия числа, является математической моделью. При построении математической модели, изучаемого объекта или явления выделяют те его особенности, черты и детали, которые с одной стороны содержат более или менее полную информацию об объекте, а с другой допускают математическую формализацию. Математическая формализация означает, что особенностям и деталям объекта можно поставить в соответствие подходящие адекватные математические понятия: числа, функции, матрицы и так далее. Тогда связи и отношения, обнаруженные и предполагаемые в изучаемом объекте между отдельными его деталями и составными частями можно записать с помощью математических отношений: равенств, неравенств, уравнений. В результате получается математическое описание изучаемого процесса или явление, то есть его математическая модель.

Изучение математической модели всегда связанно с некоторыми правилами действия над изучаемыми объектами. Эти правила отражают связи между причинами и следствиями.

Построение математической модели - это центральный этап исследования или проектирования любой системы. От качества модели зависит весь последующий анализ объекта. Построение модели - это процедура не формальная. Сильно зависит от исследователя, его опыта и вкуса, всегда опирается на определенный опытный материал. Модель должна быть достаточно точной, адекватной и должна быть удобна для использования.

Математическое моделирование.

Классификация математических моделей.

Математические модели могут быть детерменированными и стохастическими .

Детерменированные модели- это модели, в которых установлено взаимно-однозначное соответствие между переменными описывающими объект или явления.

Такой подход основан на знании механизма функционирования объектов. Часто моделируемый объект сложен и расшифровка его механизма может оказаться очень трудоемкой и длинной во времени. В этом случае поступают следующим образом: на оригинале проводят эксперименты, обрабатывают полученные результаты и, не вникая в механизм и теорию моделируемого объекта с помощью методов математической статистики и теории вероятности, устанавливают связи между переменными, описывающими объект. В этом случае получают стахостическую модель. В стахостической модели связь между переменными носит случайный характер, иногда это бывает принципиально. Воздействие огромного количества факторов, их сочетание приводит к случайному набору переменных описывающих объект или явление. По характеру режимов модель бывают статистическими и динамическими .

Статистическая модель включает описание связей между основными переменными моделируемого объекта в установившемся режиме без учета изменения параметров во времени.

В динамической модели описываются связи между основными переменными моделируемого объекта при переходе от одного режима к другому.

Модели бывают дискретными и непрерывными , а также смешанного типа. В непрерывных переменные принимают значения из некоторого промежутка, в дискретных переменные принимают изолированные значения.

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

Математическое моделирование.

Требования,п редъявляемые к моделям.

1. Универсальность - характеризует полноту отображения моделью изучаемых свойств реального объекта.

1. Адекватность - способность отражать нужные свойства объекта с погрешностью не выше заданной.
2. Точность - оценивается степенью совпадения значений характеристик реального объекта и значения этих характеристик полученных с помощью моделей.
3. Экономичность - определяется затратами ресурсов ЭВМ памяти и времени на ее реализацию и эксплуатацию.

Математическое моделирование.

Основные этапы моделирования.

1. Постановка задачи.

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

2. Изучение теоретических основ и сбор информации об объекте оригинала.

На этом этапе подбирается или разрабатывается подходящая теория. Если ее нет, устанавливаются причинно - следственные связи между переменными описывающими объект. Определяются входные и выходные данные, принимаются упрощающие предположения.

3. Формализация.

Заключается в выборе системы условных обозначений и с их помощью записывать отношения между составляющими объекта в виде математических выражений. Устанавливается класс задач, к которым может быть отнесена полученная математическая модель объекта. Значения некоторых параметров на этом этапе еще могут быть не конкретизированы.

4. Выбор метода решения.

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

5. Реализация модели.

Разработав алгоритм, пишется программа, которая отлаживается, тестируется и получается решение нужной задачи.

6. Анализ полученной информации.

Сопоставляется полученное и предполагаемое решение, проводится контроль погрешности моделирования.

7. Проверка адекватности реальному объекту.

Результаты, полученные по модели сопоставляются либо с имеющейся об объекте информацией или проводится эксперимент и его результаты сопоставляются с расчётными.

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

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

Математическое моделирование и связанный с ним компьютерный эксперимент незаменимы в тех случаях, когда натурный эксперимент невозможен или затруднен по тем или иным причинам. Например, нельзя поставить натурный эксперимент в истории, чтобы проверить, «что было бы, если бы...» Невозможно проверить правильность той или иной космологической теории. В принципе возможно, но вряд ли разумно, поставить эксперимент по распространению какой-либо болезни, например чумы, или осуществить ядерный взрыв, чтобы изучить его последствия. Однако все это вполне можно сделать на компьютере, построив предварительно математические модели изучаемых явлений.

1.1.2 2. Основные этапы математического моделирования

1) Построение модели . На этом этапе задается некоторый «нематематический» объект - явление природы, конструкция, экономический план, производственный процесс и т. д. При этом, как правило, четкое описание ситуации затруднено. Сначала выявляются основные особенности явления и связи между ними на качественном уровне. Затем найденные качественные зависимости формулируются на языке математики, то есть строится математическая модель. Это самая трудная стадия моделирования.

2) Решение математической задачи, к которой приводит модель . На этом этапе большое внимание уделяется разработке алгоритмов и численных методов решения задачи на ЭВМ, при помощи которых результат может быть найден с необходимой точностью и за допустимое время.

3) Интерпретация полученных следствий из математической модели. Следствия, выведенные из модели на языке математики, интерпретируются на языке, принятом в данной области.

4) Проверка адекватности модели. На этом этапе выясняется, согласуются ли результаты эксперимента с теоретическими следствиями из модели в пределах определенной точности.

5) Модификация модели. На этом этапе происходит либо усложнение модели, чтобы она была более адекватной действительности, либо ее упрощение ради достижения практически приемлемого решения.

1.1.3 3. Классификация моделей

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

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

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ВСЕОБЩАЯ КОМПЬЮТЕРИЗАЦИЯ ИЛИ ИМИТАЦИОННЫЕ МОДЕЛИ

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

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

Прежде всего, ответим на вопрос: что такое модель?

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

Хорошо построенная модель доступнее для исследования – нежели реальный объект. Например, недопустимы эксперименты с экономикой страны в познавательных целях, здесь без модели не обойтись.

Резюмируя сказанное можно ответить на вопрос: для чего нужны модели? Для того, чтобы

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

Что положительного в любой модели? Она позволяет получить новые знания об объекте, но, к сожалению, в той или иной степени не полна.

Модель сформулированная на языке математики с использованием математических методов называется математической моделью.

Исходным пунктом ее построения обычно является некоторая задача, например экономическая. Широко распространены, как дескриптивные, так и оптимизационные математические, характеризующие различные экономические процессы и явления, например:

• распределение ресурсов
• рациональный раскрой
• транспортные перевозки
• укрупнение предприятий
• сетевое планирование.

Каким образом происходит построение математической модели?

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

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

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

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

• сложная система содержит много связей между элементами
• реальная система подвергается влиянию случайных факторов, учет их аналитическим путем невозможен
• возможность сопоставления оригинала с моделью существует лишь в начале и после применения математического аппарата, т.к. промежуточные результаты могут не иметь аналогов в реальной системе.

В связи с перечисленными трудностями, возникающими при изучении сложных систем, практика потребовала более гибкий метод, и он появился – имитационное моделирование "Simujation modeling ".

Обычно под имитационной моделью понимается комплекс программ для ЭВМ, описывающий функционирование отдельных блоков систем и правил взаимодействия между ними. Использование случайных величин делает необходимым многократное проведение экспериментов с имитационной системой (на ЭВМ) и последующий статистический анализ полученных результатов. Весьма распространенным примером использования имитационных моделей является решение задачи массового обслуживания методом МОНТЕ–КАРЛО.

Таким образом, работа с имитационной системой представляет собой эксперимент, осуществляемый на ЭВМ. В чем же заключаются преимущества?

–Большая близость к реальной системе, чем у математических моделей;

–Блочный принцип дает возможность верифицировать каждый блок до его включения в общую систему;

–Использование зависимостей более сложного характера, не описываемых простыми математическими соотношениями.

Перечисленные достоинства определяют недостатки

–построить имитационную модель дольше, труднее и дороже;

–для работы с имитационной системой необходимо наличие подходящей по классу ЭВМ;

–взаимодействие пользователя и имитационной модели (интерфейс) должно быть не слишком сложным, удобным и хорошо известным;

–построение имитационной модели требует более глубокого изучения реального процесса, нежели математическое моделирование.

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

Итак, ни ЭВМ, ни математическая модель, ни алгоритм для ее исследования порознь не могут решить достаточно сложную задачу. Но вместе они представляют ту силу, которая позволяет познавать окружающий мир, управлять им в интересах человека.

1.2 Классификация моделей

Математическая модель технического объекта - совокупность математических объектов и отношений между ними, которая адекватно отражает свойства исследуемого объекта, интересующие исследователя (инженера).

Модель может быть представлена различными способами.

Формы представления модели:

инвариантная - запись соотношений модели с помощью традиционного математического языка безотносительно к методу решения уравнений модели;

аналитическая - запись модели в виде результата аналитического решения исходных уравнений модели;

алгоритмическая - запись соотношений модели и выбранного численного метода решения в форме алгоритма.

схемная (графическая) - представление модели на некотором графическом языке (например, язык графов, эквивалентные схемы, диаграммы и т.п.);

физическая

аналоговая

Наиболее универсальным является математическое описание процессов - математическое моделирование.

В понятие математического моделирования включают и процесс решения задачи на ЭВМ.

Обобщенная математическая модель

Математическая модель описывает зависимость между исходными данными и искомыми величинами.

Элементами обобщенной математической модели являются (рис. 1): множество входных данных (переменные) X,Y;

X - совокупность варьируемых переменных; Y - независимые переменные (константы);

математический оператор L, определяющий операции над этими данными; под которым понимается полная система математических операций, описывающих численные или логические соотношения между множествами входных и выходных данных (переменные);

множество выходных данных (переменных) G(X,Y); представляет собой совокупность критериальных функций, включающую (при необходимости) целевую функцию.

Математическая модель является математическим аналогом проектируемого объекта. Степень адекватности ее объекту определяется постановкой и корректностью решений задачи проектирования.

Множество варьируемых параметров (переменных) X образует пространство варьируемых параметров Rx (пространство поиска), которое является метрическим с размерностью n, равной числу варьируемых параметров.

Множество независимых переменных Y образуют метрическое пространство входных данных Ry. В том случае, когда каждый компонент пространства Ry задается диапазоном возможных значений, множество независимых переменных отображается некоторым ограниченным подпространством пространства Ry.

Множество независимых переменных Y определяет среду функционирования объекта, т.е. внешние условия, в которых будет работать проектируемый объект

Это могут быть:

• - технические параметры объекта, не подлежащие изменению в процессе проектирования;
• - физические возмущения среды, с которой взаимодействует объект проектирования;
• - тактические параметры, которые должен достигать объект проектирования.

Выходные данные рассматриваемой обобщенной модели образуют метрическое пространство критериальных показателей RG.

Схема использования математической модели в системе автоматизированного проектирования показана на рис.2.

Требования к математической модели

Основными требованиями, предъявляемыми к математическим моделям, являются требования адекватности, универсальности и экономичности.

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

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

Универсальность - определяется в основном числом и составом учитываемых в модели внешних и выходных параметров.

Экономичность модели характеризуется затратами вычислительных ресурсов для ее реализации - затратами машинного времени и памяти.

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

Методы получения моделей

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

Методы получения функциональных моделей элементов делят на теоретические и экспериментальные.

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

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

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

методика макро моделирования,

математические методы планирования экспериментов,

алгоритмы формализуемых операций расчета численных значений параметров и определения областей адекватности.

Использование математических моделей

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

При составлении математической модели от исследователя требуется:

изучить свойства исследуемого объекта;

умение отделить главные свойства объекта от второстепенных;

оценить принятые допущения.

Модель описывает зависимость между исходными данными и искомыми величинами. Последовательность действий, которые надо выполнить, чтобы от исходных данных перейти к искомым величинам, называют алгоритмом.

Алгоритм решения задачи на ЭВМ связан с выбором численного метода. В зависимости от формы представления математической модели (алгебраическая или дифференциальная форма) используются различные численные методы.

Суть экономико-математического моделирования заключается в описании социально-экономических систем и процессов в виде экономико-математических моделей.

Рассмотрим вопросы классификации экономико-математических методов. Эти методы, как отмечено выше, представляют собой комплекс экономико-математических дисциплин, являющихся сплавом экономики, математики и кибернетики.

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

• * экономическая кибернетика: системный анализ экономики, теория экономической информации и теория управляющих систем;
• * математическая статистика: экономические приложения данной дисциплины -- выборочный метод, дисперсионный анализ, корреляционный анализ, регрессионный анализ, многомерный статистический анализ, факторный анализ, теория индексов и др.;
• * математическая экономия и изучающая те же вопросы с количественной стороны эконометрия: теория экономического роста, теория производственных функций, межотраслевые балансы, национальные счета, анализ спроса и потребления, региональный и пространственный анализ, глобальное моделирование и др.;
• * методы принятия оптимальных решений, в том числе исследование операций в экономике. Это наиболее объемный раздел, включающий в себя следующие дисциплины и методы: оптимальное (математическое) программирование, в том числе методы ветвей и границ, сетевые методы планирования и управления, программно-целевые методы планирования и управления, теорию и методы управления запасами, теорию массового обслуживания, теорию игр, теорию и методы принятия решений, теорию расписаний. В оптимальное (математическое) программирование входят в свою очередь линейное программирование, нелинейное программирование, динамическое программирование, дискретное (целочисленное) программирование, дробно-линейное программирование, параметрическое программирование, сепарабельное программирование, стохастическое программирование, геометрическое программирование;
• * методы и дисциплины, специфичные отдельно как для централизованно планируемой экономики, так и для рыночной (конкурентной) экономики. К первым можно отнести теорию оптимального функционирования экономики, оптимальное планирование, теорию оптимального ценообразования, модели материально-технического снабжения и др. Ко вторым -- методы, позволяющие разработать модели свободной конкуренции, модели капиталистического цикла, модели монополии, модели индикативного планирования, модели теории фирмы и т. д.

Многие из методов, разработанных для централизованно планируемой экономики, могут оказаться полезными и при экономико-математическом моделировании в условиях рыночной экономики;

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

Перейдем теперь к вопросам классификации экономико-математических моделей, другими словами, математических моделей социально-экономических систем и процессов.

Единой системы классификации таких моделей в настоящее время также не существует, однако обычно выделяют более десяти основных признаков их классификации, или классификационных рубрик. Рассмотрим некоторые из этих рубрик.

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

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

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

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

По учету фактора времени модели подразделяются на статические, в которых все зависимости отнесены к одному моменту времени, и динамические, описывающие экономические системы в развитии.

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

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

Основные понятия математического моделирования модели теории массового обслуживания, модели сетевого планирования и управления, модели теории игр и т.д.

Наконец, по типу подхода к изучаемым социально-экономическим системам выделяют дескриптивные и нормативные модели. При дескриптивном (описательном) подходе получаются модели, предназначенные для описания и объяснения фактически наблюдаемых явлений или для прогноза этих явлений; в качестве примера дескриптивных моделей можно привести названные ранее балансовые и трендовые модели. При нормативном подходе интересуются не тем, каким образом устроена и развивается экономическая система, а как она должна быть устроена и как должна действовать в смысле определенных критериев. В частности, все оптимизационные модели относятся к типу нормативных; другим примером могут служить нормативные модели уровня жизни.

Рассмотрим в качестве примера экономико-математическую модель межотраслевого баланса (ЭММ МОБ). С учетом приведенных выше классификационных рубрик это прикладная, макроэкономическая, аналитическая, дескриптивная, детерминированная, балансовая, матричная модель; при этом существуют как статические методы так и динамические

Линейное программирование -- это частный раздел оптимального программирования. В свою очередь оптимальное (математическое) программирование -- раздел прикладной математики, изучающий задачи условной оптимизации. В экономике такие задачи возникают при практической реализации принципа оптимальности в планировании и управлении.

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

Суть принципа оптимальности состоит в стремлении выбрать такое планово-управленческое решение X = (xi, Х2 хп), где Ху, (у = 1. я) -- его компоненты, которое наилучшим образом учитывало бы внутренние возможности и внешние условия производственной деятельности хозяйствующего субъекта.

Слова «наилучшим образом» здесь означают выбор некоторого критерия оптимальности, т.е. некоторого экономического показателя, позволяющего сравнивать эффективность тех или иных планово-управленческих решений. Традиционные критерии оптимальности: «максимум прибыли», «минимум затрат», «максимум рентабельности» и др. Слова «учитывало бы внутренние возможности и внешние условия производственной деятельности» означают, что на выбор планово-управленческого решения (поведения) накладывается ряд условий, т.е. выбор X осуществляется из некоторой области возможных (допустимых) решений D; эту область называют также областью определения задачи. общая задача оптимального (математического) программирования, иначе -- математическая модель задачи оптимального программирования, в основе построения (разработки) которой лежат принципы оптимальности и системности.

Вектор X (набор управляющих переменных Xj, j = 1, п) называется допустимым решением, или планом задачи оптимального программирования, если он удовлетворяет системе ограничений. А тот план X (допустимое решение), который доставляет максимум или минимум целевой функции f(xi, *2, ..., хп), называется оптимальным планом (оптимальным поведением, или просто решением) задачи оптимального программирования.

Таким образом, выбор оптимального управленческого поведения в конкретной производственной ситуации связан с проведением с позиций системности и оптимальности экономико- математического моделирования и решением задачи оптимального программирования. Задачи оптимального программирования в наиболее общем виде классифицируют по следующим признакам.

• 1. По характеру взаимосвязи между переменными --
• а) линейные,
• б) нелинейные.

В случае а) все функциональные связи в системе ограничений и функция цели -- линейные функции; наличие нелинейности хотя бы в одном из упомянутых элементов приводит к случаю б).

• 2. По характеру изменения переменных --
• а) непрерывные,
• б) дискретные.

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

• 3. По учету фактора времени --
• а) статические,
• б) динамические.

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

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

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

• 5. По числу критериев оценки альтернатив --
• а) простые, однокритериальные задачи,
• б) сложные, многокритериальные задачи.

В задачах а) экономически приемлемо использование одного критерия оптимальности или удается специальными процедурами (например, «взвешиванием приоритетов»)