O le a le formalization? auala formalization. O le manatu faavae, moni, tulaga, o taunuuga, faataitaiga, ituaiga o formalization

I aso nei, e masani lava e mafai ona e feiloai i le tele o vaitaimi ese "formalization", ma i vaega eseese o le faasaienisi ma tekinolosi. Mo i latou oe mananao e faalautele ai le tafailagi o lo latou malamalama, e fautuaina ina ia malamalama o lenei formalization. o le a talanoaina le mataupu o le ute lea o le upu ma le faaaogaina talafeagai o le faagasologa.

O le a le formalization o se manatu faasaienisi i se tulaga aoao?

A itiiti paʻi i luga o le vaega faasaienisi. Sei o tatou amata mai i le mea moni e faapea o le upu e maua mai i le formalization o le upu "aloaia", o lona uiga o tuutuuga, ma o nisi taimi e oo lava i se matupu ua toesea e mafai ai e faamatala mai le uiga o se tagata e lē existent meafaitino po o aafiaga matautia ma valoia ana meatotino i se siosiomaga patino i le tulaga muamua na tuuina mai.

Ligisi so o se gagana o aso nei e le feagai ai ma le faaalia o le pepa faatumu talafeagai po o le natura o mafaufauga. O lea la, i le alagatatau lava ia faamalosia e faaaoga nisi o manatu faavae lavelave e faamatala ai se mea faapitoa. Ma e leai se manatu o le aiga o mea o loo tutupu tulaga aloaia.

E pei ona mate ai, o le fatu o formalization e oo mai i lalo i, e faamatala ai po o le predetermine fanua faapitoa o le mea po o le faagasologa (e oo lava i ai i le taimi) ma valoia lona faaaogaina i tulaga o mea na tutupu i le lalolagi moni. Ae o le manatu aoao o lenei. O le manatu lava o formalization sili atu le lautele. Ina ia amata i le taulai atu i tekinolosi komepiuta, mafaufau pe faapefea i le lalolagi o faaeletonika, ua faaaogāina lenei vaitaimi.

formalization komepiuta

Afai o le mataupu e aafia ai komepiuta formalization auala o lenei ituaiga ae e tuuina mai uluai tuutuuga togafitiga, lea e faataga ai se tikeri maualuga lava o le saʻo atoatoa e iloa ai le amio e mulimuli ane o le mea faitino po o se faagasologa.

E tusa ai ma galuega i lenei mataupu faavae O lona auaunaga tau uma. O le afa o faataitaiga komepiuta e mafai ona valoia lona faataamilosaga o le mana ma le i luga o le laueleele po o luga o le vai.

Manatua le ata "O le Aso Ina ua mavae taeao," lea na valoia e le saienitisi warming lalolagi, taualumaga mai lenei auala. na atiina ae Lana faataitaiga komepiuta e faatagaina ai se tulaga faapitoa o avanoa e valoia mea e tutupu i le lumanai.

O loo maua nei faataitaiga e faamatala atu o lenei formalization.

mea faitino ma faiga mataupu faavae modeling

O le auala autu o formalization - a forecasting ma modeling. Talosaga e tekinolosi patino mo le faamatalaga mulimuli e uiga i le mea faitino po o se faagasologa e le iloa, ae e mafai ona tauaveina ma faitauga maualuga saʻo.

Afai e te vaai atu i le formalization o ituaiga, toetoe lava oi latou uma taofia e talafeagai faaiuga ma fuafuaga. o le a le faigata i le tagata faitau e tusi se faatusatusaga i le va o le modeling komepiuta, teori faamaoniga, ma isi. E. O le faavae o axioms ma postulates.

Vaai, mo le lava aʻoaʻoga a Einstein o relativity mafai ona faauigaina foi o se formalization o le auala, aua i faiga, siaki e le mafai le faamaoniga. I faapitoa lenei e faatatau i le malamalama constants propagation, o le taimi deceleration e ausia ai le faitotoa, ma faateleina ai le mamafa tau i le kalave o le mea faitino ma le curvature o le vanimonimo. Lima, e pei ona latou fai mai, e le lagona ma le mafai ona vaai i le mata.

Taimi i luga o se taimi ua na o saienitisi talatala toa i luga o le faavae o suesuega faigofie. Aso nei, ua faamaonia nei mea uma e ala i saienisi aloaia i luga o le faavae o le faatupu lava komepiuta.

vaega o formalization

Afai tatou te mafaufau i le polokalama komepiuta, o le uluai laasaga i formalizing se faamatalaga faagasologa. Ae e le faaaogaina le mea faigaluega masani o le gagana (tusi, upu, fuaitau, fuaiupu). Fai se faapitoa faataitaiga faamatematika e mafai e na o le faaaogaina o se algorithm patino e faavae i luga o le filifilia gagana polokalame, ae na o ina ua tuanai le faamatalaga o le faafitauli aoao.

