Начальный уровень

Математические модели на ОГЭ и ЕГЭ (2019)

Понятие математической модели

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

Начнем с простого: Число больше числа на. Нам нужно записать это, не используя слов, а только язык математики. Если больше на, то получается, что если мы из вычтем, то останется та самая разность этих чисел равная. Т.е. или. Суть понял?

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

Что получилось?

В виде математической модели выглядеть это будет так:

Т.е. произведение относится к как два к одному, но это можно еще упросить:

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

Математическая модель на практике

Задача 1

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

О, ужас! Какие формулы, что за колодец, что происходит, что делать? Я прочел твои мысли? Расслабься, в задачах этого типа условия бывают и пострашнее, главное помнить, что тебя в этой задаче интересуют формулы и отношения между переменными, а что все это обозначает в большинстве случаев не очень важно. Что ты тут видишь полезного? Я лично вижу. Принцип решения этих задач следующий: берешь все известные величины и подставляешь. НО, задумываться иногда надо!

Последовав моему первому совету, и,подставив все известные в уравнение, получим:

Это я подставил время секунды, и нашел высоту, которую пролетал камень до дождя. А теперь надо посчитать после дождя и найти разницу!

Теперь прислушайся ко второму совету и задумайся, в вопросе уточняется, «на сколько должен подняться уровень воды после дождя, чтобы измеряемое время изменилось на с». Сразу надо прикинуть, тааак, после дождя уровень воды повышается, значит, время падения камня до уровня воды меньше и тут витиеватая фраза «чтобы измеряемое время изменилось» приобретает конкретный смысл: время падения не увеличивается, а сокращается на указанные секунды. Это означает, что в случае броска после дождя, нам просто нужно из начального времени c вычесть с, и получим уравнение высоты, которую камень пролетит после дождя:

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

Получим ответ: на метра.

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

Вот еще задача, уже не по физике, а из мира экономической теории, хотя знаний наук кроме математики тут опять не требуется.

Задача 2

Зависимость объёма спроса (единиц в месяц) на продукцию предприятия-монополиста от цены (тыс. руб.) задаётся формулой

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

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

– такую систему решить сможешь?

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

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

А вот тебе и устрашающая физика, а точнее еще одна задачка:

Задача 3

Для определения эффективной температуры звёзд используют закон Стефана–Больцмана, согласно которому, где - мощность излучения звезды, - постоянная, - площадь поверхности звезды, а - температура. Известно, что площадь поверхности некоторой звезды равна, а мощность её излучения равна Вт. Найдите температуру этой звезды в градусах Кельвина.

Откуда и понятно? Да, в условии написано, что чему равно. Раньше я рекомендовал все неизвестные сразу подставлять, но здесь лучше сначала выразить неизвестное искомое. Смотри как все просто: есть формула и в ней известны, и (это греческая буква «сигма». Вообще, физики любят греческие буквы, привыкай). А неизвестна температура. Давай выразим ее в виде формулы. Как это делать, надеюсь, знаешь? Такие задания на ГИА в 9 классе обычно дают:

Теперь осталось подставить числа вместо букв в правой части и упростить:

Вот и ответ: градусов Кельвина! А какая страшная была задача, а!

Продолжаем мучить задачки по физике.

Задача 4

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

То были всё уравнения, а вот здесь надо определить, сколько мяч находился на высоте не менее трех метров, это значит на высоте. Что мы составлять будем? Неравенство, именно! У нас есть функция, которая описывает как летит мяч, где – это как раз та самая высота в метрах, нам нужна высота. Значит

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

Вот такие корни, строим интервалы для неравенства:

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

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

Задача 5

Для нагревательного элемента некоторого прибора экспериментально была получена зависимость температуры от времени работы:

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

Действуем по отлаженной схеме, все, что дано, сперва выписываем:

Теперь берем формулу и приравниваем ее к значению температуры, до которой максимально можно нагреть прибор пока он не сгорит, то есть:

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

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

А значит, отключить прибор нужно через минуты.

МАТЕМАТИЧЕСКИЕ МОДЕЛИ. КОРОТКО О ГЛАВНОМ

Чаще всего математические модели используются в физике: тебе ведь наверняка приходилось запоминать десятки физических формул. А формула – это и есть математическое представление ситуации.

В ОГЭ и ЕГЭ есть задачи как раз на эту тему. В ЕГЭ (профильном) это задача номер 11 (бывшая B12). В ОГЭ – задача номер 20.

Схема решения очевидна:

