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

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

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

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

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

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

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

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

По овом принципу ради практично све метеоролошке службе. Имајући компјутерски модел циклон може да предвиди њену моћ циклус и изнад земље или изнад воде.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Зашто је све ово потребно?

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

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

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

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

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

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

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

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

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

Један од најупечатљивијих примера могу се навести формализација и детекција Хиггс у сударима елементарне честице у Ларге Хадрон Цоллидер. Међутим, раније се сматрало да је постојање ове честице - чиста теорија, а то апсолутно није доказано искуства из реалног свијета.

закључак

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