Классификация способов моделирования. Моделирование - что такое? Метод моделирования. Математическое и компьютерное моделирование. Специфичность компьютерного моделирования

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

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

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

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

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

Подходы (методы) к моделированию.

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

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

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

1) Принцип информационной достаточности . Необходимо собрать информацию, которая обеспечит достаточный уровень информации.

2) Принцип осуществимости. Модель должна обеспечить достижение цели в течение реально заданного времени.

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

и
.

Классификация методов моделирования.

1) По характеру изучаемых процессов

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

Стохастические – учитывается воздействие различных факторов на существующие реальные системы

2) По признаку развития во времени

Статические – поведение объекта описывается в определённое время

Динамические – за определённый промежуток времени

3) По представлению информации в модели

Дискретные – если события, приводящие к изменению состояний наступают в определённый момент времени.

Непрерывные, дискретно-непрерывные.

4) По форме представления объекта моделирования

Мысленное - если объект моделирования не существует, либо существует вне условий для его физического создания.

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

Б) Математическое

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

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

В) Наглядное

Реальное - объект есть.

А) Натуральное. Экспер-т проводится над самим объектом моделирования. Наиболее распространённая форма – испытания.

В) Физическое. Исследования ведутся на спец. Установках, процессы в кот. Имеют физическое подобие с процессами в реальных объектах.

Аналитическая модель может быть исследовано методами:

а) аналитическим : попытка плучить решения в явном виде (общий характер);

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

в) качественными: не имея в явном виде решения можно найти свойства решения в явном виде.

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

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

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

В ней стоит уделить особое внимание понятию «модель». Без наличия данного звена решение задачи не будет возможным. Зачем же используется модель и что под данным термином понимается? Об этом мы и поговорим в следующем разделе.

Модель

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

В школьном курсе информатики тема моделирования начинает изучаться еще в шестом классе. В самом начале детей необходимо познакомить с понятием модели. Что это такое?

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

Модель - это очень широкое понятие, как это уже стало ясно из вышеперечисленного. Важно отметить, что все модели принято делить на группы:

материальные;
идеальные.

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

физические;
аналоговые.

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

Идеальную модель охарактеризовать еще труднее. Она связаны с:

мышлением;
воображением;
восприятием.

К ней можно отнести произведения искусства (театр, живопись, литература и так далее).

Цели моделирования

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

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

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

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

Задачи моделирования

Информационная модель

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

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

свойства моделируемого объекта;
его состояние;
связи с окружающим миром;
отношения с внешними объектами.

Что может служить информационной моделью:

словесное описание;
текст;
рисунок;
таблица;
схема;
чертеж;
формула и так далее.

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

Системный подход к созданию модели

В каком классе школьной программы изучается моделирование? Информатика 9 класса знакомит учеников с данной темой более подробно. Именно в этом классе ребенок узнает о системном подходе моделирования. Предлагаем об этом поговорить немного подробнее.

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

Цель использования

Сейчас мы рассмотрим цели моделирования (информатика 11 класс). Ранее говорилось, что все модели делятся на некоторые виды и классы, но границы между ними условны. Есть несколько признаков, по которым принято классифицировать модели: цель, область знаний, фактор времени, способ представления.

Что касается целей, то принято выделять следующие виды:

учебные;
опытные;
имитационные;
игровые;
научно-технические.

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

Область знаний

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

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

Фактор времени

По данной характеристике различают два вида моделей:

динамические;
статические.

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

Примерами являются:

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

Примерами статистической модели служат:

перечень планет Солнечной системы;
карта местности и так далее.

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

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

материальные;
нематериальные.

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

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

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

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

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

Тема по информатике 9 класса «Моделирование и формализация» имеет большой вес. Она обязательна к изучению. В 9-11 классе преподаватель обязан познакомить учеников с этапами создания моделей. Этим мы сейчас и займемся. Итак, выделяют следующие этапы моделирования:

содержательная постановка задачи;
математическая постановка задачи;
разработки с использованием ЭВМ;
эксплуатация модели;
получение результата.

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

Связи между объектами

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

