Wat is formalisaasje? Metoade fan formalisearring. Concept, essence, stage, resultaat, foarbylden, types fan formalisaasje

Tsjintwurdich is it faak mooglik om in protte ûnbegryplike termen "formalisaasje" te foldwaan, en op ferskate gebieten fan wittenskip en technology. Wa't de horizen fan har kennis útwreide wol, is it winsklik om te begripen wat formalisaasje is. It artikel sil de essinsje fan dizze term en de praktyske tapassing fan it proses beskôgje.

Wat is formalisearring fan in wittenskiplike punt yn 'e algemiene sin?

Wy berikke in lytse wittenskiplike aspekt. Litte wy fanút it feit dat de wurdfoarming ûntstiet út it wurd "formaliteit", dat is, in bedrach, en soms ek in abstrakt konsept, dat de natuer fan in net-besteand objekt of fenomenon út te ferklearjen en syn eigenskippen yn in bepaalde omjouwing te ûndersiikjen ûnder gegeven begjinbetingsten.

De taalwittenskip fan elke moderne taal is hielendal net oerien mei de útdrukking fan logyske foarmen of de natuer fan tinken. Sa is de logika sels twongen om beskate abstrakte begripen te brûken om in bepaalde fenomeen te beskriuwen. Sa is der in relatyf konsept fan 'e formaliteiten fan wat der bart.

As it al te maklik is te sizzen, wurdt de essinsje fan formalisaasje ferminderd om beskriuwende of bepaalde eigenskippen fan in objekt of proses te beskermjen (ek net op it stuit bestean) en syn tapassing te foarsjen yn gefal fan uterlik yn 'e echte wrâld. Mar dit is in algemiene idee. It tige konsept fan formalisaasje is folle breedere. Om te begjinnen, litte wy ús rjochtsje op komputertechnology, sille wy sjen hoe't dit konsept yn 'e elektroanyske wrâld tapast wurdt.

Computer formalisaasje

As jo berikke op it ûnderwerp fan kompjûters, dan is de formalisearring metoade fan dit type earder de ferwurking fan begjinbetingsten dy't jo kinne mei in hege mjitte fan justysje it fierdere gedrach fan in objekt of proses bepale.

Hast alle wetterservice wurkje op dit prinsipe. Mei in kompjûtermodel fan in siklon, is it mooglik om syn syklus en macht oer it lân of oer de wetterromte te foarsjen.

Tink derom op de film "De dei nei moarns", dêr't de wittenskipper globale waarmte foarwize, dat krekt fan in soart technysk wei giet. Hy ûntwikkele in kompjûtermodel dat tastien hat mei in bepaalde mjittigens fan fierdere eveneminten.

Dizze foarbylden binne beskikber om te ferklearjen wat formalisaasje is.

Prinsipes fan modelearjen objekten en prosessen

De wichtichste metoaden fan formalisearring binne predikaasje en modeling. Dizze technologyen wurde allinich brûkt om data op objekten of prosessen te krijen dy't net bekend binne, mar se kinne beoardiele en berekkenje mei hege prestaasjes.

As jo besjogge op de types fan formalisearring, wurde hast allegear allinich foar logyske ynfolingen en berekkeningen ferkocht. De lêzer kin maklik maklik in parallel tusken komputermodeling tekenje, bewiis fan teorems, ensafuorthinne basearre op aksyomen en postulaten.

Sjoch, foar deselde Einstein syn relativiteitsteory koe ek sa útlein wurde as in formalization fan 'e metoade, want yn' e praktyk, kontrolearje it bewiis is net mooglik. Benammen ferwiist dit foar de ljochtpropagaasje konstante, de tiidperioade op 'e drompel fan' e berikken, de ferheging fan 'e gravitêre massa fan it objekt en de kromearing fan romte. Hannen, sa't se sizze, sille jo it net fiele en jo sille jo eagen net sjen.

Ienris op ien kear wiene dit allinich fettige konklúzjes fan 'e wittenskipper op grûn fan' e ienfâldige eksperiminten. Tsjintwurdich wurdt dit allegear befêstige troch offisjele wittenskip basearre op deselde kompjûtersimulaasje.

Stappen fan formalisaasje

As wy komputersysteem beskôgje, dan is de earste faze fan formalisearring de beskriuwing fan it proses. Mar hjir ark fan 'e gewoane taal (letters, wurden, sprutsen, sinnen) wurde net brûkt. Meitsje in spesifike wiskundige model is mooglik allinne troch it brûken fan in beskate algoritme basearre op it selektearre programmeartaal, mar pas nei de ferklearring fan de algemiene probleem.

