Zer da formalizatzeko? formalizazio-metodoa. Kontzeptu, esentzia, etapa, emaitzak, adibideak, formalizazio-mota

Gaur egun, oso sarritan epe arraro "formalizazio" asko, eta zientzia eta teknologiaren hainbat arlotan bete ahal izango duzu. beren ezagutza mugak zabaldu nahi dutenentzat, komeni da formalizazio hori ulertzen. Artikulu hartuko da epe esentzia eta prozesua aplikazio praktikoa.

Zer da ikuspuntu zientifiko bat formalizatzeko zentzu orokor batean?

alderdi zientifiko ukitu txiki bat. Dezagun Izan ere hitzaren hori hitzaren formalizatzeko eratorritako "formal", hau baldintzapeko da, eta batzuetan kontzeptu abstraktu bat ahalbidetzen duen existitzen ez objektu bat edo fenomeno izaera azaltzeko eta bere propietate iragartzeko emandako hasierako baldintzak ingurune jakin batean aurrera.

Hizkuntzalaritza edozein hizkuntza moderno ez du forma logikoa edo pentsamendu izaera adierazpen bat datoz. Horrela, logika bera behartuta kontzeptu abstraktu batzuk erabiltzeko fenomeno jakin bat deskribatzeko. Eta han zer da izapideak gertatzen kontzeptua erlatiboa da.

Dagoeneko igarri bezala, formalizazio esentzia dator behera, deskribatzeko edo objektuaren edo prozesu propietate jakin predetermine den (ezta une existitzen) eta bere agerraldia kasuan erabilera iragartzeko mundu errealean. Baina hori ideia orokor bat da. Oso formalizazio nozioa askoz zabalagoa da. Ordenagailu teknologia arreta Hasteko, kontuan hartu nola elektronika munduan, epe hau erabiltzen da.

ordenagailu formalizazio

gaia eraginik badu ordenagailuak formalizazio mota honetako metodoa baizik ematen da hasierako tratamendua baldintzak, zehaztasun-maila nahikoa altua ahalbidetuko duten ondorengo objektuaren edo prozesu portaera zehazteko.

Horren aburuz eguraldi zerbitzu guztiak ia lan. Izateak zikloi ordenagailua modelo bere boterea ziklo iragartzeko daiteke eta lur gaineko edo uraren gainean.

Gogoratu filma "Etzi The," bertan, zientzialari iragarri berotze globalaren, teknika honetatik aurrera jarraitu. Bere ordenagailu eredua garatu zen, probabilitate-maila jakin bat etorkizuneko ekitaldiak iragartzeko onartzen.

Adibide hauek daude eskuragarri formalizazio hori azaltzeko.

objektuak eta prozesuak modelaketa printzipioak

formalizazio-metodo nagusiak - aurreikuspen bat eta modelaketa. Aplikatu teknologia, hala nola, objektuak edo prozesuak ez direla ezagutzen buruz final datuen esklusiboki, baina zehaztasun handiko kontaketa izango dela suposatzen daiteke.

begiratuz espezie formalizatzeko at, ia denak ondorio logikoa eta kalkuluak ezinik. Irakurleak ez da zaila ordenagailu modelaketa, froga teoria arteko paralelo bat marraztu, eta abar. E. axioma eta postulatu oinarrituta.

Begira, bera dagoen Einsteinen Erlatibitatearen teoria izan ere metodoaren formalizatzeko gisa interpretatu, baita praktikan, egiaztatu froga ez da posible. Bereziki honek argi hedapena konstanteak aplikatzen zaie, dezelerazioa garai atarian lortzeko, objektuaren pisua grabitazio eta espazioaren kurbadura handituz. Eskuak, esan bezala, ez du sentitzen eta begiak ezin ikusi.

Bazen behin bakarrik ausartak arrazoibide esperimentu errazak oinarrituta zientzialaria izan zen. Gaur, hori guztia baieztatu zientzia ofizialek ordenagailu berean simulazio oinarrituta.

formalizazio fase

sistema informatikoan, prozesuaren deskribapena formalizatzeko lehen urratsa hartzen badugu. Baina ez da ohiko tresnak erabili hizkuntza (letrak, hitzak, esaldiak, esaldiak) ere. Sortu zehatz bat eredu matematiko posible da algoritmo jakin bat oinarritutako hautatutako programazio hizkuntzaren bidez bakarrik, baina arazo orokorraren adierazpena ondoren bakarrik.

