Аналитика: методология, технология и организация

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

вычислительным затратам результаты встречаются редко — как правило, речь идет о существовании различий в составе и

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

Однако на практике чаще встречается ситуация, когда некоторая формальная система позволяет адекватно описывать феномены

различного происхождения — так обстоит дело со многими математическими формальными системами, полученными в результате развития естественнонаучных дисциплин (таковы дифференциальное, интегральное исчисление, теория множеств и иные). Выявление подобных закономерностей в свое время стимулировало развитие теории систем. А прием метафорического переноса формальных представлений на смежные (а порой — и на весьма отдаленные) предметные отрасли прочно укоренился в современной науке и практике синтеза моделей.

Зачастую, при синтезе имитационных моделей в качестве гипотез выдвигаются предположения о возможности использования для описания некоторой системы или процесса той или иной группы зависимостей, выражаемых теми или иными формальными средствами. Так, в современной науке сосуществуют теории электромагнитного и информационного полей, использующие одинаковый формальный аппарат. Характерно, что «примазавшаяся» к ранее разработанному формальному аппарату теория информационного поля постулирует справедливость утверждений теории электромагнитного поля для процессов распространения информации и, более того, подтверждает некоторые утверждения экспериментально. Часто подобные метафоры оказывают стимулирующее воздействие и на развитие первичных теорий, но бывает и так, что вместе с «обвалом» первичной теории рушится целый «куст» стройных формальных построений.

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

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

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