X'inhu l-formalizzazzjoni? Metodu formalizzazzjoni. Il-kunċett, essenza, stadji, riżultati, eżempji, it-tipi ta 'formalizzazzjoni

Illum, ħafna drabi inti tista 'tilħaq ħafna ta' terminu stramba "formalizzazzjoni", u fl-oqsma varji tax-xjenza u t-teknoloġija. Għal dawk li jixtiequ jespandu l-orizzonti ta 'għarfien tagħhom, huwa rakkomandabbli li wieħed jifhem li din formalizzazzjoni. L-artikolu se jiġu kkunsidrati l-essenza tat-terminu u l-applikazzjoni prattika tal-proċess.

X'inhu l-formalizzazzjoni ta 'lat xjentifiku f'sens ġenerali?

A ftit touch fuq l-aspett xjentifiku. Nibdew mill-fatt li l-kelma hija derivata mill-formalizzazzjoni tal-kelma "formali", jiġifieri huwa kondizzjonali, u xi kultant anke kunċett astratt li tippermetti li jispjegaw in-natura ta 'oġġett jew fenomenu ineżistenti u li wieħed ibassar proprjetajiet tiegħu f'ambjent partikolari mal-kundizzjonijiet inizjali mogħtija.

Lingwistika kwalunkwe lingwa moderna ma tikkoinċidix ma 'l-espressjoni ta' forma loġiku jew in-natura ta 'ħsieb. Għalhekk, il-loġika innifsu mġiegħel juża xi kunċetti astratti biex jiddeskrivi fenomenu ċerti. U hemm kunċett relattiv ta 'dak li qed jiġri formalitajiet.

Kif diġà guessed dan, l-essenza ta 'formalizzazzjoni jaqa', biex jiddeskrivu jew li jippredeterminaw ċerti proprjetajiet tal-oġġett jew proċess (mhux jeżistux fil-mument) u li wieħed ibassar l-użu tagħha f'każ li jseħħu fid-dinja reali. Iżda dan huwa l-idea ġenerali. Il-kunċett stess ta 'formalizzazzjoni huwa ħafna usa'. Biex jibdew jiffukaw fuq it-teknoloġija tal-kompjuter, jikkunsidraw kif fid-dinja tal-elettronika, dan it-terminu huwa użat.

formalizzazzjoni kompjuter

Jekk is-suġġett jaffettwaw metodu kompjuters formalizzazzjoni ta 'dan it-tip hija pjuttost jingħata kondizzjonijiet tat-trattament inizjali, li jippermettu grad għoli biżżejjed ta' eżattezza li jiddeterminaw l-imġiba sussegwenti tal-oġġett jew proċess.

Skond dan il-prinċipju xogħlijiet prattikament kollha tas-servizz tat-temp. Wara mudell tal-kompjuter ċiklun jista 'jbassar ċiklu poter u fuq l-art jew fuq l-ilma.

Ftakar il-film "Il-Jum Wara Għada," fejn il-xjenzat mbassra tisħin globali, li jipproċedi minn din it-teknika. mudell tal-kompjuter tiegħu ġie żviluppat li ppermettiet ċertu grad ta 'probabbiltà li wieħed ibassar avvenimenti futuri.

Dawn l-eżempji huma disponibbli biex jispjegaw li dan formalizzazzjoni.

oġġetti u l-proċessi prinċipji immudellar

Il-metodi ewlenin ta formalizzazzjoni - ta 'tbassir u mmudellar. Applika dawn it-teknoloġiji esklussivament għall-informazzjoni finali dwar l-oġġetti jew il-proċessi li mhumiex magħrufa, iżda wieħed jista 'jassumi bi għadd preċiżjoni għolja.

Jekk inti tħares lejn l-formalizzazzjoni ta 'speċi, kważi għalihom kollha limitata għall-konklużjonijiet loġiċi u l-kalkoli. Il-qarrej mhux se jkun diffiċli biex tiġbed parallel bejn il-immudellar kompjuter, it-teorija prova, u l-bqija. E. Fuq il-bażi ta 'axioms u teħtieġ ir.

Ħares, għall-istess teorija Einstein tal-relatività jista 'wkoll jiġi interpretat bħala formalizzazzjoni tal-metodu, minħabba li fil-prattika, iċċekkja l-prova ma jkunx possibbli. B'mod partikolari, dan japplika għall-kostanti ta 'propagazzjoni tad-dawl, il-ħin deċelerazzjoni biex jintlaħaq il-limitu, tiżdied il-piż gravitazzjonali' l-oġġett u l-kurvatura ta 'spazju. Idejn, kif jgħidu, ma jħossx u l-għajnejn ma tistax tara.

Ladarba fuq żmien kien biss xjenzat raġunament kuraġġużi fuq il-bażi ta 'esperimenti sempliċi. Illum, dan kollu huwa kkonfermat mill-xjenza uffiċjali fuq il-bażi ta 'l-istess simulazzjoni bil-kompjuter.

stadji ta 'formalizzazzjoni

Jekk inqisu li l-sistema tal-kompjuter, l-ewwel pass fil-formalizzazzjoni deskrizzjoni proċess. Iżda dan ma jużaw l-għodod tas-soltu tal-lingwa (ittri, kliem, frażijiet, sentenzi). Oħloq speċifiku mudell matematiku hija possibbli biss bl-użu ta 'ċerti algoritmu bbażata fuq il-lingwa ta' programmar magħżul, iżda biss wara l-istqarrija tal-problema ġenerali.

