Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Клыков, Ю. И. Ситуационное управление большими системами

.pdf
Скачиваний:
52
Добавлен:
19.10.2023
Размер:
5.47 Mб
Скачать

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

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

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

формализации функционирования

сложной

системы

в

виде дискретной

сети команды

управления

задаются

с

помощью графов

функционирования автоматов сети,

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

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

41

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

t\ соответствует

макроситуации,

которой

принадлежит

микроситуация

s(t1).

В общем

случае

полюсниками

дискретной сети

могут

быть модели принятия решений.

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

Функционирование

дискретной

сети выглядит внешне

как смена ситуации

на сети.

Поскольку состояние ди­

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

Переход

сети

из состояния

s(t) в

состояние

+

определяется

в

этом случае

с помощью подстановок

вида ср — возникающих в результате

обобщения

ситуа­

ций-решений, где q>—фрагмент, удаляемый из ситуации

s(Q, а ар' фрагмент,

включаемый

в s(t)

вместо q>. В ре­

зультате

реализации

подстановки

ф—>-лр образуется си­

туация

s ( ^ + l ) . Последовательность

преобразований,

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

формационную

грамматику.

 

Условием применимости подстановки ср->-ар к ситуа­

ции

s является

либо

совпадение <р> с одним из фрагмен­

тов

ситуации s,

либо

наличие частичного пересечения ср

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

42

Роль элементов <р, i|) подстановки ср-мр играют обоб-; щенные ситуации, формируемые в модели М23. Реализа­ ция подстановок ср—>-i)) осуществляется путем добавления (удаления) вершин или ребер в исходных ситуациях. Операции реализации задаются в виде трансформацион­ ных подстановок, порядок применения которых опреде­ ляется видом различия между левыми и правыми частя- ;

ми

подстановок.

Время т реализации подстановки

имитирует

в соответствующем масштабе длитель­

ность существования отношений в объекте управления,

задаваемых

с помощью подстановки.

 

 

 

 

 

 

 

 

 

 

 

 

•с

 

Например,

время

т — реализации

подстановки

х , г , х г

х , г , х 3 ,

где Х| «судно», х2

— «рейд», л'з «причал», г\

«предмет

 

^ н а х о ­

дится на

предмете

у,

соприкасаясь»,

г2 — «предмет

х

движется

к предмету //», имитирует временной интервал, в течение

которого

стоящее на

рейде судно

перемещается к

причалу. Это

время

опреде­

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

имитация

процесса перемещения

судна по акватории осуществляется

с помощью более мелких подстановок, соответствующих

более

эле­

ментарным

действиям.

Так,

указанная выше, подстановка представ­

ляется

в общем случае

в виде

следующей

последовательности

под­

становок:

 

 

 

 

 

 

 

 

 

 

 

Т 1

 

 

Т 2

 

Я

 

 

 

 

X]гjXg —* Xj r2 Xf,

х^/ jXj

^ х^/'2^31 • • * » ^1Г]Xjt x j т 2 X 3

^ > ,

где xt,

Xj,

... , x,, — понятия,,

обозначающие

промежуточные

пункты

акватории

порта.

 

 

 

 

 

 

 

 

Последовательности

трансформационных

подстано­

вок эквивалентны

путям

в

графах

функционирования

автоматов дискретной

сети. Таким

образом,

имитация

процесса

изменения

состояний объекта управления

 

осу­

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

43

м.

N

Mo

 

 

 

 

Память законов

 

 

 

 

 

функционирования

 

 

Блок

 

 

Управляемый

 

 

рассогласования

 

объект

 

 

 

Рис.

1 -5.

 

 

Ситуация s(l),

пройдя через блок

рассогласования,

отображает­

ся на дискретной

сети модели Mt.

С

помощью корреляционной и

трансформационной

грамматик

модели

М3 осуществляется экстрапо­

ляция ситуации на

дискретной

сети

на

соответствующий

промежуток

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

вует

определенному закону

функционирования управляемого

объек­

та на

заданном интервале

экстраполяции. Закон управления

объек­

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

Управляемый

объект

переводится

из

состояния s(i)

в

состояние

s ( ^ - f l ) ,

определяемое

построенным законом

управления.

 

 

Поскольку в системе имитационных моделей не удается

априор­

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

реального

объекта,

то

управляемый объект

в общем

случае

может

 

перейти

в состояние s'{t+l),

отличное от s(/ + l ) . Если величина

рассогласо­