1) Из текста условия необходимо «вычленить» полезную информацию – то, что в задачах по физике мы пишем под словом «Дано». Этой полезной информацией являются:

• Формула
• Известные физические величины.

То есть каждой букве из формулы нужно поставить в соответствие определенное число.

2) Берешь все известные величины и подставляешь в формулу. Неизвестная величина так и остается в виде буквы. Теперь нужно только решить уравнение (обычно, довольно простое), и ответ готов.

Ну вот, тема закончена. Если ты читаешь эти строки, значит ты очень крут.

Потому что только 5% людей способны освоить что-то самостоятельно. И если ты дочитал до конца, значит ты попал в эти 5%!

Теперь самое главное.

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

Проблема в том, что этого может не хватить…

Для чего?

Для успешной сдачи ЕГЭ, для поступления в институт на бюджет и, САМОЕ ГЛАВНОЕ, для жизни.

Я не буду тебя ни в чем убеждать, просто скажу одну вещь…

Люди, получившие хорошее образование, зарабатывают намного больше, чем те, кто его не получил. Это статистика.

Но и это - не главное.

Главное то, что они БОЛЕЕ СЧАСТЛИВЫ (есть такие исследования). Возможно потому, что перед ними открывается гораздо больше возможностей и жизнь становится ярче? Не знаю...

Но, думай сам...

Что нужно, чтобы быть наверняка лучше других на ЕГЭ и быть в конечном итоге… более счастливым?

НАБИТЬ РУКУ, РЕШАЯ ЗАДАЧИ ПО ЭТОЙ ТЕМЕ.

На экзамене у тебя не будут спрашивать теорию.

Тебе нужно будет решать задачи на время .

И, если ты не решал их (МНОГО!), ты обязательно где-нибудь глупо ошибешься или просто не успеешь.

Это как в спорте - нужно много раз повторить, чтобы выиграть наверняка.

Найди где хочешь сборник, обязательно с решениями, подробным разбором и решай, решай, решай!

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

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

Как? Есть два варианта:

1. Открой доступ ко всем скрытым задачам в этой статье - 299 руб.
2. Открой доступ ко всем скрытым задачам во всех 99-ти статьях учебника - 999 руб.

Да, у нас в учебнике 99 таких статей и доступ для всех задач и всех скрытых текстов в них можно открыть сразу.

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

На самом деле это намного больше, чем просто тренажер - целая программа подготовки. Если понадобится, ты сможешь ею так же воспользоваться БЕСПЛАТНО.

Доступ ко всем текстам и программам предоставляется на ВСЕ время существования сайта.

И в заключение...

Если наши задачи тебе не нравятся, найди другие. Только не останавливайся на теории.

“Понял” и “Умею решать” - это совершенно разные навыки. Тебе нужны оба.

Найди задачи и решай!

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

Наконец, наиболее лаконичное определение математической модели: "Уравнение , выражающее идею . "

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

Формальная классификация моделей

Формальная классификация моделей основывается на классификации используемых математических средств. Часто строится в форме дихотомий. Например, один из популярных наборов дихотомий :

и так далее. Каждая построенная модель является линейной или нелинейной, детерминированной или стохастической, … Естественно, что возможны и смешанные типы: в одном отношении сосредоточенные (по части параметров), в другом - распределённые модели и т. д.

Классификация по способу представления объекта

Наряду с формальной классификацией, модели различаются по способу представления объекта:

• Структурные или функциональные модели

Структурные модели представляют объект как систему со своим устройством и механизмом функционирования. Функциональные модели не используют таких представлений и отражают только внешне воспринимаемое поведение (функционирование) объекта. В их предельном выражении они называются также моделями «чёрного ящика» Возможны также комбинированные типы моделей, которые иногда называют моделями «серого ящика».

Содержательные и формальные модели

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

Содержательная классификация моделей

Никакая гипотеза в науке не бывает доказана раз и навсегда. Очень чётко это сформулировал Ричард Фейнман :

«У нас всегда есть возможность опровергнуть теорию, но, обратите внимание, мы никогда не можем доказать, что она правильна. Предположим, что вы выдвинули удачную гипотезу, рассчитали, к чему это ведет, и выяснили, что все ее следствия подтверждаются экспериментально. Значит ли это, что ваша теория правильна? Нет, просто-напросто это значит, что вам не удалось ее опровергнуть.»

Если модель первого типа построена, то это означает что она временно признаётся за истину и можно сконцентрироваться на других проблемах. Однако это не может быть точкой в исследованиях, но только вре́менной паузой: статус модели первого типа может быть только вре́менным.

