Chii formalization? formalization nzira. Pfungwa, chaizvoizvo, matanho, zvabuda, mienzaniso, mhando formalization

Nhasi kakawanda unogona kusangana chaizvo chinoshamisa rokuti "formalization", uye minda zvesainzi siyana. Nokuti vanoda kuwedzera horizons zivo yavo, zvinokurudzirwa kunzwisisa kuti formalization ichi. Nyaya ichakurukurwa musimboti rokuti uye kushandiswa chaikwo kwacho.

Chii formalization ane esayenzi maonero neimwewo mupfungwa?

A shoma dzinombotaura zvesayenzi chinoumba. Ngatitange kubva chokwadi kuti shoko rinobva formalization kweshoko "wevakadzidza", kureva zviri zvimiso, uye dzimwe nguva kunyange husingaoneki pfungwa kuti unobvumira kutsanangura hunhu asiri aripo chinhu kana chiitiko uye kufungidzira zvivako yaro imwe ezvinhu pamwe kupiwa kutanga ezvinhu.

Zvemutauro chero mutauro ano hakuiti uwirirane kutaura akanyatsorongwa chimiro kana hunhu mafungiro. Saka pfungwa pachayo kumanikidzwa kushandisa zvimwe zvisiri pachena kuti kutsanangura imwe chinoshamisa. Uye pane hama pfungwa zviri kuitika chokungoitawo.

Sezvo kare wafungidzira izvozvo, musimboti formalization auya pasi, kurondedzera kana kuti akafanosarudza zvimwe zvivako zviri chinhu kana muitiro (kunyange kuvapo panguva) uye kufungidzira kushandiswa kwayo kana chiitiko munyika chaiyo. Asi ichi ndicho pfungwa rwevanhu. The chaizvo kusabatsira formalization zvakawanda zvikuru. Chokutanga ritaure noruzivo rwemakombiyuta, funga kuti munyika zvemagetsi, ichi izwi rinoshandiswa.

kombiyuta formalization

Kana nyaya kukanganisa makombiyuta formalization nzira iyi mhando iri nani kupiwa kwokutanga kurapwa mamiriro, izvo vanobvumira zvakakwana anokudzwa zvakarurama kusarudza haizopereri unhu chinhu kana muitiro.

Maererano nenheyo iyi inoshanda Munenge ekunze basa zvose. Kuva nedutu kombiyuta womuenzaniso anogona kufanoona simba rayo kutenderera uye pamusoro penyika kana pamusoro mvura.

Yeuka firimu "zvakusweramangwana," umo musayendisiti afanotaura kupisa achibva unyanzvi ichi. Wake wokuenzanisira kombiyuta yakazokudziridzwa kuti kubvumira mumwe mwero mukana kufembera zviitiko zvomunguva yemberi.

Mienzaniso iyi dziripo kutsanangura kuti formalization ichi.

zvinhu uye pezvakaitwa Modelling misimboti

The chikuru nzira formalization - munhu kufungidzira uye Modelling. Shandisa michina yakadaro chete chokupedzisira mashoko pamusoro zvinhu kana pezvakaitwa kuti zvisina kuzivikanwa, asi unogona kuva vakafunga dzakakwirira zvakarurama count.

Kana ukatarira panguva formalization kwazvakaita, anenge vose vakanovharirwa musoro mhedziso uye Masvomhu. Muverengi hakuzovi kwakaoma kuzochera kufanana kombiyuta Modelling, chiratidzo dzidziso, uye zvichingodaro. E. Pahwaro axioms uye postulates.

Tarirai, nokuti chete Einstein kuti dzidziso relativity zvingashandawo sokureva formalization pamusoro nzira, nokuti tsika, tarisa uchapupu hazvibviri. Zvikurukuru azvinoita chiedza kupararira constants, kuti deceleration nguva kuwana pachikumbaridzo, kuwedzere rinokweva kurema chinhu uye curvature nzvimbo. Hands, sezvo vachiti hazvina kunzwa uye meso havagoni kuona.

Noumwe nguva zvakanga kushinga chete pfungwa musayendisiti maererano nyore kuedza. Nhasi, ichi zvose kunosimbiswa pamutemo nesayenzi pahwaro chete kombiyuta simulation.

zvokukura formalization

Kana tikafunga yekombiyuta, danho rokutanga formalizing ari kwacho tsananguro. Asi haashandisi zvatinosiita zvishandiso mutauro (tsamba, mashoko, mashoko, mitsara). Gadzira mimwe kwemasvomhu womuenzaniso zvinogoneka chete nokushandisa imwe algorithm inobva zvirongwa mutauro vakasarudzwa, asi chete pashure mashoko zvavo dambudziko.

