Kas yra formalizavimas? formalizavimas metodas. Koncepcija, esmė, etapai, rezultatai, pavyzdžiai, tipai formalizavimo

Šiandien labai dažnai galima sutikti keistų termino "formalizavimo" daug, ir įvairių sričių mokslo ir technologijų srityje. Tiems, kurie nori išplėsti savo žinias akiratį, patartina suprasti, kad šio formalizavimo. Straipsnyje bus laikomas termino esmė ir praktinis taikymas proceso.

Kas yra mokslo požiūriu formalizavimas bendrąja prasme?

Šiek tiek liesti moksliniu aspektu. Pradėkime nuo to, kad žodis yra kilęs iš žodžio formalizavimas "formalus", ty jis yra sąlyginis, o kartais net abstrakti sąvoka, kuri leidžia paaiškinti neegzistuojančio objekto ar reiškinio prigimtį ir prognozuoti savo savybes tam tikroje aplinkoje, pateiktų pradinių sąlygų.

Lingvistika bet moderni kalba nesutampa su logine forma ar pobūdžio mąstymo išraiška. Taigi, pati logika priversti naudoti keletą abstrakčių sąvokų apibūdinti tam tikrą reiškinį. Ir ten yra reliatyvi sąvoka, kas vyksta formalumus.

Kaip jau atspėjote, kad formalizavimo esmė nužengia, apibūdinti arba lemia tam tikras savybes objekto ar proceso (net egzistuoti tuo momentu) ir prognozuoti jos naudojimą atveju atsiradimo realiame pasaulyje. Bet tai yra bendras idėja. Labai samprata formalizavimo yra daug platesnė. Norėdami pradėti, ypatingą dėmesį skiriant kompiuterinės technologijos, apsvarstyti, kaip elektronikos pasaulyje, šis terminas vartojamas.

kompiuteris formalizavimas

Jei objektas įtakos kompiuteriai formalizavimas metodas Šio tipo o suteikta pradinio gydymo sąlygas, kurios leistų pakankamai aukštą tikslumą nustatyti vėlesnį elgesį objektą ar procesą.

Pagal šį principą veikia praktiškai visą orų tarnyba. Atsižvelgdama ciklonas kompiuterinis modelis gali prognozuoti jo maitinimo ciklą ir virš žemės paviršiaus arba virš vandens.

Įsiminti filmą "Diena po rytojaus", kuriame mokslininkas prognozuojamą pasaulinį atšilimą, pradedant nuo šio metodo. Jo kompiuterinis modelis buvo sukurtas, kad leido tam tikras tikimybe prognozuoti būsimus įvykius.

Šie pavyzdžiai yra paaiškinti, kad šio formalizavimo.

objektus ir procesus modeliavimo principai

Pagrindiniai metodai Formalizavimo - prognozavimo ir modeliavimas. Taikyti tokias technologijas, tik galutinės duomenų apie objektų ar procesų, kurie nėra žinomi, tačiau ji gali būti laikoma su didelio tikslumo skaičius.

Jei pažvelgti rūšių formalizavimo, beveik visi iš jų tik loginių išvadų ir skaičiavimai. Skaitytojas nebus sunku nubrėžti paralelę tarp kompiuterinio modeliavimo įrodymas teorijos, ir pan., E. Dėl aksiomų ir postulatų pagrindu.

Žiūrėk, už tą patį Einšteino reliatyvumo teorija taip pat gali būti aiškinama kaip metodo formalizavimo, nes praktiškai patikrinti įrodymas yra neįmanoma. Visų pirma tai taikoma šviesos sklidimo konstantos, lėtėjimo laikas pasiekti ribą, didinant gravitacinę masę objekto ir erdvės kreivumą. Rankos, kaip jie sako, ji neturi jausti ir akys negali pamatyti.

Kažkada tai buvo tik drąsus motyvai mokslininkas ant paprastų eksperimentų pagrindu. Šiandien visa tai yra patvirtinta oficiali mokslo ant to paties kompiuterinio modeliavimo pagrindu.

etapai Formalizavimo

Jei mes manome, kompiuterinę sistemą, pirmą žingsnį forminti yra proceso aprašymas. Bet jis nenaudoja įprastinių įrankių kalbos (raidės, žodžiai, frazės, sakiniai). Sukurti konkretus matematinis modelis yra įmanomas tik naudojant tam tikrą algoritmą, remiantis pasirinktos programavimo kalba, bet tik po to, kai bendrojo problemos ataskaitoje.

