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

Формализация и визуализация моделей

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

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

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

• все планеты вращаются вокруг Солнца.

Однако более нагляден способ ее представления в виде рисунка .

Формализация информационных моделей. С помощью формальных языков строятся формальные информационные модели. Математика является наиболее широко используемым формальным языком. С использованием математических понятий и формул строятся математические модели. Математика включает различные формальные языки например формула воды H₂O

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

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

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

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

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

Основные этапы разработки и исследования моделей на компьютере.

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

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

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

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

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

• создание компьютерной модели в форме проекта на одном из языков программирования;

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

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

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

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

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

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