Mene ne haɓakawa? Hanyar yin bayani. Dalili, ainihin, matakai, sakamako, misalan, nau'i na formalization

A yau, sau da yawa yakan yiwu a cika wasu kalmomin da ba za a iya fahimta da su ba "ƙaddamarwa", da kuma a wasu fannoni na kimiyya da fasaha. Wadanda suke so su kara fadada ilimin su, yana da kyawawa don fahimtar abin da aka tsara. Wannan labarin zaiyi la'akari da ainihin wannan lokaci da kuma aikace-aikacen aikace-aikace na tsari.

Mene ne tsari daga ra'ayi na kimiyya a cikin ma'ana?

Mun taba dan kadan batun kimiyya. Bari mu ci gaba da cewa kalman kalma ta fito ne daga kalma "tsari", wato, yana da kwakwalwa, wani lokacin kuma wani ra'ayi ne marar kyau, wanda ya ba da izinin bayyana yanayin abin da ba shi da shi ko abu mai mahimmanci kuma ya yi la'akari da dukiyarsa a cikin wani yanayi a ƙarƙashin yanayin da aka ba da shi.

Harshen harsuna na kowane harshe na yau ba daidai ba ne tare da furcin siffofin ƙira ko yanayin tunani. Saboda haka, dabarar kanta ta tilasta yin amfani da wasu mahimman bayanai don bayyana wani abu na musamman. Don haka yana da dangantaka tsakanin al'amuran abin da ke faruwa.

Kamar yadda yake da sauƙi a tunanin, ainihin ƙaddamarwa an rage don bayyana ko ƙaddara wasu kaddarorin wani abu ko tsari (ko da ba a yanzu ba) kuma don hango hasashe da aikace-aikace idan bayyanar cikin ainihin duniya. Amma wannan babban ra'ayi ne. Manufar kaddamarwa ta fi girma. Da farko, bari mu mayar da hankali ga fasaha ta kwamfuta, za mu ga yadda ake amfani da wannan ra'ayi a cikin tsarin lantarki.

Kayan Kwamfuta

Idan ka taba kan batuttukan kwakwalwa, hanyar da aka tsara ta wannan hanya ita ce aiki na yanayin farko wanda ya ba ka izini tare da babban mataki na daidaitattun ƙarin halayyar wani abu ko tsari.

Kusan dukkan ayyukan layin na aiki akan wannan ka'ida. Samun samfurin kwamfuta na cyclone, yana yiwuwa a yi la'akari da sake zagayowar da iko a sama da ƙasa ko a kan ruwa.

Ka tuna da fim din "Ranar Bayan Gobe", wanda masanin kimiyya ya fadi karfin duniya, yana gudana daidai daga irin wannan fasaha. Ya ci gaba da samfurin kwamfuta wanda aka ba shi damar hango komai tare da wasu matakan yiwuwar karin abubuwan da suka faru.

Wadannan misalai suna samuwa don bayyana abin da aka tsara shi ne.

Ka'idodin abubuwa masu daidaitawa da tafiyar matakai

Hanyoyi masu mahimmanci na haɓakawa su ne annabci da kuma samfurin. Ana amfani da waɗannan fasahar ne kawai domin samun bayanai na ƙarshe game da abubuwa ko matakai wanda ba a san su ba, amma ana iya ɗaukar su da lissafi tare da daidaitattun daidaito.

Idan kayi la'akari da nau'ikan tsarawa, kusan dukkanin su an rage su ne kawai don ƙididdigar mahimmanci da lissafi. Mai karatu yana iya saukowa tsakanin daidaitaccen tsarin kwamfuta, hujjoji da sauransu, da dai sauransu.

Duba, ga guda Einstein ta ka'idar dangantakar za a iya fassara a matsayin wani formalization na hanyar, domin a yi, duba hujja ne ba zai yiwu. Musamman ma, wannan yana nufin sauƙaƙen haske, jinkirin lokaci a bakin kofa na nasara, ƙãrawa a cikin nau'in ƙaddarar abu na abu, da kuma fadin sararin samaniya. Hannu, kamar yadda suke faɗa, ba za ku ji ba kuma ba za ku ga idanu ba.

Sau ɗaya a wani lokaci wadannan sune kawai ƙwararrun ra'ayi na masanin kimiyya bisa ga gwaji mafi sauki. Yau, dukkanin wannan ya tabbatar da kimiyya ta hanyar kimiyya ta hanyar kwarewar kwamfuta.

Sakamakon tsarawa

Idan muka yi la'akari da tsarin kwamfuta, to, mataki na farko na formalization shi ne bayanin irin wannan tsari. Amma a halin yanzu ana amfani da kayan aikin harshe (haruffa, kalmomi, kalmomi, kalmomi). Ƙirƙiri takamaiman ilmin lissafi model mai yiwuwa ne kawai ta hanyar yin amfani da wani algorithm bisa zabi shirye-shirye da harshen, amma kawai bayan maganar da janar matsala.

