Ilmin Lissafi model: da matakai na zane

Tun tsakiyar karni na karshe a fannoni daban daban na mutum aiki ya fara shigar da kwamfuta da kuma ilmin lissafi hanyoyin. Suka fara bayyana sabon tarbiyya kamar ilmin lissafi da tattalin arziki, ilmin lissafi harsuna, ilmin lissafi sunadarai, da sauransu, wadda ke nazarin ilmin lissafin model na mamaki da kuma abubuwa, kazalika da hanyoyin da su binciken.

Ilmin Lissafi model - shi ne wani m bayanin ilmin lissafi harshen abubuwa ko real-duniya mamaki. Babban maƙasudin na kwaikwaiyo aikin bincike data abubuwa da kuma hango ko hasashen sakamakon gaba lura. Bugu da kari, yin tallan kayan kawa ne mai Hanyar da ilmi na kare muhalli, da duniya wanda ya sa ya yiwu don sarrafa.

Amfani da ilmin lissafi tallan kayan kawa ne ba makawa a lokuta inda for daban-daban dalilai shi ne wuya ko ba zai yiwu ba, don samar da wata halitta gwaji. Alal misali, yana da wuya a duba ko yana da gaskiya ko da cosmological ka'idar, ko su gano da sakamakon na nukiliya fashewa. Amma duk da wannan za a iya gani a kan kwamfuta, pre-gina wani ilmin lissafi model.

Ilmin Lissafi model: da matakai na zane

Da fari dai, da gina tsarin samar. Don yin wannan, la'akari da wani halitta sabon abu, da tattalin arziki da shirin, zane, samar da tsari ko wasu ba ilmin lissafi abu. Da farko sanin ko fasali da kuma mamaki sadarwa therebetween a kan wani ingantaccen matakin. Daga bisani, da samu dogara da aka canjawa wuri zuwa wani dabara view ko ilmin lissafi model. Wannan mataki shi ne mafi wuya.

A wani mataki na biyu da aka yi na warware wani ilmin lissafi matsalar tsara a kan tushen da model. A nan, ya karu da hankali ga ci gaban lamba hanyoyin da lissafi mai tsauri domin magance matsalar da taimakon kwamfuta, cewa ba ka damar cikin yarda lokaci, sakamakon da ake bukata daidaito.

A na gaba mataki ne fassarar tasowa daga sakamakon da model, fassarar da sakamakon da ilmin lissafi da harshen a cikin hanyar soma a cikin binciken yankin.

Sa'an nan, da tabbaci na adequacy na samu model, gano ko sakamakon dace sakamakon a cikin wani qaddara daidaito.

A karshe mataki gyara na model. Yana ko yi wuya ga mafi yawan adequacy na tushe ko yin shi sauki isa wani m m bayani.

Nau'in ilmin lissafi model

Akwai daban-daban sharudda ga division na ilmin lissafi model a cikin ƙungiyar. Saboda haka, yanayin da matsaloli ana kiran ta fid da rabo a cikin tsarin da kuma aikin model. Lokacin da wannan sabon abu, ko abu characterizing yawa suna bayyana quantitatively.

Tsarin ilmin lissafi model aka wakilta a matsayin mai tsarin daban-daban na lissafai (algebraic, bambanci), wanda kafa tsakanin nazari canji gwada yawa dangantaka. A wannan batun a matsayin canji a matsayin m canji, kuma ayyuka samu daga wadannan.

Aikin model bayyana hadaddun abubuwa kunsha da dama mutum abubuwa, tsakanin wanda wasu dangantaka. Yawancin lokaci data sadarwa ne wuya ko ba zai yiwu ba ga quantify. Domin su binciken yin amfani da ka'idar jadawalai na ilmin lissafi abubuwa da wakiltar da wani sa na da maki a sarari ko a kan wani jirgin saman.

By yanayin kiyasin sakamakon da asali data model ne zuwa kashi a tsaye probabilistic da deterministic. Nau'i na farko dogara ne a kan tattara ilimin kididdiga data, samu tare da wadannan tsinkaya ne probabilistic.

Ga misalai na ilmin lissafi model za a iya dangana ga matsalar da dako jirgin, sufuri da kuma sauran ayyuka.