Лекция 3 Формализация и моделирование Формализация и

Лекция 3. Формализация и моделирование

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

ФОРМАЛИЗАЦИЯ И МОДЕЛИРОВАНИЕ. Главный тезис формализации: Любой объект, его свойства и связи при построении описания именуются. Формальное описание объекта строится на основе определенной формальной системы с использованием имен объектов, свойств, связей.

ФОРМАЛИЗАЦИЯ И МОДЕЛИРОВАНИЕ. Проблемы формализации. Проблема интерпретации: результаты анализа формализованной модели могут быть интерпретированы различным образом. Ряд процессов и явлений имеют идентичное формальное описание (аналогия). формализация М О ин те ан ал и з рп ре та ци я РМ

ФОРМАЛИЗАЦИЯ И МОДЕЛИРОВАНИЕ. Проблема выводимости: возможно ли построение описания объекта средствами данной формальной системы. Аналогия – совпадение формальных описаний разнородных объектов. Аналогия позволяет результаты моделирования одних процессов и объектов перенести на другие процессы, отличные по своей физической природе.