МОДЕЛИ И ИМИТАТОРЫ

г. Волгоград, ООО Научно-производственный центр “Микродюйм”

С. Ю. Юдин mailto:ser@t-k.ru

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

Для дальнейшего детального рассмотрения моделей нам необходимо ввести новое понятие: имитатор[1,2], который тоже является копией объекта, но в отличие от модели, не может замещать объект при его познании и, следовательно, не может дать новой информации о самом объекте, а может только выдать уже известную информацию, но в другом виде, т.е. имитаторы могут быть использованы только для оптимизации параметров систем и только в тех условиях, при которых они были получены. Т.е. с помощью моделей можно проводить как синтез систем, так и их анализ, а с помощью имитаторов, только синтез. Это объясняется тем, что имитаторы не раскрывают сущности явлений, т.е. их взаимную внутреннюю связь, а только с точки зрения простой математической целесообразности отражают формальное влияние различных параметров систем на их показатели или, как сейчас модно говорить, действуют по генетическому алгоритму, а модели отражают объективное влияние параметров системы вследствие внутренней логики объекта. Т.е. в отличие от моделей, где отражены и форма и содержание, в имитаторе отражена только форма.

Наличие в моделях логической структуры позволяет не только прогнозировать показатели работы системы, но и экстраполировать выводы, вытекающие из структуры модели, на структуру самого объекта. Так, когда было установлено, что в уравнении Дирака имеются корни противоположных знаков, то при экстраполяции этих выводов на оригинал, был сделан прогноз, что наряду с отрицательно заряженным электроном должна существовать симметричная электрону частица с положительным зарядом, антиэлектрон, т.е. позитрон. Эта частица была позже обнаружена в опытах Андерсена. Но как часть модели, логически увязанная с ее другими частями, может быть использован и любой имитатор. Это замечание является очень важным и позволяет использовать, например, при моделировании социально-экономических систем наряду с экспертными системами и имитаторы элементарного интеллекта [1,2] при нахождении оптимальной стратегии действий человеком, являющимся частью модели.

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

 

Рис.1 Классификация моделей и имитаторов.

Материальные модели систем состоят из вещественных элементов, природа которых, как правило, одинакова с природой оригинала и реализуются они на основе теории подобия. В основе этой теории положена, развивающая теорему Ньютона о подобии, предпосылка, согласно которой два явления подобны, если по данной характеристике одного явления можно получить характеристику другого простым пересчётом, аналогичным переходу от одной системы единиц измерения к другой или простым пересчётом масштаба. Таким образом, материальные модели, как правило, являются уменьшенными копиями оригинала. Обычно их называют макетами. Это может быть макет самолёта, продуваемый в аэродинамической трубе или макет гидроэлектростанции прокачиваемый на стенде и т.д. Но не надо их путать с демонстрационными имитаторами, которые могут быть выполнены с несоблюдением масштаба и их природа может отличаться от природы оригинала. Так материальные демонстрационные имитаторы атомов химических элементов выполняются без соблюдения масштаба и шарики, обозначающие протоны или электроны, состоят не только из них. Кроме того, на этих имитаторах нельзя проводить никаких экспериментов, точно так же, как и на демонстрационных имитаторах молекул углеводородов.

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

Например, при оптимизации параметров гидравлической системы можно заменить её электрической, зная при каких параметрах будет ламинарное течение жидкости, а при каких турбулентное и аналогом напора в гидравлической модели будет напряжение в электрической и т.д. В настоящее время аналоговые модели практически не используются ни для каких целей, хотя, например, используя электрическую аналоговую модель, можно удовлетворительно смоделировать паводок на Волге с её каскадом ГЭС, также как и используя гидравлический макет. Однако, их не надо путать с электронными аналоговыми вычислительными машинами, которые пока ещё иногда используются, а перспективные на сегодняшний день нейрокомпьютеры по своей природе тоже являются аналоговыми и поэтому в них вместо электрической схемы можно использовать оптическую и не только для передачи информации, но и для её обработки. Материальные модели и имитаторы пока еще тоже используются в практической деятельности человека, но с появлением электронных цифровых вычислительных машин особое внимание сейчас приковано, конечно же, к идеальным моделям и имитаторам.

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