Nemamwe mashoko, mu Modelling mufambiro chinhu kana muitiro chiitiko ane chaizvo unofanira kutsanangura evasingatombonamati kwemasvomhu zviratidzo, achishandisa kwemasvomhu algorithm.

Zvinoguma kuwana formalization chaiyo pachisara oneka zviitiko vakatevera kuongororwa rwokugadzira richashandiswa iri tsika kana zvimwe dzinongoitika muitiro anopinda chaiye kuvapo danho.

Zvinotevera ndizvo conceptualization dambudziko. Kune dzakasiyana zviviri: mumutsetse wokutanga ndiwo chaiwo nzira iri muchimiro kushandisa hunhu uye unhu; Ipfungwa wechipiri kunosanganisira kushandisa imwe zvishande pachisara tisingatauri Pfungwa dambudziko, kutanga muunganidzwa mashoko akashandiswa, zvinhu, uye zvichingodaro. d.

Zvichitevera tsanangudzo uye kutanga ezvinhu vakadzidza huripo ukama pakati zvinhu uye pezvakaitwa, uyewo zvinonzi nevamwe kupindirana kwemuvanzrira wezvirevo nemabviro, zvichiratidza kushandisa mufananidzo mitoo yemo.

Izvi zvinoteverwa processing kutanga mashoko inobva akasarudza algorithm, uye ipapo akadzorera mugumisiro inotaridza chikamu kukanganisa. Hazviwanzotora kupfuudza 5%, uye kakawanda mugumisiro mukana rinosvika 99%. munhu upi noupi kana muchina vacharamba kusiya "yakachengeteka kumucheto" kuti zviitiko zvisingafanoonekwi, nekuti zvose haigoni kufungwa.

Nei izvi zvose zvakafanira?

Kana kunzwisisa nheyo idzi anobvumira kuongorora kwemaitiro zvinhu uye muitiro. Mune mamwe manzwi, zvinokwanisika kuti kufungidzira ndiani kuva mumwe mutoo.

Zviri ikozvino pachena kuti formalization kwakadaro. Ngatimboonai muenzaniso nyore.

Application formalization pamaitiro, nyore mienzaniso

Toti, vamwe vanamazvikokota zvakagadzira itsva ndege magadzirirwo. Kupiwa kwemitengo chirongwa kuvaka muenzaniso yepakutanga kukura pasina tendero for unhu ayo mudenga zviri zvachose kukodzera basa racho. Uyezve, miedzo iri chete mhepo mugero aircraft kukura Boeing zvamazvirokwazvo kuoma.

Kunoitawo kuti formalization pamusoro zvakafanorongwa unhu ndege ramangwana (mhepo nemishonga, divi mhepo, urefu, uye vakawanda mhepo tanera parameters uye zvimwe zvinhu) WOKUTEVEDZERA ndege ichibhururuka pasina muenzaniso yakavakwa.

Mumwe muenzaniso kuidzwa michina mitsva, vakabata Automotive Makambani. Nzira inokosha formalization, iyi nyaya iri pakuti vakaita rakapotsa bvunzo pakutanga, uye pashure kugamuchira migumisiro yakanaka yokuedzwa ivhu vari kumhanyira mukurima kuedza mumamiriro ezvinhu chaiwo.

Huru zvabuda

Mugumisiro kwemasvomhu Modelling dzakawanda (kana asina zana rimwe muzana, ipapo mukana 95%) anogona kuva nharo simba muchifarira pagadzirwe zvemazuva ano, zvichabatsira mamiriro okunze kufanotaura munzanga maitiro sezvo maitiro pazviitiko munyika.

Hongu, hongu! Inotungamirwa voruzhinji munyika, zvakare, ndiko pasi mitemo yayo. Enough kufurira naye nuzhnoi divi. Nhasi, izvozvo akasika yakawanda zvirongwa kufungidzira vanhu pavakanzwa izvi kana kuti chiitiko. Uye ichi hachisi Muzviitiko zvose formalization. Kana isu kutsvakisisa zvakadzama, takatarisana dambudziko chete zuva nezuva.

Chimwe chezvinhu unoshamisa mienzaniso vanogona kutaurwa formalization uye Detective Higgs mu kwemotokari pakati zvokutanga inoramba iri guru hadron collider. Asi apfuura zvakanga vaidavira kuti kuvapo PARTICIPLE ichi - yakaisvonaka yokuti, uye zviri zvachose kwete demonstrable chiitiko chaicho-nyika.

mhedziso

Sezvatinoona, pfungwa formalization, pasinei kunzwisisa zvesayenzi musimboti acho, zviri nyore kunzwisisa mienzaniso. Kakawanda kacho anoburuka pakushandisa zvimwe musoro namaketani akafanosarudza zvinozoitika.