Тип 2: Феноменологическая модель (ведем себя так, как если бы …)

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

Роль модели в исследовании может меняться со временем, может случиться так, что новые данные и теории подтвердят феноменологические модели и те будут повышены до статуса гипотезы. Аналогично, новое знание может постепенно прийти в противоречие с моделями-гипотезами первого типа и те могут быть переведены во второй. Так, кварковая модель постепенно переходит в разряд гипотез; атомизм в физике возник как временное решение, но с ходом истории перешёл в первый тип. А вот модели эфира , проделали путь от типа 1 к типу 2, а сейчас находятся вне науки.

Идея упрощения очень популярна при построении моделей. Но упрощение бывает разным. Пайерлс выделяет три типа упрощений в моделировании.

Тип 3: Приближение (что-то считаем очень большим или очень малым )

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

А вот и тип 8, широко распространенный в математических моделях биологических систем.

Тип 8: Демонстрация возможности (главное - показать внутреннюю непротиворечивость возможности )

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

Один из самых знаменитых таких экспериментов - геометрия Лобачевского (Лобачевский называл её «воображаемой геометрией»). Другой пример - массовое производство формально - кинетических моделей химических и биологических колебаний, автоволн и др. Парадокс Эйнштейна - Подольского - Розена был задуман как модель 7 типа, для демонстрации противоречивости квантовой механики. Совершенно незапланированным образом он со временем превратился в модель 8 типа - демонстрацию возможности квантовой телепортации информации.

Пример

Рассмотрим механическую систему, состоящую из пружины, закрепленной с одного конца, и груза массой m , прикрепленного к свободному концу пружины. Будем считать, что груз может двигаться только в направлении оси пружины (например, движение происходит вдоль стержня). Построим математическую модель этой системы. Будем описывать состояние системы расстоянием x от центра груза до его положения равновесия. Опишем взаимодействие пружины и груза с помощью закона Гука (F = − k x ) после чего воспользуемся вторым законом Ньютона , чтобы выразить его в форме дифференциального уравнения :

где означает вторую производную от x по времени: .

Полученное уравнение описывает математическую модель рассмотренной физической системы. Эта модель называется «гармоническим осциллятором ».

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

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

Впрочем, при уточнении модели сложность её математического исследования может существенно возрасти и сделать модель фактически бесполезной. Зачастую более простая модель позволяет лучше и глубже исследовать реальную систему, чем более сложная (и, формально, «более правильная»).

Если применять модель гармонического осциллятора к объектам, далёким от физики, её содержательный статус может быть другим. Например, при приложении этой модели к биологическим популяциям, её следует отнести, скорее всего, к типу 6 аналогия («учтём только некоторые особенности»).

Жёсткие и мягкие модели

Гармонический осциллятор - пример так называемой «жёсткой» модели. Она получена в результате сильной идеализации реальной физической системы. Для решения вопроса о её применимости необходимо понять, насколько существенными являются факторы, которыми мы пренебрегли. Иными словами, нужно исследовать «мягкую» модель, получающуюся малым возмущением «жёсткой». Она может задаваться, например, следующим уравнением:

Здесь - некоторая функция, в которой может учитываться сила трения или зависимость коэффициента жёсткости пружины от степени её растяжения, - некоторый малый параметр. Явный вид функции f нас в данный момент не интересует. Если мы докажем, что поведение мягкой модели принципиально не отличается от поведения жёсткой (вне зависимости от явного вида возмущающих факторов, если они достаточно малы), задача сведется к исследованию жёсткой модели. В противном случае применение результатов, полученных при изучении жёсткой модели, потребует дополнительных исследований. Например, решением уравнения гармонического осциллятора являются функции вида , то есть колебания с постоянной амплитудой. Следует ли из этого, что реальный осциллятор будет бесконечно долго колебаться с постоянной амплитудой? Нет, поскольку рассматривая систему со сколь угодно малым трением (всегда присутствующим в реальной системе), мы получим затухающие колебания . Поведение системы качественно изменилось.

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

Универсальность моделей

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

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

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

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

