Шта је формализација? Метод формализације. Концепт, суштина, фазе, резултат, примјери, врсте формализације

Данас се веома често среће са многиманеразумљив појам "формализација", иу различитим областима науке и технологије. Они који желе да прошире хоризонте свог знања, пожељно је разумети шта је формализација. Чланак ће размотрити суштину овог термина и практичну примену процеса.

Шта је формализација са научне тачке гледишта у општем смислу?

Додирујемо мало научног аспекта. Почнимо од чињенице да је реч потиче од формализације речи "формална", односно да је условна, а понекад чак и апстрактни концепт који омогућава да објасне природу непостојећег објекта или појаве и да предвиди својства у одређеном окружењу са датим почетних услова.

Лингвистика било ког модерног језика је апсолутноне поклапа се са изражавањем логичких облика или природом мишљења. Стога, сама логика је приморана да користи одређене апстрактне концепте да опише одређени феномен. Дакле, постоји релативни концепт формалности онога што се дешава.

Како није тешко погодити, суштина формализацијесе своди на описивање или унапред одређивање неких особина неког објекта или процеса (чак и не постоји у овом тренутку) и да предвиди његову примјену у случају појављивања у стварном свијету. Али ово је општа идеја. Сам концепт формализације је много шири. Да започнемо, да погледамо рачунарске технологије, видећемо како се овај концепт примењује у свету електронике.

Компјутерска формализација

Ако додирнете тему рачунара, методФормализација ове врсте је, пре свега, обрада почетних услова који вам омогућавају да одредите даље понашање објекта или процеса са довољно високим степеном тачности.

Скоро све метеоролошке службе раде на овом принципу. Ако имате компјутерски модел циклон, могуће је предвидјети свој циклус и моћ над земљом или преко воденог простора.

Сећате се филма "Дан после сутра", у којем је научникпредвиђано глобално загревање, засновано управо на овој методи. Развио је компјутерски модел који је у будућности могао предвидети са неким вјероватноћом.

Ови примери су доступни како би се објаснила која је формализација.

Принципи моделовања објеката и процеса

Главне методе формализације супрогнозирање и моделирање. Ове технологије се користе искључиво за добијање коначних података о објектима или процесима који нису познати, али се могу претпоставити и рачунати са високом тачношћу.

Ако погледате типове формализације, практичносве су сведене само на логичке закључке и калкулације. Читач може лако извући паралелу између рачунарског моделирања, доказа теорема и слично на основу аксиома и постулата.

Види, после исте теорије релативностиАјнштајн се такође може третирати као метода формализације, јер у пракси није могуће провјерити доказ. Конкретно, ово се односи на константу распростирања светлости, временско кашњење на прагу његовог постигнућа, повећање гравитацијске масе објекта и закривљеност простора. Руке, како кажу, нећете осетити и нећете видети своје очи.

Једном су то били само храбри закључци научника на основу најједноставнијих експеримената. Данас све ово потврђује званична наука заснована на истој компјутерској симулацији.

Фазе формализације

Ако размислимо о компјутерским системима, ондаПрва фаза формализације је опис процеса. Али овде се не користе алати уобичајеног језика (слова, речи, фразе, реченице). Да бисте креирали специфичан математички модел, можете користити само алгоритам заснован на одабраном програмском језику, али тек након постављања заједничког задатка.

Другим речима, приликом моделовања понашања неког објекта или процеса, суштина догађаја мора бити описана чисто математичким симболима користећи математички алгоритам.

Резултат формализације је да се добијеанализу стварног предвидивог догађаја који ће уследити након што се технологија у истраживању упути у праксу или одређени природни процес улази у фазу стварне манифестације.

Слиједи концептуализација скупазадатке. Постоје две опције: у првом случају, то је дефиниција приступа у облику коришћења атрибута и атрибута; Друга опција укључује употребу когнитивне анализе, а да не помињемо формулацију проблема, прикупљање примарних података, услове итд.

Након дефинисања концепата и почетних условаИспита постојеће односе између објеката и процеса, као и тзв. Семантички односи, што подразумева употребу техника локалног представљања.

Слиједи обрада почетних података наоснове изабраног алгоритма, након чега се даје резултат који указује на проценат грешке. По правилу, не прелази 5%, ау већини случајева резултат вероватноће достиже 99%. Свака особа или ауто и даље оставља "маргину сигурности" за непредвиђене околности, јер апсолутно све није могуће узети у обзир.

Зашто је све ово неопходно?

Ако се разумије, такви принципи омогућавају анализу понашања објеката и процеса. Другим речима, могуће је предвидети како ће се развити овај или онај процес.

Сада је јасно каква је формализација. Погледајмо најједноставнији пример.

Коришћење формализације у пракси, најједноставнији примери

Претпоставимо да је специјалиста развио новудизајн авиона. Узимајући у обзир високе трошкове пројекта, изградња модела оригиналне величине без претходног предвиђања његовог понашања у ваздуху је потпуно непримјерен задатак. Штавише, тестирање у истом тунелу ветра величине Боеинг-а је апсолутно нереално.

Формализација дозвољава на унапред одређенимКарактеристике будућих авиона (ваздушни отпор, бочни ветар, висина и параметри самог тунела и друге карактеристике) симулирати лет без изградње модела авиона.

Други пример је тестирањенови аутомобили држани аутомобилским проблемима. Главни метод формализације у овом случају је да прво сви прођу виртуални тест, а након добијања позитивних резултата, прототипови се стављају у производњу ради тестирања у стварним условима.

Главни резултати

Резултат математичког моделирања је у великој мјери(ако не сто процената, онда са вероватноћом до 95%) може бити тежак аргумент у корист ослобађања савремене технологије, помоћи у предвиђању времена, чак и предвидети друштвено понашање као реакцију на догађаје у свијету.

Да, да! Формирање јавног мњења у свету такође је подложно сопственим законима. Довољно је утјецати на њега у правом смјеру. Данас је већ створено неколико програма који омогућавају предвиђању реакције јавности на одређени догађај. И то нису сви примери формализације. Ако копате дубље, свакодневно се суочавамо са овим.

Један од најистакнутијих примера формализације можеиме и детекцију Хиггс босона у сударању елементарних честица у Ларге Хадрон Цоллидер. Али пре него што се веровало да је постојање ове честице чиста теорија и апсолутно није доказано стварним експериментима.

Закључак

Као што видимо, у концепту формализације, упркос томенаучна сложеност суштине процеса, лако је разумети примјере. У већини случајева, долази до употребе одређених логичких ланаца предодређујући коначни резултат.