<На страницу назад | На страницу вперед>
3.6 ПРЕДСТАВЛЕНИЕ СТОХАСТИЧЕСКИХ ПРОЦЕССОВ
Цепи Маркова и другие типы стохастических процессов являются очевидными кандидатами для представления в виде схематик объектов с логическими ветвями. Такие процессы включают набор состояний данной системы S с вероятностью, для любого состояния A1 и для любого другого (возможно, того же) состояния A2, что S будет переходить из первого состояния в последнее. Система представляет определенный вид сложного объекта; следовательно, вполне естественным является представление возможных переходов из A1 в любое другое состояние в виде определенного типа разделительной дизъюнкции, как показано на рис. 3-86, где, кроме того, каждой связи переходов состояний, идущей от перехода ИСКЛЮЧАЮЩЕЕ ИЛИ (XOR), присваиваются вещественные числа, представляющие вероятности.
Рис. 3-86
Схематика переходов состояний, иллюстрирующая возможную
логику сложных переходов состояний
Такая схематика имеется для каждого состояния An. Хотя в каждом случае такое представление наглядно, более эффективным и менее запутанным является представление процесса в целом (полный набор вероятных переходов из любого состояния в любое другое состояние) в виде более стандартного графического представления, в котором дуги проходят непосредственно между двумя данными состояниями в обоих направлениях.
Нет никаких причин, по которым синтаксис схематик переходов состояний нельзя было бы адаптировать для разрешения такого представления как соглашения, т.е. как определенного типа аббревиатуры для набора, включающего все схематики переходов состояний, подобного представленной на рис. 3-86 схематике. Использование связей переходов состояний IDEF3 позволяет дополнить такие схематики фактическими описаниями процессов, осуществляющих данные переходы состояний. Данное соглашение иллюстрируется на рис. 3-87; вероятности устранены для ясности.
Рис. 3-87
Соглашение о схематиках переходов состояний для представления
стохастических процессов
