ComputereInformationsteknologi

Hvad er formaliseringen? formalisering metode. Koncept, essens, faser, resultater, eksempler, typer af formalisering

I dag, meget ofte du kan møde en masse mærkelige udtrykket "formalisering", og i forskellige områder inden for videnskab og teknologi. For dem, der ønsker at udvide horisonten for deres viden, er det tilrådeligt at forstå, at denne formalisering. Artiklen vil blive betragtet essensen af udtrykket, og den praktiske anvendelse af processen.

Hvad er formaliseringen af et videnskabeligt synspunkt i en generel forstand?

Lidt touch på videnskabelige aspekt. Lad os starte fra det faktum, at ordet stammer fra formaliseringen af ordet "formelle", dvs. det er betinget, og nogle gange endda et abstrakt begreb, der gør det muligt at forklare karakteren af en ikke-eksisterende objekt eller fænomen og til at forudsige dets egenskaber i et bestemt miljø med de givne oprindelige betingelser.

Lingvistik enhver moderne sprog ikke er sammenfaldende med ekspression af logiske form eller natur at tænke på. Således logikken selv tvunget til at bruge nogle abstrakte begreber til at beskrive en bestemt fænomen. Og der er et relativt begreb, hvad der sker formaliteter.

Som allerede gættet det, essensen af formalisering kommer ned til, at beskrive eller at forudbestemme visse egenskaber af objektet eller proces (ikke engang eksisterer i øjeblikket), og til at forudsige dens anvendelse i tilfælde af forekomst i den virkelige verden. Men dette er den generelle idé. Selve begrebet formalisering er meget bredere. Til at begynde med fokus på computerteknologi, overveje, hvor i verden af elektronik, der bruges denne term.

computer formalisering

Hvis motivet påvirke computere formalisering fremgangsmåde af denne art er snarere givet begyndelsesbetingelser behandling, som giver en tilstrækkelig høj grad af nøjagtighed at bestemme den efterfølgende adfærd af objektet eller proces.

Ifølge dette princip fungerer stort set al slags vejr service. Under cyklon computermodel kan forudsige sin magt cyklus og over land eller over vand.

Husk filmen "The Day After Tomorrow", hvor forskeren forudsagde den globale opvarmning, fortsætter fra denne teknik. Hans computermodel udviklet, der tillod en vis grad af sandsynlighed at forudsige fremtidige begivenheder.

Disse eksempler er til rådighed til at forklare, at denne formalisering.

objekter og processer modellering principper

De vigtigste metoder til formalisering - en forudsigelse og modellering. Påfør sådanne teknologier udelukkende til den endelige data om de objekter eller processer, der ikke er kendt, men det kan antages med stor nøjagtighed tæller.

Hvis man ser på formaliseringen af arter, næsten alle af dem begrænset til logiske konklusioner og beregninger. Læseren vil ikke være vanskeligt at drage en parallel mellem computermodeller, bevis teori, og så videre. E. På grundlag af aksiomer og postulater.

Se, for det samme Einsteins relativitetsteori også kunne tolkes som en formalisering af den metode, fordi det i praksis, kontrollere beviset ikke er mulig. Dette gælder især for lette udbredelseskonstanter, at decelerationstid opnå tærsklen, øger tyngdekraftsvægt af objektet og rummets krumning. Hænder, som de siger, det ikke føler, og øjnene kan ikke se.

Engang var det kun modig ræsonnement videnskabsmand på grundlag af simple eksperimenter. I dag er alt dette bekræftes af officielle videnskab på grundlag af den samme computer simulering.

stadier af formalisering

Hvis vi ser på computersystemet, det første skridt i at formalisere en proces beskrivelse. Men det betyder ikke bruge de sædvanlige værktøjer af sprog (bogstaver, ord, sætninger, sætninger). Opret en specifik matematisk model er kun muligt ved hjælp af en bestemt algoritme baseret på det valgte programmeringssprog, men først efter opgørelsen af det generelle problem.

