ВУЗ:
Составители:
231
ва идентифицируют отдельные сущности разных множеств (переменные,
свойства, каналы), причем предполагается, что соответствующие друг дру-
гу обобщенные переменные, конкретные переменные и свойства помеча-
ются одним и тем же элементом индексного множества (так же, как в
формальном определении исходных систем в главе 5. Пусть перемен-
ные, свойства и другие характеристики систем
x
S,
y
S помечены (идентифи-
цированы) соответственно индексными множествами
x
J,
у
J. Тогда отно-
шение
x
S — подсистема
y
S «полностью» описывается отношением вклю-
чения
JJ
yx
⊆
для их индексных множеств. Обычно считается, что
n
y
NJ ⊆
Пример Г.1. Пусть
1
S — исходная система из примера Б.1 (состояние
деловой древесины). Тогда
1
J=N
7
. Пусть
2
S — исходная система, опреде-
ленная как подсистема
1
S(
2
S p
1
S) с помощью индексного множества
2
J={1,
2, 3, 7}. Тогда
2
S будет состоять из всех элементов, входящих в
1
S, за
исключением
iiiiiiii
e,o,A,a,V,v,V,v
&
&
при i=4, 5, 6.
Для направленных исходных систем отношение «подсистема» нахо-
дит отражение и в соответствующих идентификаторах входов-выходов.
Пусть
x
S,
y
S — направленные исходные системы, такие, что
x
S p
y
S, и пусть
(
)
(
)
Jj|juu
xxx
∈
=
,
(
)
(
)
Jj|juu
yyy
∈
=
- идентификаторы их входов-выходов. Тогда
x
u(j)=
y
u(j) для всех Jj
x
∈ . Для отслеживания значений, связанных с от-
дельными компонентами
х
и и
у
и, удобно считать, что для любого иденти-
фикатора входа-выхода элементы u(j) упорядочены в порядке возрастания
значений j.
Определенное для исходных систем отношение «подсистема» легко
может быть распространено на системы данных. Понятно, что для двух
сравнимых систем данных
x
D,
y
D, которым соответствуют исходные систе-
мы
x
S,
y
S,
x
D является подсистемой данных
y
D, то есть
x
D p
y
D, тогда и толь-
ко тогда, когда
x
S p
y
S и
x
D содержит только данные, содержащиеся в
y
D и
относящиеся к переменным, входящим в
x
S. Существенно, чтобы массивы
данных были помечены таким образом, чтобы для каждого элемента
можно было однозначно определить, к какой конкретной переменной он от-
носится.
Теперь остается только определить отношение «подсистема» для двух
вариантов порождающих систем и систем с поведением. Пусть
(
)
()
B
yyy
B
y
B
xxx
B
x
fMSF
fMSF
,,
,,
=
=
-
сравнимые системы с поведением и пусть
x
J,
y
J — множества идентифика-
торов переменных, соответствующих исходных систем
x
S,
y
S.
ва идентифицируют отдельные сущности разных множеств (переменные,
свойства, каналы), причем предполагается, что соответствующие друг дру-
гу обобщенные переменные, конкретные переменные и свойства помеча-
ются одним и тем же элементом индексного множества (так же, как в
формальном определении исходных систем в главе 5. Пусть перемен-
ные, свойства и другие характеристики систем xS, yS помечены (идентифи-
цированы) соответственно индексными множествами xJ, уJ. Тогда отно-
шение xS — подсистема yS «полностью» описывается отношением вклю-
чения
x
J ⊆ yJ
для их индексных множеств. Обычно считается, что
y
J ⊆ Nn
1
Пример Г.1. Пусть S — исходная система из примера Б.1 (состояние
деловой древесины). Тогда 1J=N7. Пусть 2S — исходная система, опреде-
ленная как подсистема 1S(2S p 1S) с помощью индексного множества 2 J={1,
2, 3, 7}. Тогда 2 S будет состоять из всех элементов, входящих в 1S, за
исключением v i ,Vi , v& i ,V&i , a i , Ai , o i , ei при i =4, 5, 6.
Для направленных исходных систем отношение «подсистема» нахо-
дит отражение и в соответствующих идентификаторах входов-выходов.
Пусть xS, yS — направленные исходные системы, такие, что xS p yS, и пусть
x
u = ( x u ( j ) | j∈x J ) ,
y
u = ( y u ( j ) | j∈ y J )
- идентификаторы их входов-выходов. Тогда
x
u(j)= y u(j) для всех j∈x J . Для отслеживания значений, связанных с от-
дельными компонентами хи и уи, удобно считать, что для любого иденти-
фикатора входа-выхода элементы u(j) упорядочены в порядке возрастания
значений j.
Определенное для исходных систем отношение «подсистема» легко
может быть распространено на системы данных. Понятно, что для двух
сравнимых систем данных xD, yD, которым соответствуют исходные систе-
мы xS, yS, xD является подсистемой данных yD, то есть xD p yD, тогда и толь-
ко тогда, когда xS p yS и xD содержит только данные, содержащиеся в yD и
относящиеся к переменным, входящим в xS. Существенно, чтобы массивы
данных были помечены таким образом, чтобы для каждого элемента
можно было однозначно определить, к какой конкретной переменной он от-
носится.
Теперь остается только определить отношение «подсистема» для двух
вариантов порождающих систем и систем с поведением. Пусть
( x
)
FB = x S , x M , x f B
y
FB = ( S, M , f )
y y y
B
- сравнимые системы с поведением и пусть J, yJ — множества идентифика-
x
торов переменных, соответствующих исходных систем xS, yS.
231
Страницы
- « первая
- ‹ предыдущая
- …
- 229
- 230
- 231
- 232
- 233
- …
- следующая ›
- последняя »
