Što je formalizacija? Metoda formalizacije. Koncept, suština, faze, rezultati, primjeri, vrste formalizacije

Danas je često moguće zadovoljiti mnoge nerazumljive pojmove "formalizacija", te u različitim područjima znanosti i tehnologije. Oni koji žele proširiti horizonte svojih znanja, poželjno je razumjeti što je formalizacija. Članak će razmotriti bit ovog pojma i praktičnu primjenu procesa.

Što je formalizacija sa znanstvenog stajališta u općem smislu?

Dodirimo malo znanstvenog aspekta. Počnimo od činjenice da je riječ potječe iz formalizaciju riječi „formalno”, odnosno da je uvjetna, a ponekad čak i apstraktan koncept koji omogućava da objasni prirodu nepostojeće objekta ili pojave i predvidjeti svoja svojstva u određenom okruženju sa zadanim početnim uvjetima.

Lingvistika bilo kojeg suvremenog jezika apsolutno se ne podudara s izrazom logičnih oblika ili prirodom razmišljanja. Dakle, sama logika je prisiljena koristiti određene apstraktne koncepte kako bi opisala određeni fenomen. Dakle, postoji relativni koncept formalnosti onoga što se događa.

Kao što je to već pogađate, bit formalizacije se svodi na, opisati ili unaprijed određena svojstva objekta ili procesa (čak ni postojati u ovom trenutku) i predvidjeti njegovu upotrebu u slučaju pojave u stvarnom svijetu. Ali ovo je opća ideja. Sam koncept formalizacije mnogo je širi. Za početak naglaskom na računalne tehnologije, razmislite o tome kako u svijetu elektronike, ovaj pojam se koristi.

Računalna formalizacija

Ako je subjekt utjecati računala formalizacija metoda ove vrste prilično je dao početne uvjete liječenja, koji omogućuju dovoljno visok stupanj točnosti odrediti naknadno ponašanje objekta ili procesa.

Gotovo sve meteorološke službe rade na ovom načelu. Nakon računalnog modela ciklona, ​​moguće je predvidjeti njegov ciklus i snagu preko zemlje ili preko vodenog prostora.

Sjetite se filma "Dan nakon sutra", u kojem je znanstvenik predvidio globalno zatopljenje, prolazeći iz ove metode. Razvio je računalni model koji je s nekim vjerojatnostima mogao predvidjeti buduće događaje.

Ovi primjeri su dostupni da objasne što je formalizacija.

Načela modeliranja objekata i procesa

Glavne metode formalizacije su predviđanje i modeliranje. Ove se tehnologije koriste isključivo za dobivanje konačnih podataka o predmetima ili procesima koji nisu poznati, no mogu se pretpostaviti i izračunati s velikom točnošću.

Ako pogledate vrste formalizacije, gotovo svi od njih su svedeni samo na logičke zaključke i izračune. Čitatelj može lako nacrtati paralelu između računalnog modeliranja, dokaza teorema, itd. Na temelju aksioma i postulata.

Gledaj, to je isto Einsteinova teorija relativnosti također se može tretirati kao formalizacija, jer u praksi nije moguće provjeriti dokaz. To se posebno odnosi na konstantu propagacije svjetla, vremensku odgodu na pragu njezina postignuća, povećanje gravitacijske mase objekta i zakrivljenost prostora. Ruke, kako kažu, nećete to osjetiti i nećete vidjeti svoje oči.

Jednom su to bili samo odvažni zaključci znanstvenika na temelju najjednostavnijih eksperimenata. Danas sve to potvrđuje službena znanost koja se temelji na istoj računalnoj simulaciji.

Faze formalizacije

Ako uzmemo u obzir računalne sustave, tada je prva faza formalizacije opis procesa. No, ovdje se ne koriste alati uobičajenog jezika (slova, riječi, fraze, rečenice). Izradite određenu matematički model moguće je samo pomoću nekog algoritma koji se temelji na odabranom programskom jeziku, ali samo nakon postavljanja zajedničkog zadatka.

