Объемно – Пространственная Модель. Классификация видов моделирования. Динамические модели. Примеры построения динамических моделей Точные методы интерполяции

Введение

динамический модель математический

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

Экономико-математические модели описывают экономику в развитии (в отличие от статических, характеризующих ее состояние в определенный момент). Существует два подхода к построению динамической модели:

оптимизационный (выбор оптимальной траектории экономического развития из множества возможных)

описательный, в центре которого понятие равновесной траектории (т. е. уравновешенного, сбалансированного роста).

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

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

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

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

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

1. Динамические модели: понятие, виды

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

Если вчитаться и вдуматься в приведенное выше нестрогое определение, можно увидеть, что отдельно динамический объект в "чистом" виде, как вещь в себе, не существует: для описания объекта модель должна содержать еще и 4 источника воздействий (генераторы):

среду и механизм подачи на него этих воздействий

объект должен иметь протяженность в пространств

функционировать во времени

в модели должны быть измерительные устройства.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Модель динамического объекта состоятельна, если она адекватна, соответствует реальному динамическому объекту. Это соответствие ограничивается некоторой пространственно-временной областью и диапазоном воздействий.

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

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

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

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

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

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

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

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

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

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

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

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

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

1.1 Физические модели

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

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

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

1.2 Математические модели

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

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

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

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

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

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

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

1.3 Аналоговые модели

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

Приведем два достаточно характерных примера.

Пример 1. График, иллюстрирующий соотношения между затраченными усилиями и результатами, является аналоговой моделью. График на рис. 1.1 показывает, как количество времени, отведенное студентом на подготовку к экзамену, влияет на его результат.

Рис. 1.1. График, иллюстрирующий соотношения между затраченными усилиями и результатами

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

Наклеим карту местности на лист фанеры. Затем в месте нахождения каждого города пропилим сквозные отверстия, пропустим через них нити и привяжем к ним грузики, пропорциональные запросам товаров в этот город (рис. 1.2). Свяжем свободные концы нитей в один узел и отпустим. Под действием силы тяжести система придет в состояние равновесия. То место на листе фанеры, которое при этом займет узел, и будет соответствовать оптимальному расположению склада (рис. 1.3).

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

Рис. 1.2. Карта местности на листе фанеры

Рис. 1.3. Оптимальное расположение склада

2. Построение математических моделей дискретных объектов

2.1 Модель народонаселения

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

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

Обозначим через х количество прихожан к концу n-го года. Их численность через год, т.е. к концу (n + 1)-го года, естественно обозначить через хn+1. Тогда изменение численности за этот год можно описать разностью

Оно происходит по двум естественным причинам - люди рождаются и умирают (для простоты будем считать, что вирус миграций эту местность тогда еще не поразил). Определить число родившихся и число умерших за год по приходским книгам особого труда не составляет. Подсчитывая число родившихся и умерших в разные годы, священник решает сопоставить полученные числа и d1,...,dk с общим числом прихожан за эти годы x1,..,xk, и замечает, что отношения x1,...,xk год от года различаются весьма мало. То же касается и отношений

Для простоты расчетов будем считать эти отношения постоянными и обозначим их через? и? соответственно. Тем самым число родившихся в n-м году оказывается равным, число умерших - ?xn, а изменение численности по естественным причинам составляет +?xn - ?xn.

В результате мы приходим к соотношению?xn=?хn - ?xn или подробнее:

xn+1=xn +?xn-?xn

Положим?=1 + ? - ?. Тогда интересующая нас формула примет вид

Модель построена.

Попробуем разобраться теперь с тем, что же получилось, т. е. проанализировать построенную модель. Возможны три случая:

1)?>1(?=?-?>0 - рождается больше, чем умирает) и численность прихожан растет год от года,

2)?=1 (?=?-?=0 - умирает столько же, сколько рождается) и численность прихожан год от года остается неизменной,

3)?<0 (?=?-?<0 - умирает больше, чем рождается) и численность прихожан неуклонно снижается.

Так как побудительным мотивом для построения модели было желание узнать, как быстро будет расти число прихожан, начнем с рассмотрения случая 1.

Случай 1. Итак, численность прихожан растет. Но как, насколько быстро? Здесь самое время кратко вспомнить поучительную историю (печальную притчу) о безвестном изобретателе шахмат. Говорят, что игра очень понравилась богатому и всесильному магарадже, который тут же решил наградить изобретателя и щедро предложил выбрать вознаграждение ему самому. Тот, как рассказывают, смахнув фигуры с шахматной доски, положил на 1-ю клетку одно пшеничное зернышко, на 2-ю - два зернышка, на 3-ю - четыре зернышка, на 4-ю - восемь зернышек (рис. 2.1) и предложил магарадже, чтобы он отдал распоряжение слугам выкладывать зерна пшеницы на другие клетки шахматной доски по предложенному закону, т. е. так: 1,2,4,8,16,…,263.

Рис. 2.1. Задача о шахматной доске и награде магараджи

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

Рис. 2.2-2.3. Экспоненциальное изменение численности

Правило, предложенное изобретателем шахмат, Xn+1=2xn является частным случаем формулы (1) при ?=2 и, так же как и она, описывает закон, следуя которому мы получаем последовательность чисел, образующих геометрическую прогрессию. При любом ?>1 картинка, иллюстрирующая изменение xn, имеет похожий вид - xn будет расти экспоненциально. В 1820 г. в Лондоне Т.Р. Мальтусом была опубликована работа "Principles of political economy considered with a view to their practical application" (в русском переводе - "Опыт о законе народонаселения..." Т. 1-2. СПб., 1868), в которой, в частности, говорилось о том, что в силу биологических особенностей людей население имеет тенденцию размножаться по закону геометрической прогрессии,

xn=1=?xn,?>1,

в то время как средства существования могут увеличиваться лишь по закону арифметической прогрессии, yn+1=yn+d, d>0. Такое различие в скорости изменения величин, непосредственно связанных с проблемами выживаемости популяции (рис. 2.3), не могло остаться незамеченным и вызвало довольно жесткую критику и сильно политизированную полемику в соответствующих кругах. Попробуем извлечь из самого факта критики полезный для нас вывод об адекватности построенной модели (1). Разумеется, при попытке упрощенного описания ситуации некоторыми обстоятельствами приходится пренебрегать, считая их несущественными. Однако единого взгляда на то, что именно существенно, а что не очень, по-видимому, нет. Можно, например, не обращать внимания на то, что начался дождик. Но согласитесь, что одно дело пробежать под накрапывающим дождем сотню метров, и совсем другое - часовая прогулка под таким дождем без зонта. Нечто аналогичное мы наблюдаем и здесь: при расчете на 3-4 года вперед формула (1) работает достаточно хорошо, но долгосрочный прогноз, основанный на ней, оказывается ошибочным.

Важный вывод. Предлагая построенную или выбранную вами модель, вы непременно должны указать пределы, в которых ею можно пользоваться, и предупредить о том, что нарушение этих ограничений может привести (и, скорее всего, приведет) к серьезным ошибкам. Коротко говоря, у каждой модели есть свой ресурс. Покупая блузку или рубашку, мы привыкли к наличию меток, на которых указаны максимально допустимая температура глажения, дозволенные виды стирки и т. п. Это, конечно, ни в коей мере не означает, что вам запрещается, взяв докрасна раскаленный утюг, пройтись им раз-другой по ткани. Такое вы сделать можете. Но вот захотите ли вы носить блузку или рубашку после такого глажения? Случай 2. Численность населения не изменяется (рис. 2.4). Случай 3. Население вымирает (рис. 2.5).

Рис. 2.4. График народонаселения при неизменяющейся численности

Рис. 2.5. График народонаселения при убывающей численности

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