I se isi faaupuga, i modeling le amioga a se mea faitino po faagasologa mea moni e tatau ona e faamatalaina faatusa mama faamatematika, e faaaoga ai se algorithm faamatematika.

O le taunuuga o le mauaina o se formalization auiliiliga moni mea taumateina na mulimuli mai ina ua mavae le a faaaogaina tekinolosi suesueina i le faiga po o nisi faagasologa masani ulufale le i ai moni o le laasaga.

O le taua i lalo o le conceptualization o le faafitauli. E lua variants: i le tulaga muamua o se auala faapitoa i le tulaga o le faaaogaina o le uiga ma uiga; filifiliga lona lua e aofia ai le faaaogāina o se iloiloga faapitoa o le mafaufau, ae le taʻua le fausia o le faafitauli, o le aoina mai o faamatalaga uluai faaaogaina, tulaga, ma isi. d.

Le mulimuli i le faauigaga ma aiaiga uluai suesueina sootaga o lo oi ai i le va o mea faitino ma faiga, e faapea foi le mea ua taʻua o sootaga semantic, e faasino i ai le faaaogaina o le lotoifale metotia faatusa.

Ona sosoo lea ona iloilo le faamatalaga muamua e faavae i luga o le algorithm filifilia, ona toe foi mai le taunuuga o faailoa ai le pasene o le mea sese. E masani lava e le sili atu i le 5%, ma i le tele o taimi e oo i le taunuuga o le tulaga e 99%. So o se tagata po o masini o le a tuua pea le "saogalemu autafa" mo tulaga mailoa, ona e le mafai ona faia o mea uma i tala.

Aisea e tatau ai i nei mea uma?

Afai e te malamalama i nei mataupu faavae faatagaina mo suesuega o le amioga o le mea faitino ma le faagasologa. I se isi faaupuga, e mafai ona valoia o le a atiina ae se faiga faapitoa.

E manino i le taimi nei e faapea o sea formalization. Sei o tatou vaai i se faataitaiga faigofie.

formalization talosaga i faatinoga, o le faataitaiga faigofie

Sei o tatou fai atu ai, atiina ae ni tomai faapitoa se mamanu vaalele fou. Ona o le tau maualuga o le galuega faatino e fausia ai se faataitaiga o le tele uluai e aunoa ma le vaaiga tuutuumamao ao lumanai o ana amioga i le ea e matua le talafeagai mo le galuega. Lē gata i lea, o le suega i le vaalele auala faaofuofu o le matagi lava lea e tasi i le tele o a Boeing e matua galuega mafai.

E mafai ai mo formalization o fuafuaina uiga o vaalele i le lumanai (tetee ea, itu matagi, o le maualuga, ma sili ona tapulaa auala faaofuofu o matagi ma isi uiga) faataitai le vaalele lele e aunoa ma se faataitaiga fausia.

O se isi faataitaiga o le suʻega o masini fou, na faia kamupani tautaavale. O le auala autu o le formalization, i le tulaga lenei o loo taoto i le mea moni e faapea i le taimi muamua latou faia se suega tafailagi, ma ina ua mavae le mauaina o taunuuga lelei o faataitaiga tofotofoga o loo tamoe i le tuuina atu i tofotofoina ai i tulaga moni.

O taunuuga autu

O le taunuuga o modeling faamatematika i le tele o (pe afai e le o se selau pasene, sosoo ai lea ma avanoa 95%) e mafai ona avea o se finauga malosi e finagalo i ai o le tuuina atu o tekinolosi i ona po nei, o le a fesoasoani valoia le tau lava valoia amioga lautele e pei o se tali atu i le mea na tutupu i le lalolagi.

Ioe, o le ioe! Faavaeina o manatu o tagata lautele i le lalolagi foi, o le mataupu i lona lava tulafono. Lava e uunaia ai ia te ia i le taitaiga nuzhnoi. I aso nei, o le foafoaina o le tele o polokalame e valoia le uiga faaalia o tagata lautele i lenei po o le mea na tupu. Ma e le o taimi uma o formalization lenei. Afai tatou eli loloto, ua tatou feagai ma le faafitauli lava lea e tasi i aso uma.

O se tasi o le e sili ona mataʻina o faataitaiga e mafai ona taʻua formalization ma mauaina Higgs i collisions o tulagalua fasimea i collider tele hadron. Ae muamua na talitonu o le i ai o lenei vaega - mafaufauga mama, ma e matua le demonstrable aafiaga moni o le lalolagi.

iʻuga

A o tatou vaaia, o le manatu o formalization, e ui lava i le faigata o le ute faasaienisi o le faagasologa, e le o faigofie ona malamalama i faataitaiga. I le tele o taimi e oo mai i lalo i le faaaogaina o nisi filifili talafeagai, predetermine le taunuuga.