Все известные нам законы не являются абсолютной истиной и даже законы Евклидовой геометрии, державшиеся более двух тысяч лет, рухнули с появлением в ХIХ веке Лобачевского. Следовательно, модели могут состоять не только из законов в строгом их понимании, но и более простых математических зависимостей, отражающих определенным образом взаимосвязь различных явлений, на доступном нам на сегодняшний день уровне. Но, в основе ММ должны лежать законы, которые вместе с этими простейшими зависимостями, назовем их аппроксимациями, т.е. математическими имитаторами (МИ), должны быть логически все объединены в единую систему. И чем больший процент математических формул, входящих в ММ будут составлять законы, а не эмпирические зависимости, тем достовернее будет прогноз на будущее. Таким образом, любая ММ отражает условность уровня познания достигнутого ее создателем и, следовательно, она обязательно должна содержать в себе способность к расширению и модификации, когда отдельные явления, не учтенные или слабо отраженные в модели, могут быть учтены при дальнейшей работе с моделью, если это потребуется для достижения другой цели операции. При этом, в отличие от имитаторов, переделывается не вся модель, а только один ее элемент.

ММ будем ещё подразделять на элементарные и сложные, а ММ и МИ на статические и динамические. Элементарные ММ - это формулы конкретных законов, а сложные ММ состоят из нескольких формул. В динамических моделях и имитаторах воспроизводится та или иная форма движения материи, а в статических - воспроизводится образ оригинала. Иными словами, если за время проведения вычислительного эксперимента все её параметры и внешние возмущения, действующие на нее, остаются неизменными во времени, а, следовательно, и показатели работы системы не меняются, то такие ММ и МИ будут статические, а если изменяются, то динамические. Например, закон всемирного тяготения Ньютона является элементарной статической моделью, а если мы опишем движение планет Солнечной системы с помощью этой статической элементарной модели и динамической элементарной модели ускорения масс (второй закон Ньютона), то мы будем иметь сложную динамическую ММ. Примером динамического МИ является описание движения планет Солнечной системы Птолемеем или Кеплером. Большую массу примеров элементарных статических моделей можно привести из курса “Сопромата”, например, это уравнение прогиба балки, по которому можно найти прогиб, угол наклона и радиус кривизны балки в любом её сечении.

Чаще всего динамические МИ описываются набором передаточных функций, полученных в результате идентификации оригинала и имитатора. При этом сам объект рассматривается как “черный ящик” с неизвестной структурой и требуется подобрать такую передаточную функцию, чтобы сигналы, которые регистрируются на выходах оригинала и имитатора, были идентичны при одних и тех же сигналах на их входах. Но беда в том, что люди использующие имитаторы, считают их моделями со всеми вытекающими отсюда последствиями их применения, например, для прогнозирования в финансовом мире. У экономистов такие имитаторы называются трендовыми моделями на основе кривых роста, так как их основной задачей является сделать прогноз о развитии изучаемого процесса на предстоящий период времени, т.е. проследить тренд. Но точно также как имитаторы Птолемея или Кеплера не могут сказать в какую сторону полетит Марс, если к нему уже приближается огромный астероид, не могли ответить и все биржевые имитаторы куда полетит курс ГКО, когда уже приближался дефолт 1998 года.

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

Самыми распространенными идеальными моделями и имитаторами являются воображаемые модели и имитаторы, которые человек создает у себя в голове и они всегда индивидуальны и отражают уровень познания и способность мыслить конкретного индивида. Например, проделав мысленный эксперимент с тяжёлым камнем и сухим листом, Аристотель учил, что скорость падения тел пропорциональна их весу, а Галилей доказал, что все тела падают с одинаковой скоростью. Аристотель создал у себя в голове качественный имитатор, а Галилей - качественную модель, которую затем смог формализовать, т.е. перевести из качественной модели в количественную, избавившись от второстепенного, частного, что заслоняло главное, что определяет суть явления, т.е. является законом природы. Иначе говоря, Галилей мыслил абстрактно, но в наших головах имеется столько всякой информации, которая заслоняет собой это главное, что абстрагироваться иногда бывает очень трудно даже при рассмотрении простых систем и только математическое описание систем в ММ или проведение эксперимента на специально созданной лабораторной установке, как это делал Галилей, позволяет избавится от избыточной информации для понятия сути явления. При этом вычислительные эксперименты проводятся с использованием стандартной логики математики, а воображаемые с использованием как стандартной, так и индивидуальной логики.

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

Литература

 

1. Юдин С.Ю. Моделирование систем и оптимизация их параметров. - Волгоград: Электронный вариант книги (http://ser.t-k.ru), 2003. - 208с.

2. Юдин С.Ю. Искусственный интеллект и моделирование систем. (http://www.sciteclibrary.ru/rus/catalog/pages/6661.html).

 

Данная статья является докладом на пятой международной научно-технической конференции "Комрьютерное моделирование 2004", проходившей в Санкт-Петербургском Государственном Политехническом Университете 29 июня 2004 года. Доклад опубликован в сборнике трудов конференции (часть I) на стр. 336-341.

Hosted by uCoz