один к одному (обозначается такая связь односторонней стрелкой в одну или в другую сторону);
один ко многим (множественная связь обозначается двойной стрелкой);
многие ко многим (такая связь обозначается двойной стрелкой).

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

Согласно этому признаку модели делятся на два обширных класса:

абстрактные (мысленные) модели;
материальные модели.

Рис. 1.1.

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

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

Абстрактные модели, не вдаваясь в излишнюю детализацию, можно разделить на:

символические;
математические.

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

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

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

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

Математические модели могут быть:

аналитическими;
имитационными;
смешанными (аналитико-имитационными).

Аналитические модели - это функциональные соотношения: системы алгебраических, дифференциальных, интегро-дифференциальных уравнений, логических условий. Уравнения Максвелла - аналитическая модель электромагнитного поля. Закон Ома - модель электрической цепи.

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

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

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

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

В чем заключается отличие имитационных и аналитических моделей?

В случае аналитического моделирования ЭВМ является мощным калькулятором, арифмометром. Аналитическая модель решается на ЭВМ.

В случае же имитационного моделирования имитационная модель - программа - реализуется на ЭВМ.

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

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

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

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

Классификация по рассмотренному признаку - способу реализации модели - показана на рис. 1.2 .

Рис. 1.2.

1.3. Этапы моделирования

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

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

Обычно целями моделирования являются:

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

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

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

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

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

Результатом третьего этапа моделирования является программа , составленная на наиболее удобном для моделирования и исследования языке - универсальном или специальном.

Четвертый этап : планирование эксперимента. Математическая модель является объектом эксперимента. Эксперимент должен быть в максимально возможной степени информативным, удовлетворять ограничениям, обеспечивать получение данных с необходимой точностью и достоверностью. Существует теория планирования эксперимента, нужные нам элементы этой теории мы изучим в соответствующем месте дисциплины. GPSS World, AnyLogic и др.) и могут применяться автоматически. Не исключено, что в ходе анализа полученных результатов модель может быть уточнена, дополнена или даже полностью пересмотрена.

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

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

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

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

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

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

Модель вместо исходного объекта используется в случаях, когда эксперимент опасен, дорог, происходит в неудобном масштабе пространства и времени (долговременен, слишком кратковременен, протяжен…), невозможен, неповторим, ненагляден и т. д. Проиллюстрируем это:

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

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

Рис. 1.1. Процесс моделирования (базовый вариант)

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

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

Поскольку моделирование - способ замещения реального объекта его аналогом, то возникает вопрос: насколько аналог должен соответствовать исходному объекту?

Вариант 1: соответствие - 100%. Очевидно, что точность решения в этом случае максимальна, а ущерб от применения модели минимален. Но затраты на построение такой модели бесконечно велики, так как объект повторяется во всех своих деталях; фактически, создаётся точно такой же объект путём копирования его до атомов (что само по себе не имеет смысла).

Вариант 2: соответствие - 0%. Модель совсем не похожа на реальный объект. Очевидно, что точность решения минимальна, а ущерб от применения модели максимален, бесконечен. Но затраты на построение такой модели нулевые.

Конечно, варианты 1 и 2 - это крайности. На самом деле модель создаётся из соображений компромисса между затратами на её построение и ущербом от неточности её применения. Это точка между двумя бесконечностями. То есть, моделируя, следует иметь в виду, что исследователь (моделировщик) должен стремиться к оптимуму суммарных затрат, включающих ущерб от применения и затраты на изготовление модели (см. рис. 1.2).

Рис. 1.2. Соотношение суммарных затрат и точности
для различных вариантов детализации прикладной модели

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

«Модель - поиск конечного в бесконечном» - эта мысль принадлежит Д. И. Менделееву. Что отбрасывается, чтобы превратить бесконечное в конечное? В модель включаются только существенные аспекты, представляющие объект, и отбрасываются все остальные (бесконечное большинство). Существенный или несущественный аспект описания определяют согласно цели исследования. То есть каждая модель составляется с какой-то целью. Начиная моделирование, исследователь должен определить цель, отделив её от всех возможных других целей, число которых, по-видимому, бесконечно.