вания ситуаций не превышает допустимую, определяемую

блоком

рассогласования, то осуществляется перевод объекта в

состояние

s(t+2)

и т. д. Если

на каком-то

шаге

реализации

закона

 

управле­

ния величина рассогласования превысит допустимую, то вырабаты­ вается сигнал коррекции, по которому прекращается процесс управления объектом в выбранном направлении и осуществляется

,формирование нового закона управления.

^При этом текущая ситуация может оказаться нераспознаваемой

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

данную ситуацию

в модель

М3. После

расширения модели М3

систе­

ма имитационных

моделей

оказывается

подготовленной для

работы

в режиме управления.

44

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

Итак:

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

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

Г л а в а в т о р а я

С Е М И О Т И Ч Е С К А Я М И К Р О М О Д Е Л Ь У П Р А В Л Е Н И Я

2-1. ЯЗЫК ФОРМИРОВАНИЯ ДИСКРЕТНЫХ СЕТЕЙ

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

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

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

45

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

Язык, с помощью которого формализуются структура и функционирование сложных систем, должен обладать средствами отображения иерархической структуры боль­ шой системы и множества отношений между объектами. Как отмечалось в гл. 1, простейшими единицами такого языка должны быть модули, из которых строятся все остальные единицы по правилам грамматики языка. Опи­ сание связен между объектами, а также законов функ­ ционирования отдельных объектов удобно осуществлять с помощью дискретных сетей. Вводимое ниже понятие дискретной сети по своему характеру близко к таким по­ нятиям, как граф-схема с памятью [Л. 28] и агрегатнвная система [Л. 29].

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

систем можно

отнести

к

одному

из следующих

трех

непересекающихся классов:

 

 

 

 

И — системы, в которых осуществляется только выда­

ча

информации;

 

 

 

 

 

С — системы,

в которых

осуществляется

только

при­

ем

информации;

 

 

 

 

 

П — системы,

в

которых

осуществляются

прием,

пе­

реработка

и

выдача

информации.

 

 

Системы, принадлежащие указанным классам, будем

называть

соответственно

истоками,

стоками

и преобра­

зователями.

Расчленение

на истоки, стоки и преобразова­

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

'46

и:

 

 

i_Исток

Сток

Преобразователь

 

Рис. 2-1.

 

Назовем

(п, т, /)-полюспиком

систему, содержащую

•'/г входных, т выходных и / управляющих каналов (полю­ сов). По определению исток является (0, т, 0)-полюсни- ком, где m ^ l , сток—(п, О, 0)-полюспиком, где я ^ 1 , преобразователь— (п, т, /)-полюспиком, где п, т, Условимся изображать истоки, стоки и преобразователи прямоугольниками, помеченными соответственно буква­ ми и, с, П с соответствующими нижними буквенными или цифровыми индексами (рис. 2-1). Рассмотрим основные виды композиций (п, т, /)-полюсников.

Пусть Y\, Y% Y3— соответственно множество истоков,

стоков

и

преобразователей

и

