|
Namangan muhandislik qurilish instituti
|
| bet | 3/8 | | Sana | 20.09.2024 | | Hajmi | 88,37 Kb. | | #271741 |
Bog'liq KURS ISHI (Statik va dinamik modellar)Rasmiylashtirish.
Tabiiy tillar tavsiflovchi axborot modellarini yaratish uchun ishlatiladi. Ilm-fan tarixida ko'plab tavsiflovchi axborot modellari ma'lum; masalan, Kopernik taklif qilgan dunyoning geliotsentrik modeli quyidagicha shakllantirilgan:
Rasmiy tillar yordamida rasmiy axborot modellari (matematik. mantiqiy va boshqalar) quriladi. Eng ko'p ishlatiladigan rasmiy tillardan biri bu matematika. Matematik tushunchalar va formulalar yordamida qurilgan modellar matematik modellar deb ataladi. Matematika tili rasmiy tillar to'plamidir.
Algebra tili miqdorlar orasidagi funktsional bog'liqliklarni rasmiylashtirishga imkon beradi. Shunday qilib, Nyuton dunyoning geliotsentrik tizimini rasmiylashtirdi, mexanika qonunlari va universal tortishish qonunini kashf etdi va ularni algebraik funktsional bog'liqliklar shaklida yozdi. Maktab fizikasi kursida algebra tilida ifodalangan turli xil funktsional bog'liqliklar ko'rib chiqiladi, ular o'rganilayotgan hodisalar yoki jarayonlarning matematik modellari hisoblanadi.
Mantiq algebrasi tili (gap algebrasi) rasmiy mantiqiy modellarni yaratishga imkon beradi. Gap algebrasi yordamida tabiiy tilda ifodalangan oddiy va murakkab gaplarni rasmiylashtirish (mantiqiy iboralar sifatida yozish) mumkin. Mantiqiy modellarni qurish sizga mantiqiy muammolarni hal qilish, kompyuter qurilmalarining mantiqiy modellarini (summator, Trigger) va boshqalarni yaratishga imkon beradi.
Atrofdagi dunyoni bilish jarayonida insoniyat doimo modellashtirish va rasmiylashtirishdan foydalanadi. Yangi ob'yektni o'rganayotganda, odatda, uning tavsiflovchi axborot modeli tabiiy tilda quriladi, keyin u rasmiylashtiriladi, ya'ni rasmiy tillar (matematika, mantiq va boshqalar) yordamida ifodalanadi.
Rasmiy modellarni vizualizatsiya qilish.
Rasmiy modellarni o'rganish jarayonida ular ko'pincha vizualizatsiya qilinadi. Algoritmlarni vizualizatsiya qilish uchun oqim diagrammalaridan foydalaniladi: ob'ektlar orasidagi fazoviy munosabatlar-chizmalar, elektr zanjirlari modellari - elektr zanjirlari, qurilmalarning mantiqiy modellari - mantiqiy sxemalar va boshqalar. Shunday qilib, animatsiya yordamida rasmiy jismoniy modellarni vizualizatsiya qilishda jarayon dinamikasi ko'rsatilishi, fizik miqdorlarning o'zgarishi grafikasi tuzilishi va boshqalar. Vizual modellar odatda interaktivdir, ya'ni tadqiqotchi jarayonlarning dastlabki shartlari va parametrlarini o'zgartirishi va modelning xatti- harakatlaridagi o'zgarishlarni kuzatishi mumkin.
|
| |
