Какво е формализация? Метод на формализация. Концепция, същност, етапи, резултат, примери, видове формализация

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

Какво представлява формализацията от научна гледна точка в общия смисъл?

Докосваме малък научен аспект. Да започнем от това, че думата произлиза от формализирането на думата "официално", т.е. тя е условна, а понякога дори и абстрактно понятие, която позволява да се обясни същността на несъществуващ обект или явление и да се предскаже свойствата му в определена среда с дадените начални условия.

Лингвистиката на всеки съвременен език абсолютно не съвпада с изразяването на логическите форми или естеството на мисленето. По този начин самата логика е принудена да използва определени абстрактни понятия, за да опише определено явление. Така че има относителна концепция за формалностите на случващото се.

Както вече се досещате, същността на формализация се свежда до, за да се опише или да предопределят някои свойства на обекта или процеса (дори и да съществува в момента) и да се предскаже неговото използване в случай на възникване в реалния свят. Но това е обща идея. Самата концепция за формализация е много по-широка. Първо, нека разгледаме компютърните технологии, ще видим как се прилага тази концепция в света на електрониката.

Компютърна формализация

Ако докоснете въпроса за компютрите, формализационният метод от този тип е по-скоро обработката на първоначалните условия, които ви позволяват да определите с висока степен на точност по-нататъшното поведение на обект или процес.

Почти всички метеорологични услуги работят по този принцип. Като имаме компютърния модел на циклона, е възможно да предвидим неговия цикъл и сила над земята или над водното пространство.

Помнете филма "Ден след утре", в който ученият прогнозира глобалното затопляне, като се придържа към този метод. Той разработи компютърен модел, който позволи да се предскаже с някаква вероятност бъдещи събития.

Тези примери са на разположение, за да обяснят какво е формализирането.

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

Основните методи на формализация са прогнозиране и моделиране. Тези технологии се използват изключително за получаване на окончателни данни за обекти или процеси, които не са известни, но те могат да се приемат и изчисляват с висока точност.

Ако погледнете видовете формализация, почти всички от тях се свеждат само до логически изводи и изчисления. Читателят лесно може да състави паралел между компютърно моделиране, доказателство за теореми и т.н. въз основа на аксиоми и постулати.

Виж, това е същото Айнщайновата теория за относителността може също да се разглежда като формализиращ метод, тъй като на практика не е възможно да се провери доказателството. По-специално това се отнася за леки константи размножаване, времето на забавяне до постигане на прага, увеличаване на гравитационната теглото на обекта и на кривината на пространство. Ръцете, както казват те, няма да го почувствате и няма да видите очите си.

По едно време това бяха само смели заключения на учения въз основа на най-простите експерименти. Днес всичко това се потвърждава от официалната наука, базирана на същата компютърна симулация.

Етапи на формализация

Ако разгледаме компютърните системи, тогава първият етап на формализация е описанието на процеса. Но тук не се използват инструменти на обичайния език (букви, думи, фрази, изречения). Създайте конкретен математически модел това е възможно само при използване на алгоритъм, базиран на избрания език за програмиране, но само след задаване на обща задача.

С други думи, при моделиране на поведението на даден обект или процес, събитие същество, което трябва да се опише чисто математически символи, с помощта на математически алгоритъм.

Резултатът от формализацията е да се получи анализ на действителното предвидимо събитие, което ще последва, след като технологията, предмет на разследването, се приложи на практика или определен естествен процес навлезе в етапа на реално проявление.

Следва концептуализацията на задачата. Има два варианта: в първия случай е специфичен подход под формата на използването на атрибути и priznakov- Вторият вариант включва използването на когнитивната анализ, да не говорим за изявлението на проблема, събиране на първоначалните данни, използвани, условия, и така нататък ..

След определянето на понятията и началните условия се изследват съществуващите взаимоотношения между обекти и процеси, както и т.нар. Семантични отношения, които предполагат използването на техниката за местно представяне.

Тогава обработката на началните данни следва на базата на избрания алгоритъм, след което резултатът се дава с процентната грешка. Като правило не надвишава 5%, а в повечето случаи вероятността за резултат достига 99%. Всяко лице или машина все още оставя "граница на безопасност" за непредвидени обстоятелства, защото абсолютно всичко е невъзможно да се вземе предвид.

Защо всичко това е необходимо?

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

Сега е ясно какво е формализирането. Нека да разгледаме най-простия пример.

Прилагането на формализация на практика, най-простите примери

Представете си, че специалист е разработил нов дизайн на самолета. Като се вземат предвид високите разходи за проекта, е напълно неразумно да се изгради модел на оригиналния размер без предварителното предсказване на неговото поведение във въздуха. Освен това, провеждането на тестове в един и същ аеродинамичен тунел на самолет с размерите на Боинг е абсолютно нереалистична задача.

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

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

Основни резултати

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

Да, да! Образуването на общественото мнение в света също е подчинено на собствените му закони. Достатъчно е да работите по него в правилната посока. Днес много програми вече са създадени, които позволяват да се предскаже реакцията на обществото на дадено събитие. И това не са всички примери за формализация. Ако копаем по-дълбоко, ние се изправяме пред това всеки ден.

Един от най-поразителните примери за формализация може да се нарече откриване Хигс бозон при сблъсък на елементарни частици в Големия адронен колайдер. Но всъщност преди това се смяташе, че съществуването на тази частица е чиста теория и абсолютно не се доказва от истински експерименти.

заключение

Както виждаме, в концепцията за формализация, въпреки научната сложност на същността на процеса, е лесно да се разберат примерите. В повечето случаи то намалява до използването на определени логически вериги, които предопределят крайния резултат.