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

2.3. Tizim modelini tasdiqlash. Ushbu tekshirish modelni amalga oshirish bosqichida amalga oshirilgan tekshiruvlarning birinchisidir. Model haqiqiy S tizimining ishlash jarayonining taxminiy tavsifi bo'lganligi sababli, modelning ishonchliligi isbotlanmaguncha, uni o'tkazishda olinishi mumkin bo'lgan natijalarga to'g'ri keladigan natijalarni olish uchun foydalanilishini bahslashtirib bo'lmaydi. real sistema bilan toʻliq koʻlamli tajriba S. Shuning uchun modelning haqiqiyligini aniqlash tizimni modellashtirishning eng muhim muammosi deb hisoblanishi mumkin. Modellashtirish usuli bilan olingan natijalarga ishonch darajasi ushbu muammoning echimiga bog'liq. Modelni ko'rib chiqilayotgan kichik bosqichda tekshirish tizim modelining mantiqiy sxemasi va foydalanilgan matematik munosabatlar birinchi bosqichda shakllangan modelning maqsadini qanchalik aks ettiradi degan savolga javob berishi kerak. Bunda quyidagilar tekshiriladi: a) imkoniyat
muammoni hal qilish; b) fikrni mantiqiy sxemada aks ettirishning aniqligi; v) modelning mantiqiy sxemasining to'liqligi; d) qo'llaniladigan matematik munosabatlarning to'g'riligi.
Faqatgina ishlab chiquvchi ushbu barcha qoidalarning to'g'riligini tegishli tekshirish orqali ishonch hosil qilgandan so'ng, modelni kompyuterda amalga oshirish bo'yicha keyingi ishlar uchun mos bo'lgan tizim modeli 5 ning mantiqiy sxemasi mavjud deb hisoblash mumkin.
2.4. Modellashtirish uchun vositalarni tanlash. Ushbu kichik bosqichda, nihoyat, S tizim modelini amalga oshirish uchun qanday kompyuter (kompyuter, AVM, GVK) va qanday dasturiy ta'minotdan foydalanish kerakligini hal qilish kerak. Umuman olganda, hisoblash vositalarini tanlash avvalgi kichik bosqichda amalga oshirilishi mumkin. -bosqichlar, lekin ko'rib chiqilayotgan kichik bosqich bu tanlov nihoyat amalga oshirilishi kerak bo'lgan oxirgi bosqichdir aks holda modelni amalga oshirish bo'yicha keyingi ishlarni amalga oshirishda qiyinchiliklar paydo bo'ladi. Kompyuterni tanlash masalasi quyidagi talablarni ta'minlash uchun qisqartiriladi:
a) zarur dasturiy ta'minot va texnik vositalarning mavjudligi; b) model ishlab chiqaruvchisi uchun tanlangan kompyuterning mavjudligi; v) modelni amalga oshirishning barcha bosqichlarini ta'minlash; d) natijalarni o'z vaqtida olish imkoniyati.