Vad är formalisering? alise metod. Konceptet, essens, scener, resultat, exempel, typer av formalisering

Idag, mycket ofta kan du träffa en massa konstiga begreppet "formalisering", och inom olika områden av vetenskap och teknik. För dem som vill utöka horisonter av sina kunskaper, är det lämpligt att förstå att denna formalisering. Artikeln kommer att betraktas essensen av begreppet och den praktiska tillämpningen av processen.

Vad är formaliseringen av en vetenskaplig synpunkt i allmän mening?

En liten touch på den vetenskapliga aspekten. Låt oss börja från det faktum att ordet kommer från formaliseringen av ordet "formella", det vill säga det är villkorad, och ibland till och med ett abstrakt begrepp som gör det möjligt att förklara hur en icke-existerande objekt eller fenomen och förutsäga dess egenskaper i en viss miljö med de givna begynnelsevillkor.

Lingvistik alla moderna språk inte sammanfaller med uttryck av logisk form eller typ av tänkande. Således logiken själv tvungen att använda en del abstrakta begrepp för att beskriva ett visst fenomen. Och det är ett relativt begrepp om vad som händer formaliteter.

Som redan gissat det, kommer kärnan i formaliseringen ner till att beskriva eller att förutbestämma vissa egenskaper hos objektet eller process (inte ens existerar för tillfället) och förutsäga dess användning i händelse av förekomst i den verkliga världen. Men detta är den allmänna idén. Själva begreppet formalisering är mycket bredare. Till att börja med fokus på datateknik, överväga hur i världen av elektronik, denna term som används.

dator formalisering

Om motivet påverkar datorer alisemetod av denna typ är ganska given initiala behandlingsbetingelser, som möjliggör en tillräckligt hög grad av noggrannhet för att bestämma den efterföljande uppträdande av objektet eller process.

Enligt denna princip fungerar praktiskt taget alla vädertjänsten. Med cyklon datormodell kan förutsäga dess makt cykel och över land eller över vatten.

Kom ihåg filmen "The Day After Tomorrow", där forskaren förutspådde den globala uppvärmningen, utgående från denna teknik. Hans datormodell har utvecklats som tillät en viss grad av sannolikhet för att förutsäga framtida händelser.

Dessa exempel är tillgängliga för att förklara att denna formalisering.

objekt och processer modellerings principer

De viktigaste metoderna för formalisering - en prognoser och modelleringar. Applicera sådan teknik enbart för den slutliga uppgifter om de objekt eller processer som inte är kända, men det kan antas med hög noggrannhet räknas.

Om man tittar på formaliseringen av arter, nästan alla av dem begränsas till logiska slutsatser och beräkningar. Läsaren kommer inte att vara svårt att dra en parallell mellan datormodellering, bevisteori, och så vidare. E. På grundval av axiom och postulat.

Titta, för samma Einsteins relativitetsteori också skulle kunna tolkas som en formalisering av metoden, eftersom det i praktiken kontrollera beviset är inte möjligt. I synnerhet gäller detta ljusutbredningskonstanter, att retardationstiden uppnå tröskeln, ökar gravitationsvikten av objektet och krökningen av rymden. Hands, som de säger, känns det inte och ögonen kan inte se.

En gång i tiden var det bara modig resonemang forskare på grundval av enkla experiment. Idag är allt detta bekräftas av officiell vetenskapen på grundval av samma datorsimulering.

stadier av formalisering

Om vi anser att datorsystemet, det första steget i att formalisera en processbeskrivning. Men den inte använder de vanliga verktygen språk (bokstäver, ord, fraser, meningar). Skapa en särskild matematisk modell är möjlig endast genom att använda en viss algoritm baserad på det valda språket programmering, men bara efter meddelandet om det allmänna problemet.

Med andra ord, i modellering beteendet hos ett föremål eller process händelse essens du behöver för att beskriva rent matematiska symboler, med hjälp av en matematisk algoritm.

Resultatet är att erhålla en formalisering faktiska analys förutsägbara händelser som följde efter undersöktes teknik kommer att användas vid utövandet eller viss naturlig process inträder den verkliga förekomsten av steget.

Följande är konceptualisering av problemet. Det finns två varianter: i det första fallet är det en särskild strategi i form av att använda attribut och egenskaper, andra alternativet inbegriper användningen av en kognitiv analys, för att inte nämna formuleringen av problemet, den inledande insamling av data som används, förhållandena, och så vidare. d.

Enligt de definitioner och begynnelsevillkor studerade existerande förhållande mellan objekt och processer, såväl som de så kallade semantiska relationer, vilket innebär användning av lokala representationstekniker.

Detta följs av bearbetning av de initiala data baserade på den valda algoritmen, och sedan returnerar resultatet indikerar den procentuella andelen av felet. Oftast är det inte överstiger 5%, och i de flesta fall resultatet av sannolikheten når 99%. Varje person eller maskin kommer fortfarande att lämna "säkerhetsmarginal" för oförutsedda omständigheter, eftersom allt inte kan beaktas.

Varför är allt detta nödvändigt?

Om du förstår dessa principer möjliggör analys av beteendet hos objekt och processer. Med andra ord är det möjligt att förutsäga vem som kommer att utveckla en viss process.

Det står nu klart att en sådan formalisering. Låt oss titta på ett enkelt exempel.

Ansökan Alise i praktiken, de enklaste exemplen

Låt oss säga, har vissa experter tagit fram en ny flygplansdesign. Med tanke på den höga kostnaden för projektet att bygga en modell av den ursprungliga storleken utan föregående prognos för dess beteende i luften det är helt olämpligt för uppgiften. Dessutom är de tester i samma vindtunneln flygplan storleken på en Boeing absolut omöjlig uppgift.

Det möjliggör formalisering av förutbestämda egenskaper hos framtida flygplan (luftmotstånd, sidvind, höjd, och de flesta vindtunnelparametrar och andra egenskaper) modellera flygplan som flyger utan inbyggd modell.

Ett annat exempel är att testa nya maskiner, som hölls bilföretag. Den grundläggande metoden för formalisering, i detta fall ligger i det faktum att de till en början höll en virtuell test, och efter att ha fått positiva resultat av proverna körs i produktionen för att testa under verkliga förhållanden.

De viktigaste resultaten

Resultatet av matematisk modellering i många (om inte hundra procent, sedan med sannolikhet 95%) kan vara ett kraftfullt argument för produktion av modern teknik, kommer att bidra till förutsäga vädret även förutsäga socialt beteende som en reaktion på händelserna i världen.

Ja, ja! Opinionsbildning i världen, är också föremål för sina egna lagar. Tillräckligt för att påverka honom i nuzhnoi riktning. Idag skapade det en hel del program för att förutsäga den offentliga reaktion på den ena eller andra evenemang. Och det är inte alla förekomster av formalisering. Om vi gräva djupare, vi står inför samma problem varje dag.

En av de mest slående exemplen kan nämnas formalisering och detektion Higgs i kollisioner av elementarpartiklar i stora Hadroncollideren. Men tidigare trodde man att förekomsten av denna partikel - ren teori, och det är absolut inte påvisbara verkliga erfarenheter.

slutsats

Som vi ser, trots komplexiteten i den vetenskapliga kärnan i processen, är begreppet formalisering det lätt att förstå exempel. I de flesta fall handlar det om att använda en del logiska kedjor, förutbestämma resultatet.