
книги из ГПНТБ / Клыков, Ю. И. Ситуационное управление большими системами
.pdfРезультатом склеивания являются в общем случае открытые и зыкрытые 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
ка и, по крайней мере, одного полюсника (I—1)-го по рядка, где Для обозначения производных истоков, стоков, преобразователей и затоков введем соответствен но алфавиты И', С, П', 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. Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Па = Ка1со • г>). Кс о • z=) |
|
|
(amco .z *). (i5lHo • |
|
|
||||||||||||||
(Р2но. г 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
/