Kini ni formalization? formalization ọna. Awọn Erongba, lodi, ni asiko, esi, apeere, orisi ti formalization

Loni, gan igba ti o le pade kan pupo ti ajeji oro "formalization", ati ni orisirisi aaye ti sayensi ati imo. Fun awon ti o fẹ lati faagun awọn horizons ti won imo, o ni ṣiṣe lati ni oye wipe yi formalization. Awọn article ni ao kà awọn lodi ti awọn oro ati awọn wulo ohun elo ti awọn ilana.

Ohun ti ni formalization ti a ijinle sayensi ojuami ti wo ni a gbogboogbo ori?

A kekere ifọwọkan lori ijinle sayensi aspect. Jẹ ki ká bẹrẹ lati daju wipe awọn ọrọ ti wa ni yo lati formalization ti awọn ọrọ "lodo", ie ti o jẹ àídájú, ati ki o ma ani ohun áljẹbrà Erongba ti o fun laaye lati se alaye awọn iseda ti a ti kii-existent ohun tabi lasan ati lati ṣe asọtẹlẹ awọn oniwe-ini ni kan pato ayika pẹlu awọn ti fi fun ni ibẹrẹ ipo.

Linguistics eyikeyi igbalode ede ko ni pekinreki pẹlu awọn ikosile ti mogbonwa fọọmu tabi iseda ti ero. Bayi, awọn kannaa ara agbara mu lati lo diẹ ninu awọn áljẹbrà agbekale lati se apejuwe kan awọn lasan. Ati nibẹ ni a ojulumo Erongba ti ohun ti ṣẹlẹ formalities.

Bi tẹlẹ kiye si o, awọn lodi ti formalization wá si isalẹ lati, lati se apejuwe tabi lati predetermine awọn-ini ti ohun tabi ilana (ko ani tẹlẹ ni akoko) ati lati ṣe asọtẹlẹ awọn oniwe lilo ni irú ti iṣẹlẹ ni gidi aye. Ṣugbọn yi ni gbogbo agutan. Awọn gan iro ti formalization jẹ Elo to gbooro. Lati bẹrẹ pẹlu idojukọ lori kọmputa ọna ẹrọ, ro bi ninu aye ti Electronics, oro yi ti lo.

kọmputa formalization

Ti o ba ti koko ni ipa awọn kọmputa formalization ọna ti yi iru ti wa ni dipo fun ni ibẹrẹ itọju ipo, eyi ti gba kan to ga ìyí ti yiye lati mọ awọn tetele ihuwasi ti awọn ohun tabi ilana.

Ni ibamu si yi opo ṣiṣẹ Oba gbogbo ojo iṣẹ. Nini olóoru kọmputa awoṣe le asọtẹlẹ awọn oniwe-agbara ọmọ ati lori ilẹ tabi lori omi.

Ranti awọn fiimu "The Ojo Lẹhin ọla," ninu eyi ti awọn ọmowé ti anro agbaye imorusi, ye lati yi ilana. Rẹ kọmputa awoṣe ti a ni idagbasoke ti o laaye kan awọn ìyí ti iṣeeṣe lati ṣe asọtẹlẹ ojo iwaju iṣẹlẹ.

Awọn wọnyi ni apeere wa o si wa lati se alaye wipe yi formalization.

ohun ati lakọkọ modeli agbekale

Awọn ifilelẹ ti awọn ọna ti formalization - a asọtẹlẹ ati modeli. Waye iru imo ero ti iyasọtọ fun ik data nipa awọn ohun tabi awọn ilana ti o ti wa ko mọ, ṣugbọn o le wa ni pe pẹlu ga yiye ka.

Ti o ba ti o ba wo ni formalization ti eya, fere gbogbo awọn ti wọn fi ala si mogbonwa ipinnu ati isiro. Awọn RSS yoo ko ni le soro lati fa a ni afiwe laarin awọn kọmputa modeli, ẹri yii, ati bẹ lori. E. Lori awọn igba ti axiom ati postulates.

Wo, fun awọn ti kanna Einstein ká yii ti relativity le tun ti wa ni tumo bi a formalization ti awọn ọna, nitori ni iwa, ṣayẹwo awọn ẹri jẹ ko ṣee ṣe. Ni pato eyi kan si ina soju àwọn adúróṣinṣin, awọn deceleration akoko lati se aseyori iloro, jijẹ gravitational àdánù ti awọn ohun ati awọn ìsépo aaye. Ọwọ, bi nwọn ti sọ, ti o ko lero ati awọn oju ko le ri.

Lọgan lori akoko kan ti o je nikan akọni ero sayensi lori ilana ti o rọrun adanwo. Loni, gbogbo eyi ti wa ni timo nipa osise Imọ lori igba ti kanna kọmputa kikopa.

ipo ti formalization

Ti a ba ro ti kọmputa eto, akọkọ igbese ni formalizing a ilana apejuwe. Sugbon o ko ni lo awọn ibùgbé irinṣẹ ti ede (awọn lẹta, awọn ọrọ, gbolohun, gbolohun). Ṣẹda kan pato mathematiki awoṣe ni ṣee ṣe nikan nipa lilo kan awọn alugoridimu da lori awọn ti o yan siseto ede, sugbon nikan lẹhin ti awọn gbólóhùn ti awọn gbogboogbo isoro.

