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

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

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

Ние допираме малку научен аспект. Ајде да продолжиме од фактот дека зборот формализација доаѓа од зборот "формалност", односно условниот, а понекогаш дури и апстрактен концепт кој овозможува да се објасни природата на непостоечки објект или феномен и да се предвидат неговите својства во одредена средина под дадени почетни услови.

Лингвистиката на секој модерен јазик апсолутно не се совпаѓа со изразот на логички форми или природата на размислувањето. Така, самата логика е принудена да користи одредени апстрактни концепти за да опише одреден феномен. Така, постои релативен концепт на формалностите на она што се случува.

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

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

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

Речиси сите временски услуги работат на овој принцип. Имајќи компјутерски модел на циклон, можно е да се предвиди неговиот циклус и моќ над земјата или над водниот простор.

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

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

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

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

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

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

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

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

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

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

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

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

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

Потоа, обработката на почетните податоци следи врз основа на избраниот алгоритам, по што резултатот е даден со наведување на процентот на грешки. Како по правило, не надминува 5%, а во повеќето случаи резултатот на веројатност достигнува 99%. Секое лице или машина сеуште остава "маргина на сигурност" за непредвидени околности, бидејќи апсолутно сè е невозможно да се земе предвид.

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

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

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

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

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

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

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

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

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

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

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

Заклучок

Како што гледаме, во концептот на формализација, и покрај научната сложеност на суштината на процесот, лесно е да се разберат примерите. Во повеќето случаи, се намалува употребата на одредени логички синџири што го предодредуваат конечниот резултат.