Mei oare wurden, as it modeling fan it gedrach fan in objekt of proses is, moat de essinsje fan wat der barre moat wurde rynsk beskreaun troch wiskundige symboalen, mei help fan in wiskundige algoritme.

It resultaat fan formalisearring is om in analyze te meitsjen fan it eigentlike foarbarbare evenemint dat folgje sil nei't de technology ûndersocht is yn 'e praktyk tapast of in bepaald natuerlik proses yn' e poadium fan echte manifestaasje komt.

De konseptualisaasje fan 'e opjefte folget. Der binne twa opsjes: yn it earste gefal is dizze definysje fan 'e oanpak yn' e foarm fan it brûken fan attributen en attributen; De twadde opsje betsjuttet it gebrûk fan kognitive analyze, net te ferjitten de formulearring fan 'e opdracht, de kolleksje begjingegevens, betingsten, ensfh.

Nei de definysje fan begripen en earste betingsten wurde de besteande relaasjes tusken objekten en prosessen studearre, lykas de saneamde semantyske relaasjes dy't it gebrûk fan 'e lokale presintaasjetechnyk oanmeitsje.

Dêrnei folget de ferwurking fan 'e begjinnende gegevens op grûn fan it selektearre algoritme, wêrnei it resultaat jûn wurdt mei in yndikaasje fan it flater persintaazje. Yn 't regel is it net heech 5%, en yn' e measte gefallen komt it problemen resultaat 99%. Elke persoan of masine sil noch ferlitte de "feiligens marzje" foar ûnfoarsjoene omstannichheden, want alles kin net rekken hâlden wurde.

Wêrom is dit alles nedich?

As jo begripe, kinne sokke prinsipes jo it gedrach fan objekten en prosessen analysearje. Mei oare wurden kin men sjen hoe't dit of dat proses ûntwikkelet.

No is it dúdlik wat formalisaasje is. Litte wy it simpelste foarbyld sjen.

De tapassing fan formalisearring yn 'e praktyk, de simpelste foarbylden

Stel, in spesjalist hat in nije ûntwerp ûntwikkele fan it fleantúch. Troch it rekken fan 'e hege kosten fan it projekt, is it hielendal ûnbetrouber om in model fan' e oarspronklike grutte te bouwen sûnder in foarriedige foarsizzing fan har gedrach yn 'e loft. Boppedat útfiere toetsen yn deselde wyntunnel fan in fleanmasine de grutte fan Boeing is in absolut unrealistyske taak.

Formalisaasje lit it simulearjen fan in flecht sûnder de oanlis fan in fleantúchmodel op 'e foarkommende eigenskippen fan it takomstige fleantúch (luchtbestried, sydwyn, hichte en parameter fan de wyntunnel sels en oare skaaimerken).

In oar foarbyld is it testen fan nije masines troch autofersaken. De wichtichste metoade fan formalisearring yn dit gefal is dat it earste allegear in firtuele test, en nei positive positive resultaten, wurde prototypen yn produksje opsteld foar testen yn echte betingsten.

Main resultaten

It resultaat fan 'e wiskundige modeling yn in protte respektjes (as net 100%, dan mei in probabiliteit fan 95%) kin in gewichtich argumint wêze foar foardracht fan' e frijlitting fan moderne technology, help te prediearjen fan waar, sels foarsjoen fan sosjale gedrach as reaksje op eveneminten yn 'e wrâld.

Ja, ja! De foarming fan iepenbiere miening yn 'e wrâld is ek ûnderwerp fan har eigen wetten. It is genôch om dêr yn 'e rjochting te wurkjen. Tsjintwurdich binne al in protte programma's makke dy't tagelyk de reaksje fan 'e maatskippij te foarsjen kinne oan dit of dat evenemint. En dit binne net alle foarbylden fan formalisaasje. As wy djipper grave, sjogge wy elke dei.

Ien fan de meast opfallende foarbylden kinne neamd formalization en opspoaring Higgs yn collisions fan legere dieltsjes yn de Large Hadron Collider. Mar feitlik wie it leauwe dat it bestean fan dizze dieltsje de reine teory is, en absoluut net bewiisber foar echte eksperiminten.

Fermelding

As wy sjogge, yn 'e konsept fan formalisaasje, nettsjinsteande de wittenskiplike kompleksiteit fan' e essinsje fan it proses, is it maklik om de foarbylden te begripen. Yn 'e measte gefallen ferrint it foar it brûken fan bepaalde logyske kaarten dy't de definitive resultaat bepaalt.