Замечание 1. Очень часто, описывая эту модель народонаселения, привлекают ее дифференциальный вариант: x=?x (здесь х=x(t) - зависящая от времени численность популяции, х" - производная по времени, ?- постоянная величина).

Замечание 2. При больших значениях х конкурентная борьба за средства существования приводит к уменьшению ?, и эта жесткая модель должна быть заменена более мягкой моделью: x=?(x)x, в которой коэффициент ? зависит от численности населения. В простейшем случае эта зависимость описывается так:

?(x)=a-bx

где а и b - постоянные числа, а соответствующее уравнение принимает вид

x=ax-bx2

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

Рис. 2.6. Логистическая кривая

2.2 Модель хищник - жертва

Выше рассказывалось о беспрепятственном размножении популяции. Однако в реальных обстоятельствах популяция сосуществует с другими популяциями, находясь с ними в самых разных взаимоотношениях. Здесь мы коротко рассмотрим антагонистическую пару хищник - жертва (это может быть и пара рысь - заяц и пара божья коровка - тля) и попытаемся проследить, как может изменяться со временем численность обеих взаимодействующих сторон. Популяция жертвы может существовать сама по себе, в то время как популяция хищника - только за счет жертвы. Обозначим численность популяции жертвы через х, а численность популяции хищника через у. В отсутствие хищника жертва размножается согласно уравнению x=ax, a>0, а хищник в отсутствие жертвы вымирает по закону y=-?y,?>0. Хищник съедает тем больше жертвы, чем ее больше и чем более многочислен он сам. Поэтому при наличии хищника численность жертвы меняется по закону

x=ax-?xy,?>0

Съеденное количество жертвы способствует размножению хищника, что можно записать так: y=-?y+?xy, ?>0.

Таким образом, мы получаем систему уравнений

x=ax-?xy

y=-?y+?xy

причем x?0, y?0.

Модель хищник - жертва построена.

Как и в предыдущей модели, наибольший интерес для нас представляет точка равновесия (х*,у*), где х* и у* - отличное от нуля решение системы уравнений

ax-?xy=0

Y+?xy=0

Или x(a-?y)=0, y(-?+?x)=0

Эта система получается из условия стабильности численности обеих популяций x=0, y=0

Координаты точки равновесия - она является точкой пересечения прямых

a-?y=0 (2)

?+?x=0 (3)

легко вычисляются:

, (рис. 2.7).

Рис. 2.7. Решение системы уравнений

Начало координат О(0,0) лежит в положительной полуплоскости относительно горизонтальной прямой, задаваемой уравнением (2), а относительно вертикальной прямой, задаваемой уравнением (3), в отрицательной полуплоскости (рис. 2.8). Тем самым первая четверть (а нас интересует только она, так как х>0 и у>0) разбивается на четыре области, которые удобно обозначить так: 1-(+,+), 2-(-,+), 3-(-,-), 4-(+,-).

Рис. 2.8. Разбиение области решений на квадранты

Пусть начальное состояние Q(x0,y0) находится в области IV. Тогда выполнены неравенства?-?y0>0, -?+?x0<0? из которых следует, что скорости x" и у" в этой точке должны быть разных знаков, x>0, y<0 и, значит, величина х должна возрастать, а величина убывать.

Подобным же образом анализируя поведение х и у в областях 2, 3 и 4, получим в итоге картину, изображенную на рис. 2.9.

Рис. 2.9. Изменение x и y по квадрантам

Тем самым начальное состояние Q приводит к периодическому колебанию численности, как жертвы, так и хищника, так что по прошествии какого-то времени система вновь возвращается в состояние Q (рис. 2.10).

Рис. 2.10. Цикличность колебаний численности хищника и жертвы

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

Рис. 2.11. Колебания систем Заяц - Рысь и Тля - Божья коровка

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

2.3 Модель мобилизации

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

Постановка задачи. Отразить логику изменения уровня мобилизации в данном регионе между двумя соседними моментами времени, скажем за месяц (за год, неделю, день и т. п.).

Построение модели. Примем за единицу ту часть населения, для которой мобилизация данного типа имеет смысл. Пусть Mn- доля мобилизованного населения в момент времени tn=n. Тогда доля немобилизованного населения будет равна 1-Mn (рис. 2.12).

Рис. 2.12. Соотношение мобилизованного и немобилизованного населения

За месяц уровень мобилизации может измениться по двум основным причинам:

) часть населения удалось привлечь дополнительно; ясно, что эта величина тем больше, чем выше доля еще несагитированного населения на момент tn=n, и поэтому можно считать ее равной ?(1-Мn), (здесь ?>0 - коэффициент агитируемости, постоянный для данного региона);

2) часть населения убыла (по разным причинам); ясно, что это уменьшает долю сагитированного населения тем больше, чем выше была эта доля на момент tn=n, и поэтому потери, связанные с выбытием, можно считать равными (здесь?>0 - постоянный коэффициент выбытия). Подчеркнем, что числовые параметры? и? отражают пропорциональное изменение интересов, взглядов и намерений соответствующих частей населения рассматриваемого региона. Таким образом, изменение уровня мобилизации за единицу времени равно разности между долей населения, привлеченного дополнительно, и долей выбывшего сагитированного населения:

Это и есть уравнение процесса мобилизации. Модель мобилизации построена.

Последнее соотношение легко преобразуется к следующему виду:

Замечание. Вспомогательный параметр? не может быть больше 1 вследствие того, что исходные параметры? и? положительны. Полученное уравнение (4) называется линейным разностным уравнением с постоянными коэффициентами.

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

Один из них (при?=1) описывает правило, по которому каждый член последовательности, начиная со второго, получается из предыдущего путем сложения с некоторым постоянным числом: Mn+1=?+Mn, т. е. арифметрическую прогрессию.

Второй (при?=0) описывает правило, по которому каждый член последовательности, начиная со второго, получается из предыдущего путем умножения на некоторое постоянное число: Mn+1=?Mn, т. е. геометрическую прогрессию.

Предположим, что начальная доля привлеченного населения М0 известна. Тогда уравнение (4) легко решается (для определенности считаем, что). Имеем:

Применение модели.

Попробуем проанализировать возможности этой (построенной на основании простейших соображений) модели.

Начнем со случая |?|<1.

Для этого перепишем последнее соотношение в виде, где через M* обозначена следующая величина:

Замечание. Тот же результат получается, если в уравнении (4) положить Mn+1=Mn=M*.

В самом деле, тогда получим M*=?+?M*, откуда

Найденная величина M* не зависит от начального значения M0, выражается через исходные параметры? и? по формуле

а следовательно подчиняется условию 0

Для придания полученной формуле большей наглядности вновь воспользуемся методом координат.

На рис. 2.13 показаны области возможных значений вспомогательного параметра?, на рис. 2.14 - исходных параметров? и?, а на рис. 2.15-17 - соответствующие им наборы значений Мn при разных n, М0 и М* (для удобства восприятия соседние точки (n,Мn) и (n+l,Mn+1) соединены прямолинейными отрезками).

Случай?<1 проиллюстрирован на рис. 2.18.

Конечно, на этих рисунках представлена качественная картина. Но ничто не мешает взять вполне конкретные значения величин М0, ? и? и подробно рассчитать соответствующую ситуацию.

Рис. 2.13.области возможных значений? 2.14.исходные параметры? и?

Рис. 2.15 - 2.16

Рис. 2.17 2.18. Случай?<1

Например, для, имеем

,…(рис. 2.19)

Рис. 2.19. Мобилизация при,

Интересно отметить, что построенная модель, несмотря на простоту подходов и рассуждений, довольно хорошо отражает реальные процессы. Так, предложенная модель мобилизации использовалась для изучения динамики числа голосов, поданных за демократическую партию в Лейк Кантри (США) в 1920-1968 гг., и оказалось, что она достаточно хорошо описывает качественные характеристики процесса мобилизации.

