Apa formalization ing? cara formalization. Konsep, pet, orane tumrap sekolah, asil, conto, jinis formalization

Dina iki, asring banget sampeyan bisa ketemu akèh istilah aneh "formalization", lan ing macem-macem kothak ilmu lan teknologi. Sing pengin kanggo nggedhekake Horizons kawruh, iku luwih apik kanggo ngerti sing formalization iki. Artikel bakal dianggep pet mangsa lan aplikasi praktis saka proses.

Apa formalization saka titik ngelmu tampilan ing raos umum?

A tutul sethitik ing aspek ilmiah. Ayo dadi miwiti saka kasunyatan yen tembung asalé saka formalization saka tembung "formal", IE iku saratipun, lan sok-sok malah sawijining konsèp abstrak sing ngidini kanggo nerangake alam barang non-ana utawa kedadean lan prédhiksi sawijining ing lingkungan tartamtu ingkang trep kaliyan dhisikan diwenehi.

Linguistics basa modern ora pas karo expression saka wangun logis utawa alam pikiran. Mangkono, logika dhewe dipeksa kanggo nggunakake sawetara konsèp abstrak kanggo njlèntrèhaké kedadean tartamtu. Lan ana konsep relatif saka apa wis kedados formalitas.

Minangka wis guessed, pet formalization tumurun, kanggo njlèntrèhaké utawa kanggo predetermine tartamtu saka obyek utawa proses (ora malah ana ing wayahe) lan kanggé ngramal nggunakake ing cilik saka kedadeyan ing donya nyata. Nanging iki idea umum. Banget pemanggih formalization punika langkung wiyar. Kanggo miwiti karo fokus ing teknologi komputer, nimbang carane ing donya electronics, istilah iki digunakake.

formalization komputer

Yen subyek mengaruhi cara komputer formalization saka jinis iki rada diwenehi kahanan perawatan dhisikan, kang ngidini jurusan cekap dhuwur saka akurasi kanggo nemtokake prilaku sakteruse saka obyek utawa proses.

Miturut asas iki dianggo prakteke kabeh layanan cuaca. Duwe model komputer siklon bisa prédhiksi siklus daya lan liwat tanah utawa liwat banyu.

Elingi film "Sawise dina sesuk," kang ilmuwan mbadek pamanasan global, nerusake saka technique iki. model komputer iki dikembangaké sing diijini jurusan tartamtu saka kemungkinan kanggé ngramal prastawa mangsa.

Iki conto kasedhiya kanggo nerangake sing formalization iki.

obyek lan pangolahan prinsip modeling

Metode utama formalization - a lan pamodhèlan. Aplikasi teknologi kuwi istimewa kanggo data final bab obyek utawa pangolahan sing ora dikenal, nanging bisa wiwit karo count akurasi dhuwur.

Yen katon ing formalization spesies, meh kabeh mau Dibuwang Serat logis lan petungan. Sing maca ora bakal angel kanggo tarik podo antarane modeling komputer, téori pambuktèn, lan ing. E. Ing basis saka aksioma lan postulat.

Katon, kanggo padha teori Einstein relativitas bisa uga dipun artosaken minangka formalization saka cara, amarga ing laku, mriksa bukti ora bisa. Ing tartamtu iki ditrapake kanggo ajeg panyebaran cahya, ing wektu sing ndadeake munggah nganthi kanggo entuk lawang, nambah bobot gravitasi saka obyek lan lengkungan papan. Tangan, lagi ngomong, ora aran lan mata ora bisa ndeleng.

Sawise marang wektu iku mung ilmuwan pertimbangan wani ing basis saka nyobi prasaja. Dina iki, kabeh iki dikonfirmasi dening ilmu resmi ing basis simulasi komputer padha.

orane tumrap sekolah saka formalization

Yen kita nimbang sistem komputer, langkah pisanan ing formalizing gambaran proses. Nanging ora nggunakake pribadi biasanipun saka basa (aksara, tembung, frasa, ukara). Nggawe tartamtu model matematika bisa mung kanthi nggunakake algoritma tartamtu adhedhasar basa program milih, nanging mung sawise statement saka masalah umum.

