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

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

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

Примеры:

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

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

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

Вывод.

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

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

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

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

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

Знаковые модели окружают нас повсюду. Это рисунки, тексты, графики и схемы.

По способу реализации знаковые модели можно разделить на компьютерные и некомпьютерные.

Компьютерная модель – модель, реализованная средствами программной среды.

Вербальная (от лат «verbalis» – устный) модель – информационная модель в мысленной или разговорной форме.

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

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

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

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

В зависимости от средств построения различают следующие классы моделей:

• словесные или описательные модели их также в некоторой литературе называют вербальными или текстовыми моделями (например, милицейский протокол с места проишествия, стихотворение Лермонтова "Тиха украинская ночь");

• натурные модели (макет Солнечной системы, игрушечный кораблик);

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

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

• физические модели,

• биологические,

• социологические,

• экономические и т.д.

Классификация модели по применяемому математическому аппарату:

• модели, основанные на применении обыкновенных дифференциальных уравнений;

• модели, основанные на применении уравнений в частных производных;

• вероятностные модели и т.д.

Также можно классифицировать модели по цели моделирования. В зависимости от целей моделирования различают:

• Дескриптивные модели (описательные) описывают моделируемые объекты и явления и как бы фиксируют сведения человека о них. Примером может служить модель Солнечной системы, или модель движения кометы, в которой мы моделируем траекторию ее полета, расстояние, на котором она пройдет от Земли У нас нет никаких возможностей повлиять на движение кометы или движение планет Солнечной системы;

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

• Игровые модели (компьютерные игры);

• Обучающие модели (всевозможные тренажеры);

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

Существует также классификация моделей в зависимости от их изменения во времени. Различают

• Статические модели - неизменные во времени;

Динамические модели - состояние которых меняется со временем.

Модели материальные и модели информационные.

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

Информационные модели представляют объекты и процессы в образной или знаковой форме

Моделирование и формализация

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

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

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

• Земля вращается вокруг своей оси и вокруг Солнца;

• орбиты всех планет проходят вокруг Солнца.

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

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

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

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