2.4 Модель гонки вооружений

Рассмотрим конфликтную ситуацию, в которой могут оказаться две страны, для определенности назовём страны X и Y.

Обозначим через x=x(t) расходы на вооружение страны X и через y=y(t) расходы на вооружение страны Y в момент времени.

Предположение 1. Страна X вооружается, опасаясь потенциальной угрозы войны со стороны страны Y, которая в свою очередь, зная о росте затрат на вооружение страны X, также увеличивает свои расходы на вооружение. Каждая страна изменяет скорость роста (или сокращения) вооружений пропорционально уровню затрат другой. В простейшем случае это можно описать так:

где ? и ?- положительные постоянные.

Однако написанные уравнения имеют очевидный недостаток - уровень вооружения ничем не лимитируется. Поэтому правые части этих уравнений нуждаются в естественной корректировке.

Предположение 2.

Чем больше текущий уровень расходов страны на оборону, тем меньше скорость его роста. Это позволяет внести в предыдущую систему следующие изменения:

x=?y-?x

y=?x-?y

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

x=?y-?x+a

y=?x-?y+b

Модель гонки вооружений построена.

Решением полученной системы являются функции x(t) и y(t), определяемые для данных начальных условий x0?0 и y0?0 (начального состояния гонки вооружений).

Проанализируем полученную систему, предполагая, что уровни затрат обеих стран на вооружение не зависят от времени (являются стационарными). Это означает, что x=0, y=0, или по иному:

Y-?x+a=0

X-?y+b=0

Рассмотрим конкретный пример.

Пример. Пусть система гонки вооружений имеет следующий вид:

x=3y-5x+15

y=3x-4y+12

Если скорости изменения величин x и y равны нулю, то эти величины с необходимостью связаны условиями:

Каждое из этих уравнений описывает прямую на плоскости (x,y), и точка пересечения этих прямых лежит в первой четверти (рис. 2.20)

Прямая, заданная уравнением (а), разбивает плоскость, и начальная точка O(0,0) лежит в положительной полуплоскости. В рассматриваемом случае то же справедливо и для прямой, заданной уравнением (б) (рис. 2.21).

Тем самым первая четверть (а нас интересует только она, так как всегда х?0 и у?0) разбивается на четыре области, которые удобно обозначить так: I-(+,+), II-(-,+), III-(-,-), IV-(+,-).

Пусть начальное состояние (х0,у0) находится в области I. Тогда выполнены неравенства:

(а): 3у0-5x0+15>0,

(б): 3х0-4у0+12>0,

из которых следует, что скорости x" и у" в этой точке положительны: х">0, у">0 и, значит, обе величины (х и у) должны возрастать (рис. 2.22).

Рис. 2.22. возрастание x и y

Таким образом, с течением времени в области I решение приходит в точку равновесия.

Подобным же образом анализируя возможные расположения начального состояния в областях II, III и IV, получим в итоге, что стабильное состояние (баланса сил) достигается независимо от начальных уровней вооружения стран X и Y. Отличие состоит лишь в том, что если переход к стационарному состоянию из области I сопровождается одновременным увеличением уровней вооруженности, то из области III - их одновременным снижением; для областей II и IV иная ситуация - одна из сторон наращивает свое вооружение, в то время как другая разоружается.

Возможны и другие случаи (рис. 2.23).

Рис. 2.23. другие случаи

Интересно отметить, что возможности построенной модели проверялись на реальной ситуации - гонке вооружений перед первой мировой войной. Проведенные исследования показали, что, несмотря на свою простоту, эта модель достаточно достоверно описывает положение дел в Европе в 1909-1913 гг.

В завершение этого раздела процитируем высказывание Т. Саати об этой модели: "Модель представляется гораздо более убедительной, если вместо вооружений провести на ней изучение проблем угрозы, поскольку люди реагируют на абсолютный уровень враждебности, проявляемый по отношению к ним другими, и испытывают чувство тревоги в степени, пропорциональной уровню враждебности, которую они испытывают сами".

Заключение

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

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

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

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

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

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

Используя поэтапное планирование, динамическое программирование позволяет не только упростить решение задач, но и решать те к которым нельзя применить методы математического анализа. Конечно, стоит отметить, что этот метод достаточно трудоёмкий при решении задач с большом количеством переменных.

Список используемой литературы

1.Акулич И.Л. Математическое программирование в примерах и задачах: Учеб. пособ. - М.: Высшая школа, 2009 г.

.Бережная Е.В., Бережной В.И. Математические методы моделирования. - М.: Дело и Сервис, 2009 г

.Интрилигатор М. Математические методы оптимизации и экономическая теория. - М.: Айрис-Пресс, 2008 г.

.Курбатов В.И., Угольницкий Г.А. Математические методы социальных технологий. - М.: Вузовская книга, 2011 г.

.Монахов А.В. Математические методы анализа экономики. - СПб.: Питер, 2007 г.

.Орлова И.В., Половников В.А. Экономико-Математические методы и модели. - М.: Вузовский учебник, 2008 г.

.Попов И.И., Партыка Т.Л. Математические методы. - М.: ИНФРА-М, 2007 г.

.Попова Н.В. Математические методы. - М.: Анкил, 2007 г.

Репетиторство

Нужна помощь по изучению какой-либы темы?

Наши специалисты проконсультируют или окажут репетиторские услуги по интересующей вас тематике.
Отправь заявку с указанием темы прямо сейчас, чтобы узнать о возможности получения консультации.

ЕСТЕСТВЕННЫЕ И ТЕХНИЧЕСКИЕ НАУКИ

УДК 519.673: 004.9

ИНТЕРПРЕТАЦИЯ КОНЦЕПТУАЛЬНОЙ МОДЕЛИ ПРОСТРАНСТВЕННОГО ДИНАМИЧЕСКОГО ОБЪЕКТА В КЛАССЕ ФОРМАЛЬНЫХ СИСТЕМ*

А.Я. Фридман

Институт информатики и математического моделирования КНЦ РАН

Аннотация

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

Ключевые слова:

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

Введение

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

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

Представленная в данной работе ситуационная система моделирования (ССМ) на основе древовидной ситуационной концептуальной модели (СКМ) есть один из вариантов

* Работа частично поддержана грантами РФФИ (проекты № 13-07-00318-а, № 14-07-00256-а,

№ 14-07-00257-а, № 14-07-00205-а, № 15-07-04760-а, № 15-07-02757-а).

реализации технологий типа CASE (Computer Aided Software Engineering) и RAD (Rapid Application Development).

Семиотические формальные системы

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

Стремление устранить недостатки формальных систем при их использовании в искусственном интеллекте привело к появлению семиотических систем, формализуемых восьмеркой :

S::= (В, F, A, R, Q(B), Q(F), Q(A), Q(R)). (1)

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

Основы ситуационного моделирования

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

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

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

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

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

Атрибуты, описывающие тип отношения иерархии , конкретизируют представление объектов модели на следующем, нижнем уровне иерархии. Тип отношения «композиция» (&) определяет, что объект строится агрегацией его подобъектов. Тип «классификация» (v) указывает, что объект верхнего уровня есть обобщение группы объектов нижнего уровня. Отношение типа «классификация» в СКМ используется для представления различных вариантов элемента верхнего уровня. Тип «итерация» (*) позволяет определять в СКМ итеративные процессы и описывать регулярные структуры данных.

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

Формальное представление СКМ дает возможность существенно автоматизировать анализ корректности структуры и разрешимости СКМ .

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

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

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

Формальное описание СКМ

СКМ базируется на представлении объекта моделирования в виде древовидного И-ИЛИ графа, отображающего иерархическую декомпозицию структурных элементов СДО в соответствии с их организационными связями.

