комплекса требованийи допусков на ПК БИ сети. В этом случае фор-
мализация процесса синтеза СПК в интересах БИ ИС СН, состоящая
в декомпозиции ГСПК на иерархическую совокупность ЛСПК, за-
ключается в следующем [9, 10].
Пусть ГСПК
Y
БИ ИС СН
(
k
)
на
k
-м шаге функционирования ИС СН
представляет собойфункционал
Y
БИ ИС СН
(
k
) =
F
(
Y
1
(
k
);
Y
2
(
k
)
, . . . , Y
N
(
k
))
,
(2)
где
Y
1
(
k
);
Y
2
(
k
)
, . . . , Y
N
(
k
)
— соответственно векторные локальные си-
стемы ПК процессов, определяющих БИ ИС СН. Тогда ГСПК БИ ИС
СН, а также отношения ограниченийи взаимосвязеймежду СПК мож-
но записать в виде:
Y
БИ ИС СН
(
k
) = [
Y
1
(
x
m
(
k
));
. . .
;
Y
i
(
x
m
(
k
));
. . .
;
Y
I
(
x
m
(
k
))]
т
;
(3)
R
i
(
Y
i
(
k
)) 0;
(4)
Y
i
(
k
) =
T
ij
(
Y
j
(
k
))
,
(5)
где выражение (3) характеризует вид ГСПК БИ ИС СН, в котором
i
= 1
, I
— число ЛСПК, входящих в множество
Y
ИБ ТКС СН
(
k
)
на
k
-м
шаге функционирования сети,
m
= 1
, M
— число переменных (ПК),
входящих в ЛСПК; выражение (4) призвано характеризовать отноше-
ния ограничений, налагаемых на ЛСПК
Y
i
(
k
)
в условиях внешних и
внутренних воздействий, влияющих на БИ ИС СН на
k
-м шаге ее
функционирования; выражение (5) — отношения взаимосвязи между
i
-йи
j
-йЛСПК в условиях различного рода воздействийна БИ ИС
СН (отображение
j
-йЛСПК в
i
-ю) на
k
-м шаге функционирования.
Анализ множества ПК БИ мультисервиснойгетерогеннойИС СН
показывает, что между векторными ПК, входящими в ее состав, мо-
жет существовать сложная взаимосвязь, без учета которойневозможно
осуществить декомпозицию в интересах обеспечения БИ сети. Поми-
мо этого, отдельнойзадачейявляется определение эквивалентности
получаемых в результате декомпозиции ЛСПК БИ ИС СН.
С целью преодолеть отмеченные сложности, воспользуемся ме-
тодами декомпозиции. Примем за основу, что две ЛСПК являются
эквивалентными в том случае, если имеют в своем составе тожде-
ственные ПК. Следует отметить, что хотя ЛСПК и могут содержать
тождественные компоненты (ПК), данные компоненты могут опреде-
ляться на основе отличных друг от друга аналитических выражений.
В работах [3, 4] задача определения эквивалентности решается с по-
мощью сокращенных (сжатых) множеств.
Опираясь на результаты работ [9, 10], можно отметить, что процесс
декомпозиции ГСПК БИ ИС СН на иерархически связанную совокуп-
ность ЛСПК, процесс поиска адекватного условиям и ЗУ оператора
состояния БИ ИС СН
˘
R
с
(
k
)
должны состоять из следующих этапов.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 1 111
