Tadqiqot jarayonini modellashtirish va uni algoritmlash. Tizimning ishlash jarayonlarini rasmiylashtirish va algoritmlash hujjat

Jarayonlarning matematik modellari. Simulyatsiya qilingan tizimning tavsifidan o'tgandan keyin S uning modeliga
, blok printsipi bo'yicha qurilgan, turli bloklarda sodir bo'ladigan jarayonlarning matematik modellarini qurish kerak. Matematik model - bu tizimning ishlash jarayonining xususiyatlarini aniqlaydigan munosabatlar to'plami (masalan, tenglamalar, mantiqiy shartlar, operatorlar). S tizimning tuzilishiga, xatti-harakatlar algoritmlariga, tizim parametrlariga, atrof-muhit ta'siriga bog'liq E, dastlabki shartlar va vaqt. Matematik model o'rganilayotgan tizimning ishlash jarayonini rasmiylashtirish natijasidir, ya'ni. o'rganish doirasida zarur bo'lgan haqiqatga yaqinlik darajasi bilan jarayonning rasmiy (matematik) tavsifini qurish.
Rasmiylashtirish imkoniyatlarini ko'rsatish uchun ba'zi bir faraziy tizimning ishlash jarayonini ko'rib chiqing. S, ga bo'linishi mumkin T Xususiyatlarga ega bo'lgan quyi tizimlar , parametrlar bilan, kirish harakatlari mavjud bo'lganda va atrof-muhit ta'siri. Keyin shaklning munosabatlar tizimi
(1)
Funktsiyalar bo'lsa
ma'lum bo'lsa, (1) munosabatlar tizimning ishlash jarayonining ideal matematik modeli bo'lib chiqadi S. Biroq, amalda, modelni olish kifoya oddiy shakl katta tizimlar uchun ko'pincha mumkin emas, shuning uchun odatda tizimning ishlash jarayoni S bir qancha elementar kichik jarayonlarga bo‘lingan. Shu bilan birga, kichik jarayonlarga bo'linishni shunday amalga oshirish kerakki, alohida kichik jarayonlarning modellarini qurish elementar bo'lib, rasmiylashtirishda qiyinchilik tug'dirmaydi. Shunday qilib, bu bosqichda kichik jarayonlarni rasmiylashtirishning mohiyati tipik matematik sxemalarni tanlashdan iborat bo'ladi. Masalan, stokastik jarayonlar uchun bu ehtimollik avtomatlarining sxemalari bo'lishi mumkin (P-sxemalari), navbat sxemalari (Q-sxema) hal etilayotgan amaliy masalalar nuqtai nazaridan kichik jarayonlarni tashkil etuvchi real hodisalarning asosiy belgilarini juda aniq tasvirlab beruvchi va hokazo.
Shunday qilib, har qanday tizimning ishlash jarayonini rasmiylashtirish S uni tashkil etuvchi hodisalarni o'rganishdan oldin bo'lishi kerak. Natijada, jarayonning mazmunli tavsifi paydo bo'ladi, bu o'rganilayotgan jarayonga xos bo'lgan qonuniyatlarni va qo'llaniladigan muammoni shakllantirishga birinchi urinishdir. Ma'noli tavsif rasmiylashtirishning keyingi bosqichlari uchun manba materialidir: tizimning ishlash jarayonining rasmiylashtirilgan sxemasini qurish va matematik model bu jarayon. Tizimning ishlash jarayonini kompyuterda simulyatsiya qilish uchun jarayonning matematik modelini tegishli modellashtirish algoritmi va kompyuter dasturiga aylantirish kerak.