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

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

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

Результатом склеивания являются в общем случае открытые и зыкрытые D-сети. Закрытые D-сетп (затоки) получаются в результате склеивания вполне согласован­ ных полюсников.

Представим

полюсники в виде

графов. Пусть

А, В,

Г, И, С, П, 3,

Я, /•'—алфавиты

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

вход

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

Пусть Z = # x / \ Q = ( B X Z ) X ( A X Z ) и

I — пустой

символ.

 

Определение 2-1. Элементарным истоком

называется

ориентированный граф, содержащий одну вершину, отож­

дествленную

с элементом « е Я , и одну

или несколько

несвязанных

друг с другом вершин,

отождествленных

с элементом к, на которых оканчиваются дуги, исходя­

щие из вершины и и отождествленные с парами

(j3,2),

где |3eB,

zeZ .

 

 

На рис. 2-5,0. дай пример элементарных

истоков и\, и*.

Нижние

индексы элемента fjn; означают следующее:

/ — порядковый

номер

выходного

полюса истока; Hi — исток, которому принадлежит вы­

ходной

полюс.

 

 

 

 

 

 

 

 

Линейная запись

элементарного

истока имеет следующий вид:

 

« = I [ ( P I „ , Z i ) , ( р 2 п ,

z2 )

 

(Р„„,

г,)],

 

 

Г Д е

Р з ^ В ; t ' = l , 2,

л;

Zj<=Z;

/ = 1 ,

2, . . . ,

q.

 

Определение 2-2. Элементарным

стоком

называется

ориентированный

граф,

содержащий

одну

вершину,

отождествленную

с элементом

с е С, и одну или

несколь­

ко несвязанных друг с другом

вершин,

отождествленных

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

Ha рис. 2-5,6 дан пример элементарных стоков с\, с?. Нижние индексы элемента а расшифровываются аналогично нижним индек­ сам элемента р .

Линейная запись элементарного стока имеет следующий вид:

 

 

c = [ ( a i c

z,), ( а г о ,

z 2 ) , . . . , ( o m e ,

zv ),

 

где

 

~-

 

 

 

 

 

 

 

с ц е А ; i= 1,

2,

... , m\

s ^ Z ;

/ =

I , 2

v.

Определение 2-3. Элементарным

 

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

называется

ориентированный

граф,

содержащий:

1)

одну

вершину,

отождествленную

с

элементом

Я е / 7

;

 

 

 

 

 

 

 

4*

51

Рис. 2-5.

 

2) ие более одной вершины X, из которой

исходит ду­

га,

оканчивающаяся' на Я и отождествленная

с элемен­

том

у е Г ;

 

3)одну или несколько несвязанных друг с другом вершин, отождествленных с элементом X, из которых ис­ ходят дуги, оканчивающиеся на вершине Я и отождест­ вленные с парами (a, z);

4)одну или несколько несвязанных друг с другом вершин, отождествленных с элементом X, на которых оканчиваются дуги, исходящие из вершины Я и отож­ дествленные с парами (р\ z).

На piic. 2-5,s дан пример элементарных преобразователей Пи

# 2 , Л3.

Линейная запись элементарного преобразователя имеет следую­

щий вид:

 

 

 

 

 

 

 

Я =

[(аш,

Z , ) ,

2/?, г2), ...

, (атП

, 2 у ), 1 / 7 , Z , ) ,

 

 

Э/7>

z )

••• • (Рл/7. z

s ) .

Y1/7L

где

 

 

 

 

 

 

... , q; zt<=Z; Y i S F . „

" i S A ; « =

I , 2

/и;

Р ^ е В ; / =•• 1,

2,

Определение

2-4.

Элементарным

затоком называется

граф, содержащий одну изолированную вершину, отож­ дествленную с элементом X.

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

объединения и склеивания.

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

Теоретико-множественное

 

объединение

полюсников

осуществляется в соответствии со следующими

11 прави­

лами, вытекающими из свойств операции

объединения:

1.

u\Ju =

u;

5.

П\)и

=

П\

9.

