Прагматическая модель – средство организации практических действий, рабочего представления целей системы для ее управления. Реальность в них подгоняется под некоторую прагматическую модель. Это, как правило, прикладные модели.
Инструментальная модель – средство построения, исследования и/или использования прагматических и/или познавательных моделей.
Познавательные модели отражают существующие, а прагматические – хоть и не существующие, но желаемые и, возможно, исполнимые отношения и связи.
Вся остальная классификация моделей выстраивается по отношению к объекту-оригиналу, методам изучения и т. п. [3].
1.3.1. Классификация моделей по степени абстрагирования от оригинала
По степени абстрагирования от оригинала (рис. 1.4) модели могут быть разделены на материальные (физические) и идеальные. К материальным относятся такие способы, при которых исследование ведется на основе модели, воспроизводящей базовые геометрические, физические, динамические и функциональные характеристики изучаемого объекта. Основными разновидностями физических моделей являются [3]:
• натурные;
• квазинатурные;
• масштабные;
• аналоговые.
Натурные модели – это реальные исследуемые системы, которые являются макетами и опытными образцами. Натурные модели имеют полную адекватность системе-оригиналу, что обеспечивает высокую точность и достоверность результатов моделирования; другими словами, модель натурная, если она материальная копия объекта моделирования. Например, глобус – натурная географическая модель земного шара.
Рис. 1.4. Схема классификации моделей по степени абстрагирования
Квазинатурные модели (от лат. «квази» – почти) – это совокупность натурных и математических моделей. Этот вид моделей модель используется в случаях, когда математическая модель части системы не является удовлетворительной или когда часть системы должна быть исследована во взаимодействии с остальными частями, но их еще не существует либо их включение в модель затруднено или дорого.
Масштабные модели – это системы той же физической природы, что и оригинал, но отличающиеся от него размерами. В основе масштабных моделей лежит математический аппарат теории подобия, который предусматривает соблюдение геометрического подобия оригинала и модели и соответствующих масштабов для их параметров. Примером масштабного моделирования являются любые разработки макетов домов, а порой и целых районов при проведении проектных работ при строительстве. Также масштабное моделирование используется при проектировании крупных объектов в самолетостроении и кораблестроении.
Аналоговое моделирование основано на аналогии процессов и явлений, имеющих различную физическую природу, но одинаково описываемых формально (одними и теми же математическими уравнениями, логическими схемами и т. п.). В качестве аналоговых моделей используются механические, гидравлические, пневматические системы, но наиболее широкое применение получили электрические и электронные аналоговые модели, в которых сила тока или напряжение являются аналогами физических величин другой природы. Например, является общеизвестным, что математическое уравнение колебания маятника имеет эквивалент при записи уравнения колебаний тока.
Идеальное моделирование носит теоретический характер. Различают два типа идеального моделирования: интуитивное и знаковое.
Под интуитивным будем понимать моделирование, основанное на интуитивном представлении об объекте исследования, не поддающемся формализации либо не нуждающемся в ней. В этом смысле, например, жизненный опыт каждого человека может считаться его интуитивной моделью окружающего мира.
Знаковым называется моделирование, использующее в качестве моделей знаковые преобразования различного вида: схемы, графики, чертежи, формулы, наборы символов и т. д., включающие совокупность законов, по которым можно оперировать с выбранными знаковыми элементами. Виды знаковой модели: лингвистическая, визуальная, графическая и математическая.
Модель лингвистическая, если она представлена некоторым лингвистическим объектом, формализованной языковой системой или структурой. Иногда такие модели называют вербальными, например правила дорожного движения – языковая, структурная модель движения транспорта и пешеходов на дорогах.
Модель визуальная, если она позволяет визуализировать отношения и связи моделируемой системы, особенно в динамике. Например, на экране компьютера часто пользуются визуальной моделью объектов клавиатуры в программе-тренажере по обучению работе на клавиатуре.
Модель графическая, если она представима геометрическими образами и объектами, например макет дома является натурной геометрической моделью строящегося дома.
Важнейшим видом знакового моделирования является математическое моделирование, классическим примером математического моделирования является описание и исследование основных законов механики И. Ньютона средствами математики [3].
1.3.2. Классификация моделей по степени устойчивости
Все модели могут быть разделены на устойчивые и неустойчивые (рис. 1.5).
Устойчивой является такая система, которая, будучи выведена из своего исходного состояния, стремится к нему. Она может колебаться некоторое время около исходной точки, подобно обычному маятнику, приведенному в движение, но возмущения в ней со временем затухают и исчезают.
Рис. 1.5. Схема классификации математических моделей по устойчивости
В неустойчивой системе, находящейся первоначально в состоянии покоя, возникшее возмущение усиливается, вызывая увеличение значений соответствующих переменных или их колебания с возрастающей амплитудой [3].
1.3.3. Классификация моделей по отношению к внешним факторам
По отношению к внешним факторам модели могут быть раз-Рис. 1.6. Схема классификации математических моделей по отношению ко времени делены на открытые и замкнутые.
Замкнутой моделью является модель, которая функционирует вне связи с внешними (экзогенными) переменными. В замкнутой модели изменения значений переменных во времени определяются внутренним взаимодействием самих переменных. Замкнутая модель может выявить поведение системы без ввода внешней переменной. Например, информационные системы с обратной связью являются замкнутыми системами. Это самонастраивающиеся системы, и их характеристики вытекают из внутренней структуры и взаимодействий, которые отражают ввод внешней информации.
Модель, связанная с внешними (экзогенными) переменными, называется открытой [3].
1.3.4. Классификация моделей по отношению ко времени
По отношению к временному фактору модели делятся на динамические и статические (рис. 1.6).
Модель называется статической, если среди параметров, участвующих в ее описании, нет временного параметра. Статическая модель в каждый момент времени дает лишь «фотографию» системы, ее срез. Одним из видов статических моделей являются структурные модели.
Рис. 1.6. Схема классификации математических моделей по отношению ко времени
Динамической моделью называется модель, если среди ее параметров есть временной параметр, т. е. она отображает систему (процессы в системе) во времени.
1.4. Разновидности моделирования
Моделирование в широком смысле – это изучение объектов познания с помощью их моделей; построение и изучение моделей реально существующих предметов, процессов или явлений с целью получения объяснений этих явлений, а также для предсказания явлений, интересующих исследователя [2].
Исследователь имеет дело с моделью, а не ее оригиналом. Классификацию видов моделирования можно проводить по разным признакам: по характеру моделей, по характеру моделируемых объектов, по сферам приложения моделирования. Мы выделим следующие виды моделирования:
• информационное (концептуальное) моделирование – процесс описания информации об объекте с помощью формализованных, неформализованных языков, образно-иллюстративных материалов и фиксированные в реальном материале эти представления и факты;
• эстетическое моделирование – процесс описания информации и объектов и явлений через ощущения и восприятия человека посредством живописи, декоративно-прикладного искусства и музыки;
• физическое моделирование – процесс разработки, конструирование натурных, физических, аналоговых или масштабных моделей объектов и исследование свойств и картины поведения объекта и реальных явлений на этих моделях;
• математическое (аналитическое и имитационное) моделирование;
• компьютерное моделирование.
В узком содержательном смысле под моделированием мы будем понимать ряд процессов:
• процесс описания или формализации объекта-оригинала, преследующий целью создание аналога (модели), адекватного объекту;
• процесс конструирования или проектирования объекта или его модели;
• изменение существующей модели в целях создания другой модели, более адекватной объекту-оригиналу;
• процесс проведения эксперимента на модели в целях прогнозирования и выяснения картины возможного поведения объекта-оригинала; для изучения различных характеристик и свойств объекта.
Рассмотрим более подробно виды математического и компьютерного моделирования. Математическое моделирование подразделяется на аналитическое и имитационное [2].