Wat is de formalisering? formaliseren werkwijze. Het concept, de essentie, podia, resultaten, voorbeelden soorten formalisering

Vandaag de dag, heel vaak kun je een heleboel vreemde term "formalisering", en in verschillende gebieden van wetenschap en technologie te voldoen. Voor degenen die willen naar de horizon van hun kennis uit te breiden, is het raadzaam om te begrijpen dat dit formalisering. Het artikel zal worden beschouwd als de essentie van het begrip en de praktische toepassing van het proces.

Wat is de formalisering van een wetenschappelijk oogpunt in algemene zin?

Een tikje op het wetenschappelijke aspect. Laten we beginnen bij het feit dat het woord is afgeleid van de formalisering van het woord "formeel", dat wil zeggen het is voorwaardelijk, en soms zelfs een abstract concept dat het mogelijk maakt om de aard van een niet-bestaand object of fenomeen te verklaren en om de eigenschappen in een bepaalde omgeving met de gegeven beginvoorwaarden te voorspellen.

Taalkunde elke moderne taal niet samenvalt met de expressie van logische vorm of de aard van het denken. Dus de logica zich genoodzaakt aantal abstracte concepten gebruiken om een bepaald fenomeen te beschrijven. En er is een relatief begrip van wat er gebeurt formaliteiten.

Zoals raadt het al, de essentie van de formalisering komt neer op, om te beschrijven of om bepaalde eigenschappen van het object of proces vooraf bepalen (zelfs niet bestond op het moment) en het gebruik ervan in het geval van het optreden in de echte wereld te voorspellen. Maar dit is het algemene idee. Het hele idee van formalisering is veel breder. Om te beginnen met de nadruk op de computer-technologie, na te gaan hoe in de wereld van de elektronica, deze term wordt gebruikt.

computer formalisering

Als het onderwerp invloed computers formaliseren dergelijke werkwijze is vrij gegeven initiële behandeling voorwaarden, die een voldoende hoge mate van nauwkeurigheid mogelijk maken de verdere gedrag van het object of proces te bepalen.

Volgens dit principe werkt vrijwel alle weersomstandigheden service. Na cycloon computermodel kan de spanning cyclus en over land of over water te voorspellen.

Denk aan de film "The Day After Tomorrow", waarin de wetenschapper voorspelde opwarming van de aarde, uitgaande van deze techniek. Zijn computer model ontwikkeld die manier konden een zekere mate van waarschijnlijkheid om toekomstige gebeurtenissen te voorspellen.

Deze voorbeelden zijn beschikbaar om uit te leggen dat dit formalisering.

objecten en processen modelleren principes

De belangrijkste methoden van formalisering - een prognose en modellering. Breng dergelijke technologieën uitsluitend voor de definitieve gegevens over de objecten of processen die niet bekend zijn, maar het kan worden aangenomen met een hoge nauwkeurigheid tellen.

Als je kijkt naar de formalisering van de soorten, bijna allemaal beperkt tot logische conclusies en berekeningen. De lezer zal niet moeilijk zijn om een parallel tussen de computermodellen bewijstheorie trekken, enz. E. Op basis van axioma's en postulaten.

Zoek, voor dezelfde Einstein relativiteitstheorie kan worden geïnterpreteerd als een formalisering van de werkwijze, want in de praktijk, controleer het bewijs niet mogelijk. In het bijzonder geldt dit voor licht propagatie-constanten, de vertragingstijd om de drempel te bereiken, waardoor de zwaartekracht gewicht van het object en de kromming van de ruimte. Handen, zoals ze zeggen, is het niet het gevoel en de ogen niet kunnen zien.

Once upon a time was het slechts dapper redenering wetenschapper op basis van eenvoudige experimenten. Vandaag de dag, dit alles wordt bevestigd door de officiële wetenschap op basis van dezelfde computer simulatie.

stadia van formalisering

Als we kijken naar het computersysteem, de eerste stap in het formaliseren van een procesbeschrijving. Maar het maakt geen gebruik van de gebruikelijke instrumenten van de taal (letters, woorden, zinnen, zinnen). Maak een specifiek wiskundig model is alleen mogelijk met behulp van een bepaald algoritme op basis van de gekozen programmeertaal, maar pas na de uitspraak van het algemene probleem.

