ГЛАВА 6. МОДЕЛИ И ИНСТРУМЕНТАРИИ РЕШЕНИЯ ФУНКЦИОНАЛЬНЫХ И ВЫЧИСЛИТЕЛЬНЫХ ЗАДАЧ

§6.2. Формализация процессов

Формализация объекта или явления неразрывно связана с моделированием его, т.е. процессом разработки модели изучаемого объекта, системы, явления. Главная задача формализации — определение цели моделирования.

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

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

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

30.06.19

Доцент С.Т. Касюк

2

Формальные информационные модели

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

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

30.06.19 Доцент С.Т. Касюк

3

Визуализация формальных моделей

В процессе исследования формальных моделей часто производится их визуализация.

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

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

30.06.19

Доцент С.Т. Касюк

4

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

30.06.19

Доцент С.Т. Касюк

5