Методика выбора программного обеспечения компьютерных сетей
7
Поскольку индекс
s
изменяется от 1 до
,
1
M M i
, а число
пересечений на (
i
1)-м шаге не превышает количества сочетаний
1
M i
M
C
, то некоторые подмножества
2
s M i
являются пустыми.
Наконец, найдем попарные пересечения
2
2
1
, 2
, ...,
M
, где
2
, 2
M
M C
, и построим разбиение вида
2
2
1 13
, 2
, 2 3
2
, ...,
M M
P
,
где
13
,2 3
, ...,
M
объединения модулей разбиения пересече-
ний из
M
по три тех подмножеств, которые участвуют в формирова-
нии попарных пересечений
2
2
1
,2
, ...,
M
. Результатом первого
этапа является семейство разбиений
1
, ...,
r
i
i
P P P
множества пе-
ресечений элементов семейства
'
1
, ...,
M
, где
2
r G
,
1
1 ...
1
r
i
i
M
. На втором этапе пронумеруем элементы
1
...
r
i
i
P
P
, определив последовательность
1
, ...,
n
, где
1
...
r
i
i
n P
P
. После первого этапа известны пересекающиеся
множества, образующие
j
, элементом которых является
,
1, ...,
j
j
n
. Сравним каждый элемент
j
с множеством
j
S
, эле-
менты которого находятся во взаимно однозначном соответствии с
элементами множества
j
. Если при этом одним и тем же пересека-
ющимся множествам из
'
, содержащим
'
'
, ,
1, ...,
j
j
j j
n
,
соответствуют различные элементы
'
,
j
j
S S
, причем
'
j
j
S S
, то
получаем разбиение
1
, ...,
n
S
S
. На третьем этапе необходимо
решить, какому элементу множества
j
S
соответствует элемент
j
.
Тогда в итоге объект спецификации
j
будет закреплен за одним, и
только одним из множеств совокупности
j
.
Использование для выбора надежного программного обеспе-
чения класса случайных матроидов.
Надежность ПО определяется
как вероятность существования какого-либо множества из заданной
системы подмножеств конечного множества, элементы которого от-
сутствуют независимо с фиксированными вероятностями. В настоя-
