Diskret vaqt tizimlarini modellashtirish” mavzusida

Diskret matematik modellar
Diskret matematik model - bu muayyan o'zgaruvchilarni diskretlashtirish amalga oshiriladigan model. MM ni ko'rib chiqing, unda qaram o'zgaruvchilar diskret bo'lib, simulyatsiya qilingan ob'ektning holatini tavsiflaydi.
Funksional-mantiqiy va tizimli darajadagi tizimlarni loyihalash diskret MMlardan foydalanishga asoslangan. Funktsional mantiqiy dizaynning quyi tizimlarida modellashtirishda yuqori darajadagi analog tizimlarni modellashtirishda bo'lgani kabi taxminlar ham amalga oshiriladi. Bundan tashqari, simulyatsiya qilingan ob'ekt o'zaro bog'langan mantiqiy elementlar to'plami bilan ifodalanadi, ularning holatlari cheklangan to'plamda qiymatlarni qabul qiladigan o'zgaruvchilar bilan tavsiflanadi. Eng oddiy holatda, bu to'plam (0, 1). Uzluksiz vaqt t vaqt nuqtalarining diskret ketma-ketligi bilan almashtiriladi tk, tsiklning davomiyligi esa. Binobarin, ob'ektning matematik modeli chekli avtomatdir (FA). Kosmik kemaning ishlashi kosmik kemaning mantiqiy tenglamalari tizimi bilan tavsiflanadi
Tizim dizaynining tizim darajasida navbat tizimlari (QS) modellari asosan keng tarqalgan. Bunday modellar ikki turdagi ob'ektlarni - xizmat ko'rsatish va xizmat ko'rsatish qurilmalariga (OA) so'rovlarni ko'rsatishi bilan tavsiflanadi. Samolyotni loyihalashda vazifalar hal qilinishi kerak bo'lgan vazifalar, xizmat ko'rsatish moslamalari esa samolyot uskunalari hisoblanadi. So‘rov “xizmat ko‘rsatayotgan” yoki “kutish” holatida, xizmat ko‘rsatuvchi qurilma esa “erkin” yoki “band” holatida bo‘lishi mumkin. QS holati uning OA va so'rovlarining holatlari bilan tavsiflanadi. Holatning o'zgarishi hodisa deb ataladi. QS modellari oqimlarning kirishlariga ilovalar yuborilganda ushbu tizimda sodir bo'ladigan jarayonlarni o'rganish uchun ishlatiladi. Bu jarayonlar voqealar ketma-ketligi bilan ifodalanadi. Tadqiqot natijalariga ko'ra, tizimning eng muhim chiqish parametrlari aniqlanadi: ishlash, o'tkazish qobiliyati, muammolarni hal qilish uchun ehtimollik va o'rtacha vaqt, uskunaning yuklanish omillari.
Parallel va konveyer tizimlarining paydo bo'lishi, nafaqat apparat, balki dasturiy ta'minotning ham ishlashini simulyatsiya qilish zarurati Petri tarmoqlari deb ataladigan diskret MMlar sinfining paydo bo'lishiga olib keldi. Petri tarmoqlari tizimlar va tarmoqlarning keng doirasini loyihalashning funktsional-mantiqiy va tizim darajalarida modellashtirish uchun ishlatilishi mumkin.
Petri tarmoqlari va QS ko'p mahsulot ishlab chiqarishga yo'naltirilgan ishlab chiqarish maydonchalari, liniyalari va ustaxonalari faoliyatini tavsiflash uchun keng qo'llaniladi. Petri tarmoqlari SAPR tizimlarini o'zlari ishlab chiqish uchun samarali vositadir. Ushbu tarmoqlar turli xil diskret avtomatlashtirish qurilmalari uchun ishlash algoritmlarining modellari bo'lib xizmat qilishi mumkin.