Met andere woorden, bij het modelleren van het gedrag van een object of procesgebeurtenis essentie moet je louter wiskundige symbolen beschrijven met behulp van een wiskundig algoritme.

Het resultaat is een formaliseren werkelijke analyse voorspelbare gebeurtenissen die volgden na onderzochte technologie zal worden gebruikt bij het uitvoeren of bepaalde natuurlijke proces komt de werkelijke bestaan van de trap te verkrijgen.

Het volgende is de conceptualisering van het probleem. Er zijn twee varianten: in het eerste geval is het een specifieke aanpak in de vorm van het gebruik van de eigenschappen en kenmerken; tweede optie betreft het gebruik van een cognitieve analyse, en niet te vergeten de formulering van het probleem, de eerste verzameling van gegevens gebruikt, bepalingen en ga zo maar door. d.

Na de definities en beginvoorwaarden onderzocht bestaande relatie tussen objecten en processen, alsmede het zogenaamde semantische relaties, impliceert het gebruik van lokale vertegenwoordigingstechnieken.

Dit wordt gevolgd door verwerking van de oorspronkelijke gegevens op basis van het geselecteerde algoritme, en retourneert het resultaat aangeeft het foutpercentage. Meestal is het niet meer dan 5%, en in de meeste gevallen het gevolg van de kans 99% bereikt. Elke persoon of machine zal nog steeds laat de "veiligheidsmarge" voor onvoorziene omstandigheden, omdat alles niet in aanmerking kan worden genomen.

Waarom is dit allemaal nodig?

Als u begrijpt deze principes toe voor de analyse van het gedrag van objecten en processen. Met andere woorden, het is mogelijk om te voorspellen wie een bepaald proces zich zal ontwikkelen.

Het is nu duidelijk dat een dergelijke formalisering. Laten we eens kijken naar een eenvoudig voorbeeld.

Toepassing formalisering in de praktijk, de meest eenvoudige voorbeelden

Laten we zeggen, hebben sommige experts een nieuw vliegtuig ontwerp ontwikkeld. Gezien de hoge kosten van het project om een model van de oorspronkelijke grootte te bouwen zonder de voorafgaande prognose van zijn gedrag in de lucht is het volstrekt ongepast voor de taak. Bovendien zijn de proeven in dezelfde windtunnel luchtvaartuig zo groot als een Boeing absoluut onmogelijke taak.

Het maakt formaliseren van voorafbepaalde eigenschappen van toekomstige vliegtuigen (luchtweerstand, zijwind, lengte, en meest windtunnel parameters en andere kenmerken) model van de vliegtuigen zonder ingebouwde model.

Een ander voorbeeld is het testen van nieuwe machines, hield automotive bedrijven. De basismethode formalisering, in dit geval is het feit dat ze in het begin had een virtuele test en na positieve resultaten van testmonsters worden uitgevoerd in productie te testen in reële omstandigheden.

De belangrijkste resultaten

Het resultaat van wiskundige modellen in veel (zo niet honderd procent, daarna met kans 95%) kan een krachtig argument ten gunste van de productie van moderne technologie, zal helpen bij het voorspellen van het weer zelfs sociaal gedrag te voorspellen als een reactie op de gebeurtenissen in de wereld.

Ja, ja! De vorming van de publieke opinie in de wereld, ook, is onderworpen aan zijn eigen wetten. Genoeg om hem beïnvloeden nuzhnoi richting. Vandaag de dag, het creëerde een veel programma's aan het publiek reactie op deze of die gebeurtenis te voorspellen. En dit is niet alle instanties van formalisering. Als we dieper graven, worden we geconfronteerd met hetzelfde probleem elke dag.

Eén van de meest opvallende voorbeelden zijn onder meer formaliseren en detectie Higgs bij botsingen van elementaire deeltjes in grote hadron collider. Maar eerder werd aangenomen dat het bestaan van dit deeltje - pure theorie, en het is absoluut niet aantoonbaar real-world ervaring.

conclusie

Zoals we zien, de notie van formalisering, ondanks de complexiteit van de wetenschappelijke essentie van het proces, is het gemakkelijk om voorbeelden te begrijpen. In de meeste gevallen komt het neer op het gebruik van een aantal logische ketens, vooruit op de uitkomst.