Biçimselleştirme nima? biçimselleştirme usuli. rasmiylashtirmasdan tushunchasi, mohiyati, bosqichlari, natijalar, misollar, turlari

Bugungi kunda, juda tez-tez va ilm-fan va texnologiya turli sohalarida "rasmiylashtirmasdan" g'alati muddatga ko'p uchratish mumkin. ularning bilim ufqlarini kengaytirish istaganlar uchun, bu rasmiylashtirmasdan, deb tushunish uchun tavsiya etiladi. maqola muddati mohiyati va jarayon amaliy dastur muhokama qilinadi.

umumiy ma'noda nuqtai ilmiy nuqtasi rasmiylashtirish nima?

ilmiy tomoni ustida bir oz Touch. ning bo'lmagan bor narsa yoki hodisaning mohiyatini tushuntirib berish va bu dastlabki sharoitlar bilan, xususan atrof-muhit uning xususiyatlarini tasavvur qilishiga imkon beradi so'z bu shartli, ya'ni, "rasmiy" so'zining rasmiylashtirmasdan olingan, ba'zan hatto bir mavhum tushuncha bo'lishidan kelib yarataylik.

Tilshunoslik har qanday zamonaviy til mantiqiy shakli yoki fikrlash tabiatning ifoda bilan mos emas. Shunday qilib, mantiq o'zi ma'lum hodisani aniqlash uchun, ba'zi mavhum tushunchalarni foydalanishga majbur. Va formalitelerinin nima bo'layotganini qarindoshi tushunchasi bor.

allaqachon uni sezgan kabi, rasmiylashtirmasdan mohiyati bayon qilish yoki ob'ekt yoki jarayon ayrim xususiyatlarini oldindan belgi (hatto paytda mavjud emas) va real dunyoda yuzaga kelgan taqdirda, uning foydalanish bashorat qilish, pastga keladi. Lekin, bu umumiy fikr emas. rasmiylashtirmasdan juda tushuncha ancha keng bo'ladi. kompyuter texnologiyasi markazida bilan boshlash uchun, elektronika dunyoda, bu muddat qanday ishlatiladi ko'rib.

kompyuter biçimselleştirme

mavzu ta'sir bo'lsa, bu turdagi kompyuterlar biçimselleştirme usuli asosan ob'ekt yoki jarayon keyingi xatti aniqlash uchun aniq bir yetarlicha yuqori darajada imkon boshlang'ich davolash shart-sharoitlar, beriladi.

Bu tamoyilga ko'ra deyarli barcha havo xizmati ishlaydi. Ega siklon kompyuter modeli er ustiga yoki suv ustida va uning cho'kib oldindan mumkin.

olim bu ibora kelib chiqqan holda, global iqlim o'zgarishi bashorat bo'lgan film "indinga," unutmang. Uning kompyuter modeli ehtimoli ma'lum bir darajasi kelajakni oldindan ruxsat ekanini ishlab chiqildi.

Bu misollar, bu rasmiylashtirmasdan, deb tushuntirish uchun mavjud.

ob'ektlar va jarayonlar modellashtirish tamoyillari

rasmiylashtirmasdan asosiy usullari - bir taxmin va modellashtirish. faqat ma'lum emas ob'ektlar yoki jarayonlar haqida yakuniy ma'lumotlar uchun bu kabi texnologiyalardan Qo'llash, lekin yuqori aniqligi soni bilan qabul qilinishi mumkin.

Agar turlarining rasmiylashtirmasdan qarasak, ularning deyarli barchasi mantiqiy xulosalar va hisob-kitoblar uchun cheklangan. o'quvchi, shuning uchun kompyuter modellashtirish, isbot nazariyasi o'rtasida parallel chizish qiyin bo'lishi emas, balki bo'ladi. E. o'zgarish va postulat asosida.

Shu uchun, qarang A. Eynshteynning nisbiylik nazariyasi amalda, dalil mumkin emas tekshirish, chunki ham, usul bir rasmiylashtirmasdan, deb talqin etilishi mumkin. Bu nur tarqatish konstantalar uchun amal qiladi Xususan, pastlab muddati ob'ekt tortishish og'irligi va makon egrilik oshirish, pol erishish uchun. Qo'llari, ular aytganidek, U his qilmaydi va ko'zlari ko'ra olmaydi.

Bir paytlar u oddiy tajribalar asosida faqat jasur fikr olim edi. Bugungi kunda, butun bu bir xil kompyuter simulyatsiya asosida rasmiy fan tomonidan tasdiqlanadi.

rasmiylashtirmasdan bosqichlari