Чтобы избежать вычислительных проблем, связанных с малыми изменениями данных, и обеспечить поддержку совместной расчетно-логической обработки данных, в СКМ выходными данными процедур обработки (исключение составляют данные, вычисляемые ГИС) могут быть только данные с дискретным конечным множеством значений (типа списков). Если значения некоторого данного есть строковые константы, то такое данное называется параметром (категория PAR), а имеющее числовые значения именуется переменной (категория VAR), и над ним можно выполнять определенные математические операции. Если результат вычислений представляет собой значение переменной, он округляется до ближайшего значения из списка допустимых значений. В дальнейшем, если сказанное относится к данным любого разрешенного в СКМ типа, употребляется термин «данное». Таким образом, множество имен данных делится на множества имен переменных и параметров:

D::=< Var, Par >, Var::= {var }, i = 1, N ;

7 7 к l 7 v 7 (2)

Par::={parj}, j = 1, Np, где Nv и Np - мощности этих множеств.

Данные моделируют ресурсы (количественные характеристики) объектов или процессов (категория RES), переменные могут также использоваться как настроечные параметры функций (критериев) качества функционирования элементов СКМ (категория ADJ). Соответственно, множество имен переменных делится на подмножество имен ресурсов элементов СКМ и подмножество имен настроечных параметров критериев качества этих элементов:

Var::=< Res, Adj > (3)

Отдельную категорию (категорию GIS) составляют графические характеристики объектов СКМ, непосредственно вычисляемые в ГИС. Все они относятся к переменным, но не рассматриваются как списки, так как используются только как входные ресурсы элементов модели и не меняются в ходе имитации.

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

О = {а 0Уа}::=2°а, (4)

где а = 1, Nl - номер уровня дерева объектов, к которому относится данный объект (L - общее количество уровней декомпозиции);

вб = 1, Nб - порядковый номер объекта на его уровне декомпозиции;

г = 1, N6_ - порядковый номер суперобъекта, доминирующего заданный элемент на вышележащем уровне;

Об - множество объектов, принадлежащих уровню с номером а.

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

Для обеспечения связности СКМ принимается, что существует единственный суперобъект, доминирующий все объекты первого уровня декомпозиции, то есть справедливо соотношение:

O. -i0.”} 0, = (5)

Процессы в СКМ отображают преобразования данных и реализуются различными способами в зависимости от присвоенной процессу одной из трех следующих категорий: внутренние процессы (категория INNER), все их входные и выходные данные относятся к одному объекту; внутриуровневые процессы (категория INTRA), связывающие объекты СКМ, не подчиняющиеся друг другу; межуровневые процессы (категория INTER), описывающие передачу данных между объектом и подобъектами или между объектом и суперобъектом. Введенное категорирование процессов несколько усложняет процесс создания СКМ (в некоторых случаях может потребоваться создавать фиктивные процессы, обеспечивающие такую типизацию), но позволяет сделать процедуры формального контроля СКМ значительно более полными и детальными.

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

Схема концептуальной модели образуется кортежем:

^ССМ::=<о,P,DCM,H,OP,PO,U >, (6)

где O - множество объектов КМПО (9);

P::= {pn I n = 1, Np - множество процессов КМПО;

DCM с D - множество данных концептуальной модели, где D определено в (4), (5);

H - отношение иерархии объектов, которое с учетом (4) и (5) примет вид:

где Hб с O6х B,(O6) - отношения иерархии для каждого из уровней дерева объектов, причем b"(o6) есть разбиение множества Оа;

OP с O х B (P) - отношение «объект - порождающие его выходные данные процессы», причем B (P) есть разбиение множества P;

PO с P х B(О) - отношение «процесс - создающие его входные данные объекты»;

U::= Up иU0 - отношение, формализующее управление процессом вычислений на основе СКМ, имеет составляющие следующего вида:

U с P х B(Res) - отношение «процесс - управляющее данное»;

Uo с О х B(Res) - отношение «объект - управляющее данное».

Отношение «объект (процесс) - управляющее данное» ставит в соответствие некоторому объекту (процессу) модели данное, которое доопределяет этот объект при переходе к алгоритмической интерпретации. Передача данных между объектами осуществляется только через списки входных и выходных данных этих объектов, что согласуется с принципами инкапсуляции данных, принятыми в современном объектно-ориентированном программировании. Все процессы, приписанные к одному объекту, описываются отношением OA с О х B(P) «объект - приписанные к нему процессы». Это отношение не входит в схему

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

СКМ, поскольку, в отличие от отношений Н, ОР и РО, не задается пользователем при конструировании модели, а формируется автоматически.

Отношения, определенные в модели, удобно представлять в форме функций (7), частично определенных на множествах О и Р, с областями значений В(Р), B(O) или В"(Об). Названия

функций обозначены строчными символами, соответствующими прописным символам в названиях отношений:

h:°б_1 ^B"(Oa),(Vo;. е06,Vo! е°б_Hoj = hб(o))оojHbог); op . O ^ B(p^ (Vo е O, Vp е р)({р; = opio)) «■ o,Opp]);

Po.p ^ b(0), (vo е O, VP] е p)((o = po(P])) « P]OPot);

oa: O ^ B(P),(VOi е O, Vp} е P)((p} = oa(ot))otOAp});

: p ^ B(Res\(vPi е p, Vres] е Res)((res] = up (pi)) ptUpres]);

: O ^ B(Res), (Vo1 е O, VreSj е Res){(resj = uo (o1)) o1Uo resj).

Множества значений функций (7), формирующие сечения областей значений введенных отношений по некоторому элементу областей их определения, обозначаются жирным шрифтом:

h6 (oi)::= \Р] : o] = ha(oi)}; oP(oi) ::= \Р] : Р] = oP(oi)};

ро(Р]) ::= {o: oi = po(p])}; oci(pi) ::= ^ . p} = oa(oi)}; (8)

up (Pi) ::= \res]: res] = up (Pi)}; uo (o) ::= \res]: res] = uo (o)}.

Аналогично (8) записываются сечения введенных отношений по подмножествам их областей определения, строящихся как объединения всех сечений по элементам этих подмножеств. Например, h (Oi), где Oi с O6_х, есть множество объектов уровня а, доминируемых данным подмножеством объектов oj е O t, которые находятся на уровне а - 1.

Ниже также используется множество подчиненности объекта oi h ’(oi)::= U h(oi).

Разработанные алгоритмы присвоения категорий элементам СКМ используют вышеописанные отношения и выявляют все возможные ошибки категоризирования элементов модели . Процедуры контроля правильности назначений исполнителей элементов СКМ используют следующие ограничения (доказательства даны в ).

Теорема 1. В конечной СКМ не может иметь места рекурсивная декомпозиция типов исполнителей объектов, то есть ни один объект, входящий во множество подчиненности некоторого объекта, не может иметь исполнителя того же типа, что и исходный объект.

Теорема 2. В конечной СКМ не может иметь места инверсия подчиненности исполнителей объектов, то есть ни один объект, входящий во множество подчиненности некоторого объекта с исполнителем типа е1, не может иметь исполнителя того же типа, что и любой другой объект, во множестве подчиненности которого содержится какой-либо объект с исполнителем типа е1.

Принципы контроля разрешимости СКМ

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

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

При анализе обоих аспектов разрешимости концептуальная модель рассматривается как формальная система. В ее алфавит входят:

символы, обозначающие элементы модели (pi, on, resj, ...);

функциональные символы, описывающие отношения и связи между элементами модели (ha, ор,...);

специальные и синтаксические символы (=, (,), ^,...).

Множество формул в рассматриваемой формальной системе образуют: собственно символы, обозначающие элементы КМПО:

{Pi е P} u {Oj eO] u {resk e DCM}; (9)

