Соответствие между моделью и действительностью

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

Истинность – также философский вопрос. Говорить об истинности, правильности или сложности модели самой по себе вне практики бессмысленно.

Изменение условий сравнения влияет на результат, поэтому возможны противоречивые по одинаково и истинные модели (например, корпускулярная и волновая концепции).

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

Любая модель, таким образом, содержит в себе истинное и ложное.

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

Для этого необходимо моделирование самого процесса моделирования (алгоритмизация модели). Необходимость алгоритмизации моделирования наиболее остро стоит:

- в проектной деятельности;

- в исследовании операций;

- в изобретательской практике;

- в проектировании АСУ;

- в имитационном моделировании.

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

- техзадание;

-тех. проект;

- рабочий проект;

- опытный образец;

- мелкая серия;

- модель для промышленного выпуска.

Или для имитационного моделирования:

- формирование целей;

- создание абстрактной модели;

- создание имитационной реальной модели (ИРМ);

- исследование ИРМ;

- обработка и интерпретация результатов.

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

110. Формальная и содержательная модели

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

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

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

Содержательная модель - модель формулируемая в вербальной форме или в смешанном вербально-визуальном представлении.

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

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

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

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

Существенную помощь в разработке содержательной модели может оказать изучение формальной модели объекта. Рассмотрение объекта сквозь призму формальной модели помогает уточнить формулировки, выявить недостающие элементы, убрать все лишнее.