Koja je formalizacija? metoda formalizacija. Koncept, suština, faze, rezultati, primjere, vrste formalizacije

Danas, vrlo često možete upoznati mnogo čudnih termina "formalizacije", a u raznim oblastima nauke i tehnologije. Za one koji žele da prošire horizonte svoje znanje, poželjno je da shvatimo da je to formalizacija. Ovaj članak će se smatrati suštinu pojma i praktične primjene procesa.

Koja je formalizacija naučne tačke gledišta u širem smislu?

Malo dodir na naučnog aspekta. Počnimo od činjenice da je riječ je izvedena iz formalizacija riječ "formalni", odnosno da je uslovna, a ponekad čak i apstraktan koncept koji omogućava da objasni prirodu nepostojeće predmet ili pojava i za predviđanje njegovih svojstava u određenoj sredini sa datim početne uslove.

Lingvistika svake moderne jezik ne poklapaju sa izrazom logičkih oblik ili priroda razmišljanja. Dakle, sama logika primorani da koriste neke apstraktne koncepte za opisivanje određeni fenomen. A tu je relativan pojam onoga što se događa formalnosti.

Kao što je već pogađate, suština formalizacije svodi na, opisati ili predodrediti određena svojstva objekta ili proces (ni postojao u ovom trenutku) i predvidjeti njegovu upotrebu u slučaju pojave u stvarnom svijetu. Ali ovo je osnovna ideja. Sam pojam formalizacije je mnogo šira. Za početak sa fokusom na kompjuterske tehnologije, razmotriti kako u svijetu elektronike, ovaj izraz se koristi.

kompjuter formalizacija

Ukoliko je predmet utjecati na način kompjutera formalizaciju ovog tipa, a dat početnih uslova liječenja, koje omogućavaju dovoljno visok stepen preciznosti odrediti naknadno ponašanje objekta ili procesa.

Prema ovom principu radi gotovo sve vremenska prognoza. Imajući ciklon kompjuterski model može predvidjeti svoju moć ciklusa i preko zemljišta ili iznad vode.

Ne zaboravite filma "The Day After Tomorrow", u kojoj je naučnik predvidio globalno zagrijavanje, polazeći od ove tehnike. Njegov kompjuterski model je razvijen da dozvoljen određeni stepen vjerovatnoće za predviđanje budućih događaja.

Ovi primjeri su na raspolaganju da objasni da je to formalizacija.

objekata i procesa principe modeliranja

Glavne metode formalizacije - predviđanje i modeliranje. Primjene takve tehnologije isključivo za konačni podaci o objektima ili procesi koji se ne zna, ali se može pretpostaviti s posjeta visokom preciznošću.

Ako pogledate na formalizaciju vrsta, gotovo svi su ograničene na logičkih zaključaka i kalkulacije. Čitalac neće biti teško povući paralelu između modeliranje računar, dokaz teorije, i tako dalje. E. Na osnovu aksioma i postulata.

Vidi, za istu Einsteinova teorija relativnosti također može tumačiti kao formalizaciju metoda, jer u praksi, pogledajte dokaz nije moguć. Posebno se to odnosi na prostiranja svetlosti konstanti, vremena usporavanja za postizanje praga, povećanje gravitacijska masa objekta i zakrivljenost prostora. Ruke, kako kažu, ne osjećaju i oči ne mogu vidjeti.

Nekada davno je to bilo samo hrabro obrazloženje naučnik na temelju jednostavnih eksperimenata. Danas, sve to potvrđuje i zvanična nauka na temelju istih kompjuterske simulacije.

faza formalizacije

Ako uzmemo u obzir kompjuterski sistem, prvi korak u formalizovanju opis procesa. Ali to ne koristi uobičajene alate jezika (slova, riječi, fraze, rečenice). Stvoriti određeni matematički model je moguće samo pomoću određeni algoritam na osnovu izabranog programskog jezika, ali tek nakon izjava opšti problem.

Drugim riječima, u modeliranju ponašanja objekta ili proces događaj suštinu morate opisati čisto matematičkih simbola, koristeći matematičke algoritam.

Rezultat je da se dobije formalizaciju stvarne analize predvidljiv događaja koji su uslijedili nakon što će se istražiti tehnologija koja se koristi u praksi ili određene prirodni proces ulazi u stvarno postojanje koraka.

U nastavku je konceptualizacija problema. Postoje dvije varijante: u prvom slučaju to je specifičan pristup u obliku pomoću atributa i karakteristike; Druga opcija uključuje upotrebu kognitivne analize, da ne govorimo o formulaciji problema, početni prikupljanje podataka koji se koriste, uslovi, i tako dalje. d.

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

Ovo je praćeno obradom početnih podataka na osnovu odabranih algoritam, a zatim vraća rezultat ukazuje na postotak pogreške. Obično to ne prelazi 5%, a u većini slučajeva rezultat je vjerovatnoća dostiže 99%. Bilo koja osoba ili stroj i dalje će napustiti "sigurnosne margine" za nepredviđene okolnosti, jer sve se ne može uzeti u obzir.

Zašto je sve to potrebno?

Ako razumijete ove principe omogućuju analizu ponašanja objekata i procesa. Drugim riječima, to je moguće predvidjeti koji će razviti određeni proces.

Sada je jasno da je takva formalizacija. Pogledajmo jednostavan primjer.

Primjena formalizacija u praksi, najjednostavniji primjeri

Recimo, neki stručnjaci su razvili novi dizajn aviona. S obzirom na visoke troškove projekta za izgradnju modela originalne veličine bez prethodne prognoza njegovo ponašanje u zraku je sasvim neprikladno za taj zadatak. Osim toga, testovi u istom zračnom tunelu aviona veličine Boeing je apsolutno nemoguć zadatak.

To omogućava za formalizaciju predodređeni karakteristika budućih zrakoplova (otpor zraka, bočni vjetar, visina, a većina parametara zračnom tunelu i druge karakteristike) model aviona leti bez ugrađenog modela.

Drugi primjer je testiranje novih mašina, održan automobilske kompanije. Osnovni metod formalizacije, u ovom slučaju leži u činjenici da je u prvi mah su držali virtualni test, a nakon što je dobila pozitivne rezultate uzoraka za ispitivanje drže u proizvodnji za testiranje u realnim uvjetima.

Glavni rezultati

Rezultat matematičkog modeliranja u mnogim (ako ne i sto posto, zatim vjerojatnost 95%) može biti snažan argument u korist proizvodnju modernih tehnologija, će pomoći predviđanje vremena čak predviđaju društveno ponašanje kao reakcija na događaje u svijetu.

Da, da! Formiranje javnog mnijenja u svijetu je, takođe, u skladu sa svojim zakonima. Dovoljno da ga utiče na nuzhnoi pravcu. Danas ga je stvorio mnogo programa za predviđanje reakcija javnosti na ovaj ili onaj događaj. I to nije sve instance formalizacije. Ako se dublje, suočavamo s istim problemom svaki dan.

Jedan od najupečatljivijih primjera, mogu se navesti formalizacija i otkrivanje Higgs u sudarima elementarnih čestica u Large Hadron Collider. Ali, ranije se smatralo da je postojanje ove čestice - čista teorija, i to apsolutno nije dokazati u stvarnom svijetu iskustvo.

zaključak

Kao što vidimo, pojam formalizacije, bez obzira na složenost naučnog suštine procesa, to je lako shvatiti primjere. U većini slučajeva se svodi na upotrebu nekih logičkih lanaca, predodređuju ishod.