выражения (7), (8) и другие формулы для вычисления функций и множеств, определяемых с помощью отношений, которые введены над множествами (5);

выражения вычислимости для каждого процесса концептуальной модели:

list_in(pi) \ list out(pi), Up(pi) [, sp)] ^ p„ list_out(p,), (10)

где в силу принятого в ССМ предположения об автономности структуры каждого объекта во множество s(p) процессов, предшествующих pi, могут входить только процессы, приписанные к тому же объекту:

s(pi) с оа(оа"1(р1)); (11)

выражения вычислимости для каждого объекта концептуальной модели: list_in(oi), up(Oj), оа(о,), h(o,) ^ oi, list_out(oi); (12)

выражения вычислимости входных данных каждого объекта концептуальной модели, получающего материальные ресурсы от других объектов (ог: oo(o) Ф 0):

00(0,) ^ list_in(oi). (13)

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

Дополнительного обоснования требует первая предпосылка предложения (10). Как известно, при наличии циклов по ресурсам в предметной области могут появляться данные, которые при построении концептуальной модели должны декларироваться как входные и выходные для некоторого процесса КМПО одновременно. По принятому в ССМ предположению такие циклы вносятся внутрь объектов КМПО, то есть должны учитываться при анализе разрешимости на уровне процессов.

Если при анализе разрешимости СКМ использовать выражение вычислимости, предложенное в и принимающее для СКМ вид:

list_in(p,) & up(p,) [& s(p,)] ^ p, & list_out(p,), (14)

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

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

Теорема 3. Ресурс, одновременно входной и выходной для одного и того же процесса СКМ и не являющийся выходным ни для одного из предшествующих ему процессов, связанных с указанным процессом отношением порождения процессов (13), можно исключить из левой части предложения вычислимости без нарушения корректности анализа разрешимости модели.

Во множество аксиом рассматриваемой формальной системы входят:

аксиомы вычислимости всех ресурсов, относящихся к внешним данным (имеющим исполнителей типа DB, GISE или GEN)

|- resj: (ter(resj) = DB) v (ter(resj) = GISE) v (tS[(resJ) = GEN); (15)

аксиомы вычислимости всех ГИС-элементов СКМ (типы которых начинаются символами dot, pol или arc)

|- 0J: <х> dot) v (to(o/) Ю pol) V (to(oj) Ю arcX (16)

где символом условно обозначено вхождение стандартных ГИС-типов в функциональный тип объекта.

В рассматриваемой формальной системе заданы два правила вывода:

правило непосредственного следования -

Fi, Fi ^ F2 |- F2; (17)

правило следования с равенством -

Fi, Fi = F2, F2 ^ F3 |- F3, (18)

где F, - некоторые формулы из (9)-(13).

Структура описанной формальной системы аналогична структуре системы, предложенной в . Существенное отличие - вид выражений вычислимости (10), (12), (13) и состав аксиом, на основе которых проводится анализ разрешимости концептуальной модели.

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

Определение 1. СКМ разрешима тогда и только тогда, когда для каждого элемента модели, не входящего во множество аксиом, применение выражений вычислимости вида (10), (12), (13) к аксиомам и уже доказанным формулам (множеству теорем T) позволяет построить вывод с применением правил (17), (18) из множества аксиом (A) формальной системы (9)-(13).

При анализе разрешимости, который, согласно определению 1, представляет собой разновидность методов автоматического доказательства теорем, используется понятие «механизм вывода», в данном случае оно понимается как способ, алгоритм применения правил вывода (17), (18), обеспечивающий эффективное доказательство всей требуемой совокупности формул из множества T теорем (то есть синтаксически правильно построенных формул) рассматриваемой формальной системы. Наиболее простой способ организации вывода -«потоковый» механизм, при котором множество считающихся доказанными формул A", вначале равное множеству аксиом (A1 = A), расширяется в результате применения правил вывода . Если по истечении некоторого времени T с A", то модель разрешима, если это неверно и не удается применить ни одно из правил, то СКМ неразрешима.

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

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

Этап I. Применяется правило (17) для получения всех возможных следствий из формул и аксиом.

Этап II. Применяются правила (17), (18) для получения всех возможных следствий из аксиом и полученных на предыдущем этапе доказательства формул.

Этап III. Применяется правило (13) для расширения списка считающихся вычислимыми объектов.

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

Обработка ситуаций

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

Наличие процедур обобщения, основанных на структуре отношений между элементами ситуаций;

Возможность работы с именами отдельных понятий и ситуаций;

Необходимость согласования классификации ситуаций по некоторому основанию с классификацией на множестве воздействий (управлений).

Для реализации перечисленных принципов классификации и обобщения ситуаций в ССМ предусмотрен ряд программных средств:

Аппарат синтеза и анализа типов ситуаций, в частности, оптимальных достаточных ситуаций, ориентированный на решение вопросов координации и согласования управляющих воздействий на различных уровнях СКМ;

Инструментальные средства порождения и проверки гипотез о сравнительных характеристиках достаточных ситуаций в рамках вероятностной интерпретации этих гипотез с учетом влияния инструментальных погрешностей исходных данных на результаты моделирования;

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

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

уникальный тип достаточной ситуации, дополненный порядковым номером ее класса и ее номером в этом классе. В отличие от лексикографического порядка, который используется при генерации типов исполнителей объектов, здесь типы объектов, входящих в ситуацию, упорядочиваются по их положению в дереве объектов (4). Порядковый номер класса определяется номером ресурса, доминирующего в этом классе, согласно списку выходных ресурсов ОПР, а порядковый номер ситуации в пределах класса задается ее предпочтительностью . Оптимальная достаточная ситуация данного класса получает номер 1. Абсолютной шкалой классификации ситуаций естественно считать их классификацию по глобальному критерию качества, то есть по принадлежности к тому или иному классу ситуаций, обеспечивающих доминирование одного из выходных параметров глобального объекта СКМ по обобщенным затратам , которые рассчитаны по критерию качества ОПР этой достаточной ситуации. Первым ключом при построении типа ситуации выбран ее порядковый номер в пределах класса, затем идет номер ОПР, затем - индексы типов списка листьевых объектов, а в конце - номер класса. Описанный порядок индексации использован для удобства формирования запросов типа: «Найти среди оптимальных достаточных ситуаций некоторого заданного уровня ситуацию, составляющую подграф такой-то глобальной оптимальной ситуации», которые типичны при решении задач координации управлений на различных уровнях принятия решений.

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

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

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

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

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

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

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

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

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Интерпретация концептуальной модели...

Временная функция ИНТЕРВАЛ поддерживает выборку ретроспективных данных за некоторый промежуток времени, ее синтаксис таков:

в_течение (<условие>,<начало>,<конец>,<доля>), (19)

где <условие> может иметь вид:

<имя> <знак> <подсписок_значений (n)>, (20)

оно определяет контролируемую характеристику элемента массива;

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

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

Если введено нулевое значение параметра <начало>, проводится анализ всей имеющейся информации до момента времени <конец>. Аналогично, при нулевом значении параметра <конец>, анализируются данные от момента <начало> до текущего момента времени. При совпадении величин <начало> и <конец> рассматривается только один момент времени в прошлом.

Следующая функция позволяет провести временную привязку хранимых данных

к заданному в запросе моменту времени:

момент (<условие>,<время>,<доля>), (21)

где <условие> и <доля> формируются аналогично функции (19), а <время> - фиксированный момент времени, для которого производится операция.

Пространственные функции записываются в форме:

соседние (<условие>,<доля>) (22)

сходные (<условие>,<доля>,<параметры_сходства>). (23)

Параметры <условие> и <доля> задаются как в функциях (19), (21); различие между видами пространственных функций заключается в критерии отбора элементов для совместного анализа: в функции (22) анализируются элементы, примыкающие к текущему геометрически, в функции (23) отбираются элементы, имеющие одинаковые с текущим элементом значения <параметров_сходства>, выбираемых из списка имен существующих параметров и переменных. Например, в приложении ССМ к задаче прогнозирования горных ударов <параметр_сходства> имел имя «разлом» и использовался для совместного анализа характеристик элементов объекта, принадлежащих к тектоническому разлому.

Функция БЛИЖАИШИИ предназначена для определения объекта, имеющего наиболее близкие пространственные координаты к заданным. Функция возвращает утвердительный ответ, если координаты объекта попадают в заданную окрестность. Функция имеет следующий вид:

ближайший (<условие>,<координаты>,<допуск>), (24)

где параметр <условие> имеет уже описанный смысл, параметр <координаты> описывает пространственные характеристики точки привязки, параметр <допуск> задает допустимое удаление по пространственным координатам от указанной точки.

ПВФ можно использовать только в частях ЕСЛИ правил и управляющих формул ЭС. Так как все ПВФ имеют выход логического типа, допускается однократная вложенность различных ПВФ друг в друга, то есть запросы вида

соседние (сходные (<условие>,<доля1>,<параметры_сходства>),<доля2>). (25)

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

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

А.Я. Фридман

позволяют путем комбинирования ПВФ оценивать совместно пространственные и временные характеристики исследуемого объекта.

Описанные выше ПВФ обеспечивают анализ достаточно широкого класса

пространственно-временны"х соотношений между характеристиками элементов объекта экспертизы, однако в зависимости от специфики предметной области возможна разработка и других ПВФ.

В отличие от правил, генерируемых при обобщении ситуаций по их типам, правила обобщения рассматриваемой здесь группы относятся не к ситуации в целом, а к отдельным объектам, процессам или даже ресурсам СКМ. В слоты ПВФ <условие>

и <параметры_сходства> можно включать логические условия и различные характеристики элементов СКМ, в том числе типы и категории этих элементов. В ССМ не предусмотрено автоматических процедур генерации подобных правил, они конструируются пользователем, и вероятности в них пересчитываются в ходе классификации аналогично изложенному выше.

Заключение

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

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

ЛИТЕРАТУРА

1. Кузьмин И.А., Путилов В.А., Фильчаков В.В. Распределенная обработка информации в научных исследованиях. Л.: Наука, 1991. 304 с. 2. Цикритзис Д., Лоховски Ф. Модели данных. М.: Финансы и статистика, 1985. 420 с. 3. Самарский А.А. Введение в численные методы. М.: Наука, 1987. 288 с. 4. Бржезовский А.В., Фильчаков В.В. Концептуальный анализ вычислительных систем. СПб.: ЛИАП, 1991. 78 с. 5. Фридман А.Я. Ситуационное управление структурой промышленно-природных систем. Методы и модели. Saarbrucken, Germany: LAP LAMBERT Academic Publishing, 2015. 530 с. 6. Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986. 288 с. 7. Митчел Э. Руководство ESRI по ГИС-анализу. 1999. Т. 1. 190 с.

8. Концептуальное моделирование информационных систем / под ред. В.В. Фильчакова. СПб.: СПВУРЭ ПВО, 1998. 356 c. 9. Автоматическое порождение гипотез в интеллектуальных системах / сост. Е.С. Панкратова, В.К. Финн. М.: ЛИБРОКОМ, 2009. 528 с. 10. Darwiche A. Modeling and Reasoning with Bayesian Networks. Cambridge University Press, 2009. 526 p.

Фридман Александр Яковлевич - д.т.н., профессор, ведущий научный сотрудник Института информатики и математического моделирования КНЦ РАН; e-mail: fridman@iimm. kolasc.net.ru

ВЕСТНИК Кольского научного центра РАН 4/2015(23)

Модель называется статической, когда входные и выходные воздействия постоянны во времени. Статическая модель описывает установившийся режим.

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

Исследование динамических свойств объектов позволяет в соответствии с фундаментальным принципом определенности Гюйгенса-Адамара ответить на вопрос: как изменяется состояние объекта при известных воздействиях на него и заданном начальном состоянии.

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

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

Динамическая модель часто описывается дифференциальным уравнением

Уравнение связывает неизвестную переменную Y и ее производные с независимой переменной t и заданной функцией времени Х(t) и ее производными.

Динамическая система может функционировать в непрерывном или дискретном, квантованном на равные интервалы, времени. В первом случае система описывается дифференциальным уравнением, а во втором случае – конечно-разностным уравнением.

Если множества входных, выходных переменных и моментов времени конечны, то система описывается конечным автоматом.

Конечный автомат характеризуется конечным множеством состояний входа ; конечным множеством состояний ; конечным множеством внутренних состояний ; функцией переходов T(x, q) , определяющих порядок смены внутренних состояний; функцией выходов P(x, q) задающей состояние выхода в зависимости от состояния входа и внутреннего состояния.

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

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

Различают детерминированные и стохастические (вероятностные ) модели. Детерминированный оператор позволяет однозначно определить выходные переменные по известным входным переменным.

Детерминированность модели означает лишь неслучайность преобразования входных переменных , которые сами по себе могут быть как детерминированными, так и случайными.

Стохастический оператор позволяет определить по заданному распределению вероятностей входных переменных и параметров системы распределение вероятностей входных переменных.

С точки зрения входных и выходных переменных модели классифицируют следующим образом:

1. Входные переменные подразделяют на управляемые и неуправляемые . Первые могут изменяться по усмотрению исследователя и используются объектом. Вторые непригодны для управления.

2. В зависимости от размерности векторов входных и выходных переменных различают одномерные и многомерные модели. Под одномерной моделью будем понимать такую модель, у которой входная и выходная переменные являются одновременно скалярными величинами. Многомерной называют модель, у которой векторы x (t ) и y (t ) имеют размерность n ³ 2.

3. Модели, у которых входныеи выходные переменные являются непрерывными по времени и по величине, называют непрерывными . Модели, у которых входные и выходные переменные дискретны или по времени, или по величине, называют дискретными .

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

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

1.5. Концепция построения системной модели сложных объектов

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

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

Будем обозначать элементы через М , а всю их рассматриваемую (возможную) совокупность – через {М} . Принадлежность элемента к совокупности принято записывать .

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

Единичным актом связи выступает воздействие . Обозначая все воздействия элемента M 1 на элемент M 2 через x 12 , а элемента М 2 на М 1 – через x 21 , можно изобразить связь графически (рис. 1.6).

Рис. 1.6. Связь двух элементов

Системой назовем совокупность элементов, обладающую следующими признаками:

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

б) свойством (назначением, функцией), отличным от свойств отдельных элементов совокупности.

Назовем признак а) связностью системы, б) – ее функцией. Применяя так называемое “кортежное” (т. е. последовательность в виде перечисления) определение системы, можно записать

