Визуализация моделей

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

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

Компьютерные и некомпьютерные модели

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

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

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