Ma’ruza 1. Taqsimlangan tizimlar va algoritmlar
Reja:
1. Taqsimlangan algoritmlar va tizimlar.
2. Tarqalgan tizimlarning tuzilishi, tarkibi va asosiy texnik va texnologik parametrlari.
3. Ishlash printsipi.
Tizim -
bu elementlar va ular orasidagi bog'lanishlar to'plami. Sistema elementlari to'plami
V
bo'lsin .
Keyin ikkilik munosabat
R
2 bo'ladi
V
V
elementlar orasidagi juft bog‘lanishlar
mavjudligini bildiradi. Agar ba'zi elementlar uchun
x
V
va
y
V
juftligi (
x
,
y
)
R
2 , keyin tizimda
x
dan
y
gacha bo'lgan ulanish mavjud . Agar (
x
,
y
)
R
2
, keyin bunday aloqa yo'q. Bir
juftlikdagi elementlarning tartibi muhim, chunki ulanishlar yo'naltirilishi mumkin, assimetrik
bo'lishi mumkin.
Tizim nafaqat juftlik, balki elementlarning uchlik birikmalariga ham ega bo'lishi mumkin.
Bunday aloqalar
R
3
uchlik munosabatlari
bilan tavsiflanadi
V
V
V
=
V
3
. Misol uchun,
"bola va uning ota-onasi" munosabatlari uchta elementning munosabatlaridir.
R
4
munosabatlari bilan aniqlangan ulanishlarga ham ega bo'lishi mumkin
V
4
,
R5
_
V
5
.,…,
R
n
V
n
. Bu erda
n
- tizimdagi elementlar soni.
Har bir munosabat bayonot bilan bog'liq ma'lum ma'noga ega, masalan, "
x y ga
ergashadi
", "
x y
ga signal yuboradi ", "
x - y
va
z
ning bolasi " va hokazo. Boshqacha qilib aytganda,
munosabatlar o'rniga (yoki munosabatlar bilan birga) tegishli
P
2 predikatlarini ko'rib chiqish qulay
,
P
3
,
P
4
,…,
P
n
. Yuqoridagilardan tashqari
P
1 predikatlar ham ko'rib chiqiladi
, ular
V
to'plam
elementlarining
xususiyatlarining ifodasi sifatida talqin qilinishi mumkin .
Biz tizimda bir nechta binar munosabatlar bo'lishi mumkinligini ta'kidlaymiz. Masalan,
avtomobil dvigatelining silindrida gaz ( benzin - havo aralashmasi) yonib, pistonni itaradi va shu
bilan birga uni isitadi. Bular. "
x y ni
itarib yuboradi " va "
x y ni
qizdiradi " munosabati mavjud .
Ko'rinib turibdiki, tizimni o'rganish maqsadlariga qarab, ba'zi munosabatlar muhim, boshqalari
esa ikkinchi darajali hisoblanadi.
Ko'plik
nafaqat ikkilik, balki uchlik va boshqa munosabatlarga ham tegishli. Umumiy
holatda tizimni
S
= {
V
, {
P
i
,
j
}} to'plam sifatida tasvirlash mumkin , bu erda
i indeksi
munosabatning aritmini (yoki predikatlar o'rinlari sonini) bildiradi va
j indeksini
hosil qiladi . bir
xillikdagi munosabatlarni ajratish mumkin.
P
1,
j
predikatlarining ba'zilari tizim elementining joylashishini tavsiflashi mumkin.
Masalan, uning geografik koordinatalari, fazoviy koordinatalari (aloqa sun'iy yo'ldoshi), ma'lum
bir xonada bo'lish (LAN kompyuteri) va boshqalar. Bir xil (ba'zi bag'rikenglik, yaqinlik
doirasida) joylashuvga ega bo'lgan elementlarning kichik to'plamlari, biz
saytlarni chaqiramiz
.
Xuddi shunday,
P
2,
j
predikatlarining ba'zilari elementlarning o'zaro joylashishini tavsiflashi
mumkin, masalan, masofa, signal uzatish vaqti, ma'lumot
yoki moddani tizimning bir
elementidan ikkinchisiga o'tkazish xarajatlari. O'zaro joylashish elementlarning uchligi va
to'rtligi va boshqalar uchun muhim bo'lishi mumkin va tegishli predikatlar bilan ifodalanishi
mumkin.
Elementlar yoki elementlar guruhlari joylashuvi predikatlari tizimning ishlashi, binobarin,
tizimni tahlil qilish va sintez qilish nuqtai nazaridan muhim rol o'ynaydigan
tizimlarni
taqsimlangan tizimlar deb nomlaymiz.
Taqsimlangan tizimlar
uzluksiz
yoki
diskret bo'lishi mumkin
.
Uzluksiz taqsimlangan tizimlar cheksiz miqdordagi elementlar bilan, shuningdek, har
qanday elementning har qanday kichik qo'shnisida (joylashuv predikatlari ma'nosida) kamida
yana bitta element mavjudligi bilan tavsiflanadi.
Uzluksiz taqsimlangan tizimga misol qilib, gaz brülörü tomonidan bir nuqtada isitiladigan
po'lat plitalardir. Tizimning elementlari ma'lum koordinatali varaqning "nuqtalari" dir. Vaqtning
bir nuqtasida har bir nuqta harorat qiymati bilan tavsiflanadi va butun varaq ma'lum bir harorat
maydoni bilan tavsiflanadi. Bir-biriga yaqin joylashgan
nuqtalarning harorati, bu nuqtalarning
issiqlik manbasidan masofasiga qarab, bir-biridan ozgina farq qiladigan qiymatlarga ega. Vaqt
o'tishi bilan harorat qiymatlari yondirgichning haroratiga, nuqtalarning koordinatalariga va
varaqdan atrofdagi bo'shliqqa issiqlik uzatish miqdoriga qarab ma'lum chegaralarga ko'tariladi.
Diskret taqsimlangan tizimlar tizim elementlarining
bir-biridan ajratilgan aniq
"belgilangan"ligi bilan tavsiflanadi. Munosabatlar turlaridan biri "qo'shni elementlar bo'lish"
ikkilik munosabatidir. Ikki qo'shni element o'rtasida boshqa elementlar yo'q. Bu ularning orasiga
uchinchi elementni kiritish mumkin emas degani emas. Ammo keyin birinchi ikkitasi qo'shni
bo'lishni to'xtatadi.
Quyida biz asosan diskret tizimlarni ko'rib chiqamiz.