где Σ– система; {М } – совокупность элементов в ней; {x } – совокупность связей; F – функция (новое свойство) системы.

Будем рассматривать запись как наиболее простое описание системы.

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

Большой системой назовем систему, включающую значительное число однотипных элементов и однотипных связей.

Сложной системой назовем систему, состоящую из элементов разных типов и обладающую разнородными связями между ними.

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

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

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

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

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

где M T – технические средства, в первую очередь ЭВМ; M H – решения и другая активность человека; М" – остальные элементы в системе.

В совокупности {х }вэтом случае могут быть выделены связи между человеком и техникой {x T - H }.

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

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

Для символьной записи структуры введем вместо совокупности элементов {М },совокупность групп элементов {М* }и совокупность связей между этими группами {x* }.Тогда структура системы может быть записана как

Структуру можно получить из объединением элементов в группы. Отметим, что функция (назначение) F системы в опущена.

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

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

1.6. Основные этапы инженерного эксперимента, направленного на изучение сложных объектов

Дадим характеристику основных этапов инженерного эксперимента, направленного на изучение сложных объектов.

1. Построение физической основы модели.

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

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

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

2. Проверка статистической устойчивости результатов наблюдений и определение характера изменения контролируемых переменных.

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

3. Формирование и проверка гипотез о структуре и параметрах “движения” исследуемого объекта.

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

