Kompьyuter modellashtirish

Modelni modellashtirish tilida tuzish
Bu bosqinchda EXM turi, modellashtirishni avtomatizatsiyalash vositasi, IMni yaratilishi uchun xotiralar va xajmlarini taxminiy sarflanishini taminlanib olishmoqdalar.
Modellashtirish algoritmi ishlab chiqiladi, Modellashtirish algoritmlari iboralari yoki modellashtirishning mantiqiy olingan vositalari asosida IM sxemasi joylashtiriladi. Modelning realizatsiya qilish dasturi ta’riflanadi.
Dasturning har bir pokligini, ularga printsipi izohlanishilari bilan birga ta’riflanishi beriladi. IM dasturiy realizatsiyasi to`g`riligiga baho berish uchun dasturni to`g`ri faoliyat yuritganligini aniqlash (tekshirish) maqsadida sinovchi eksperiment o`tkaziladi. Modelining testlanganligi to`g`risidagi ma’lumotlar tekshiriladilar.
IMning ishlab chiqilishi paytida dasturlashning har qanday universal tiplar (masalan, Paskal, S va boshqalar) qo`llanilishi mumkin bo`lganligiga qaramay amaliyotda ko`rsatilishida afzallik imitatsion modellashtirishning avtomatizatsiyasining printsipiga doir maxsuslashtirilgan predmetiga yo`naltirilgan dasturiy ta’minotga taqdim etiladi. Immitatsion modellashtirish paytida foydalaniladigan universal tiplar va avtomarizatsiyalash vositadagi asosidagi yondashuvlar o`ziga xos afzalliklarga xam va kamchiliklarga xam egadir.
Immitatsion modelni sinash
IMning sinov qilinishi o`zining ichiga ikki nafar bosqichini kirishadi: verifikatsiya va adekvatlashning tekshirilishi
Verifikatsiya jarayoni davomida IM faoliyati algoritmining to`g`riligiga uning modellashtirish maqsadiga muvofiqligini to`g`risida ishonch xosil qilish zarurdir.
Yarashilgan IM barcha vaziyatlarda tadqiqot qilishayotgan tizimning xarakatlari IM turi aks etirilishining kafolatiga ega bo`lish shartdir.
Verifikatsiyaning yordamida modelning mantiqiy strukaturasining to`g`riligi aniqlanadi.
Odatda verifikatsiya IM dasturining real yoki dastlabki testli ma’lumotlar asosida kompleksli sozlanish davomida amalga oshiriladi.bu paytda tizimning ishini prognozlashtiradigan modelning qiymatida dasturni xajmi xarakterini sinovligi bilan sozlanishi va tekshirilishi juda xam ahamiyatlidir.
IMning tadqiqot qilinayotgan ob’yektiga adekvatliligi deganda IM va real ob’yektining faoliyati xarakteriskalariga qo`yilgan qiymatlarning unga aniqlikda bir biri bilan mos tushishlarini tushunadilar.
Adekvatlig bo`lmagan chog`ida IMning kalibrovkasini o`tkazadilar (model komponentlarining parametrlari va ular faoliyatining algoritmlari korreksiya qilib turadilar) komponentlarning xamkorligi paytida xatolar joy olganda modellar IMning barpo etilishi bosqichiga qaytariladilar formatizatsiya paytida jarayonlar juda ham soddalashtirilib, va tadqiqot qilishayotgan tizimning faoliyati yuritilishidagi bir qator muhim taraflari qurib chiqilishidan olib tashkillangan bo`lishi mumkindir.