Ano ang pormalisasyon? pormalisasyon paraan. Ang konsepto, kakanyahan, yugto, mga resulta, halimbawa, mga uri ng pormalisasyon

Ngayon, napakadalas maaari mong matugunan ng maraming mga kakaibang salitang "pormalisasyon", at sa iba't-ibang larangan ng agham at teknolohiya. Para sa mga taong nais upang palawakin ang horizons ng kanilang kaalaman, ito ay marapat na maunawaan na pormalisasyon na ito. Ang artikulong ito ay isasaalang-alang ang kakanyahan ng ang term at ang mga praktikal na aplikasyon ng proseso.

Ano ang pormalisasyon ng isang pang-agham na punto ng view sa isang pangkalahatang kamalayan?

Ang isang maliit na ugnay sa pang-agham na aspeto. Magsimula tayo sa katotohanang ang salita ay nagmula sa pormalisasyon ng salitang "pormal", ibig sabihin, ito ay may pasubali, at kung minsan kahit isang abstract na konsepto na nagbibigay-daan upang ipaliwanag ang likas na katangian ng isang hindi umiiral na bagay o hindi pangkaraniwang bagay at upang mahulaan ang pag-aari nito sa isang partikular na kapaligiran na may mga ibinigay na paunang kondisyon Hayaan.

Linguistics anumang modernong wika ay hindi nag-tutugma sa ang expression ng mga lohikal na anyo o katangian ng pag-iisip. Kaya, ang logic mismo sapilitang upang gamitin ang ilang mga abstract na konsepto upang ilarawan ang isang tiyak na kababalaghan. At doon ay isang kamag-anak konsepto ng kung ano ang nangyayari formalities.

Tulad ng guessed ito, ang kakanyahan ng pormalisasyon dumating down sa, upang ilarawan o sa predetermine ng ilang mga katangian ng mga bagay o proseso (hindi kahit na umiiral sa sandaling ito) at upang mahulaan ang paggamit nito sa kaso ng mga pangyayari sa tunay na mundo. Ngunit ito ay ang pangkalahatang ideya. Ang napaka-paniwala ng pormalisasyon ay mas malawak. Upang magsimula sa pagtutok sa computer na teknolohiya, isaalang-alang kung paano sa mundo ng electronics, term na ito ay ginagamit.

computer na pormalisasyon

Kung ang paksa makakaapekto computer pormalisasyon paraan ng ganitong uri ay sa halip naibigay na paunang kondisyon ng paggamot, na kung saan pinapayagan ang isang sapat na mataas na antas ng katumpakan upang matukoy ang mga kasunod na pag-uugali ng bagay o proseso.

Ayon sa prinsipyo na ito ay gumagana halos lahat ng serbisyo ng lagay ng panahon. Ang pagkakaroon ng cyclone computer na modelo mahuhulaan kanyang kapangyarihan cycle at sa paglipas ng lupa o sa ibabaw ng tubig.

Tandaan ang pelikula "Ang Araw Matapos Tomorrow," kung saan ang mga siyentipiko na hinulaang global warming, magpatuloy mula sa diskarteng ito. Ang kanyang computer na modelo ay binuo na pinapayagan ang isang tiyak na antas ng posibilidad upang mahulaan kaganapan sa hinaharap.

Ang mga halimbawang ito ay magagamit upang ipaliwanag na pormalisasyon na ito.

mga bagay at mga proseso prinsipyo modeling

Ang pangunahing paraan ng pormalisasyon - isang pagtataya at pagmomodelo. Ilapat ang naturang teknolohiya eksklusibo para sa pangwakas na data tungkol sa mga bagay o proseso na ay hindi kilala, ngunit maaari itong ipinapalagay na may count mataas na katumpakan.

Kung tumingin ka sa pormalisasyon ng mga species, halos lahat ng mga ito makulong sa lohikal na konklusyon at mga kalkulasyon. Ang mga mambabasa ay hindi magiging mahirap na gumuhit ng isang kahilera sa pagitan ng computer modeling, patunay teorya, at iba pa. E. Sa batayan ng mga axioms at postulates.

Tingnan, para sa parehong Einstein 's theory of relativity ay maaari ring mangahulugan bilang pormalisasyon ng ang paraan, dahil sa kasanayan, i-check ang patunay ay hindi posible. Sa partikular na ito ay sumasaklaw sa liwanag pagpapalaganap constants, ang pagbabawas ng bilis oras upang makamit ang threshold, ang pagtaas ng gravitational bigat ng object at ang kurbada ng space. Mga kamay, tulad ng sinasabi nila, hindi ito pakiramdam at ang mga mata ay hindi maaaring makita.

Noong unang panahon ito ay lamang ang matapang na pagdadahilan scientist sa batayan ng simpleng mga eksperimento. Ngayon, lahat ng ito ay nakumpirma na sa pamamagitan ng opisyal na agham sa batayan ng parehong computer simulation.

yugto ng pormalisasyon

Kung isaalang-alang namin ang computer system, ang unang hakbang sa nagpormalisa isang proseso paglalarawan. Ngunit ito ay hindi gamitin ang karaniwang mga tool ng wika (mga titik, mga salita, parirala, pangungusap). Gumawa ng isang tiyak na matematikal na modelo ay posible lamang sa pamamagitan ng paggamit ng isang tiyak na algorithm batay sa mga napiling mga programming language, ngunit lamang pagkatapos ng statement ng pangkalahatang problema.