u[J3 =

u;

2.

c[Jc =

c\

6.

n\Jc

=

I7;

10. c[J3 =

c;

3.

Я П Я =

Я ;

7. П{]з

=

П;

11. Я и з = Я .

4.

3\j3 =

3\

8.

и{]с =

П;

 

 

 

Ж

Элементарные полюсники будем называть полюснижа-

ми нулевого порядка.

 

 

 

 

 

 

 

Определение

2-5. Полюсником

i-го

порядка

называ­

ется полюсник, состоящий из полюсников низшего поряд-

53

ка и, по крайней мере, одного полюсника (I1)-го по­ рядка, где Для обозначения производных истоков, стоков, преобразователей и затоков введем соответствен­ но алфавиты И', С, П', 3'.

Рассмотрим примеры построения производных по.пюспнков с по­ мощью операции объединения.

Пример 1. Пусть

 

4=[(Р,„о

г . ) .

flU',

*s )

 

(L.o • *d)l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ни"

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

»l = Wufl'

 

2 ,

) >

К*'

 

*»)

 

ш а 0 ,

гР)Г,

 

 

 

 

 

 

?

 

 

 

 

/

 

 

 

 

 

Р

 

 

 

 

где ц° ,

... , «р истоки

нулевого

порядка,

 

и„ ,

и]ь^И'.

Применяя

к

,

 

правило

 

I ,

получим:

 

 

 

 

 

=

<

U 4

=

 

[(Р1 и о

• г,),

(p9 i | Q

,

гО

 

( « п й 0 .

z„).

 

 

(

V

г >)-

i g >

г » )

 

 

(?И 1 о

г р)1-

 

 

 

 

 

 

9

 

 

 

 

/

 

 

 

 

 

р

 

 

 

 

 

Этот пример представлен на рис. 2-6.

 

 

 

 

 

 

Пример

 

2. Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Па = Као г>). Кс о • z=)

 

 

(amco .z *). (i5lHo •

 

 

о. г 2 ) - . ( Р / ш п .

г„).Y , „ , • V

/

i

V 1

 

И

v

 

 

 

 

J

 

 

 

 

a

 

a

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Я

Ь

= K a l c 0

. zi)>

( a , c

0

г г ) .

••• -