Bestela esanda, objektu edo prozesua gertaera esentzia baten portaera modelaketa ikur matematiko hutsa deskribatzeko, algoritmo matematiko bat erabiliz behar duzu.

Emaitza da a formalizazio benetako analisi aurreikus ekitaldiak jarraitu duten ikertu teknologia praktikan erabiliko da ondoren edo prozesu natural jakin benetako urratsa existentzia sartzen lortzeko.

Honako arazoaren kontzeptualizazio da. Badira bi aldaera: lehenengo kasuan ezaugarriak eta ezaugarri erabiliz formularioa planteamendu zehatz bat da; Bigarren aukera analisi kognitiboaren bat, ez aipatzearren arazoaren formulazioa erabiltzea, hasierako datuen bilketa erabili, baldintzak, eta abar. d dakar.

definizioak eta hasierako baldintza hauek existitzen diren objektuak eta prozesuen arteko harremana, bai eta harreman semantikoa deiturikoak aztertu, tokiko ordezkaritza teknikak erabiltzea ulertuta.

Hori oinarritzat aukeratutako algoritmo on the hasierako datuak prozesatzeko jarraian, eta gero emaitza error ehunekoa adieraziz itzultzen du. Normalean, ez du% 5 gainditzen, eta kasu gehienetan probabilitatea emaitza% 99 iristen. Edozein pertsona edo makina oraindik utziko du "segurtasun-tarte" for ezusteko egoera, dena ezin dira kontuan hartzen delako.

Zergatik da hori guztia beharrezkoa?

Ulertzen baduzu printzipio horiek objektuak eta prozesuak portaera azterketa baimentzeko. Bestela esanda, posible da nor prozesua zehatz bat garatuko du iragartzeko.

orain argi esaterako formalizazio hori da. Dezagun adibide sinple bat.

Aplikazio praktikan formalizazio, adibide errazena

Demagun, aditu batzuek hegazkin diseinu berri bat garatu dute. Emandako proiektuaren jatorrizko tamainan eredu bat eraikitzeko, aldez aurretik bere portaera iragarpenak airean erabat zereginaren desegokia da hori gabe kostu handia. Gainera, bera haize tunel hegazkin Boeing baten tamaina probak erabat ezinezkoa zeregina da.

ahalbidetzen aurretik zehaztutako etorkizuneko hegazkin (airearen erresistentzia, alboko haizeak, altuera eta haize tunel parametro eta bestelako ezaugarriak) ezaugarriak formalizatzeko dagoen eredu hegazkinaren eraiki eredu bat gabe hegan.

Beste adibide bat makina berriak, ospatu automobilgintza enpresen azterketa da. formalizazio oinarrizko metodoa, kasu honetan, lehenengo hori proba birtual bat ospatu zuten, eta proba lagin emaitza positiboak jaso ondoren ari den baldintza errealetan probatu ekoizpen korrika hain zuzen.

emaitza nagusiak

modelaketa matematikoa emaitza (ehuneko ez ehun bada, orduan probabilitatea% 95 dira) askotan teknologia modernoaren ekoizpenaren aldeko argudio indartsua izan daiteke, aurreikusteko eguraldia are social portaera aurreikusteko munduko gertaerak erreakzio gisa lagunduko du.

Bai, bai! munduko iritzi publikoaren eraketa, ere, da bere legeak bete behar dira. Nahikoa zion eragiteko nuzhnoi norabidean. Gaurkoan programak asko sortu da hau edo gertaera erreakzio publikoa iragartzeko. Eta hau ez da formalizazio instantzia guztiak. sakonago dig badugu, arazo bera dugu aurre egunero.

Adibide deigarrienetako bat aipatu daitezke, formalizazio eta detektatzeko Higgs hadron handiak Collider oinarrizko partikula talkak ere. Baina lehenago uste zen partikula honen existentzia hori - teoria hutsa, eta erabat ez da frogagarria mundu errealeko esperientzia.

ondorio

ikusi dugun bezala, formalizazio nozioa, prozesuaren funtsa zientifikoak konplexutasuna gorabehera, erraza adibide ulertu behar da. Gehienetan behera logikoa kateak batzuk erabiliz, predetermine emaitza orduan.