Данас врло често можете упознати многенеразумљив појам „формализација“, и то у разним областима науке и технологије. За оне који желе да прошире видике свог знања, пожељно је да разумеју шта је формализација. Чланак ће размотрити суштину овог појма и практичну примену процеса.
Шта је формализација са научног становишта у општем смислу?
Дотакнимо се научног аспекта.Поћи ћемо од чињенице да реч формализација потиче од речи „формалност“, односно, то је условни, а понекад чак и апстрактни концепт који нам омогућава да објаснимо природу непостојећег предмета или појаве и предвидимо његова својства у одређеном окружењу под датим почетним условима.
Лингвистика било ког модерног језика је апсолутноне поклапа се са изражавањем логичких облика или природом мишљења. Дакле, сама логика је приморана да користи неке апстрактне концепте за описивање овог или оног феномена. Тако се појављује релативни концепт формалности онога што се дешава.
Као што претпостављате, суштина формализацијесводи се на описивање или предодређивање одређених својстава предмета или процеса (чак тренутно и не постоје) и предвиђање његове примене ако се појави у стварном свету. Али ово је општа идеја. Сам појам формализације је много шири. За почетак, задржимо се на рачунарским технологијама, размотримо како се овај концепт користи у свету електронике.
Рачунарска формализација
На тему рачунара, методаформализација овог типа је, пре, обрада првобитно утврђених услова, који омогућавају да се са довољно високим степеном тачности утврди даље понашање предмета или процеса.
Скоро све метеоролошке службе раде по овом принципу. Имајући рачунарски модел циклона, могуће је предвидети његов циклус и снагу над копном или над водом.
Сетите се филма „Прекосутра“, у којем је научникпредвидео глобално загревање засновано управо на таквој техници. Развио је рачунарски модел који је омогућио предвиђање даљих догађаја са одређеним степеном вероватноће.
Ови примери јасно објашњавају шта је формализација.
Принципи моделирања објеката и процеса
Главне методе формализације супредвиђање и моделирање. Такве технологије се користе искључиво за добијање коначних података о објектима или процесима који нису познати, али се могу претпоставити и израчунати са великом тачношћу.
Ако погледате врсте формализације, практичносви се своде само на логично резоновање и прорачун. Читаоцу неће бити тешко да на основу аксиома и постулата повуче паралелу између рачунарског моделирања, доказивања теорема итд.
Гле, иста теорија релативностиАјнштајнова теорија се такође може тумачити као метод формализације, јер у пракси није могуће проверити доказ. То се посебно односи на константу ширења светлости, успоравање времена на прагу њеног постигнућа, повећање гравитационе масе објекта и закривљеност простора. Као што кажу, не можете га додирнути рукама и очима.
Некада су то били само смели закључци научника засновани на најједноставнијим експериментима. Данас све ово потврђује званична наука заснована на истој рачунарској симулацији.
Фазе формализације
Ако узмемо у обзир рачунарске системе, ондапрва фаза формализације је опис поступка. Али алати уобичајеног језика (слова, речи, фразе, реченице) овде се не користе. Могуће је створити одређени математички модел само користећи алгоритам заснован на изабраном програмском језику, али тек након постављања општег проблема.
Другим речима, приликом моделирања понашања објекта или процеса, суштина онога што се дешава мора бити описана чисто математичким симболима, користећи математички алгоритам.
Резултат формализације је добијањеанализа стварног предвидивог догађаја који ће уследити након примене технологије која се проучава у пракси или одређеног природног процеса уђе у фазу стварне манифестације.
Након тога следи концептуализација скупазадаци. Овде постоје две опције: у првом случају, то је дефиниција приступа у облику коришћења атрибута и карактеристика; друга опција укључује употребу когнитивне анализе, а да не помињемо формулацију проблема, прикупљање првобитно коришћених података, стања итд.
Након дефинисања појмова и почетних условапроучавају се постојећи односи између предмета и процеса, као и такозвани семантички односи, што подразумева употребу технике локалног представљања.
Након тога следи обрада почетних података она основу изабраног алгоритма, након чега се даје резултат са назнаком процента грешке. По правилу не прелази 5%, а у већини случајева резултат вероватноће достиже 99%. Свака особа или машина и даље оставља „маргину сигурности“ у непредвиђеним околностима, јер је апсолутно све немогуће узети у обзир.
Зашто је све ово потребно?
Ако погледате, такви принципи вам омогућавају да анализирате понашање објеката и процеса. Другим речима, можете предвидети како ће се развијати овај или онај процес.
Сада је већ јасно шта је формализација. Погледајмо најједноставнији пример.
Примена формализације у пракси, најједноставнији примери
Рецимо да је неки специјалиста развио новидизајн авиона. Узимајући у обзир високу цену пројекта, изградња модела оригиналне величине без прелиминарне прогнозе његовог понашања у ваздуху потпуно је непримерен задатак. Штавише, тестирање у истом ваздушном тунелу летелице величине Боинга је апсолутно нереално.
Формализација омогућава унапред одређенокарактеристике будућег ваздухоплова (отпор ваздуха, бочни ветар, надморска висина и параметри самог ваздушног тунела и друге карактеристике) за симулацију лета без изградње модела авиона.
Други пример је тестирањенови аутомобили које обављају аутомобилски концерни. Главна метода формализације у овом случају је да прво сви прођу виртуелни тест, а након добијања позитивних резултата прототипи се лансирају у производњу за тестирање у стварним условима.
Главни резултати
Резултат математичког моделирања је у великој мери(ако не сто посто, онда са вероватноћом до 95%) може постати тежак аргумент у корист пуштања савремене технологије, помоћи у предвиђању времена, чак предвидети друштвено понашање као реакцију на догађаје у свету.
Да да!Формирање јавног мњења у свету такође се покорава сопственим законима. Довољно је утицати на то у правом смеру. Данас су већ створени многи програми који омогућавају предвиђање реакције друштва на одређени догађај. И то нису сви примери формализације. Ако дубље копате, са тим се суочавамо сваки дан.
Један од најупечатљивијих примера формализације може битииме и откривање Хиггсовог бозона у судару елементарних честица у Великом хадронском сударачу. Али раније се веровало да је постојање ове честице чиста теорија и апсолутно се не доказује стварним експериментима.
Закључак
Као што видите, у концепту формализације, упркоснаучну сложеност суштине процеса лако је разумети на примерима. У већини случајева то се своди на употребу неких логичких ланаца који унапред одређују коначни резултат.
