Интеллектуальный анализ выполнения бизнес-процессов в системе электронного документооборота. Матвейкин В.Г - 42 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

Вход: WF-модель
WS
, множество экземпляров
}...,,{
1 N
IIF =
для модели
WS
Выход: Множество частых F-шаблонов
Метод:
eEWeeL
,|{:
0
∈=
является частым шаблоном с учетом
}
F
;
;:;0:
0
LRk ==
)},{(},,{,),(),,{(: babaEbabacsFrequentAr <∈=
⊆
является частым с учетом
}>F
;: csFrequentArEE
f
∩=
⊆⊆
Повтор
;0:=U
Для всех
k
Lp∈
выполнить
∪=UU :
addFrequentArc(
);
Для всех
0
)( LEWComple
p
∩∈
выполнить
∪=UU :
addFrequentEWPattern(
,
e
);
Конец Для всех;
,|{:
1
UppL
k
∈=
+
р-частый с учетом
F
};
1
:
+
∪=
k
LRR
;
Пока
0
1
=
+k
L
;
Вернуть
R
;
Процедура
:),,,( >=<>=<
eepp
EAeEAptEWPatternaddFrequen
w-шаблон;
;,: >∪∪=<
′
epep
EEAAp
Если
p
′
связанный, тогда Вернуть
p
′
Иначе Вернуть
),,( eppntConnectioaddFrequen
′
;
Процедура
>=<>=<>=<
′
′′
eepppp
EAeEApEApntConnectio
addFrequen ,,,,,(
;0:=S
Для всех
),(),
(),(
peeppf
AbAaAbAaEEbafrequent ∈∈∨
∈∈−∈
⊆
выполнить
;),(,: >∪=<
′′
baEAq
pp
Если
qWS =|
, тогда
}{: qSS ∪=
;
Конец Для всех;
Вернуть
;
Процедура
:),( >=<
pp
EAptArcaddFrequen
шаблон
0:=S
;
Для всех
pppf
AbAaEEbafrequent ∈∈−∈
⊆
,,),(
выполнить
>∪=<
′
),(,: baEAp
pp
;
Если
pWS
′
=|
, тогда
}{: pSS
′
∪=
;
Конец Для всех
Вернуть
;
4.4.2. Алгоритм поиска частых подпоследовательностей ("s-поиск")
Заметим, что при поиске частых подпоследовательностей можно использовать другую стратегию: итеративно генери-
ровать кандидата на n-м уровне путем слияния кандидатов на j-м и n-j уровне, соответственно. Ясно, что в худшем случае
(для j = n – 1) мы получим алгоритм поиска, представленный в предыдущем разделе, иначе, в самом лучшем случае поиск
сходится экспоненциально меньшим количеством итераций. Также ясно, что нам необходимо дополнительное усилия для
идентификации компонент для слияния. Грубо говоря, эти компоненты должны быть таковы, что их границы могут быть
сопоставлены. Под границей понимается множество узлов, которые допускают входящую или исходящую дугу.
Формализуем приведенные выше рассуждения.
Определение 10.
=)(_ pГРАНИЦАВХ
p
Aa ∈{
<)(| aInDegree
p
)}(aInDegree<
– множество узлов в шаблоне
, кото-
рые допускают дальнейшие входящие дуги,
|{)(_
p
AapГРАНИЦАИСХ ∈=
)}()(|
max
aOUTaOutDegree
p
<
– множество уз-

Страницы