4. Прогнозирование выходных переменных выполняется с учетом вклада детерминированных и статистических составляющих в конечный результат.

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

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

Задачи синтеза структуры сложных систем только в простейших случаях могут быть решены аналитически. Поэтому возникает потребность в имитационном моделировании (ИМ) элементов проектируемой системы.

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

Для составления ИМ необходимо:

– выделить в объекте моделирования простейшие элементы, для которых известен способ расчета выходных переменных;

– составить уравнения связи, описывающие порядок соединения элементов в объекте;

– составить структурную схему объекта;

– выбрать средства автоматизации моделирования;

– разработать программу ИМ;

– провести вычислительные эксперименты с целью оценки адекватности ИМ, устойчивости результатов имитации и чувствительности ИМ к изменениям управляющих и возмущающих воздействий;

– решить с использованием модели задачу синтеза системы управления.

В предыдущей главе мы рассматривали модели, которые явля­ются статическим отражением систем в определенные моменты времени. В этом смысле рассмотренные варианты модели «черного ящика», модели состава и структурной модели называют статиче­скими моделями, что подчеркивает их неподвижность.

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

2.4.1. Динамическая модель «черного ящика»

При математическом моделировании динамической системы ее конкретная реализация описывается в виде соответствия между возможными значениями некоторой интегральной характеристики системы с и моментами времени t. Если обозначить через С - множество возможных значений с, а через Т - упорядоченное множество моментов времени t, то построение модели динамиче­ской системы равносильно построению отображения

Г->С:с(t)ϵСͭͭ,

где Сͭ - значение интегральной характеристики в точке t ϵ .

В динамической модели «черного ящика» предполагается раз­биение входного потока х на две составляющие: и - управляемые входы, y - неуправляемые входы (рис 2.9).

Таким образом, она выражается совокупностью двух процессов:

Хͭ = {u(t), y(t)}; u(t)eU; y(f)eK;

Рис. 2.9. Динамическая модель «черного ящика»

предполагается, что это преобразование неизвестно.

Из данного типа моделей в наибольшей мере изучены так назы­ваемые безынерционные системы. Они не учитывают фактора време­ни и работают по схеме «если-то». Например: если воду нагреть до

100° С, то она закипит. Или: если вы правильно авторизовали свою кредитную карту, то банкомат вам сразу выдаст затребованную сумму денег. То есть следствие вступает в силу сразу за причиной.

Определение 1. Динамическая система называется безынерцион­ной, если она мгновенно преобразует вход в выход, т.е. если y(t)

является функцией только х(t) в тот же момент времени.

Поиск неизвестной функции у(/) = Ф(х(t)) осуществляется по­средством наблюдения входов и выходов исследуемой системы. По существу, эта задача о переходе от модели «черного ящика» к моде­ли «белого ящика» по наблюдениям входов и выходов при наличии информации о безынерционности системы.

Однако класс безынерционных систем весьма узок. В экономи­ке такие системы очень большая редкость. Разве только отдельные биржевые операции с некоторой натяжкой можно причислить к классу безинерционных.

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

Например, если в фирме отдел сбыта пустит на самотек пред­продажное обслуживание и сконцентрирует все свои силы на про­дажах, пострадает отдел гарантийного обслуживания. Но это про­явится не сразу, а спустя определенное время. На лицо проявление следствия «не там и не в то время». Или: для изменения покупа­тельских пристрастий может потребоваться несколько недель рек­ламной кампании, и не обязательно ощутимые перемены начнутся сразу же после ее окончания.

Обратная связь действует по цепочке причинно-следственных связей, образующих замкнутый контур, и требуется время, чтобы его обойти. Чем большей динамической сложностью обладает сис­тема, тем больше нужно времени на то, чтобы сигнал обратной свя­зи пробежал по ее структуре (сети взаимосвязей). Достаточно одной задержки, чтобы обеспечить сильное запаздывание сигнала.

Определение 2. Время, необходимое для того, чтобы сигнал об­ратной связи прошел по всем звеньям системы и вернулся в исход­ную точку, называется памятью системы.

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

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

Рис. 2.11. Колебание рынка товара

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

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

В облике динамической модели «черного ящика», по существу, ничего не изменится, кроме того, что момент появления выхода у потребуется скорректировать на время задержки ∆, т.е. выход сис­темы примет вид y(t + ∆) (см. рис. 2.10). Однако основная труд­ность моделирования в том и заключается, чтобы определить вели­чину Д и место, в котором появится у. Наилучшим образом это удается в рамках построения так называемых лаговых моделей, кото­рые изучает математическая статистика.

2.4.2. Динамическая модель состава

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

Исследованием функционирования экономических систем заня­ты специалисты в области экономического анализа. Исходную базу для этого исследования составляют данные бухгалтерского учета, статистической отчетности и статистических наблюдений. В боль­шинстве случаев задача экономического анализа решается аналити­ческими методами бухгалтерского учета или сводится к построению и реализации корреляционно-регрессионных моделей. Богатейший инструментарий экономического анализа изучается в рамках ряда дисциплин цикла «Бухгалтерский учет и статистика».

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

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

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

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

Наиболее наглядно состояние системы определяется через сте­пени свободы. Это понятие введено в механике и означает число независимых координат, однозначно описывающих положение сис­темы. Так, твердое тело в механике есть система с шестью степеня­ми свободы: три линейные координаты фиксируют положение цен­тра масс, а три угловые - положение тела относительно центра масс.

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

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

Рис. 2.12. Траектория развития системы

Тогда состояние системы в момент времени ts описывается вектором Cs = (C1s,C2s,C3s). Аналогично описываются ее началь­ное Сн и конечное Ск состояния, а изменения в системе отобра­жаются некоторой кривой - траекторией развития. Каждая точка этой кривой фиксирует состояние системы в определенный момент времени. Тогда движение системы эквивалентно перемещению точ­ки по траектории С2.

Экстраполируя это описание на случай и независимых коорди­нат и помня, что каждая координата (параметр) зависит от времени t, развитие системы можно описать совокупностью функций с1= с1(t), с2=с2(t) ,..., сn =сn(t), или вектором (с1(t), с2 (t),...,сn =сn(t)), принадлежащим пространству состояний С.

Таким образом, динамическая модель состава системы это не что иное, как упорядоченная последовательность ее состояний, по­следнее из которых эквивалентно цели системы, т.е.

Сн =С0 ->СJ ->Ct ->...->СT=Ск,

где Сн - начальное;

Ск - конечное;

С, = (c1 (t), c2 (t),..., сn (t)), t ϵ - текущее состояние системы.

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

2.4.3. Динамическая структурная модель

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

Как и в случае статической структурной модели, динамическая структурная модель представляет собой симбиоз динамической мо­дели «черного ящика» и динамической модели состава. Другими словами, динамическая структурная модель должна увязать в еди­ное целое вход в систему X = {х(t)} = {u(t),v(t)}, u(t)ϵu, v(t)ϵV, промежуточные состояния

Ct = , t ϵ, и выход y={y(t)},

где, U - множество управляемых входов u(t);

U - множество неуправляемых входов v(t);

X = U U X - множество всех входов в систему;

Т - горизонт моделирования системы;

С, - промежуточное состояние системы в момент време­ни t ϵ .

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