Med andre ord, i modellering adfærd på et objekt eller proces begivenhed essens, du har brug for at beskrive rent matematiske symboler, ved hjælp af en matematisk algoritme.

Resultatet er at opnå en formalisering faktiske analyse forudsigelige begivenheder, der fulgte efter undersøgt teknologi vil blive anvendt i praksis eller visse naturlige proces kommer ind i virkelige eksistens af trinnet.

Følgende er konceptualisering af problemet. Der er to varianter: i det første tilfælde er det en særlig tilgang i form af anvendelse af attributterne og egenskaber; anden mulighed indebærer anvendelse af en kognitiv analyse, for ikke at nævne formuleringen af problemet, den indledende indsamling af data anvendes, forhold og så videre. d.

Efter de definitioner og oprindelige betingelser studerede eksisterende forhold mellem objekter og processer, samt de såkaldte semantiske relationer, hvilket indebærer brug af lokale repræsentation teknikker.

Dette efterfølges af behandling af de oprindelige data baseret på den valgte algoritme, og derefter returnerer resultatet angiver den procentdel af fejl. Normalt er det ikke overstige 5%, og i de fleste tilfælde resultatet af sandsynlighed når 99%. Enhver person eller maskine vil stadig forlade "sikkerhedsmargin" for uforudsete omstændigheder, fordi alt ikke kan tages i betragtning.

Hvorfor er alt dette nødvendigt?

Hvis du forstår disse principper giver mulighed for analyse af adfærden af objekter og processer. Med andre ord, er det muligt at forudsige, hvem der vil udvikle en bestemt proces.

Det er nu klart, at en sådan formalisering. Lad os se på et simpelt eksempel.

Ansøgning formalisering i praksis, de simpleste eksempler

Lad os sige, har nogle eksperter udviklet et nyt fly design. I betragtning af den høje pris på projektet om at bygge en model af den oprindelige størrelse uden forudgående prognose for sin opførsel i luften det er helt upassende for opgaven. Desuden prøverne i samme vindtunnel fly på størrelse med en Boeing er absolut umulig opgave.

Det giver mulighed for formalisering af forudbestemte egenskaber ved fremtidens fly (luftmodstanden, sidevind, højde, og de fleste vind tunnelparametre og andre karakteristika) modellere fly, der flyver uden en indbygget model.

Et andet eksempel er afprøvning af nye maskiner, der blev afholdt virksomheder inden for bilindustrien. Den grundlæggende metode til formalisering, i dette tilfælde ligger i det faktum, at i første omgang de holdt en virtuel test, og efter at have modtaget positive resultater af prøver køres i produktionen for at teste i virkelige forhold.

Hovedresultaterne

Resultatet af matematisk modellering i mange (hvis ikke hundrede procent, så med sandsynlighed 95%) kan være en stærk argument for produktionen af moderne teknologi, vil hjælpe med at forudsige vejret selv forudsige social adfærd som en reaktion på begivenhederne i verden.

Ja, ja! Dannelse af den offentlige mening i verden, også er underlagt sine egne love. Nok til at påvirke ham i nuzhnoi retning. I dag er det skabte en masse programmer til at forudsige den offentlige reaktion på dette eller denne begivenhed. Og det er ikke alle forekomster af formalisering. Hvis vi graver dybere, vi står over for samme problem hver dag.

Et af de mest slående eksempler kan nævnes formalisering og detektion Higgs i kollisioner af elementarpartikler i Large Hadron Collider. Men tidligere var det menes, at eksistensen af denne partikel - ren teori, og det er absolut ikke påviselig virkelige verden erfaring.

konklusion

Som vi ser, begrebet formalisering, på trods af kompleksiteten af den videnskabelige essensen af processen, er det let at forstå eksempler. I de fleste tilfælde det kommer til at bruge nogle logiske kæder, forudbestemme resultatet.

Similar articles

 

 

 

 

Trending Now

 

 

 

 

Newest

Copyright © 2018 atomiyme.com. Theme powered by WordPress.