Y=Yi{JV2{J

 

Y3, где Уъ

Уг— непустые

множества,

a

Y3 может

быть пустым.

Пусть

\Yi\=nit

t = l , 2,

3.

 

 

 

 

 

Зададим на множестве Y отображение Ф: Y>-У, об­

ладающее

следующими

свойствами.

 

 

 

1. Если

(/i-еУз и «з^=0,

то

существуют

такие

y^YiUYi

и

(/1,еУ2 иУ3 ,

что

ijj—>-yi—м/л,

т.

е. входные полюсы

преобразовате­

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

по крайней мере, одному

пути, ведущему

из истока в

сток.

2. Если п 3 = 0 , то для

любого iji^Y\ существует, по

крайней ме­

ре, один (/,еУ2 , Для которого

yt—

 

 

Отображение Ф, удовлетворяющее условиям 1, 2, будем назы­

вать каноническим, а граф,

определяемый

парой (У,

Ф), назовем

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

Вся информация, циркулирующая в D-сети, делится на внешнюю (поступающую от внешних D-сетей) и вну­ треннюю, вырабатываемую (n, т, I) -полюсниками сети.

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

47

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

 

внутренних полюса

и три

 

внешних.

 

Преобразова­

 

тель П3 имеет два вну­

ч

тренних

 

полюса

и

три

внешних.

D-сеть, у

кото­

 

 

рой имеется хотя бы один

 

внешний

 

полюс

(не

счи­

 

тая

управляющих),

бу­

 

дем

называть

открытой.

 

D-сеть называется замк­

 

нутой,

если

множество

 

внешних

 

информацион­

 

ных

полюсов

является пу­

 

стым. На рис. 2-3

дан

 

пример

замкнутой

 

D-ce-

ти. Эта сеть получена из D-сети,

 

показанной

на

рис. 2-2, путем удаления из нее внешних информа­

ционных полюсов. D-сети,

содержащие

только

выход­

ные (входные) внешние

полюсы, относятся к

клас­

су истоков (стоков). D-сети, содержащие

входные

и вы­

ходные внешние полюсы, относятся к классу преобразо­ вателей. Замкнутые D-сети представляют собой (О, О, I), /^О-полюсники, которые будем называть затоками.

Пусть W есть множество открытых и замкнутых D- сетей. Введем на множестве W операции объединения и склеивания D-сетей следующим образом. Пусть WtczW.

1. Если Wi состоит только из

D-сетеп типа: (0,

т,

0),

или

(я, 0. 0), rt^sl; или (и, т, / ) , п,

/ ^ 0 ; или

(0,

0, / ) , 1^*0,

то

48

 

 

 

 

результатом применения Операции объединения к

 

является

соот­

ветственно либо

(0, т, 0)-полюсннк,

либо

(п, 0,

0)-полюсник, либо

(п,

т,

/)-полгаснпк, либо (0, 0, /)-полюсник.

 

 

 

 

 

 

 

2.

Если

\V\

содержит, по крайней мере, по одному элементу

ти­

па

(0,

т,

0),

m ^ l

и

(rt, 0, 0), n^l,

 

то результатом применения

опе­

рации

объединения

к

Wt

является элемент

типа

(»,

т, / ) , я,

 

т^1,

/3>0.

 

 

Wt

 

 

 

 

 

 

 

 

 

 

 

 

т,

3.

Если

содержит, по крайней мере, один элемент типа

(п,

I),

п,

т^\,

 

1^0,

 

то результатом

применения

операции

объедине­

ния

к

W\

является

элемент типа

(и,

т, / ) , п, m^l,

1^0.

 

 

 

 

4.

Если

Wi

содержит

элементы

типов

(0, т,

0)

и (0,

0,

/)

или

(л,

0,

0)

и (0, 0, / ) , или

(«, hi, /)

и

(0, 0, / ) , то

результатом

приме­

нения

операции

объединения к W являются элементы

типа

(0,

т,

0),

(«,

0,

0),

(я,

in,

I).

 

 

 

 

 

 

 

 

 

 

 

Таким образом, результатом применения операции объединения к заданному множеству истоков, стоков, преобразователей и затоков являются снова истоки, сто­ ки, преобразователи и затоки. На рис. 2-4 дан пример

(п,т,1)-сеть

 

 

J

|_

(0,0,1)-сеть

J

 

1 !нн!нз] Г"

r

_ j I

1 I — _ ,

(п, т, 1)-сеть

Рис. 2-4.

4—272

49

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

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

Зададим на W множество Р0 предикатов применимо­ сти операции объединения. Будем говорить, что опера­ ция объединения применима ко множеству Wi*=W, если на Wi может быть рассмотрен предикат Р^Ро (т. е. мно­ жество ll^i удовлетворяет условию, с помощью которого задается Р{). В этом случае будем считать, что Pi(Wi) = = 1. В противном случае будем считать, что P.i(\Vi)=0.

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

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

Будем говорить, что i-й выходной внешний полюс ис­

тока

(преобразователя) согласуется

с у'-м входным внеш­

ним

полюсом

преобразователя

(стока), если:

1) выходной язык полюса i совпадает с входным язы­

ком полюса у;

 

 

2)

закон

функционирования

t-ro

полюса совпадает

с законом функционирования у'-го полюса.

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

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

множества

Рс.

 

 

 

отображения

Эти условия определяются свойствами

Ф и ограничениями, накладываемыми на структуру D-

сетей.

 

 

 

 

 

Будем говорить, что операция склеивания применима

к заданному

множеству

2 истоков, стоков

и преобразо­

вателей, если Pj(W2)

= l,

где Pj^Pc

и выполнены усло­

вия согласования внешних полюсов.

 

 

Применение операции склеивания состоит в объеди­

нении согласуемых

полюсов.

 

 

50

Соседние файлы в папке книги из ГПНТБ