Основные принципы формализации

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

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

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

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

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

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

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

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

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

· разработка неформального описания модели (словесное описание существенных для рассматриваемой задачи характеристик изучаемого объекта и связей между ними);

· составление формализованного описания на некотором языке кодирования (с использованием математических соотношений и текстов);

· реализация формализованного описания в виде программы на некотором языке программирования.

Например, формула F=m*a является формализованным описанием второго закона Ньютона.