Što je formalizacija? Postupak formalizacija. Koncepta, bit, pozornice, rezultata, primjera, vrste formalizacije

Danas vrlo često možete susresti puno čudnog izraza „formalizacije”, te u raznim područjima znanosti i tehnologije. Za one koji žele proširiti horizonte svoje znanje, to je poželjno da shvate da ovaj formalizacije. U članku će se smatrati suština pojma i praktična primjena procesa.

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

Malo dodir na znanstvenom aspektu. 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 moderno jezik ne podudara s izrazom logičkog oblika ili prirode razmišljanja. Dakle, sama logika prisiljeni koristiti neke apstraktne pojmove opisati određenu pojavu. A tu je relativan pojam onoga što se događa formalnosti.

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. No, to je opća ideja. Sam pojam formalizacije je mnogo širi. Za početak naglaskom na računalne tehnologije, razmislite o tome kako u svijetu elektronike, ovaj pojam se koristi.

računalo 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.

Prema tom principu radi praktički svim vremenskim usluge. Nakon što je ciklon računalni model može predvidjeti priključni ciklus i na kopnu ili na vodi.

Sjećate li se filma „The Day After Tomorrow”, u kojoj je znanstvenik predvidio globalno zagrijavanje, polazeći od ove tehnike. Njegov model računala razvijen je dozvoljeno da određeni stupanj vjerojatnosti predvidjeti buduće događaje.

Ovi primjeri su dostupni objasniti da je ovaj formalizacije.

objekti i procesi načela modeliranje

Glavne metode formalizacije - što je predviđanja i modeliranje. Primjenu takvih tehnologija isključivo za konačni podaci o objektima ili postupaka koji nisu poznati, ali se može pretpostaviti s velikom točnošću računati.

Ako pogledate formalizaciju vrsta, gotovo svi od njih ograničena na logičkim zaključcima i izračune. Čitatelj neće biti teško povući paralelu između modela računala, dokaz teorije, i tako dalje. E. Na temelju aksioma i postulata.

Gle, za isti Einsteinova teorija relativnosti također može tumačiti kao formalizaciju metode, jer u praksi, provjerite dokaz nije moguć. Posebno se to odnosi na lake konstanti prostiranja, vrijeme usporavanja postići prag, povećava gravitacijsko težinu predmeta i zakrivljenost prostora. Ruke, kako kažu, to ne osjeća, a oči ne mogu vidjeti.

Jednom davno je to bilo samo hrabri rasuđivanje znanstvenik na temelju jednostavnih eksperimenata. Danas, sve to potvrđuje službena znanost na temelju istog računalne simulacije.

faze formalizacije

Ako uzmemo u obzir računalni sustav, prvi korak u formaliziranja opis procesa. No, to ne koristi uobičajene alate jezika (slova, riječi, fraze, rečenice). Stvaranje određeni matematički model je moguće samo pomoću određeni algoritam se temelji na odabranom programskom jeziku, ali tek nakon izvještaja o općem problemu.

Drugim riječima, u modeliranju ponašanja nekog objekta ili procesa događaj biti potrebno opisati čisto matematičkih simbola, koristeći matematički algoritam.

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.

Sljedeći je konceptualizacija problema. Postoje dvije varijante: u prvom slučaju to je specifičan pristup u obliku koristeći atribute i karakteristike; Druga mogućnost uključuje korištenje kognitivnim analize, ne spominje formulaciju problema, početno prikupljanje podataka korišten, stanja, itd. d.

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.

Nakon toga slijedi obrada početne podatke na temelju odabranog algoritma, a zatim vraća rezultat pokazuje postotak pogreške. Obično ne prelazi 5%, te u većini slučajeva rezultat vjerojatnosti doseže 99%. Bilo koja osoba ili stroj i dalje će napustiti „sigurnosnu granicu” za nepredviđene okolnosti, jer sve se ne može uzeti u obzir.

Zašto je sve to potrebno?

Ako ste razumjeli ova načela omogućuju analizu ponašanja objekata i procesa. Drugim riječima, moguće je predvidjeti tko će razviti određeni proces.

Sada je jasno da takve formalizacije. Pogledajmo jednostavan primjer.

Primjena formaliziranje u praksi, najjednostavnije primjere

Recimo, neki stručnjaci su razvili 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. Osim toga, testovi su u istom zrakoplovu zračnom tunelu veličine Boeinga je apsolutno nemoguć zadatak.

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 testiranje novih strojeva, održan automobilske tvrtke. 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, u skladu sa svojim vlastitim zakonima. Dovoljno da ga utjecati na nuzhnoi smjeru. Danas je stvorio puno programa predvidjeti reakciju javnosti na ovaj ili onaj događaj. I to nije sve instance formalizacije. Ako dublje, možemo suočiti s istim problemom svaki dan.

Jedan od najupečatljivijih primjera može se navesti formalizacije i otkrivanje Higgs u sudarima elementarnih čestica u Large Hadron Collider. No, prije se vjerovalo da je postojanje te čestice - čista teorija, a to je apsolutno ne može dokazati u stvarnom svijetu iskustvo.

zaključak

Kao što vidimo, pojam formalizacije, unatoč složenosti znanstvene suštine procesa, to je lako razumjeti primjera. U većini slučajeva to se svodi na korištenje neke logičke lance, unaprijed ishod.