Метод куста событий
Метод куста событий отличается от других методов, так как в его основе лежит теория совокупностей, а не логика и теория множеств. Аксиоматическое изложение теории совокупностей приведено в работе К.А. Пшеничного [112-118].
Синтаксис куста событий
«Куст событий — полидрево, составленное из союзов типа ижен, йон и
шта и связывающее события (определяемые в теории совокупностей).
m
События E являются единственным видом совокупностей в кусте событий: V=E. Событие определяется как спецификация предмета S, подчинённого приметам-универсумам Pu1, …, Pu , посредством пересекающихся с ним примет Pm+1, Pm+2,… , Pn-1, Pn либо их отрицаний по предмету S, ~SPi, (далее ~Pi), m+1in:
𝐸 = 𝑆– 𝑃𝑢1, … , 𝑃𝑢𝑚, (~)𝑃𝑚+1, (~)𝑃𝑚+2, … , (~)𝑃𝑛−1, (~)𝑃𝑛, (1.2) где (~) означает «с отрицанием или без» [112].
На рисунке 1.10 представлена архитектура куста событий и направленность потоков. В кусте событий устанавливаются основные отношения между различными типами событий (первичными, вторичными и третичными), а также отображаются возможность тех или событий.
Рисунок 1.10. Отношения между типами событий в кусте событий [113]
Определение союзов куста событий
Отношения между событиями реализуются союзами. Они являются спецификациями типов событий.
Союз течения Flux(рисунок 1.11):
𝐸𝑖𝐹𝑙𝑢𝑥 𝐸𝑗. (1.3)
Рисунок 1.11. Графическая нотация союза вида течение (Flux) [116]
У союза течения меняется положение события. При этом возможны три варианта (рисунок 1.12):
Рисунок 1.12. Три варианта модуса 1 союза типа izhen в кусте событий [116]: изменение происходит (a) от первичного внешнего ко вторичному событию,
(b) от первичного внешнего к третичному, (c) от вторичного к третичному
Союз влияния Influx(рисунок 1.13):
𝐸𝑖𝐸𝑗𝐹𝑙𝑢𝑥 𝐸𝑘. (1.4)
или S1–Pu1, …, Pum, Pm+1, Pm+2,… , ~Pn-1, ~Pn E2 Influx S1–Pu1, …, Pum, Pm+1, Pm+2,…
, Pn-1, ~Pn
Рисунок 1.13. Графическая нотация связи событий вида влияния (Influx) [116]
Один и тот же набор событий и их положение на позициях (ia), (ib), (ii) и
(iii) может быть использован для построения нескольких кустов событий. Если возникает ситуация, когда от одного и того же события Ei в одном кусте идёт изменение течения Ei Flux Ei+1, в другом — Ei Flux Ei+2 и так далее, вплоть до Ei Flux En в последнем кусте семейства, вводится отношение ветвления (furcation):
𝐸𝑖𝐹𝑢𝑟𝑐𝑎𝑡𝑖𝑜𝑛 𝐸𝑖+1, 𝐸𝑖+2, . . . , 𝐸𝑛. (1.5)
Куст событий не может содержать циклы [112].
Do'stlaringiz bilan baham: |