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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Моделирование – метод познания, состоящий в создании и исследовании моделей. Т.е. исследование объектов путем построения и изучения моделей.

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

Объект– некоторая часть окружающего мира, рассматриваемого человеком как единое целое. Каждый объект имеет имя и обладает параметрами.

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

Среда – условие существование объекта.

Операция– действие, изменяющее свойство объекта.

Система– совокупность взаимосвязанных объектов, воспринимаемая как единое целое.

Структура– состав системы, свойства её элементов, их отношения и связи между собой.

Этапы моделирования:

• Постановка задачи: описание задачи, цель моделирования, формализация задачи

• Разработка модели: информационная модель, компьютерная модель

• Компьютерный эксперимент– план эксперимента, проведение исследования

• Анализ результатов моделирования