Ing tembung liyane, ing modeling ing prilaku saka obyek utawa acara proses pet sampeyan kudu njlèntrèhaké simbol sejatine sifate matematika, nggunakake algoritma matematika.

Asil punika diwenehi formalization nyata analisis acara katebak sing mèlu sawise teknologi nyelidiki bakal digunakake ing laku utawa proses alam tartamtu lumebu ing terangake saka langkah.

ing ngisor iki yaiku conceptualization saka masalah. Ana loro Varian: ing mengkono iku pendekatan tartamtu ing wangun nggunakake kawicaksanan lan ciri; Pilihan kapindho melu nggunakake analisis kognitif, ora kanggo sebutno ngrumusake saka masalah, koleksi dhisikan saka data digunakake, kahanan, lan ing. d.

Dipuntedahaken ukara lan kahanan dhisikan sinau sesambetan ana ing antarané obyèk lan pangolahan, uga supaya disebut-sesambetan semantik, nggambarake nggunakake Techniques perwakilan lokal.

Iki nganti dening proses data dhisikan adhedhasar algoritma sing kapilih, banjur ngasilake asil nuduhake persentasi saka kesalahan. Biasane iku ora ngluwihi 5%, lan ing paling kasus asil kemungkinan tekan 99%. Wong utawa mesin isih bakal ninggalake "safety wates" kanggo kahanan unforeseen, amarga kabeh ora bisa dijupuk menyang akun.

Apa kabeh iki perlu?

Yen sampeyan ngerti prinsip ngidini kanggo analisis perilaku obyek lan pangolahan. Ing tembung liyane, sampeyan bisa kanggo mrédhiksi sing bakal berkembang proses tartamtu.

Sampeyan saiki cetha yen formalization kuwi. Ayo kang katon ing tuladha prasaja.

Aplikasi formalization ing laku, conto gampang

Ayo dadi ngomong, sawetara ahli wis dikembangaké desain pesawat anyar. Given biaya dhuwur saka project kanggo mbangun model saka ukuran asli tanpa ramalan sadurunge prilaku ing udhara iku tanggung cecek kanggo tugas. Menapa malih, ing tes ing padha pesawat trowongan angin ukuran saka Boeing iku tugas pancen mokal.

Nanging ngidini kanggo formalization ciri predetermined pesawat mangsa (resistance online, sisih angin, dhuwur, lan paling paramèter trowongan angin lan karakteristik) model pesawat mabur tanpa model dibangun.

Tuladha liyane iku testing anyar mesin, dianakaké perusahaan otomotif. Cara dhasar saka formalization, ing kasus iki dumunung ing kasunyatan sing ing kawitan padha dianakaké test virtual, lan sawise nampa asil positif saka test conto sing mbukak ing produksi kanggo nyoba ing kahanan nyata.

Asil utama

Asil modeling matematika akeh (yen ora satus persen, banjur karo kemungkinan 95%) bisa dadi pitakonan kuat ing sih saka produksi teknologi modern, bakal bantuan prédhiksi cuaca malah prédhiksi prilaku sosial minangka reaksi kanggo acara ing donya.

Ya, ya! Tatanan pendapat umum ing donya, banget, punika miturut hukum dhewe. Cukup kanggo pengaruhe marang ing arah nuzhnoi. Dina iki, iku digawé akèh program kanggo mrédhiksi reaksi umum menyang utawa sing acara. Lan iki ora kabeh kedadean formalization. Yen kita dig tuwa, kita ngadhepi masalah padha saben dina.

Salah siji conto paling striking bisa kasebut formalization lan deteksi Higgs ing tabrakan saka unsur dhasar ing collider hadron gedhe. Nanging sadurungé iku sing yakin yèn anané partikel iki - teori murni, lan iku pancen ora demonstrable pengalaman nyata-donya.

kesimpulan

Kita waca, ing pemanggih saka formalization, ing éwadéné kerumitan pet ilmiah proses, iku gampang kanggo ngerti conto. Ing kasus paling nerangake mudhun kanggo nggunakake sawetara sanad logis, predetermine kasil.