WikiDer > Birlashtirilgan DEVSlarning harakati

Ushbu maqolada bir nechta muammolar mavjud. Iltimos yordam bering uni yaxshilang yoki ushbu masalalarni muhokama qiling munozara sahifasi. (Ushbu shablon xabarlarini qanday va qachon olib tashlashni bilib oling) Ushbu maqolaning mavzusi Vikipediyaga mos kelmasligi mumkin umumiy e'tiborga loyiqlik bo'yicha ko'rsatma. Iltimos, havola orqali notanishlikni aniqlashga yordam bering ishonchli ikkilamchi manbalar bu mustaqil mavzuni va shunchaki ahamiyatsiz so'zlardan tashqari uni muhim yoritishni ta'minlaydi. Agar nogironlik o'rnatilmasa, maqola ehtimol bo'lishi mumkin birlashtirildi, qayta yo'naltirildi, yoki o'chirildi. Manbalarni toping: "Birlashtirilgan DEVSlarning harakati" – Yangiliklar · gazetalar · kitoblar · olim · JSTOR (2012 yil noyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) Bu maqola aksariyat o'quvchilar tushunishi uchun juda texnik bo'lishi mumkin. Iltimos uni yaxshilashga yordam bering ga buni mutaxassis bo'lmaganlarga tushunarli qilish, texnik ma'lumotlarni olib tashlamasdan. (2012 yil noyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) Bu maqola mavzu bilan tanish bo'lmaganlar uchun etarli bo'lmagan kontekstni taqdim etadi. Iltimos yordam bering maqolani takomillashtirish tomonidan o'quvchi uchun ko'proq kontekstni taqdim etish. (2012 yil noyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

DEVS ulanish ostida yopilgan [Zeigper84] [ZPK00]. Boshqacha qilib aytganda, a birlashtirilgan DEVS model ${displaystyle N}$, uning harakati atom DEVS modeli sifatida tavsiflanadi ${displaystyle M}$. Birlashtirilgan DEVS uchun ${displaystyle N}$, bizda bir xil atomik DEVS mavjud ${displaystyle M}$, xatti-harakati ${displaystyle M}$ murojaat qilish mumkin atom DEVSlarining harakati bunga asoslangan Vaqtinchalik tadbir tizimi.

O'xshash atom DEVSlarining harakati, Coupled DEVS sinfining xulq-atvori umumiy holat to'plamining ta'rifiga va uni qayta ishlashiga qarab quyidagicha tavsiflanadi.

View1: Jami shtatlar = Shtatlar * o'tgan vaqtlar

Berilgan birlashtirilgan DEVS model ${displaystyle N = }$, uning harakati atom DEVS modeli sifatida tavsiflanadi ${displaystyle M = }$

qayerda

• ${displaystyle X}$ va ${displaystyle Y}$ mos ravishda kirish hodisalari to'plami va chiqish hodisalari to'plami.
• ${displaystyle S = {underset {iin D} {imes}} Q_ {i}}$ bu erda joylashgan qisman holat ${displaystyle Q_ {i} = {(s_ {i}, t_ {ei}) | s_ {i} in S_ {i}, t_ {ei} in (mathbb {T} cap [0, ta_ {i} (s_) {i})])}}$ komponentning umumiy holat to'plamidir ${displaystyle iin D}$ (Qarang DEVS xatti-harakatlarining ko'rinishi1), qaerda ${displaystyle mathbb {T} = [0, infty)}$ manfiy bo'lmagan haqiqiy sonlar to'plamidir.
• ${displaystyle s_ {0} = {pastki qator {iin D} {imes}} q_ {0i}}$ qaerda joylashgan dastlabki holat ${displaystyle q_ {0i} = (s_ {0i}, 0)}$ komponentning umumiy boshlang'ich holatidir ${displaystyle iin D}$.
• ${displaystyle ta: Sightarrow mathbb {T} ^ {infty}}$ vaqtni oldinga surish funktsiyasi, bu erda ${displaystyle mathbb {T} ^ {infty} = [0, infty]}$ manfiy bo'lmagan haqiqiy sonlar to'plami va cheksizdir. Berilgan ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots)}$, ${displaystyle ta (s) = min {ta_ {i} (si) -t_ {ei} | iin D}.}$

• ${displaystyle delta _ {ext}: Q imes Xightarrow S}$ tashqi holat funktsiyasi. Jami holat berilgan ${displaystyle q = (s, t_ {e})}$ qayerda ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots), t_ {e} in (mathbb {T} cap [0, ta (s)])}}$va kiritish hodisasi ${displaystyle xin X}$, keyingi holat tomonidan beriladi ${displaystyle delta _ {ext} (q, x) = s '= (ldots, (s_ {i}', t_ {ei} '), ldots)}$

qayerda

${displaystyle (s_ {i} ', t_ {ei}') = {egin {case} (delta _ {ext} (s_ {i}, t_ {ei}, x_ {i}), 0) & {ext { if}} (x, x_ {i}) C_ {xx} (s_ {i}, t_ {ei}) va {ext {aks holda}}. end {holatlar}}}$

Qisman holatni hisobga olgan holda ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots) in S}$, ruxsat bering ${displaystyle IMM (s) = {iin D | ta_ {i} (s_ {i}) = ta (s)}}$ belgilash yaqinlashib kelayotgan tarkibiy qismlar to'plami. The otish komponenti ${displaystyle i ^ {*} D} da$ ichki holatga o'tishni keltirib chiqaradigan va chiqish hodisasi bilan belgilanadi