Kitaip tariant, modeliavimo objekto arba proceso renginio esmės elgesį jums reikia apibūdinti vien matematinius simbolius, naudojant matematinį algoritmą.

Rezultatas yra gauti formalizavimas faktines analizės numatomus įvykius, kurie atsekė iš paskos tiriama technologija bus naudojama praktikoje arba tam tikras natūralus procesas patenka į tikrą buvimą žingsnis.

Toliau yra problemos konceptualizacija. Yra du variantai: pirmuoju atveju tai yra ypatingas požiūris į naudojant atributus ir charakteristikas forma; Antrasis variantas yra susijęs su pažinimo analizę, jau nekalbant problemos formulavimo naudojimą, naudojamas pirminis duomenų rinkimas, sąlygas ir pan. r.

Po apibrėžimus ir pradines sąlygas studijavo esamą santykį tarp objektų ir procesų, taip pat vadinamąsias semantinius santykius, o tai reiškia, kad vietos atstovavimo būdus.

Tai po perdirbimo pradinius duomenis, pagrįstus pasirinkto algoritmo, o tada grąžina rezultatą, nurodant klaidos procentą. Paprastai ji neturi viršyti 5%, o daugeliu atvejų tikimybės rezultatas pasiekia 99%. Bet kuris asmuo ar mašina vis dar palikti "saugos atsarga" už nenumatytų aplinkybių, nes viskas negali būti atsižvelgta.

Kodėl visa tai reikalinga?

Jei jūs suprantate, kad šie principai būtų galima analizės objektų ir procesų elgesį. Kitaip tariant, tai yra įmanoma nuspėti, kas sukurs tam tikrą procesą.

Tai dabar aišku, kad tokio įforminimo. Pažvelkime į paprastą pavyzdį.

Prašymas formalizavimas praktikoje, paprasčiausias pavyzdys

Tarkime, kai kurie ekspertai sukūrė naują orlaivio konstrukcijos. Atsižvelgiant į didelės išlaidos projekto sukurti originalaus dydžio modelį be išankstinio prognozės savo elgesį ore jis yra visiškai netinkamas užduoties. Be to, tos pačios vėjo tunelio orlaiviams iš "Boeing" dydžio testai yra visiškai neįmanoma.

Tai leidžia formalizuoti iš anksto nustatytais charakteristikas ateities orlaivių (oro pasipriešinimas, šoninio vėjo, aukščio, ir dauguma vėjo tunelyje parametrų ir kitų savybių) Modelis lėktuvą skrendantį be pastatė modelį.

Kitas pavyzdys yra naujų mašinų, vyko automobilių kompanijų bandymai. Pagrindinis metodas formalizavimo, šiuo atveju yra tai, kad iš pradžių jie surengė virtualų bandymą, gavusi teigiamus rezultatus mėginių yra paleisti gamybos išbandyti realiomis sąlygomis.

Pagrindiniai rezultatai

Iš matematinio modeliavimo rezultatas daugelis (jei ne šimtu procentų, tada su tikimybe 95%) gali būti galingas argumentas modernių technologijų gamybos, padės prognozuoti oras net prognozuoti socialinį elgesį kaip reakciją į pasaulio įvykius.

Taip, taip! Formavimas viešosios nuomonės pasaulyje, taip pat yra taikomos jos pačios įstatymus. Pakanka turėti įtakos jam nuzhnoi kryptimi. Šiandien ji sukūrė daug programų prognozuoti visuomenės reakciją į vieną ar kitą įvykį. Ir tai ne visi formalizavimo atvejų. Jei mes kasti giliau, mes susiduriame su ta pačia problema kiekvieną dieną.

Vienas iš ryškiausių pavyzdžių galima paminėti formalizavimo ir aptikimo Higso susidūrimų elementariųjų dalelių Large Hadron Collider. Bet anksčiau buvo manoma, kad šios dalelės egzistavimą - gryna teorija, ir tai yra visiškai ne įrodoma realaus pasaulio patirtį.

išvada

Kaip matome, iš formalizavimo sąvoka, nepaisant mokslinio esmės proceso sudėtingumo, ji yra lengva suprasti pavyzdžių. Daugeliu atvejų jis nužengia į naudojant keletą loginių grandinių, lemia rezultatus.