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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

заключение

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