Li formalization çi ye? rêbaza formalization. Ku têgiha, cewhera, qonaxên, results, wergerandî, cureyên formalization

Îro, gelek caran tu gelek term xerîb "formalization", û di biwarên cuda cuda yên zanistî û teknolojîyê de hevdîtinê bikin. Ji bo kesên ku dixwazin ji bo veşartinê asoyên zanîna wan, baştir e, ji bo fam bikin, ku ev formalization. Di gotara xwe de, wê bê nirxandin naveroka term û sepana pratîk yên di pêvajoya.

li formalization ji xala zanistî yên view di wateya giştî çi ye?

A touch kurt li ser mijareke zanistî. Werin, em ji wê rastiyê ye ku peyv ji formalization ji peyva Navdêr "fermî", ango ev şert û merc e û carna jî têgehek razber a ku rê dide bo ravekirina cewherê a object non-desthelateke an diyardeyeke û ji bo xêzkirina milkên xwe di rewşeke bi taybetî jî bi şertên pêşî daye destpêkirin.

Ziman û Zimanzanîn ti zimanê modern nayê bi derbirîna forma vacî an xwezaya ramana komkujiyê ne. Bi vî awayî, mantiqa xwe bi darê zorê bi kar bîne hin têgehên razber ji bo danasîna fenomeneke hin. E û konsepta xizmekî tiştên ku diqewimin bi formalîte hene.

Wek berê jî texmîn nedikir, naveroka formalization down and bê, ji bo danasîna an ji kîja taybetiyên hinek ji object an pêvajoya (ne heta niha li hene) û ji bo pêşbîniya bikaranîna wê di dema xuyanîbûna di cîhanê de dike. Lê ev ramana giştî ye. Fikra pir ji formalization firehtir e. Ji bo dest bi girîngi li ser teknolojiya kompîturê, bifikirin ka di dinyayê de yên elektronîk, ev term tê bikaranîn.

formalization dibe

Eger di mijara tesîrê li awayê komputeran formalization li vê yekê bêhtir û mercên dermankirina destpêkê, ku rê û bawernameya têra xwe bilind ji bo şaşitî û ji bo destnîşankirina helwest piştre ji bireserê an pêvajoya dayîn.

Li gorî vê prensîbê de kar dike, hema bêje hemû xizmeta hewayê. Hebûna cyclone dibe model dikarin cycle hêza xwe û li ser erdê an li ser avê pêşbînî.

Bînin bîra xwe ku vê fîlmê "The Day After Sibê," li ku zanyarê pêşbînî germbûna global, seke ji vê teknîkê de. model dibe wî hate pêşxistin ku destûr ta astekê ji sîlahan ji bo xêzkirina bûyerên pêşerojê.

Ev wergerandî License de ji bo ravekirina ku ev formalization in.

objects û pêvajoyên prensîbên Modelê

Rêbazên sereke yên formalization - a forecasting û Modelê. Apply teknolojîyên bi tenê ji bo ku daneyên dawî li ser hêmanên an jî pêvajoyên ku tê zanîn ne, lê mirov dikare bi count rastbûna bilind dikir.

Ger tu li formalization cure binêrin, hema hema hemû ji wan, ji bo encamên herî maqûl û bi hesibandina di çarçeweya. Xwendevan ne zehmet be û ji bo balê a paralel di navbera Modelê dibe, teoriya delîl, û hwd. E. Li ser bingeha axioms û îdiayên.

Va ye, ji bo heman teoriya Einstein ya relativity jî nikaribû wekî formalization ji rêbaza bê şîrovekirin, ji ber ku di pratîkê de, kontrol delîla wê ne mumkin e. Bi taybetî ev ji bo constants propaganda ronahî, dem hêdîbûnê ji bo bicihanîna benda, zêdekirina weight (gravitation) ji object û curvature ji space. Destên xwe, wek ku ew dibêjin, ev der ne û bi çavên ne dikarin bibînin.

Rojekê ji rojan ew bi tenê zanyarê minaqeşeyên wêrek li ser bingehê tecrûbeyên hêsan bû. Îro, ev hemû ji aliyê zanistê fermî li ser bingeha of the simulation dibe heman piştrast kir.

qonaxên formalization

Eger em sîstema komputerê, gava pêşî li fermî a description pêvajoya bifikirin. Lê belê ev nayê wê amûrên asayî yên zimanê (bi tîpên, gotin, biwêj, hevokên) bi kar tînin ne. Create a taybet model bîrkariyê de gengaz e bi tenê bi bikaranîna rêbazeke hin a li ser bingeha zimanê bernameyên hilbijartin, lê tenê piştî daxuyaniyê de li ser pirsgirêka giştî.

