Hva er formalisering? formalization metode. Konseptet, essens, scener, resultater, eksempler typer formalisering

I dag, veldig ofte du kan møte mange merkelige begrepet "formalisering", og i ulike felt av vitenskap og teknologi. For de som ønsker å utvide horisonter av kunnskap, er det tilrådelig å forstå at dette formalisering. Artikkelen vil bli vurdert essensen av begrepet og den praktiske anvendelsen av prosessen.

Hva er formalisering av et vitenskapelig synspunkt i en generell forstand?

En liten touch på det vitenskapelige aspektet. La oss starte fra det faktum at ordet er avledet fra det formalisering av ordet "formelle", dvs. det er betinget, og noen ganger også et abstrakt begrep som gjør det mulig å forklare innholdet i en ikke-eksisterende objekt eller fenomen og å forutsi dens egenskaper i et bestemt miljø med de gitte startbetingelsene.

Lingvistikk enhver moderne språk ikke sammenfaller med uttrykk for logisk form eller natur å tenke på. Dermed logikken seg tvunget til å bruke noen abstrakte begreper for å beskrive en viss fenomen. Og det er et relativt begrep om hva som skjer formaliteter.

Som allerede gjettet det, essensen av formalisering kommer ned til, for å beskrive eller å forhåndsbestemme visse egenskaper av objektet eller prosessen (ikke engang eksisterer i øyeblikket), og for å forutsi dets bruk ved forekomst i den virkelige verden. Men dette er den generelle ideen. Selve begrepet formalisering er mye bredere. Til å begynne med fokus på datateknologi, vurdere hvor i verden av elektronikk, er dette begrepet brukes.

datamaskin formalisering

Hvis den gjenstand påvirke datamaskiner formal fremgangsmåte av denne type blir heller gitt innledende behandlingsbetingelser, som tillater en tilstrekkelig høy grad av nøyaktighet for å bestemme den påfølgende oppførsel til objektet eller prosessen.

Ifølge dette prinsippet fungerer praktisk talt alt værtjenesten. Å ha syklon datamodell kan forutsi sin makt syklus og over land eller over vann.

Husk filmen "The Day After Tomorrow", der forskeren spådd global oppvarming, fortsetter fra denne teknikken. Hans datamodell ble utviklet som tillot en viss grad av sannsynlighet for å forutsi fremtidige hendelser.

Disse eksemplene er tilgjengelige for å forklare at dette formalisering.

gjenstander og fremgangsmåter modellering prinsipper

De viktigste metodene for formalization - en prognosering og modellering. Påfør slike teknologier eksklusivt for den endelige data om objekter eller prosesser som ikke er kjent, men det kan antas med stor nøyaktighet teller.

Hvis du ser på formalisering av arter, nesten alle av dem begrenset til logiske konklusjoner og beregninger. Leseren vil ikke være vanskelig å trekke en parallell mellom datamodellering, bevis teori, og så videre. E. På basis av aksiomer og postulater.

Se, for samme Einsteins relativitetsteori kan også tolkes som en formalisering av metoden, fordi i praksis, sjekk beviset er ikke mulig. Spesielt gjelder dette for å lette forplantningskonstanter, til retardasjonstiden oppnå den terskel, å øke gravitasjons vekten av gjenstanden og krumningen på plass. Hender, som de sier, føles det ikke, og øynene kan ikke se.

En gang i tiden var det bare modig resonnement forsker på grunnlag av enkle eksperimenter. I dag er alt dette bekreftet av offisielle vitenskap på grunnlag av den samme datasimulering.

stadier av formalisering

Hvis vi ser på datasystemet, det første trinnet i å formalisere en prosessbeskrivelse. Men det trenger ikke bruke de vanlige verktøy av språk (bokstaver, ord, fraser, setninger). Opprett en bestemt matematisk modell er bare mulig ved hjelp av en bestemt algoritme basert på den valgte programmeringsspråk, men bare etter at uttalelsen fra det generelle problemet.

