Naon formalization nu? Metoda formalization. Konsep, panggih, tahapan, hasil, conto, rupa formalization

Dinten, sering pisan anjeun tiasa papanggih loba istilah aneh "formalization", sarta dina sagala rupa widang élmu jeung téhnologi. Pikeun maranéhanana anu rék dilegakeun horizons pangaweruh maranéhanana, éta sasaena ngartos yen formalization ieu. artikel bakal dianggap hakekat istilah jeung aplikasi praktis prosés.

What is the formalization of a titik ilmiah of view dina rasa umum?

A touch saeutik kana aspék ilmiah. Hayu urang mimitian tina kanyataan yen kecap éta téh asalna tina formalization kecap "formal", ie éta kondisional, sarta sakapeung malah hiji konsep abstrak anu ngamungkinkeun pikeun ngajelaskeun sifat hiji objek non-existent atanapi fenomena jeung keur prediksi miboga sipat dina lingkungan nu tangtu jeung kaayaan awal dibikeun.

Linguistik sagala basa modern teu coincide jeung ekspresi formulir logis atanapi alam pamikiran. Ku kituna, logika sorangan kapaksa ngagunakeun sababaraha konsep abstrak pikeun ngagambarkeun hiji fenomena tangtu. Tur aya konsép relatif kumaha ieu lumangsung formalities.

Salaku geus ditebak dinya, hakekat formalization asalna handap pikeun, keur ngajelaskeun atawa predetermine sipat nu tangtu objek atawa prosés (moal malah aya dina momen) jeung pikeun ngaduga pamakéan na bisi kajadian di alam nyata. Tapi ieu téh pamanggih umum. Pisan Pamanggih ngeunaan formalization loba lega. Pikeun dimimitian ku fokus kana téhnologi komputer, mertimbangkeun kumaha di dunya éléktronika, istilah ieu dipaké.

formalization komputer

Mun subjek mangaruhan metoda komputer formalization tina tipe ieu rada dibikeun kaayaan perlakuan awal, nu ngawenangkeun hiji gelar sahingga luhur akurasi nangtukeun kabiasaan saterusna tina obyek atawa prosés.

Numutkeun prinsip ieu jalan praktis kabeh jasa cuaca. Gaduhan modél komputer Siklon bisa ngaduga siklus kakuatan sarta leuwih darat atawa leuwih cai.

Inget pilem "The Day Saatos Isukan," nu élmuwan nu diprediksi pemanasan Global, lajengkeun tina téknik ieu. modél komputer nya éta dimekarkeun anu diwenangkeun hiji gelar tangtu probability keur prediksi kajadian nu bakal datang.

conto ieu sadia keur ngajelaskeun yén formalization ieu.

objék jeung prosés prinsip modeling

Metodeu utama formalization - a forecasting na modeling. Larapkeun téknologi sapertos éksklusif pikeun data ahir ngeunaan objek atawa prosés anu teu dipikawanoh, tapi bisa dianggap mibanda count akurasi tinggi.

Lamun kasampak di formalization spésiés, ampir sakabéh éta dipasrahkeun ka conclusions logis tur itungan. maca moal hésé ngagambar paralel antara modeling komputer, tiori buktina, jeung saterusna. E. Dina dasar axioms na postulates.

Tingali, keur sami Téori Einstein rélativitas bisa ogé jadi diinterpretasi salaku formalization metoda, sabab dina praktekna, pariksa buktina teu mungkin. Hususna ieu manglaku ka konstanta rambatan lampu, waktu deceleration pikeun ngahontal bangbarung teh, ngaronjatna beurat gravitasi obyék sarta curvature ruang. Leungeun, sakumaha aranjeunna ngomong, teu ngarasa jeung panon teu bisa nempo.

Sakali kana waktos anu ieu ngan élmuwan penalaran macul dina dasar percobaan basajan. Dinten, sadaya ieu dikonfirmasi ku elmu resmi dina dasar simulasi komputer sami.

tahapan formalization

Lamun urang nganggap sistem komputer, léngkah munggaran dina formalizing pedaran proses. Tapi teu nganggo parabot dawam tina basa (hurup, kecap, frasa, kalimat). Jieun husus modél matematika anu mungkin ngan ku ngagunakeun algoritma tangtu dumasar kana basa programming nu dipilih, tapi ngan sanggeus pernyataan tina masalah umum.

