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

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

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

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

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

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

На первом этапе проводится анализ моделируемой системы: выявляются её составляющие (элементарные объекты или процессы) и определяются связи между ними. Решается вопрос о необходимом уровне детализации системы.

Формализацию проводят в виде поиска ответов на вопросы, уточняющие общее описание задачи (таблица 5.3).

Таблица 5.3 – Примеры вопросов и ответов для моделирования движение автомобиля

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