Med andre ord, i modellering oppførselen til et objekt eller en prosess arrangement essensen du trenger for å beskrive rent matematiske symboler, ved hjelp av en matematisk algoritme.

Resultatet er å oppnå en formalisering selve analysen forutsigbare hendelser som fulgte etter undersøkt teknologi vil bli brukt i praksis eller visse naturlig prosess kommer inn i virkelige eksistensen av trinnet.

Følgende er konseptualisering av problemet. Det er to varianter: i det første tilfelle er det en bestemt metode i form av ved hjelp av de attributter og egenskaper; andre alternativet innebærer bruk av en kognitiv analyse, for ikke å nevne formuleringen av problemet, den første innsamling av data som brukes, tilstander og så videre. d.

Etter de definisjoner og startbetingelsene studert eksisterende forhold mellom objekter og prosesser, så vel som de såkalte semantiske relasjoner, som innebærer bruk av lokale representasjonsteknikk.

Dette er etterfulgt av behandling av de opprinnelige data basert på den valgte algoritmen, og deretter returnerer resultatet indikerer prosent feil. Vanligvis er det ikke overstiger 5%, og i de fleste tilfeller et resultat av sannsynligheten når 99%. Enhver person eller maskin vil fortsatt la "sikkerhetsmargin" for uforutsette omstendigheter, fordi alt ikke kan tas hensyn til.

Hvorfor er alt dette nødvendig?

Hvis du forstår disse prinsippene tillater analyse av atferd av objekter og prosesser. Med andre ord, er det mulig å forutsi hvem som vil utvikle en bestemt prosess.

Det er nå klart at en slik formalisering. La oss se på et enkelt eksempel.

Søknad formalisering i praksis, de enkleste eksemplene

La oss si, har noen eksperter utviklet en ny flydesign. Gitt den høye kostnaden av prosjektet for å bygge en modell av den opprinnelige størrelsen uten forutgående prognose for sin oppførsel i luften det er helt upassende for oppgaven. Videre testene i samme vindtunnel luftfartøy størrelsen på en Boeing er helt umulig oppgave.

Det gir mulighet for formalization av forutbestemte egenskaper ved fremtidig luftfartøyer (luftmotstand, sidevind, høyde, og de fleste vindtunnel parametre og andre egenskaper) modelluftfartøyet flyr uten et innebygget modell.

Et annet eksempel er testing av nye maskiner, holdt automotive selskaper. Den grunnleggende metode for formalisering, i dette tilfellet ligger i det faktum at i det første de holdt en virtuell test, og etter å ha mottatt positive resultater fra testprøver blir drevet i produksjon for å teste i reelle forhold.

Hovedresultatene

Resultatet av matematisk modellering i mange (om ikke hundre prosent, deretter med sannsynlighet 95%) kan være et kraftig argument i favør av produksjon av moderne teknologi, vil bidra til å forutsi været med forutse sosial atferd som en reaksjon på hendelsene i verden.

Ja, ja! Dannelse av opinionen i verden, også er underlagt sine egne lover. Nok til å påvirke ham i nuzhnoi retning. I dag, skapte det en rekke programmer for å forutsi den offentlige reaksjon på dette, eller at hendelsen. Og dette er ikke alle tilfeller av formalisering. Hvis vi grave dypere, står vi overfor det samme problemet hver dag.

Et av de mest slående eksempler kan nevnes formalization og deteksjon Higgs i kollisjoner av elementærpartikler i stor hadron slagmøllen. Men tidligere var det antatt at eksistensen av denne partikkelen - ren teori, og det er absolutt ikke påviselig praktisk erfaring.

konklusjon

Som vi ser, begrepet formalisering, på tross av kompleksiteten i den vitenskapelige essensen av prosessen, er det lett å forstå eksempler. I de fleste tilfeller kommer det ned til ved hjelp av noen logiske kjeder, forhåndsbestemme utfallet.