${displaystyle i ^ {*} = (IMM (lar)) ni tanlang.}$

• ${displaystyle delta _ {int}: Sightarrow S}$ ichki holat vazifasidir. Qisman holat berilgan ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots)}$, keyingi holat tomonidan beriladi ${displaystyle delta _ {int} (s) = s '= (ldots, (s_ {i}', t_ {ei} '), ldots)}$

qayerda

${displaystyle (s_ {i} ', t_ {ei}') = {egin {case} (delta _ {int} (s_ {i}), 0) & {ext {if}} i = i ^ {*} (delta _ {ext} (s_ {i}, t_ {ei}, x_ {i}), 0) & {ext {if}} (lambda _ {i ^ {*}} (s_ {i ^ {* }}), x_ {i}) C_ {yx} (s_ {i}, t_ {ei}) va {ext {aks holda}}. end {case}}}$

• ${displaystyle lambda: Sightarrow Y ^ {phi}}$ chiqish funktsiyasi. Qisman holat berilgan ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots)}$, ${displaystyle lambda (s) = {egin {case} phi & {ext {if}} lambda _ {i ^ {*}} (s_ {i ^ {*}}) = phi C_ {yy} (lambda _ { i ^ {*}} (s_ {i ^ {*}})) va {ext {aks holda}}. end {case}}}$

View2: Jami shtatlar = Shtatlar * Umr muddati * O'tgan vaqtlar

Berilgan birlashtirilgan DEVS model ${displaystyle N = }$, uning harakati atom DEVS modeli sifatida tavsiflanadi ${displaystyle M = }$

qayerda

• ${displaystyle X}$ va ${displaystyle Y}$ mos ravishda kirish hodisalari to'plami va chiqish hodisalari to'plami.
• ${displaystyle S = {underset {iin D} {imes}} Q_ {i}}$ bu erda joylashgan qisman holat ${displaystyle Q_ {i} = {(s_ {i}, t_ {si}, t_ {ei}) | s_ {i} in S_ {i}, t_ {si} in mathbb {T} ^ {infty}, t_ {ei} in (mathbb {T} cap [0, t_ {si}])}}$ komponentning umumiy holat to'plamidir ${displaystyle iin D}$ (Qarang DEVS xatti-harakatlarining ko'rinishi2).
• ${displaystyle s_ {0} = {pastki qator {iin D} {imes}} q_ {0i}}$ qaerda joylashgan dastlabki holat ${displaystyle q_ {0i} = (s_ {0i}, ta_ {i} (s_ {0i}), 0)}$ komponentning umumiy boshlang'ich holatidir ${displaystyle iin D}$.
• ${displaystyle ta: Sightarrow mathbb {T} ^ {infty}}$ vaqtni oldinga surish funktsiyasi. Berilgan ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots)}$, ${displaystyle ta (s) = min {t_ {si} -t_ {ei} | iin D}.}$

• ${displaystyle delta _ {ext}: Q imes Xightarrow S imes {0,1}}$ tashqi holat funktsiyasi. Jami holat berilgan ${displaystyle q = (s, t_ {s}, t_ {e})}$ qayerda ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots), t_ {s} in mathbb {T} ^ {infty}, t_ {e} in (mathbb {T } shapka [0, t_ {s}])}$va kiritish hodisasi ${displaystyle xin X}$, keyingi holat tomonidan beriladi ${displaystyle delta _ {ext} (q, x) = ((ldots, (s_ {i} ', t_ {si}', t_ {ei} '), ldots), b)}$

qayerda

${displaystyle (s_ {i} ', t_ {si}', t_ {ei} ') = {egin {case} (s_ {i}', ta_ {i} (s_ {i} '), 0) & { ext {if}} (x, x_ {i}) C_ {xx} da, delta _ {ext} (s_ {i}, t_ {si}, t_ {ei}, x_ {i}) = (s_ {i } ', 1) (s_ {i}', t_ {si}, t_ {ei}) & {ext {if}} (x, x_ {i}) C_ {xx} da, delta _ {ext} ( s_ {i}, t_ {si}, t_ {ei}, x_ {i}) = (s_ {i} ', 0) (s_ {i}, t_ {si}, t_ {ei}) va {ext {aks holda}} tugatish {holatlar}}}$

va

${displaystyle b = {egin {case} 1 & {ext {if}} C_ {xx}, delta _ {ext} (s_ {i}, t_ {si}) da D: (x, x_ {i}) mavjud, t_ {ei}, x_ {i}) = (s_ {i} ', 1) 0 & {ext {aks holda}}. end {case}}}$

Qisman holatni hisobga olgan holda ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots) in S}$, ruxsat bering ${displaystyle IMM (s) = {iin D | t_ {si} -t_ {ei} = ta (s)}}$ belgilash yaqinlashib kelayotgan tarkibiy qismlar to'plami. The otish komponenti ${displaystyle i ^ {*} D} da$ ichki holatga o'tishni keltirib chiqaradigan va chiqish hodisasi bilan belgilanadi

${displaystyle i ^ {*} = (IMM (lar)) ni tanlang.}$

• ${displaystyle delta _ {int}: Sightarrow S}$ ichki holat funktsiyasidir. Qisman holat berilgan ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots)}$, keyingi holat tomonidan beriladi ${displaystyle delta _ {int} (s) = s '= (ldots, (s_ {i}', t_ {si} ', t_ {ei}'), ldots)}$