Прямая задача : структура модели и все её параметры считаются известными, главная задача - провести исследование модели для извлечения полезного знания об объекте. Какую статическую нагрузку выдержит мост? Как он будет реагировать на динамическую нагрузку (например, на марш роты солдат, или на прохождение поезда ни различной скорости), как самолёт преодолеет звуковой барьер, не развалится ли он от флаттера , - вот типичные примеры прямой задачи. Постановка правильной прямой задачи (задание правильного вопроса) требует специального мастерства. Если не заданы правильные вопросы, то мост может обрушиться, даже если была построена хорошая модель для его поведения. Так, в 1879 г. в Англии обрушился металлический мост через реку Тей , конструкторы которого построили модель моста, рассчитали его на 20-кратный запас прочности на действие полезной нагрузки, но забыли о постоянно дующих в тех местах ветрах. И через полтора года он рухнул.

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

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

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

Дополнительные примеры

где x s - «равновесный» размер популяции, при котором рождаемость в точности компенсируется смертностью. Размер популяции в такой модели стремится к равновесному значению x s , причем такое поведение структурно устойчиво.

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

Примечания

1. «A mathematical representation of reality»(Encyclopaedia Britanica)
2. Новик И. Б. , О философских вопросах кибернетического моделирования. М., Знание, 1964.
3. Советов Б. Я., Яковлев С. А. , Моделирование систем: Учеб. для вузов - 3-е изд., перераб. и доп. - М.: Высш. шк., 2001. - 343 с. ISBN 5-06-003860-2
4. Самарский А. А. , Михайлов А. П. Математическое моделирование. Идеи. Методы. Примеры. . - 2-е изд., испр.. - М.: Физматлит, 2001. - ISBN 5-9221-0120-X
5. Мышкис А. Д. , Элементы теории математических моделей. - 3-е изд., испр. - М.: КомКнига, 2007. - 192 с ISBN 978-5-484-00953-4
6. Wiktionary: mathematical model
7. CliffsNotes
8. Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena, Springer, Complexity series, Berlin-Heidelberg-New York, 2006. XII+562 pp. ISBN 3-540-35885-4
9. «Теория считается линейной или нелинейной в зависимости от того, какой - линейный или нелинейный - математический аппарат, какие - линейные или нелинейные - математические модели она использует. … ез отрицание последней. Современный физик, доведись ему заново создавать определение столь важной сущности, как нелинейность, скорее всего, поступил бы иначе, и, отдав предпочтение нелинейности как более важной и распространенной из двух противоположностей, определил бы линейность как „не нелинейность“.» Данилов Ю. А. , Лекции по нелинейной динамике. Элементарное введение. Серия «Синергетика: от прошлого к будущему». Изд.2. - M.: URSS, 2006. - 208 с. ISBN 5-484-00183-8
10. «Динамические системы, моделируемые конечным числом обыкновенных дифференциальных уравнений, называют сосредоточенными или точечными системами. Они описываются с помощью конечномерного фазового пространства и характеризуются конечным числом степеней свободы. Одна и та же система в различных условиях может рассматриваться либо как сосредоточенная, либо как распределенная. Математические модели распределенных систем - это дифференциальные уравнения в частных производных, интегральные уравнения или обыкновенные уравнения с запаздывающим аргументом. Число степеней свободы распределенной системы бесконечно, и требуется бесконечное число данных для определения ее состояния.» Анищенко В. С. , Динамические системы, Соросовский образовательный журнал, 1997, № 11, с. 77-84.
11. «В зависимости от характера изучаемых процессов в системе S все виды моделирования могут быть разделены на детерминированные и стохастические, статические и динамические, дискретные, непрерывные и дискретно-непрерывные. Детерминированное моделирование отображает детерминированные процессы, то есть процессы, в которых предполагается отсутствие всяких случайных воздействий; стохастическое моделирование отображает вероятностные процессы и события. … Статическое моделирование служит для описания поведения объекта в какой-либо момент времени, а динамическое моделирование отражает поведение объекта во времени. Дискретное моделирование служит для описания процессов, которые предполагаются дискретными, соответственно непрерывное моделирование позволяет отразить непрерывные процессы в системах, а дискретно-непрерывное моделирование используется для случаев, когда хотят выделить наличие как дискретных, так и непрерывных процессов.» Советов Б. Я., Яковлев С. А. , Моделирование систем: Учеб. для вузов - 3-е изд., перераб. и доп. - М.: Высш. шк., 2001. - 343 с. ISBN 5-06-003860-2
12. Обычно в математической модели отражается структура (устройство) моделируемого объекта, существенные для целей исследования свойства и взаимосвязи компонентов этого объекта; такая модель называется структурной. Если же модель отражает только то, как объект функционирует - например, как он реагирует на внешние воздействия,- то она называется функциональной или, образно, черным ящиком. Возможны и модели комбинированного типа. Мышкис А. Д. , Элементы теории математических моделей. - 3-е изд., испр. - М.: КомКнига, 2007. - 192 с ISBN 978-5-484-00953-4
13. «Очевидный, но важнейший начальный этап построения или выбора математической модели - это получение по возможности более четкого представления о моделируемом объекте и уточнение его содержательной модели, основанное на неформальных обсуждениях. Нельзя жалеть времени и усилий на этот этап, от него в значительной мере зависит успех всего исследования. Не раз бывало, что значительный труд, затраченный на решение математической задачи, оказывался малоэффективным или даже потраченным впустую из-за недостаточного внимания к этой стороне дела.» Мышкис А. Д. , Элементы теории математических моделей. - 3-е изд., испр. - М.: КомКнига, 2007. - 192 с ISBN 978-5-484-00953-4, с. 35.
14. «Описание концептуальной модели системы. На этом подэтапе построения модели системы: а) описывается концептуальная модель М в абстрактных терминах и понятиях; б) дается описание модели с использованием типовых математических схем; в) принимаются окончательно гипотезы и предположения; г) обосновывается выбор процедуры аппроксимации реальных процессов при построении модели.» Советов Б. Я., Яковлев С. А. , Моделирование систем: Учеб. для вузов - 3-е изд., перераб. и доп. - М.: Высш. шк., 2001. - 343 с. ISBN 5-06-003860-2, с. 93.