Fi kliem ieħor, fil modellar l-imġiba ta 'oġġett jew avveniment proċess essenza għandek bżonn biex jiddeskrivu simboli purament matematiċi, bl-użu algoritmu matematika.

Ir-riżultat huwa li tinkiseb formalizzazzjoni avvenimenti analiżi attwali prevedibbli li segwew wara teknoloġija investigati se jintużaw fil-prattika jew ċerti proċess naturali jidħol fil-eżistenza reali tal-pass.

Dawn li ġejjin huwa l-conceptualization tal-problema. Hemm żewġ varjanti: fl-ewwel każ huwa approċċ speċifiku fil-forma ta 'użu l-attributi u karatteristiċi; tieni għażla tinvolvi l-użu ta 'analiżi konjittivi, biex ma nsemmux il-formulazzjoni tal-problema, il-ġbir inizjali ta' data użati, kondizzjonijiet, u l-bqija. d.

Wara d-definizzjonijiet u l-kondizzjonijiet inizjali studjat relazzjoni eżistenti bejn oġġetti u proċessi, kif ukoll l-hekk imsejħa relazzjonijiet semantiċi, li jimplika l-użu ta 'tekniki ta' rappreżentazzjoni lokali.

Dan huwa segwit mill-ipproċessar tad-data inizjali bbażati fuq l-algoritmu magħżul, u mbagħad jirritornaha r-riżultat jindika l-persentaġġ ta 'żball. Normalment dan ma jeċċedix 5%, u f'ħafna każijiet ir-riżultat tal-probabbiltà jilħaq 99%. Kull persuna jew magna xorta se jħallu l- "marġni ta 'sikurezza" għall ċirkostanzi mhux previsti, għaliex kollox ma jistgħux jittieħdu in kunsiderazzjoni.

Għaliex dan kollu meħtieġ?

Jekk inti tifhem dawn il-prinċipji jippermettu analiżi tal-imġiba ta 'oġġetti u proċessi. Fi kliem ieħor, huwa possibbli li wieħed ibassar li se tiżviluppa proċess partikolari.

Issa huwa ċar li tali formalizzazzjoni. Ejja nħarsu lejn eżempju sempliċi.

Applikazzjoni formalizzazzjoni fil-prattika, l-eżempji sempliċi

Ejja ngħidu, xi esperti żviluppaw disinn ġdid ajruplan. Minħabba l-ispiża għolja tal-proġett biex jinbena mudell tad-daqs oriġinali mingħajr il-previżjoni qabel tal-imġiba tiegħu fl-arja huwa totalment mhux xieraq għall-kompitu. Barra minn hekk, it-testijiet fl-istess mina tar-riħ ajruplani id-daqs ta 'Boeing huwa kompitu impossibbiltà assoluta.

Hija tippermetti formalizzazzjoni tal-karatteristiċi determinati minn qabel ta 'ajruplani futur (reżistenza għall-arja, ir-riħ tal-ġenb, għoli, u ħafna parametri mina tar-riħ u karatteristiċi oħra) mudell l-ajruplan li jtajru mingħajr mudell mibnija.

Eżempju ieħor huwa l-ittestjar ta 'magni ġodda, kumpaniji tal-karozzi miżmuma. Il-metodu bażiku ta 'formalizzazzjoni, f'dan il-każ tinsab fil-fatt li fl-ewwel huma żammew test virtwali, u wara li jirċievi r-riżultati pożittivi ta' kampjuni tat-test huma mmexxija fil-produzzjoni biex jittestjaw f'kondizzjonijiet reali.

Ir-riżultati ewlenin

Ir-riżultat ta 'mudellar matematiku f'ħafna (a jekk mhux mija fil-mija, imbagħad bi probabbiltà ta' 95%) jista 'jkun argument b'saħħtu favur il-produzzjoni ta' teknoloġija moderna, se jgħinu fit-tbassir tat-temp anke jbassru l-imġiba soċjali bħala reazzjoni għall-avvenimenti fid-dinja.

Iva, iva! Formazzjoni ta 'opinjoni pubblika fid-dinja, wisq, hija suġġetta għal-liġijiet tagħha stess. Biżżejjed biex jinfluwenzaw lilu fid-direzzjoni nuzhnoi. Illum, ħolqot ħafna ta 'programmi li jbassru l-reazzjoni tal-pubbliku għal dan jew dak l-avveniment. U dan mhux istanzi kollha tal formalizzazzjoni. Jekk aħna ħaffer fil-fond, qed niffaċċjaw l-istess problema kuljum.

Wieħed mill-eżempji l-aktar impressjonanti jistgħu jkunu msemmija formalizzazzjoni u l-kxif Higgs fil-kolliżjonijiet ta 'partiċelli elementari fil Collider Hadron kbar. Iżda qabel kien maħsub li l-eżistenza ta 'dan partiċelli - teorija pur, u huwa assolutament mhux dimostrabbli esperjenza tad-dinja reali.

konklużjoni

Kif naraw, il-kunċett ta 'formalizzazzjoni, minkejja l-kumplessità tal-essenza xjentifika tal-proċess, huwa faċli li wieħed jifhem eżempji. F'ħafna każijiet niġu jistabbilixxi tuża xi ktajjen loġiku, jippredeterminaw ir-riżultat.