К сожалению, указанная на рис. 1.2 кривая является умозрительной и реально до начала моделирования построена быть не может. Поэтому на практике действуют таким образом: двигаются по шкале точности слева направо, то есть от простых моделей («Модель 1», «Модель 2»…) ко все более сложным («Модель 3», «Модель 4»…). А процесс моделирования имеет циклический спиралевидный характер: если построенная модель не удовлетворяет требованиям точности, то её детализируют, дорабатывают на следующем цикле (см. рис. 1.3).

Рис. 1.3. Спиралевидный характер процесса
проектирования и уточнения прикладных моделей

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

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

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

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

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

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

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

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

Смежными моделированию предметами являются: программирование, математика, исследование операций.

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

Какова разница между алгоритмом и моделью?

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

Итак:

модель + вопрос + дополнительные условия = задача.

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

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

Проектирование - процесс создания объекта и его модели; моделирование - способ оценки результата проектирования; моделирования без проектирования не существует.

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

Рядом стоят дисциплины «Компьютерная графика» и «Модели и методы искусственного интеллекта» (см. рис. 1.4).

Рис. 1.4. Основные подсистемы при проектировании комплексных моделей

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

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

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

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

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

Рассмотрим пример.

Модель падения тела под углом к горизонту содержит информацию о координатах траектории, заданных в осях (x , y ): y = –x 2 + 4 · x – 3 (координаты тела в полете) - см. рис. 1.5.

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

Модель связывает две переменные y и x законом f (y , x ) = 0. Модель может быть расширена некоторыми исходными данными, например, так: y = –x 2 + 4 · x – 3, y = 0 (интересуют не все возможные значения y , а только точки на поверхности Земли).

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

Вопрос: x = ?

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

y = –x 2 + 4 · x – 3,
y = 0,
x = ?

Ряд моделей может быть недоопределён - это означает, что вариантов ответов много (два, три, сто или бесконечное множество). Если нужен один ответ, то проблему надо доопределять, дополнять условиями. «Недоопределён» означает, что можно произвольно, кроме гипотез, законов, ответа, потребовать дополнительно выполнение ещё каких-то условий. Возможно, при построении модели что-то не было учтено, не хватает каких-то законов. Рецепт понятен: модель надо достроить. Но может быть и по-другому. Решений много и есть, видимо, лучшие решения, и есть похуже. Тогда для нахождения лучшего решения следует сузить область решений, накладывая определённые ограничения, чтобы отсеять остальные. Такие задачи часто называют задачами управления.

Математическое моделирование можно разделить на аналитическое, численное и имитационное.

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

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

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

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

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

Известный американский учёный Роберт Шеннон даёт следующее определение: "Имитационное моделирование есть процесс конструирования модели реальной системы и постановки экспериментов на этой модели с целью либо понять поведение системы, либо оценить (в рамках ограничений, накладываемых некоторым критерием или совокупностью критериев) различные стратегии, обеспечивающие функционирование данной системы". Все имитационные модели используют принцип чёрного ящика. Это означает, что они выдают выходной сигнал системы при поступлении в неё некоторого входного сигнала. Поэтому в отличие от аналитических моделей для получения необходимой информации или результатов необходимо осуществлять "прогон" имитационных моделей, т. е. подачу некоторой последовательности сигналов, объектов или данных на вход модели и фиксацию выходной информации, а не "решать" их. Происходит своего рода "выборка" состояний объекта моделирования (состояния – это свойства системы в конкретные моменты времени) из пространства (множества) состояний (совокупность всех возможных значений состояний). Насколько репрезентативной окажется эта выборка, настолько результаты моделирования будут соответствовать действительности. Этот вывод показывает важность статистических методов оценки результатов имитации. Таким образом, имитационные модели не формируют своё собственное решение в том виде, в каком это имеет место в аналитических моделях, а могут лишь служить в качестве средства для анализа поведения системы в условиях, которые определяются экспериментатором.

Применение имитационного моделирования целесообразно при наличии определённых условий. Эти условия определяет Р. Шеннон:

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

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

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

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

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

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

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

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

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