Biz kompyuter tizimi, bir jarayon tavsifi formalizing birinchi qadam ko'rib bo'lsa. Lekin bu tilda (harflar, so'zlar, iboralar, gaplar) odatdagi vositalaridan foydalanish emas. muayyan yaratish matematik model faqat tanlangan dasturlash tili asosida muayyan algoritmi yordamida mumkin, lekin faqat umumiy muammoning bayonotida keyin.

Boshqa so'zlar bilan aytganda, bir ob'ekt yoki jarayon hodisa mohiyatini xatti modellik siz bir matematik algoritm bilan, faqat matematik belgilar bayon qilish uchun kerak bo'ladi.

Natijada tekshirilgan texnologiya amaliyotda foydalanish yoki muayyan tabiiy jarayon bosqichma real mavjudligini kirsa orqasidan ergashib bir biçimselleştirme dolzarb tahlil oldindan hodisalarni olish uchun emas.

quyidagi muammo kontseptsiyasi hisoblanadi. ikki varyantlar bor: birinchi holatda u xislatlari va xususiyatlari foydalanib shaklida ma'lum bir yondashuv hisoblanadi; Ikkinchi variant, ma'lumotlar dastlabki yig'ish hokazo, sharoit ishlatiladi, va. D, bilim tahlil emas, balki uchun zikr muammo shakllantirish foydalanishni o'z ichiga oladi.

tushuncha va boshlang'ich shartlari quyidagi mahalliy vakillik metodlardan foydalanish shama, ob'ektlar va jarayonlar o'rtasidagi mavjud munosabatlarni, shuningdek, deb atalmish semantik munosabatlarni o'rganib.

Bu tanlangan algoritm asosida boshlang'ich ma'lumotlarni qayta ishlash bilan, undan keyin xato foizini ko'rsatuvchi natija qaytadi. Odatda u 5% dan oshmaydi va ko'p hollarda ehtimoli natijasi 99% ga etadi. Har qanday shaxs yoki mashina hali uchun "xavfsizlik chegarasiga" tark etadi , kutilmagan holatlar hamma narsa hisobga olinishi mumkin emas, chunki.

Nima uchun hamma bu zarur?

Aql bo'lsa bu tamoyillar ob'ektlar va jarayonlar xulq tahlil qilish uchun imkon beradi. Boshqa so'zlar bilan aytganda, u muayyan bir jarayon rivojlantirish kim bashorat qilish mumkin.

Bunday rasmiylashtirmasdan deb ochiq. ning oddiy misol qaraylik.

amalda Application biçimselleştirme, oddiy misollar

aytaylik, ba'zi mutaxassislar yangi samolyot dizayni ishlab chiqildi. Bu vazifa uchun umuman noto'g'ri havoda uning xatti oldindan prognoz holda original hajmi modelini qurish loyihasi yuqori baho berilgan. Bundan tashqari, shu shamol tunnel samolyot bir Boeing hajmi ham testlar mutlaqo imkonsiz vazifa hisoblanadi.

Bu ichki model holda uchib Parvoz Model bo'lajak samolyot (havo qarshilik, yon shamol, balandligi, va eng shamol tunnel parametrlari va boshqa xususiyatlari) ning oldindan belgilangan xususiyatlarga rasmiylashtirmasdan uchun imkon beradi.

Yana bir misol, yangi mashinalari, bo'lib o'tgan avtomobil kompaniyalari sinov bo'ladi. bu holatda rasmiylashtirmasdan asosiy usuli, avvaliga ular virtual test o'tkazildi, va test namunalari ijobiy natijalarini olgandan so'ng, real sharoitlarda sinab ko'rish uchun ishlab chiqarish ishlaydigan, deb aslida yotadi.

Asosiy natijalar

ko'p (keyin ehtimoli 95% bilan yuz emas, agar foiz) matematik modellashtirish natijasida ob-havo, hatto dunyoda voqealarga bir reaktsiya sifatida ijtimoiy xatti oldindan bashorat yordam beradi, zamonaviy texnologiyalar ishlab chiqarish foydasiga kuchli argument bo'lishi mumkin.

Ha ha! dunyoda jamoatchilik fikrini shakllantirish, shuningdek, o'z qonunlariga bo'ysunadi. nuzhnoi yo'nalishda ham unga ta'sir qilish uchun etarli. Bugun, u yoki bu hodisa uchun umumiy reaksiya bashorat qilish dasturlari, bir poda tashkil. Va bu rasmiylashtirmasdan barcha misollarni emas. Biz chuqurroq qazish bo'lsa, biz har kuni bir xil muammoga duch.

Eng ajoyib misollardan biri biçimselleştirme va ochish so'z mumkin Higgs Katta Adron Çarpıştırıcısı'nda boshlang'ich zarrachalar to'qnashuvi ham. sof nazariyasi va, albatta, isbotlanishi haqiqiy dunyo tajribasi emas - Biroq avval bu zarrachaning mavjudligi, deb hisoblaydi.

xulosa

Ko'rib turganimizdek, rasmiylashtirmasdan tushunchasi, jarayonning ilmiy mohiyati murakkabligi qaramay, u misollar tushunish oson. Ko'pchilik holatlarda, ba'zi mantiqiy zanjirlar foydalanishga, natija oldindan belgilab pastga keladi.