Лекция 1.

МЕТОДОЛОГИЧЕСКИЕ ОСНОВЫ МОДЕЛИРОВАНИЯ

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

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

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

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

2) полнота – предоставление получателю всей необходимой информации

об объекте;

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

диапазоне изменения условий и параметров;

4) трудоемкость разработки должна быть приемлемой для имеющегося

времени и программных средств.

Моделирование – это процесс построения модели объекта и исследованияего свойств путем исследования модели.

Таким образом, моделирование предполагает 2 основных этапа:

1) разработка модели;

2) исследование модели и получение выводов.

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

отличающиеся по сути методы и средства.

На практике применяют различные методы моделирования. В зависимостиот способа реализации, все модели можно разделить на два больших класса:физические и математические.

Математическое моделирование принято рассматривать как средствоисследования процессов или явлений с помощью их математических моделей.

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

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

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

1) модель обеспечивает корректное (адекватное) отображение свойств

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

2) модель позволяет устранить перечисленные выше проблемы, присущие

проведению исследований на реальных объектах.

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

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

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

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

Любая ММ описывает реальный объект, явление или процесс с некоторойстепенью приближения к действительности. Вид ММ зависит как от природыреального объекта, так и от задач исследования.

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

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

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

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

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

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

1) аналитическим, когда стремятся получить в общем виде явныезависимости для характеристик систем;

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

3) качественным, когда при отсутствии решения находят некоторые егосвойства.

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

При аналитическом моделировании его результаты представляются в видеаналитических выражений. Например, подключив RC -цепь к источникупостоянного напряжения E (R , C и E - компоненты данной модели), мыможем составить аналитическое выражение для временной зависимостинапряжения u (t ) на конденсаторе C :

Это линейное дифференциальное уравнение (ДУ) и являетсяаналитической моделью данной простой линейной цепи. Его аналитическоерешение, при начальном условии u (0) = 0 , означающем разряженныйконденсатор C в момент начала моделирования, позволяет найти искомуюзависимость – в виде формулы:

u (t ) = E (1− eх p (- t / RC )). (2)

Однако даже в этом простейшем примере требуются определенные усилиядля решения ДУ (1) или для применения систем компьютерной математики (СКМ) с символьными вычислениями – систем компьютернойалгебры. Для данного вполне тривиального случая решение задачимоделирования линейной RC -цепи дает аналитическое выражение (2)достаточно общего вида – оно пригодно для описания работы цепи при любыхноминалах компонентов R , C и E , и описывает экспоненциальный зарядконденсатора C через резистор R от источника постоянного напряжения E .

Безусловно, нахождение аналитических решений при аналитическоммоделировании оказывается исключительно ценным для выявления общихтеоретических закономерностей простых линейных цепей, систем и устройств.Однако его сложность резко возрастает по мере усложнения воздействий намодель и увеличения порядка и числа уравнений состояния, описывающихмоделируемый объект. Можно получить более или менее обозримыерезультаты при моделировании объектов второго или третьего порядка, но ужепри большем порядке аналитические выражения становятся чрезмерногромоздкими, сложными и трудно осмысляемыми. Например, даже простойэлектронный усилитель зачастую содержит десятки компонентов. Тем неменее, многие современные СКМ, например, системы символьной математикиMaple, Mathematica или среда MATLAB , способны в значительноймере автоматизировать решение сложных задач аналитическогомоделирования.

