1-bob. "Xizmat ko'rsatishni rad etish" turidagi tarmoq taqsimlangan hujumlari ta'siridagi kompyuter tarmog’i qabul qilish tugunining konseptual modeli

Hodisalar butasi usuli

Hodisalar butasi usuli boshqa usullardan farqlanadi, chunki u mantiq va to'plamlar nazariyasiga emas, balki to'plam nazariyasiga asoslanadi. To'plamlar nazariyasining aksiomatik taqdimoti K.A.Pshenichniy ishida berilgan [112-118].

Hodisa butasi sintaksisi
“Hodisalar butasi - ijen, yon va shta kabi birlashmalardan tashkil topgan va hodisalarni bog’laydigan yarim daraxtdir (to'plamlar nazariyasida aniqlangan).

m
Hodisalar butasidagi to'plamlarning yagona turi E hodisasidir: V=E. Hodisa P^u₁, …, P^u_m universum-belgilariga bo'ysunuvchi S maxsus predmeti kabi u bilan kesishuvchi P_m+1, P_m+2, ... , P_n-1, P_n belgilari yoki ularning S predmeti bo’yicha inkorlari orqali S~^SP_i, (bundan buyon matnda ~ P_i), m+1≤i≤n sifatida aniqlanadi:
𝐸 = 𝑆– 𝑃^𝑢₁, … , 𝑃^𝑢_𝑚, (~)𝑃_𝑚+1, (~)𝑃_𝑚+2, … , (~)𝑃_𝑛−1, (~)𝑃_n, (1.2)
bu yerda (~) “inkor bilan yoki inkorsiz” ma’nosini bildiradi [112].
1.10-rasmda hodisa butasi arxitekturasi va oqim yo'nalishi ko'rsatilgan. Hodisalar butasi turli xil hodisalar (asosiy, ikkilamchi va uchinchi darajali) o'rtasidagi asosiy munosabatlarni o'rnatadi hamda ular yoki hodisalarning ehtimolini ko'rsatadi.

1.10-rasm. Hodisalar butasidagi hodisa turlari o'rtasidagi munosabatlar [113]

3. 
   Hodisa butasi birlashmalarini aniqlash
   

Hodisalar o'rtasidagi munosabatlar kasaba uyushmalari tomonidan amalga oshiriladi. Ular hodisa turlariga xosdir.
Flius oqimlar birlashmasi (1.11-rasm):

𝐸_𝑖𝐹𝑙𝑢𝑥 𝐸_𝑗 (1.3)

1.11-rasm. Shakl oqimining birlashuvining grafik belgisi (Flux) [116]

Oqiming birlashmasida hodisaning joylashuvi o'zgaradi. Bunda, uchta variant bo’lishi mumkin (1.12-rasm):

1.12-rasm. Hodisa butasidagi izhen toifasidagi birlashmaning uchtadan 1-turi [116]: (a) birlamchi tashqi hodisadan ikkilamchi hodisaga, (b) birlamchidan tashqi uchinchiga, (c) ikkinchidan uchinchiga o'zgarish sodir bo'ladi.

Influx ta'sir birlashmasi (1.13-rasm):
𝐸_𝑖𝐸_𝑗𝐹𝑙𝑢𝑥 𝐸_𝑘 (1.4)
yoki S₁–P^u₁, …, P^u_m, P_m+1, P_m+2, … , ~P_n-1, ~P_n ^E2 Influx S₁–P^u₁, …, P^u_m, P_m+1, P_m+2, … , P_n-1, ~P_n

1.13-rasm. Ta'sir (Influx) turidagi hodisalarning bog'lanishining grafik belgisi [116]

Xuddi shu hodisalar to'plami va ularning (ia), (ib), (ii) va (iii) joylashuvi bir nechta hodisa butalari qurish uchun foydalanish mumkin. Agar xuddi shu hodisadan E_i butada E_i Flux E_{i + 1} davomida, boshqasida - E_i Flux E_{i + 2} davomida va shu kabi oqimning o'zgarishi E_i Flux E_n gacha davom etsa, butalar oilasida tarmoqlanish munosabati kiritiladi (furcation):
𝐸_𝑖 𝐹𝑢𝑟𝑐𝑎𝑡𝑖𝑜𝑛 𝐸_𝑖+1, 𝐸_𝑖+2, . . . , 𝐸_𝑛. (1.5)

3. 
   Hodisa butasida sikllar bo'lishi mumkin emas [112].
   

3.