Drugim riječima, prilikom modeliranja ponašanja nekog objekta ili procesa, bit događaja mora se opisati isključivo pomoću matematičkih simbola pomoću matematičkog algoritma.

Rezultat je dobiti formalizacija stvarne analize predvidljive događaje koji su uslijedili nakon što je istražio tehnologija će se koristiti u praksi ili određeni prirodni proces ulazi u pravi postojanje korak.

Slijedi konceptualizacija zadatka. Postoje dvije varijante: u prvom slučaju to je specifičan pristup u obliku upotrebe atributa i priznakov- drugu opciju uključuje korištenje kognitivne analize, da ne spominjem izjavu o problemu, prikupiti početne podatke koji se koriste, uvjeti, i tako dalje ..

Nakon definicije i početne uvjete studirao postojeći odnos između objekata i procesa, kao i tzv semantičkih odnosa, što podrazumijeva korištenje lokalnih tehnika predstavljanja.

Zatim slijedi obrada početnih podataka na temelju odabranog algoritma, nakon čega se rezultat daje s postotkom pogreške. U pravilu ne prelazi 5%, a u većini slučajeva rezultat vjerojatnosti doseže 99%. Svaka osoba ili stroj i dalje ostavlja "marginu sigurnosti" za nepredviđene okolnosti, jer je apsolutno sve nemoguće uzeti u obzir.

Zašto je sve ovo potrebno?

Ako razumijete, takva načela omogućuju vam analizu ponašanja objekata i procesa. Drugim riječima, može se predvidjeti kako će se ovaj ili taj proces razvijati.

Sada je jasno što je formalizacija. Pogledajmo najjednostavniji primjer.

Primjena formalizacije u praksi, najjednostavniji primjeri

Pretpostavimo da je stručnjak razvio novi dizajn zrakoplova. S obzirom na visoke cijene projekta za izgradnju modela na izvornu veličinu bez prethodne prognoze njegovog ponašanja u zraku što je u potpunosti neprimjeren za zadatak. Štoviše, provođenje testova u istom zračnom tunelu aviona veličina Boeinga je apsolutno nerealna zadaća.

To omogućava za formalizaciju unaprijed određenih karakteristika budućeg zrakoplova (otpor zraka, bočne vjetra, visinu i većini parametara zračnom tunelu i druge karakteristike) Model zrakoplova leti bez izgrađenog modela.

Drugi primjer je ispitivanje novih strojeva od strane automobilskih tvrtki. Osnovna metoda formalizacije, u ovom slučaju leži u činjenici da je u početku su imali virtualni test, i nakon primitka pozitivne rezultate testiranih uzoraka rad u proizvodnji za testiranje u stvarnim uvjetima.

Glavni rezultati

Rezultat matematičkog modeliranja u mnogim (ako ne i sto posto, zatim s vjerojatnosti 95%) može biti snažan argument u korist proizvodnje i moderne tehnologije pomoći će predvidjeti vrijeme čak i predvidjeti socijalnog ponašanja kao reakcija na događaje u svijetu.

Da, da! Formiranje javnog mnijenja u svijetu također je podložno vlastitim zakonima. Dovoljno je raditi na tome u pravom smjeru. Danas su već stvoreni mnogi programi koji omogućuju predviđanje reakcije društva na događaj. I to nisu svi primjeri formalizacije. Ako dublje kopamo, svakodnevno se suočavamo.

Jedan od najočiglednijih primjera formalizacije može se nazvati otkrivanjem Higgs boson u sudaru elementarnih čestica u Large Hadron Collider-u. No, u stvari je prethodno mislilo da je postojanje ove čestice čista teorija, a apsolutno nije dokazivao pravi pokusi.

zaključak

Kao što vidimo, u konceptu formalizacije, unatoč znanstvenoj složenosti bit procesa, lako je razumjeti primjere. U većini slučajeva, smanjuje se korištenje određenih logičkih lanaca koji unaprijed određuju konačni rezultat.