Одной из разновидностей моделирования является численное моделирование, которое заключается в получении необходимыхколичественных данных о поведении систем или устройств каким-либоподходящим численным методом, таким как методы Эйлера илиРунге-Кутта. На практике моделирование нелинейных систем и устройствс использованием численных методов оказывается намного болееэффективным, чем аналитическое моделирование отдельных частных линейныхцепей, систем или устройств. Например, для решения ДУ (1) или систем ДУв более сложных случаях решение в аналитическом виде не получается, но поданным численного моделирования можно получить достаточно полныеданные о поведении моделируемых систем и устройств, а также построитьграфики описывающих это поведение зависимостей.

Имитационное моделирование

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

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

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

В связи с этим определим словосочетание «компьютерноемоделирование », которое все чаще используется в литературе. Будем полагать,что компьютерное моделирование - это математическое моделированиес использованием средств вычислительной техники. Соответственно,технология компьютерного моделирования предполагает выполнениеследующих действий:

1) определение цели моделирования;

2) разработка концептуальной модели;

3) формализация модели;

4) программная реализация модели;

5) планирование модельных экспериментов;

6) реализация плана эксперимента;

7) анализ и интерпретация результатов моделирования.

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

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

С какой целью проводится моделирование?

К какому классу может быть отнесено моделируемое явление?

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

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

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

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

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

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

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

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

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

ПРИНЦИПЫ СИСТЕМНОГО ПОДХОДА В МОДЕЛИРОВАНИИ

Основные положения теории систем

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

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

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

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

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

2) для каждой подсистемы могут быть определены функции или свойства,не совпадающие со свойствами всей системы;

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

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

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

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

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

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

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

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

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

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

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

Независимо от типа модели при ее построении необходиморуководствоваться рядом принципов системного подхода:

1) последовательное продвижение по этапам создания модели;

2) согласование информационных, ресурсных, надежностных и другиххарактеристик;

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

4) целостность отдельных стадий проектирования модели.

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ - представление изучаемого в конкретно-научном знании явления или процесса на языке математических понятий. При этом ряд свойств исследуемого явления предполагается получить на пути исследования собственно математических характеристик модели. Построение М.м. чаще всего диктуется необходимостью иметь количественный анализ изучаемых явлений и процессов, без которого, в свою очередь, невозможно делать проверяемые на опыте предсказания об их протекании.

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

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

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

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

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

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

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

Литература:

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

Рузавин Г.И. Математизация научного знания. М., 1984;

Тутубалин В.Н., Барабашева Ю.М., Григорян А.А., Девяткова Г.Н.,Угер Е. Г. Дифференциальные уравнения в экологии: историко-методологическое размышление // Вопросы истории естествознания и техники. 1997. №3.

Словарь философских терминов. Научная редакция профессора В.Г. Кузнецова. М., ИНФРА-М, 2007, с. 310-311.

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

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

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

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

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

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

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

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

В оптимизационных моделях присутствуют три элемента:

Целевая функция, отражающая принятый критерий качества;

Регулируемые параметры;

Налагаемые ограничения.

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

Пример оптимизационной модели – математическое описание критерия «длина связи» в методике вариантного проектирования промышленных зданий.

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

где – весовое значение связи элемента с ;

– длина связи между и элементами;

– общее число размещаемых элементов.

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

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

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

Разновидность математических моделей – экономико-математическая модель – представляет собой модель связи экономических характеристик и параметров системы.

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

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

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

Лингвистические, семантические и информационные модели

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

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

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

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

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

Рис. 5.2 Описание содержания критерия «вентиляция» в виде лингвистической модели

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

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

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

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

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

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

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

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

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

Преобразование модели в форму неориентированного графа позволяет получить последовательность элементов (рис. 5.3).

Примеры последовательности, образованной между элементом 2 (ванная) и элементом 6 (кладовая), приведены в табл. 5.2. Как видно из таблицы, последовательность 3 пред­ставляет отношение этих двух элементов.

Таблица 5.1

Описание планировки квартиры

Рис. 5.3 Описание планировочного решения в виде неориентирован­ного графа