ВУЗ:
Составители:
237
Второе ведет из у в х, обозначается
x,y
C
)
и определяется как
XYC
xy
x,y
∩=
)
.
(Г.9)
Поскольку
YY
yx
≠
для y
x
≠
(из-за требования однозначности управления), понятно, что
x,yy,x
CC
)
)
≠
(Г.10)
для разных элементов х, у.
Кроме соединений элементов направленной структурированной систе-
мы, имеются также соединения элементов со средой системы. Будем для
удобства рассматривать среду как отдельный элемент с уникальной
меткой x=0. Несмотря на то, что на самом деле среда не является элемен-
том структурированной системы (как это следует из (Г.6)), такой подход
позволяет нам определить направленные соединения
x,
C
0
)
и
0,x
C
)
)Nx(
q
∈
среды с элементами структурированной системы точно так же, как и со-
единения элементов.
Если переменная объявлена выходной переменной некоего элемента х
направленной структурированной системы, то эта переменная не управля-
ется средой (из-за требования однозначности управления) и, следователь-
но, не входит ни в какое соединение
x,
C
0
)
. Однако если некая перемен-
ная не объявлена как выходная ни для какого элемента, то остается толь-
ко рассматривать ее как переменную, управляемую средой. Следователь-
но, такая переменная должна быть включена в некое соединение
x,
C
0
)
.
Поэтому все переменные в любом
x
Х, не объявленные ни в каких эле-
ментах как выходные, образуют соединение среды с элементом х. Фор-
мально
∪−∩=
∈
YVXС
y
Ny
x
x,
q
0
)
(Г.11)
для любого
q
Nx ∈
Для описания соединений
(
)
q,x
NxC ∈
0
)
рассмотрим переменные из
множества
x
Y, не объявленные как входные ни для какого элемента на-
правленной структурированной системы. По определению, эти переменные
не входят ни в какие соединения элементов структурированной системы.
Таким образом, их надо рассматривать как соединения со средой, то есть
как входящие в соединение
0,x
С
)
. Остальные переменные также могут быть
включены в
0,x
С
)
. Вопрос о том, рассматривать ли их как соединения со
средой или нет, остается в компетенции пользования. Формально
YCXVY
x
,x
y
Ny
x
q
⊆⊆
∪−∩
∈
0
)
(Г.12)
)
Второе ведет из у в х, обозначается C y ,x и определяется как
)
C y ,x = y Y ∩ x X . (Г.9)
Поскольку
x
Y ≠ y Y для x ≠ y
(из-за требования однозначности управления), понятно, что
) )
C x , y ≠ C y ,x (Г.10)
для разных элементов х, у.
Кроме соединений элементов направленной структурированной систе-
мы, имеются также соединения элементов со средой системы. Будем для
удобства рассматривать среду как отдельный элемент с уникальной
меткой x=0. Несмотря на то, что на самом деле среда не является элемен-
том структурированной системы (как это следует из (Г.6)), такой подход
) )
позволяет нам определить направленные соединения C0 ,x и C x ,0 ( x ∈ N q )
среды с элементами структурированной системы точно так же, как и со-
единения элементов.
Если переменная объявлена выходной переменной некоего элемента х
направленной структурированной системы, то эта переменная не управля-
ется средой (из-за требования однозначности управления) и, следователь-
)
но, не входит ни в какое соединение C0 ,x . Однако если некая перемен-
ная не объявлена как выходная ни для какого элемента, то остается толь-
ко рассматривать ее как переменную, управляемую средой. Следователь-
)
но, такая переменная должна быть включена в некое соединение C0 ,x .
Поэтому все переменные в любом x Х, не объявленные ни в каких эле-
ментах как выходные, образуют соединение среды с элементом х. Фор-
мально
)
С0 ,x = x X ∩ V − ∪ yY (Г.11)
y∈N q
для любого x ∈ N q
)
Для описания соединений C x ,0 (x ∈ N q ) рассмотрим переменные из
множества xY, не объявленные как входные ни для какого элемента на-
правленной структурированной системы. По определению, эти переменные
не входят ни в какие соединения элементов структурированной системы.
Таким образом, их надо рассматривать как соединения со средой, то есть
)
как входящие в соединение С x ,0 . Остальные переменные также могут быть
)
включены в С x ,0 . Вопрос о том, рассматривать ли их как соединения со
средой или нет, остается в компетенции пользования. Формально
)
x
Y ∩ V − ∪ y X ⊆ C x ,0 ⊆ x Y (Г.12)
y∈N q
237
Страницы
- « первая
- ‹ предыдущая
- …
- 235
- 236
- 237
- 238
- 239
- …
- следующая ›
- последняя »
