Юрий Курносов - Аналитика: методология, технология и организация информационно-аналитической работы

— характеристика среды и параметры возмущающих воздействий;

— время, доступное для синтеза модели/производства вычислений;

— динамические и точностные характеристики системы сбора информации (точность результатов не может быть выше точности измерений);

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

— точностные характеристики методов, используемых для обработки данных;

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

— точностные характеристики реализации методов, с учетом ограничений технологической платформы, используемой их реализации и иные.

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

Рассмотрим, каким образом сущностная компонента модели влияет на выбор средств формального представления моделей.

Ранее мы отмечали, что для каждой предметной области существует некий «коридор», в рамках которого допустим выбор тех или иных средств формализации. Лишь в крайне редких случаях выбор средств формального представления практически не ограничен и плавно варьируется в диапазоне от вербальных до алгебраических средств — в таких условиях выбор того или иного варианта может определяться исключительно субъективными предпочтениями исследователя. Однако уже малейшее стеснение в ресурсах приводит к необходимости сужения области выбора.

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

— гипотеза, предположение;

— теория, концепция;

— закономерность;

— закон.

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

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

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

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

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