A wasu kalmomi, idan aka kwatanta da halayyar wani abu ko tsari, ainihin abin da ke faruwa ya kamata a bayyana shi ta hanyar alamomin lissafi, ta hanyar amfani da algorithm lissafi.

Sakamakon gabatarwa shi ne don samo nazarin ainihin abubuwan da za a iya gani wanda zai bi bayan fasahar da ake bincike da ake amfani da su a aikace ko wani tsari na halitta ya shiga mataki na ainihi bayyanar.

Tsinkayar aikin da ke biyo baya. Akwai zaɓuɓɓuka biyu: a cikin akwati na farko, wannan ma'anar tsarin kulawa ta hanyar amfani da halaye da halaye; Hanya na biyu ya haɗa da yin amfani da bincike mai zurfi, ba don ambaci nauyin aiki ba, tarin bayanan farko, yanayi, da sauransu.

Bayan bayanan ma'anar ka'idodi da ka'idojin farko, ana nazarin dangantaka tsakanin abubuwa da tafiyar matakai, har ma da ake kira haɗakarwar dangantaka da ke nuna amfani da samfurin gabatarwa na gida.

Bayan haka, aiki na bayanan farko ya biyo bayan alƙawarin da aka zaba, bayan haka aka ba da sakamakon tare da nuni na ɓangaren kuskure. A matsayinka na mulkin, bai wuce 5% ba, kuma a mafi yawancin lokuta sakamakon yiwuwar ya kai 99%. Kowane mutum, ko inji zai har yanzu bar cikin "kariya gefe" for unforeseen hali, domin duk abin da ba za a iya dauka a cikin asusun.

Me yasa wannan ya zama dole?

Idan ka fahimci, waɗannan ka'idoji sun baka damar nazarin halin halayen abubuwa da tafiyar matakai. A wasu kalmomi, wanda zai iya lura yadda wannan ko wannan tsari zai ci gaba.

Yanzu ya bayyana a fili abin da aka tsara shi ne. Bari mu dubi mafi kyawun misali.

Yin amfani da ƙaddamarwa a aikace, misalai mafi sauki

Yi la'akari da cewa wani gwani ya kirkiro sabon tsarin jirgin. Da yake la'akari da yawan kuɗin da ake yi, wannan abu ne mai ban sha'awa don gina samfurin asali ba tare da hasashen farko na hali a cikin iska ba. Bugu da ƙari, aiwatar da gwaje-gwaje a cikin rami mai iska na jirgin sama girman girman Boeing wani aiki ne marar gaskiya.

Formalization yana ba da damar daidaita jirgin ba tare da gina jirgi na jirgin sama ba a yanayin halayen jiragen sama na gaba (juriya na iska, iska ta gefe, tsawo da kuma sigogi na rami na iska da kuma wasu halaye).

Wani misali kuma shine jarrabawar sababbin na'urori ta hanyar damuwa da motsa jiki. Hanyar mahimmanci da aka tsara a wannan yanayin shi ne cewa na farko sun wuce gwaji mai kyau, kuma bayan samun sakamako mai kyau, an kaddamar da samfurori don samar da gwaji a cikin ainihin yanayi.

Babban sakamakon

Sakamakon samfurin lissafin ilmin lissafi a hanyoyi da dama (idan ba 100%, to, tare da yiwuwar har zuwa 95%) na iya zama hujja mai mahimmanci don faɗar fasaha ta zamani, taimakawa hango hasashen yanayi, har ma da hasashen halin zamantakewa a matsayin abin da ke faruwa a duniya.

Haka ne, a! Gabatarwar ra'ayi na jama'a a duniyar ma ta kasance ƙarƙashin dokokinta. Ya isa ya yi aiki a kai a hanya madaidaiciya. A yau, an riga an halicci shirye-shiryen da yawa wanda ya ba da izinin ganin hangen nesa da wannan al'umma ko wannan taron. Kuma wannan ba misalin misalai ba ne. Idan muka yi zurfi, muna fuskantar wannan a kowace rana.

Daya daga cikin mafi daukan hankali misalai za a iya ambata formalization da kuma ganewa Higgs a collisions na firamare barbashi a manyan hadron collider. Amma a gaskiya an yi amfani da shi akan gaskiyar cewa wanzuwar wannan kwayar halitta shine ka'idar tsarki, kuma ba za'a iya tabbatarwa ta hanyar gwaje-gwaje na ainihi ba.

Kammalawa

Kamar yadda muka gani, a cikin yanayin da aka tsara, duk da ƙwarewar kimiyya na ainihin tsari, yana da sauki fahimtar misalan. A mafi yawancin lokuta, yana ragewa ga yin amfani da wasu sifofin ƙididdiga waɗanda suka ƙayyade ƙarshen sakamakon.