Kalayan kecap séjén, dina modeling paripolah hiji obyék atawa acara prosés panggih anjeun kudu ngajelaskeun lambang murni matematik, maké algoritma matematik.

hasilna nyaeta pikeun ménta hiji formalization sabenerna analisis acara diprediksi yen dituturkeun sanggeus téhnologi ditalungtik bakal dipaké dina praktekna atawa prosés alam tangtu asup kana ayana nyata hambalan nu.

handap teh conceptualization tina masalah. Aya dua varian: dina kasus munggaran éta pendekatan husus dina bentuk ngagunakeun atribut jeung ciri; Pilihan kadua ngalibatkeun analisis kognitif, teu nyabit rumusan masalah, koleksi awal data dipaké, kaayaan, jeung saterusna. d.

Handap definisi jeung kaayaan awal diulik Hubungan aya antara objék jeung prosés, kitu ogé nu disebut hubungan semantis, implying pamakéan téknik ngagambarkeun lokal.

Ieu dituturkeun ku ngolah data awal dumasar kana algoritma dipilih, lajeng mulih hasil nunjukkeun persentase kasalahan. Biasana teu ngaleuwihan 5%, sarta di hal nu ilahar hasil tina probability ngahontal 99%. Naon baé atanapi mesin masih bakal ninggalkeun "kaamanan margin" kanggo kaayaan aral, lantaran sagalana teu bisa dibawa kana rekening.

Naha nya sadayana ieu perlu?

Lamun ngarti prinsip ieu ngidinan pikeun analisis paripolah objék jeung prosés. Dina basa sejen, kasebut nyaéta dimungkinkeun pikeun ngaduga nu bakal ngamekarkeun prosés nu tangtu.

Éta kiwari jelas yén formalization misalna. Hayu urang nempo conto basajan.

Aplikasi formalization dina praktekna, conto pangbasajanna

Hayu urang nyebutkeun, sababaraha ahli geus ngembangkeun hiji rarancang pesawat anyar. Dibikeun biaya tinggi sahiji proyék ngawangun modél ukuran aslina tanpa ramalan prior tina kabiasaan na dina hawa éta sagemblengna pantes keur tugas. Leuwih ti éta, tés dina sarua pesawat torowongan angin ukuran tina hiji Boeing anu tugas pancen teu mungkin.

Hal ieu ngamungkinkeun keur formalization sahiji ciri predetermined pesawat hareup (lalawanan hawa, samping angin, jangkungna, jeung paling parameter torowongan angin sarta ciri séjén) model pesawat ngapung tanpa model diwangun.

conto sejen teh nguji mesin anyar, diayakeun pausahaan otomotif. Metodeu dasar formalization, dina hal ieu perenahna di kanyataan yen di hareup aranjeunna ngayakeun test maya, sarta sanggeus narima hasil positif sampel test anu ngajalankeun dina produksi pikeun nguji dina kondisi nyata.

Hasil utama

Hasil tina modeling matematik dina loba (lamun teu saratus persen, teras ku probability 95%) tiasa argumen anu kuat di ni'mat produksi téhnologi modéren, baris nulungan ngaduga cuaca malah ngaduga kabiasaan sosial salaku réaksi ka acara di dunya.

Sumuhun, enya! Wangunan pendapat umum di dunya, teuing, nunut ka hukum sorangan. Cukup pangaruh anjeunna arah nuzhnoi. Kiwari, eta dijieun loba program keur prediksi réaksi umum pikeun ieu atawa eta acara. Sarta ieu teu sadayana instansi of formalization. Mun urang ngagali deeper, urang nyanghareupan masalah anu sarua unggal poe.

Salah sahiji conto paling keuna bisa jadi disebutkeun formalization sarta Pangwanoh Higgs di collisions partikel dasar dina collider hadron badag. Tapi saméméhna dinya ieu dipercaya yén ayana partikel ieu - téori murni, sarta eta kacida teu demonstrable pangalaman real-dunya.

kacindekan

Salaku urang tingali, anu Pamanggih ngeunaan formalization, dina spite tina pajeulitna hakekat ilmiah prosés, nya éta gampang ngartos conto. Dina kalolobaan kasus datang ka handap pikeun ngagunakeun sababaraha ranté logis, predetermine hasilna.