qayerda

${displaystyle (s_ {i} ', t_ {si}', t_ {ei} ') = {egin {case} (s_ {i}', ta_ {i} (s_ {i} '), 0) & { ext {if}} i = i ^ {*}, delta _ {int} (s_ {i}) = s_ {i} ', (s_ {i}', ta_ {i} (s_ {i} ') , 0) & {ext {if}} (lambda _ {i ^ {*}} (s_ {i ^ {*}}), x_ {i}) C_ {yx} da, delta _ {ext} (s_ {) i}, t_ {si}, t_ {ei}, x_ {i}) = (s ', 1) (s_ {i}', t_ {si}, t_ {ei}) & {ext {if}} (lambda _ {i ^ {*}} (s_ {i ^ {*}}), x_ {i}) C_ {yx} da, delta _ {ext} (s_ {i}, t_ {si}, t_ { ei}, x_ {i}) = (s ', 0) (s_ {i}, t_ {si}, t_ {ei}) & {ext {aks holda}}. end {case}}}$

• ${displaystyle lambda: Sightarrow Y ^ {phi}}$ chiqish funktsiyasi. Qisman holat berilgan ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots)}$, ${displaystyle lambda (s) = {egin {case} phi & {ext {if}} lambda _ {i ^ {*}} (s_ {i ^ {*}}) = phi C_ {yy} (lambda _ { i ^ {*}} (s_ {i ^ {*}})) va {ext {aks holda}}. end {case}}}$

Vaqt o'tishi

Bo'sh bo'lmagan tarkibiy qismlarga ega bo'lgan DEVS modelida, ya'ni ${displaystyle | D |> 0}$, o'tgan vaqtni kuzatadigan soatlarning soni bir necha bor, shuning uchun modelning vaqt o'tishi sezilarli.

View1 uchun

Umumiy holat berilgan ${displaystyle q = (s, t_ {e}) Q}$ qayerda ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots)}$

Agar birlik voqea segmenti ${displaystyle omega}$ bo'ladi nol voqea segmenti, ya'ni ${displaystyle omega = epsilon _ {[t, t + dt]}}$, jihatidan davlat traektoriyasi Vaqtinchalik tadbir tizimi bu

${displaystyle Delta (q, omega) = ((ldots, (s_ {i}, t_ {ei} + dt), ldots), t_ {e} + dt).}$

View2 uchun

Umumiy holat berilgan ${displaystyle q = (s, t_ {s}, t_ {e}) Q ichida$ qayerda ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots)}$

Agar birlik voqea segmenti ${displaystyle omega}$ bo'ladi nol voqea segmenti, ya'ni ${displaystyle omega = epsilon _ {[t, t + dt]}}$, jihatidan davlat traektoriyasi Vaqtinchalik tadbir tizimi bu

${displaystyle Delta (q, omega) = ((ldots, (s_ {i}, t_ {si}, t_ {ei} + dt), ldots), t_ {s}, t_ {e} + dt).}$

Izohlar

1. Barcha pastki komponentlari bo'lgan er-xotin DEVS tarmog'ining xatti-harakatlari deterministik DEVS modellari bo'lishi mumkin deterministik bo'lmagan agar ${displaystyle Select (IMM (lar))}$ bu deterministik bo'lmagan.

Shuningdek qarang

• DEVS
• Atom DEVSlarining harakati
• Birlashtirilgan DEVS uchun simulyatsiya algoritmlari
• Atom DEVS uchun simulyatsiya algoritmlari

Adabiyotlar

• [Zeigler84] Bernard Zaygler (1984). Ko'p qirrali modellashtirish va hodisalarni diskret simulyatsiyasi. Academic Press, London; Orlando. ISBN 978-0-12-778450-2.
• [ZKP00] Bernard Zaygler; Tag Gon Kim; Herbert Praehofer (2000). Modellashtirish va simulyatsiya nazariyasi (ikkinchi nashr). Academic Press, Nyu-York. ISBN 978-0-12-778455-7.