Sa ibang salita, sa pagmomodelo ng pag-uugali ng isang bagay o proseso kaganapan kakanyahan kailangan mo upang ilarawan ang payak na matematiko simbolo, gamit ang isang matematikal na algorithm.

Ang resulta ay upang makakuha pormalisasyon aktwal na pagtatasa predictable kaganapan na sinundan matapos masiyasat teknolohiya ay maaaring gamitin sa practice o ilang mga natural na proseso ay nagpasok ang tunay na pag-iral ng hakbang.

Ang sumusunod ay ang conceptualization ng problema. Mayroong dalawang variants: sa unang kaso ito ay isang tiyak na diskarte sa anyo ng paggamit ng mga katangian at mga katangian; pangalawang opsyon ay nagsasangkot ng paggamit ng isang nagbibigay-malay pag-aaral, hindi upang mailakip ang pagbabalangkas ng problema, ang unang koleksyon ng data na ginagamit, kundisyon, at iba pa. d.

Kasunod ng mga kahulugan at mga inisyal na kondisyon pinag-aralan umiiral na relasyon sa pagitan ng mga bagay at mga proseso, pati na rin ang tinatawag na semantic na relasyon, implying ang paggamit ng mga lokal na pamamaraan na representasyon.

Ito ay sinusundan ng pagproseso ng paunang data batay sa mga napiling mga algorithm, at pagkatapos ay bumalik ang mga resulta na nagpapahiwatig ng porsyento ng mga error. Karaniwan ito ay hindi lalampas sa 5%, at sa karamihan ng mga kaso ang resulta ng mga bagay na maaaring mangyari ay umabot sa 99%. Sinumang tao o machine iiwan pa rin ang "kaligtasan margin" para sa hindi inaasahan na pangyayari, dahil ang lahat ng bagay ay hindi maaaring ay dadalhin sa account.

Bakit ang lahat ng ito kinakailangan?

Kung nauunawaan mo ang mga prinsipyong ito payagan para sa pag-aaral ng pag-uugali ng mga bagay at mga proseso. Sa ibang salita, ito ay posible upang mahulaan kung sino ang bumuo ng isang partikular na proseso.

Ito ngayon ay malinaw na tulad ng pormalisasyon. Tingnan natin ang isang simpleng halimbawa.

Application pormalisasyon sa pagsasagawa, ang pinakasimpleng halimbawa

Sabihin nating, ang ilang mga eksperto ay may binuo ng isang bagong sasakyang panghimpapawid disenyo. Given ang mataas na halaga ng proyekto upang bumuo ng isang modelo ng orihinal na sukat nang walang paunang forecast ng pag-uugali nito sa hangin ito ay ganap na hindi naaangkop para sa mga gawain. Bukod dito, ang mga pagsusulit sa parehong wind tunnel sasakyang panghimpapawid sa sukat ng isang Boeing ay ganap na imposibleng gawain.

Pinapayagan nito para sa pormalisasyon ng paunang-natukoy na mga katangian ng hinaharap sasakyang panghimpapawid (air paglaban, side ng hangin, taas, at karamihan sa mga parameter wind tunnel at iba pang mga katangian) modelo ng sasakyang panghimpapawid na lumilipad nang walang isang built modelo.

Ang isa pang halimbawa ay ang pagsubok ng bagong machine, gaganapin automotive kumpanya. Ang pangunahing paraan ng pormalisasyon, sa kasong ito ay namamalagi sa ang katunayan na sa una sila ay gaganapin isang virtual pagsubok, at pagkatapos matanggap ang positibong resulta ng mga sample test ay tatakbo sa produksyon upang subukan sa real kondisyon.

Ang mga pangunahing resulta

Ang resulta ng mathematical modeling sa maraming mga (kung hindi isang daang porsiyento, pagkatapos ay may posibilidad 95%) ay maaaring maging isang malakas na argument sa pabor ng ang produksyon ng mga modernong teknolohiya, ay makakatulong mahuhulaan ang panahon kahit mahuhulaan sosyal na pag-uugali tulad ng isang reaksyon sa mga kaganapan sa mundo.

Oo, oo! Pagbuo ng mga pampublikong opinyon sa mundo, masyadong, ay napapailalim sa sariling mga batas. Sapat na upang maka-impluwensya sa kanya sa nuzhnoi direksyon. Ngayon, ito ay lumikha ng isang pulutong ng mga programa upang mahulaan ang pampublikong reaksyon sa ito o na kaganapan. At ito ay hindi lahat ng mga pagkakataon ng pormalisasyon. Kung kami ay maghukay ng mas malalim, harapin namin ang parehong problema araw-araw.

Isa sa mga pinaka-kapansin-pansin halimbawa ay maaaring nabanggit pormalisasyon at pagkakita Higgs sa banggaan ng elementarya particle sa malaking hadron collider. Ngunit mas maaga ito ay naniniwala na ang pagkakaroon ng maliit na butil na ito - purong teorya, at ito ay ganap na hindi maaaring patunayan na karanasan sa totoong buhay.

konklusyon

Tulad ng nakikita natin, ang paniwala ng pormalisasyon, sa kabila ng pagiging kumplikado ng ang pang-agham na kakanyahan ng proseso, ito ay madaling maunawaan halimbawa. Sa karamihan ng mga kaso ito ay dumating down sa gamit ang ilang mga lohikal na chain, predetermine ang kinalabasan.