( a v c 0

Z ' ) '

 

 

 

 

 

q

 

 

 

'

I

 

 

 

 

p

 

 

 

 

(P,„o • z . ) . (P_9Ho • z=). -

 

• (Рюпо . zp)

Т ш

/

. Y

 

Y

,• I . * > / ,

Применяя

к

{ Я ц ,

П'ь}

 

правило

3, получим:

 

 

 

 

/7'+'

=

/7*

U / 7 ^ = [ ( « 1 с 0

- z>).

 

(%со

 

z=)

 

> „ 1 С о

. z * ) .

 

 

 

 

 

 

 

 

И-

 

 

 

v

 

 

 

|

 

 

 

( a l c

0 z i ) '

(a

2c o

z=)

 

(a v c °

' z <)'

( ? 1 И 0

 

 

 

V

 

 

 

£

 

 

 

 

<7

 

 

 

'

 

 

 

p

 

 

 

a

n

 

 

 

 

 

a

 

 

b

 

.b

 

 

b

 

 

Пусть

V—множество

 

 

элементарных

и

производных

истоков,

стоков, преобразователей

и

затоков. Построение D-сетей

на

множе-

54

стве V осуществляется по следующим двум правилам, определяемым свойствами отображения Ф:

1) и Щ с =

L ;

 

 

 

2) а Щ П

Щ с =

L ,

 

 

где Щ — знак операции склеивания,

L — переменная,

принимающая

значения из {и,

с, П,

з}. Значение

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

структурными

свойствами D-сети, получаемой в результате'склеивания.

D-сеть представляет собой ориентированныйТмультиграф, вершинами которого служат элементы из множеств ЙСПЗЙ^, 0', /7'«3~, Л. Дуги, исходящие (входящие) из вершин X, отождествляются с элементами

 

Рис. 2-6.

 

типа

(а, г), (Р, z), у, а дуги, соответствующие внутренним

полюсам,

отождествляются с элементами а е й .

 

В

работе [Л. 30] рассмотрены основные типы D-сетей

(линейные,

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

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

55

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

На

рис. 2-7 дан пример

D-сетн, полученной в

результате приме­

нения

операции склеивания

к полюснпкам, показанным на рис. 2-5.

Эта D-сеть является преобразователем.

 

 

 

 

 

 

 

В табл. 2-1 представлена

 

матрица

связей

 

D-сети,

 

где

 

°i =

f(PiUl. zi)> (a i/7a -

 

z i ) I ;

г 2=[(Р2 /73 .

z8).

(«к,- z s ) l ;

 

а

* =

[(?з„,-

2

=). («1я,>

 

Z

5 ) J :

° o =

[?i/7 -

z

o ) ,

(<*>

.

z

» ) l :

 

 

 

 

 

 

 

a

 

Cj

 

 

 

°7 = [(Pa.,- 2 г). ( « о -

 

z 0];

" 8 =

[(P|Ha. z.O. («2/7, - z i ) ] -

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

Рис. 2-7.

56

 

 

 

 

 

 

 

 

 

 

 

Т а б л и ц а 2-1

По-

 

 

 

 

 

Полюсники

 

 

 

 

 

люс-

 

/7.

Я а Я 3

 

са

 

 

 

 

 

 

HIIKII

 

 

 

 

 

 

 

 

 

 

 

 

-*

-*•

 

 

 

 

 

 

 

«1

 

 

° 1

 

 

fell,'

Z

2

Рз,,,. z 3

 

 

 

—>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/7,

 

 

 

->

 

 

 

 

 

 

>

 

 

 

 

 

 

 

а З/7,-

2

п

 

 

ТГш,

 

 

 

 

 

->

<

 

 

У

<

я 2

 

 

 

 

0-1

а З Я а ' 2 i 3

 

 

 

 

 

 

 

 

 

->

<

 

 

 

у

ч

 

 

 

 

 

 

 

"2/7У

Z ic

?2П3>

Z l 5

 

C l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Со

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналитическая запись внешних связей D-сети пред­

ставляет собой теоретико-множественное

объединение

содержимого

столбца

X.

 

 

 

 

 

 

 

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

[(Рйн,-

(Рзнл' 2 з ) . (P2 ,vZ i»)' (а ЗЯ,' z H ) . (а 2Я,' Z i=)'

(а ЗЯа ' 2 1 з ) >

(Pi/7a> z n ) . (а2/73> Z i o ) ' (fW3' Z i s ) ' Yl/7,' Т ш , ' KltfJ'

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

ait bi — полюсники, стоящие соответственно в i'-й строке

—>

и /-м столбце таблицы связей; Ok— элемент, стоящий на пересечении t'-й строки и /-го столбца; i, / = 1 , 2, ..., /— число непустых вершин D-сети.

Тройку

Oiikbj

назовем

синтагмой,

а

конъюнкцию

троек — синтагматической

цепью. Элемент

ai(bj) будем

называть

левым

(правым)

полюсом

синтагмы.

57

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

1.

Вынесение левых полюсов

за скобки

 

 

( « i ° A ) A ( « i ' A ) Л

••• Л i'hZbm)

= «, К б , Д

Zb2

Л ••• Л °пЬт).

2.

Перестановка

полюсов

 

 

 

 

( 6 , ^ , ) Л

(йа^я,) Л ••• Л (Ь,ЛА,)

•=

 

= ( « 1 ° А )

Л ( « 1 ° А ) Л •••Л Oi^n&m)-

3.

Объединение

разноименных

полюсов

 

 

 

 

—>

*-

->••<-

 

 

 

(я,о,6,)

Л (МгЛ-г) = Д , о , 6 , о 2

а 2 .

 

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

В качестве примера построим синтагматическую цепь £>-сети, представленной на рис. 2-7. Согласно таблице связей синтагматиче­ ская цепь имеет вид:

,7,Я,) Д (н,Г,Я8 ) Д («s e./7i)V\ («»»./7i) Л

Л (Я , Г 3 Я г ) Л ( Я г ^ с , ) Л (Я2 о.,с2 ) Л (Я3 Г0 с2 ).

Применим к полученной цепи правила перестановки и вынесения полюсов за скобки

«1 К Я , Л " | Я г ) Л "г К Я , Л ^ 5 Я 3 ) Л Л Я 2 (о"1с, Л ^ Я , ) Л с2 4 яг л °1я3).

К полученной цепи применим правило объединения разноимен­ ных полюсов

" i К Я , Л ^ Я г К с , Л°"зЯ,)) Л « 2 К Я , Л ^ Я 3 ) Д с 2 (а^ЯгДо'бЯз).

Полученная синтагматическая цепь содержит 11 вхождений по-

люсников против 16, содержащихся в исходной

цепи.

В общем случае синтагматическая цепь может иметь несколько

минимальных форм.

 

 

Результирующая аналитическая запись рассматриваемой D-сети

имеет вид:

 

 

[и, 7 Я, Д ^ Я 2 (?2 с, Л"»3 Я,)) Л "г К Я , А а ь п з ) Л '

Л<" ? КЯ г л ''°бЯа)]Л [ ( в >н 1 - Z 2 ) '

^Зн,-2 з). (Ргн,- z >«)'

(<?ЗЯ,' г п ) > (Ргя,- г1г)> ("зПз1

21з)> (Pir/a ' z ' 1 ) '

(а 2Я,' z i « ) ' (Рг/7,- г 1 б )> Y i / / , ' T V ^ .

f\ihh

58

Преобразование D-сетей сводится к выполнению опе­ раций объединения и склеивания над аналитическими формами представления сетей. Аналитическая запись закрытой 2)-сети также является синтагматической цепью.

Правила склеивания D-сетей записываются в общем случае следующим образом:

1) (V"/> cv )((p/ v

z < M ( V v - Z *)^(P; V

2/ t )S(vv >

 

 

2) (tf« C v .

/7^)((р.|1(, z , ) A ( V V Z f )A(pVv ^ ) Л

 

 

A ( v

Z*)^(P;„(. **)S(Vv

*<W,/v

 

 

 

 

Правила

вида

1 и 2

будем называть

корреляцион­

ными подстановка м и.

 

 

 

 

 

 

 

Обозначим через Q способ задания

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

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

к за­

данному

множеству полюсников V.

Пусть

Г=Г0

[]ГС и

Р = Р о U Рй, где Г0

правила объединения

полюсников,

Гс—правила

склеивания

полюсников,

Р 0

, Р с — преди­

каты применимости правил Г0, Гс.

<V,

Г, Р , Q>

назы­

Определение 2-6. Совокупность

вается

полюсниковой

порождающей

 

микромоделью

структуры и законов функционирования системы.

 

Рассмотренная

модель

служит

базой,

на

которой

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

Большое практическое значение имеют модели, в ко­ торых в качестве элементарных полюсников использу­ ются конечные автоматы, а предикатами Р служат огра­ ничения на композицию автоматов [Л. 27].

2-2. ЯЗЫК ОПИСАНИЯ СИТУАЦИЙ НА ДИСКРЕТНОЙ СЕТИ

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

59

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

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

чения: по

месту в пространстве («судно»—>-«причал»),

по месту

во времени («погрузка»—>-«утро»), по принад­

лежности («судно»—мсСССР»). Число различных вклю­ чений, используемых для описания структуры объектов широкого класса сложных систем, равно, приблизитель­ но, 200. Эта оценка получена автором на основе анализа обширного конкретного материала в различных классах сложных систем: технических, социально-экономических, биологических и др. Множество видов включения поня­ тия определяет класс бинарных отношений, характери­ зующий всевозможные связи между элементами струк­ туры объектов. Хотя в настоящее время формально не доказана полнота множества бинарных отношений, эф­ фективность результатов, полученных на его основе, сви­

детельствует

в пользу справедливости предположения

о полноте.

Справедливость этого предположения под­

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

60

/

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