Сt (t = 0,1, 2, ..., Т) или одной неопределенной функцией Ct = Ф(t, хt), в результате моделирования получают либо динамическую струк­турную модель сетевого типа, либо динамическую структурную мо­дель аналитического типа.

Сетевые динамические модели. В динамической структурной мо­дели сетевого типа для каждой пары соседних состояний системы Сt-1 и Сt (t ϵ ) задается управляющее воздействие u(t), которое переводит систему из состояния Ct-l в состояние Ct. При этом оче­видно, что u(t) на каждом шаге траектории может принимать зна­чения из некоторого множества допустимых управляющих воздей­ствий на этом шаге

Ut: u(t)ϵUt. (2.1)

Таким образом, промежуточное состояние системы в некоторой точке t траектории ее развития записывается следующим образом

Сt=F(Ct-i,u(t)), t ϵ.

Обозначим через Ct множество всех состояний системы, в ко­торое можно ее перевести из начального состояния C0=CH за t ша­гов, используя управляющие воздействия u(t) ϵ Ut (t = 0,1, 2,..., t). Множество достижимости Сt определяется с помощью следующих рекуррентных соотношений:

Сt = {Ct: Сt = ƒ(Сt-1, и(t); и(t ϵUt; t = 0,1, 2,...,t}.

В задании на дальнейшее развитие или первоначальную разра­ботку системы указывается перечень допустимых ее конечных со­стояний, которые должны принадлежать некоторой области

СtϵС-Т. (2.2)

Управление U =(u(1), u(2),..., u{t),..., и(Т)) , состоящее из пошаговых управляющих воздействий, будет допустимым, если оно переводит систему из начального состояния Сн = С0 в конечное состояние Ск =СT , удовлетворяющее условию (2.2).

Выведем условия допустимости управления. Для этого рассмотрим последний Т-й шаг. В силу ограниченности множества UT перевести систему в состояние СT ϵ СT можно не из любого состоя­ния CT-1, а лишь из-T-1,Ст-1 G с,

Где, С - множество, удовлетворяющее условию

VCT=1 ϵ C-T-1зu(T)ϵUT: су =/(СУ-1, и(Т))&ст.

Иными словами, чтобы иметь возможность после Т-то шага-г управления выйти в область допустимых состояний С, необходимо-г-1 после (Г - 1) шагов находиться в области С.

Аналогичные множества допустимых состояний с" формируют­ся для всех остальных шагов t = 1, Т - 1.

Для достижения цели построения (развития) системы необхо­димо выполнение условий

С"ПС"*0, / = 1,Т. (2.3)

В противном случае цель системы не может быть достигнута. Для преодоления этого препятствия потребуется либо изменить-T цель системы, изменив тем самым С, либо расширить область возможных управляющих воздействий ut = 1,Т (в первую очередь на тех шагах траектории системы, на которых не выполняется усло­вие 2.3).

Пусть в результате преодоления (t -1) шагов система перешла в состояние Ct-1. Тогда множество допустимых управляющих воздей­ствий на t-м шаге определяется следующим образом:

U(t) = {u(t): Сt =ƒ(Сt-1, u(t) ϵс-t}. (2.4)

Объединяя (2.1) и (2.4), можно записать условия управляемого целенаправленного развития системы:

U(t)ϵ(t)nU(f) = 1д. (2.5)

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

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

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

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

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

Контрольные вопросы

1. Приведите несколько определений системы и содержательную характеристику каждого из них.

2. В чем заключается разница между философской категорией и естественно-научным понятием?

3. Перечислите и проинтерпретируйте основные свойства системы.

4. Что такое эмерджентность системы?

5. Как соотносятся понятия «целостность» и «эмерджентность»?

6. В чем заключается сущность редукционизма? Чем он отличается от системного подхода?

7. В чем заключается разница между внешними и внутренними связями системы?

8. Какое свойство лежит в основе деления систем на открытые и закрытые (замкнутые)?

9. Приведите примеры закрытых экономических систем.

10. С помощью чего обеспечивается устойчивость системы?

11. В чем заключаются внутренняя и внешняя цели системы?

12. Как согласуются внутренняя и внешняя стратегии системы?

13. Как установить границы экономической системы?

14. Назовите причину неудовлетворительности прогнозов, получаемых в результате эконометрического моделирования.

15. Охарактеризуйте транзакционную среду экономической системы.

16. За счет чего открытые экономические системы сохраняют свои индивидуальные особенности?

17. Как (в каких шкалах) измеряются эмерджентные свойства сис-тем?

18. Назовите необходимое условие существования эмерджентного свойства системы.

19. В чем заключается сущность свойства целеустремленности. Как это свойство проявляется в экономических системах?

20. Приведите примеры реактивных, ответных, самонастраиваемых и активных экономических систем.

21. В чем заключается сущность свойства иерархичности экономических систем?

22. Эквивалентны ли понятия «уровень иерархии» и «страта»?

23. В чем заключается сущность свойства многомерности экономической системы?

24. Дайте системное определение понятию «компромисс».

25. Приведите практические примеры использования свойства многомерности при исследовании экономических систем.

26. В чем заключается сущность свойства множественности экономической системы?

27. Приведите примеры множественности функций экономической системы.

28. Как проявляется множественность структуры экономической системы?

29. Приведите примеры эквифинальности и мультифинальности экономических систем.

30. Перечислите причины контринтуитивного поведения экономи-ческих систем.

31. Какой классификационный признак положен в основу первич-ной классификации систем?

32. Назовите основные характеристики естественных систем. При-ведите примеры.

33. Назовите основные характеристики искусственных систем. Приведите примеры.

34. В чем заключается специфика социокультурных систем?

35. К какому классу первичных систем относятся экономические системы?

36. В какой мере естественные, технические и гуманитарные науки привлекаются к анализу экономических систем?

37. Разместите факторы в порядке убывания влияния на конфигурацию системы: внешняя среда, внутренние связи системы, связи системы с внешней средой, элементы системы.

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

39. Что представляет собой среда, в которой существуют и функционируют экономические системы?

40. Дайте определение экономической системы.

41. Какие классификационные признаки положены в основу пространственно-временной классификации экономических систем?

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

Динамическая система как математический объект содержит в своем описании следующие механизмы:

• - описание изменения состояний под действием внутренних причин (без вмешательства внешней среды);
• - описание приема входного сигнала и изменения состояния под действием этого сигнала (модель в виде функции перехода);
• - описание формирования выходного сигнала или реакции динамической системы на внутренние и внешние причины изменения состояний (модель в виде функции выхода).

Аргументами входных и выходных сигналов системы могут служить время, пространственные координаты, а также некоторые переменные, используемые в преобразованиях Лапласа, Фурье и других.

В простейшем случае оператор системы преобразует векторную функцию Х(t) в векторную функцию Y(t). Модели подобного типа называются динамическими (временными).

Динамические модели делятся на стационарные, когда структура и свойства оператора W(t) не изменяются со временем, и на нестационарные.

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

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

Динамические модели делятся на модели безынерционных и инерционных (модели с запаздыванием) систем.

Безынерционные модели соответствуют системам, в которых оператор W определяет зависимость выходных величин от входных в один и тот же момент времени - y=W(Х,t).

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

Y=W(Z,хt,хt-1,…,хt-k).

Инерционные модели еще называют моделями с памятью. Оператор преобразований может содержать параметры, которые обычно неизвестны - Y=W(,Z,Х), где ={1,2,…,k} - вектор параметров.

Важнейшим признаком структуры оператора является линейность или нелинейность по отношению к входным сигналам.

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

Математическую модель с использованием линейного оператора можно записать в виде Y=WХ.

Если условие (2.1) не выполняется, модель называется нелинейной.

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

Одномерной моделью называется такая, у которой и входной сигнал, и отклик одновременно являются величинами скалярными.

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