Ni gbolohun miran, ni modeli awọn ihuwasi ti ohun tabi ilana iṣẹlẹ kókó ti o nilo lati se apejuwe odasaka mathematiki aami, lilo a mathematiki alugoridimu.

Awọn esi ni lati gba a formalization gangan onínọmbà tẹlẹ iṣẹlẹ ti o tẹle lẹhin ti yẹwo ọna ti yoo ṣee lo ni asa tabi awọn adayeba ilana ti nwọ awọn gidi aye ti igbese.

Awọn wọnyi ni awọn conceptualization ti awọn isoro. Nibẹ ni o wa meji aba: ni akọkọ nla ti o jẹ a pato ona ni awọn fọọmu ti lilo awọn eroja ati awọn abuda; keji aṣayan je awọn lilo ti a imo onínọmbà, ko si darukọ awọn agbese ti awọn isoro, awọn ni ibẹrẹ gbigba ti awọn data lo, ipo, ati ki lori. d.

Awọn wọnyi ni itumo ati ni ibẹrẹ ipo iwadi tẹlẹ ibasepọ laarin awọn ohun ati lakọkọ, bi daradara bi awọn ti ki-ti a npe ni atunmọ ibasepo, gégè awọn lilo ti agbegbe oniduro imuposi.

Yi ti ni atẹle nipa processing ni ibẹrẹ data da lori awọn ti o yan alugoridimu, ati ki o pada awọn esi afihan awọn ogorun ti aṣiṣe. Maa o ko koja 5%, ati ni ọpọlọpọ igba awọn esi ti awọn iṣeeṣe Gigun 99%. Ẹnikẹni tabi ẹrọ yoo si tun lọ kuro ni "ailewu ala" fun idagiri ayidayida, nitori ohun gbogbo ko le wa ni ya sinu iroyin.

Kí nìdí ni gbogbo yi pataki?

Ti o ba ni oye awọn wọnyi ilana gba fun igbekale ti ihuwasi ti ohun ati lakọkọ. Ni gbolohun miran, o jẹ ṣee ṣe lati ṣe asọtẹlẹ ti yoo se agbekale kan pato ilana.

O ti wa ni bayi ko o pe iru formalization. Jẹ ká wo ni kan ti o rọrun apẹẹrẹ.

Ohun elo formalization ni iwa, alinisoro apeere

Jẹ ká sọ, awọn amoye ti ni idagbasoke titun kan ofurufu oniru. Fi fun awọn ga iye owo ti ise agbese na lati kọ kan awoṣe ti awọn atilẹba iwọn lai awọn ṣaaju apesile ti awọn oniwe-ihuwasi ninu awọn air ti o ni o šee igbọkanle sedede fun awọn iṣẹ-ṣiṣe. Jubẹlọ, awọn igbeyewo ni kanna afẹfẹ eefin ofurufu awọn iwọn ti a Boeing jẹ Egba soro-ṣiṣe.

Ti o faye gba fun formalization ti predetermined abuda kan ti ojo iwaju ofurufu (air resistance, ẹgbẹ afẹfẹ, iga, ati ki o julọ afẹfẹ eefin sile ati awọn miiran abuda) awoṣe awọn ofurufu ń fò lai a kọ awoṣe.

Miran ti apẹẹrẹ ni awọn igbeyewo ti titun ero, ti o waye Oko ilé. Awọn ipilẹ ọna ti formalization, ninu apere yi da ni o daju pe ni akọkọ ti won waye a foju igbeyewo, ati lẹhin gbigba rere esi ti igbeyewo ayẹwo ti wa ni ṣiṣe awọn ni gbóògì lati se idanwo ni gidi awọn ipo.

Awọn ifilelẹ ti awọn esi

Awọn esi ti mathematiki modeli ni ọpọlọpọ (ti o ba ko kan ọgọrun ogorun, ki o si pẹlu iṣeeṣe 95%) le wa ni kan alagbara ariyanjiyan ni ojurere ti isejade ti igbalode imo, yoo ran asọtẹlẹ ojo ani asọtẹlẹ awujo ihuwasi bi a lenu si isele ni aye.

Bẹẹni, bẹẹni! Ibiyi ti gbangba ero ninu aye, ju, jẹ koko ọrọ si awọn oniwe-ara ofin. To lati ni agba u ni nuzhnoi itọsọna. Loni, o da a pupo ti eto lati ṣe asọtẹlẹ àkọsílẹ lenu si yi tabi ti iṣẹlẹ. Ki o si yi ni ko gbogbo instances ti formalization. Ti a ba ma wà jinle, a koju si awọn kanna isoro ni gbogbo ọjọ.

Ọkan ninu awọn julọ idaṣẹ apeere le wa ni darukọ formalization ati erin Higgs ni collisions ti ìṣòro patikulu ni o tobi hadron collider. Ṣugbọn sẹyìn ti o ti gbà pe awọn aye ti yi patiku - funfun yii, ati awọn ti o jẹ Egba ko demonstrable gidi-aye iriri.

ipari

Bi a ba ri, awọn iro ti formalization, ni p ti awọn complexity ti awọn ijinle sayensi lodi ti awọn ilana, o jẹ rorun lati ni oye apeere. Ni ọpọlọpọ igba ti o ba de si isalẹ lati lilo diẹ ninu awọn mogbonwa ẹwọn, predetermine awọn abajade.