Bi gotineke din, di Modelê tevgerê yên ku cewhera object an bûyer pêvajoyê divê hûn ji bo danasîna sembolên safî ya bîrkariyê de, bi rêbazeke matematîkî.

Di encamê de ye ji bo bidestxistina a formalization rastî analîzên bûyerên pêşbînîkirin ku li pey piştî teknolojîya lêkolîn dê di pratîkê de bi kar an hin pêvajoya xwezayî re dikevê, ew hebûna rast ên gava.

Li jêr konseptan yên vê pirsgirêkê ye. du Guhertoyên heye: di doza yekem ev nêzîkatiya taybetî di awayê bikaranîna taybetmendiyên xwe û taybetmendiyên e; duyemîn dimeşin bikaranîna analîzên gelek rexan, ne ku behsa amadekirina ji pirsgirêkê, k'omekt'opkirina destpêkê yên welat bikaranîn, şert û mercên, û hwd. d.

Piştî salixdanên û şertên pêşî xwend têkiliyeke heyî di navbera hêmanên û pêvajoyên, herweha di bin navê têkiliyên (semantic), kokî bikaranîna teknîkên temsîla herêmî.

Ev yek bi şixulandina daneyên destpêkê de li ser bingeha Rêbaza hilbijartin li pey wî, û paşê di encama diyar dike rêjeya ji sedî a error vedigere. Bi piranî ev yek ji sedî 5 derbas neke, û di gelek rewşan de di encama sîlahan 99% Amerîqayê. Her şexsek yan jî makîne hê jî "margin ewlehiyê" ji bo wê derkevin û mercên di rojevê de, ji ber ku her tişt dikare bi nav account ne bê birin.

Çima ev hemû pêwîst e?

Ger tu fêm van prensîban ji bo analîzê yên ji şêla objects û pêvajoyên destûrê. Bi gotineke din jî, pêkan e mirov pêşbînî bike, ku wê pêvajoya taybetî pêş.

Ev niha ku wisa formalization zelal e. Ka em li mînaka sade binêre.

formalization Application di pratîkê de, herî hêsan wergerandî

Werin, em dibêjin, hinek pisporên a design balafirên nû bi pêş xist. Dema ku ji mesrefa bilind de ya ku projeya ji bo avakirina modela ji original size bê pêşbînîkirin, berî ji helwesta xwe li hewa ew e bi temamî ji bo erka xwe mûkir hat. Ji bilî wê, testên ku di heman balafirên kenda bayê size of a Boeing karekî bi misogerî ne mimkun e.

Ev ji bo formalization taybetiyên amadekirî yên balafirên pêşeroja (berxwedana hewa, ba aliyê, height, û herî Parametreyên kenda bayê û taybetmendiyên din) destûrê dide modela balafirên que bê modela avakirin.

Mînakeke din li ceribandina makîneyên nû, Kargehên Ereban de li dar e. Rêbaza bingehîn yên formalization, di vê rewşê de ji vêya ku di destpêkê de ew a test virtual lidarxistin, û piştî wergirtina encamên erênî ji nimûneyên bi li hilberîna bi rê ve ji bo ceribandinê di şert û mercên rast.

Encamên sereke

Di encama modelçêkirina matematîkî li gelek (eger ne ji sedî sed, wê bi îhtimaleke mezin 95%) dikare bibe delîlek xurt li ber hilberînê yên teknolojiya modern, dizanin ku hewa wê heta pêşbînî şêlên antîsosyal de wek nerazîbûna li hember bûyerên li cîhanê alîkariya wê.

Erê, erê! Damezirandina ji raya giştî ya cîhanê jî, bi ya qanûnên xwe bi xwe ye. Bes e ji wî re li alî nuzhnoi bandorê. Îro, ev afirandin gelek bernameyên ji bo xêzkirina berteka raya giştî ji bo vê yan wê bûyerê. Û ev e hemû rewşan de ji formalization ne. Eger em bikolim kûrtir, em pirsgirêka heman her roj bi rû ne.

Yek ji mînakên herî zêde balkêş, dibe ku behsa formalization û tespît Higgs li Alêksandryê ji keriyên bingehîn in Collider Large Hadron. Lê belê, berî ku ew bawer kirin ku, hebûna vê particle - teoriya paqij, û ev e bi misogerî demonstrable tecrubeya rast-cîhanê ne.

encamê de

Wek em dibînin, bi têgiha formalization, li gel ku tevliheviya li ser esasa zanistî yên pêvajoya, ew bi hêsanî fêm wergerandî e. Gelek caran tê xwarê û bi bikaranîna hin zincîran maqûl, kîja encamên.