Çfarë është formalizimi? Metoda formalizim. Konceptit, esenca, fazat, rezultatet, shembuj, llojet e formalizimit

Sot, shumë shpesh ju mund të takohen një shumë të termit të huaj "formalizimin", dhe në fusha të ndryshme të shkencës dhe teknologjisë. Për ata që duan të zgjerojnë horizontet e njohurive të tyre, është e këshillueshme për të kuptuar se ky formalizimit. Artikulli do të konsiderohet thelbi i mandatit dhe zbatimi praktik i procesit.

Çfarë është formalizimi i një pikëpamja shkencore në kuptimin e përgjithshëm?

Një prekje pak në aspektin shkencor. Le të fillojmë nga fakti se fjala rrjedh nga formalizimin e fjalës "formale", dmth ajo është e kushtëzuar, dhe ndonjëherë edhe një koncept abstrakt që lejon për të shpjeguar natyrën e një objekti jo-ekzistente ose fenomeni dhe për të parashikuar pronat e saj në një mjedis të caktuar me kushtet e dhëna fillestare.

Gjuhësi çdo gjuhë moderne nuk përputhet me shprehjen e formës logjike apo natyrën e të menduarit. Kështu, logjika vetë të detyruar të përdorin disa koncepte abstrakte për të përshkruar një fenomen të caktuar. Dhe nuk është një koncept relativ i asaj që po ndodh formalitetet.

Siç tashmë mendoi atë, thelbi i formalizimit vjen poshtë për të, për të përshkruar ose për të paracakton vetitë e caktuara të objektit apo procesit (nuk ekziston as në këtë moment) dhe për të parashikuar përdorimin e saj në rast të shfaqjes në botën e vërtetë. Por kjo është ideja e përgjithshme. Vetë nocioni i formalizimit është shumë më e gjerë. Për të filluar me fokus në teknologjinë kompjuterike, e konsiderojnë si në botën e elektronikës, ky term është përdorur.

formalizimi kompjuter

Nëse subjekti ndikojë metoda kompjutera formalizimi i këtij lloji është mjaft jepet kushtet fillestare të trajtimit, të cilat lejojnë një shkallë mjaft të lartë të saktësisë për të përcaktuar sjelljen e mëvonshme e objektit apo proces.

Sipas këtij parimi punon praktikisht të gjithë shërbimin e motit. Duke pasur ciklon model kompjuterik mund të parashikojë ciklin e saj të energjisë dhe mbi tokë ose mbi ujë.

Mos harroni filmin "The Day After Tomorrow", në të cilën shkencëtari parashikoi ngrohjen globale, nisur nga kjo teknikë. modeli i tij kompjuterik është zhvilluar se lejuar një shkallë të caktuar të probabilitetit për të parashikuar ngjarjet e ardhshme.

Këta shembuj janë në dispozicion për të shpjeguar se këtë formalizimit.

objekte dhe proceset parimet e modelimit

Metodat kryesore të formalizimit - një e parashikimit dhe të modelimit. Aplikoni teknologjive të tilla ekskluzivisht për të dhënat e fundit në lidhje me objektet apo proceset që nuk janë të njohura, por mund të supozohet me numërimin e saktësi të lartë.

Nëse ju shikoni në formalizimin e specieve, pothuajse të gjithë ata mbyllur në përfundime logjike dhe llogaritjet. Lexuesi nuk do të jetë e vështirë për të nxjerrë një paralele mes modelimin kompjuterik, teoria prova, dhe kështu me radhë. E. Në bazë të aksiomat dhe postulateve.

Shikoni, për të njëjtat teoria e relativitetit e Ajnshtajnit gjithashtu mund të interpretohet si një formalizimin e metodës, sepse në praktikë, kontrolloni prova nuk është e mundur. Në veçanti kjo vlen për konstantet lehta shumimin, koha ngadalësimi për të arritur pragun, duke rritur peshën gravitacionale e objektit dhe lakim të hapësirës. Hands, siç thonë ata, ajo nuk ndihet dhe sytë nuk mund të shohin.

Njëherë e një kohë ai ishte vetëm shkencëtar trim Arsyetimi në bazë të eksperimenteve të thjeshta. Sot, e gjithë kjo është konfirmuar nga shkenca zyrtare mbi bazën e të njëjtit simulim kompjuterik.

Fazat e formalizimit

Nëse marrim parasysh sistemin kompjuterik, hapin e parë në formalizimin një përshkrim të procesit. Por kjo nuk do të përdorë mjetet e zakonshme të gjuhës (shkronja, fjalë, fraza, fjali). Krijo një specifik modeli matematikor është e mundur vetëm duke përdorur një algoritmi të caktuar bazuar në gjuhën e zgjedhur programimit, por vetëm pas deklaratës së problemit të përgjithshëm.

Me fjalë të tjera, në modelimin e sjelljes së një objekt ose ngjarje proces thelb ju duhet për të përshkruar simbolet thjesht matematikore, duke përdorur një algoritmi matematikor.

Rezultati është për të marrë një formalizimin aktuale analiza e ngjarjeve të parashikueshme që pasuan pas teknologjia hetohen do të përdoret në praktikën apo proces të caktuar natyror hyn në ekzistencën e vërtetë të hapin.

Në vijim është konceptualizimin e problemit. Ka dy variante: në rastin e parë kjo është një qasje të veçantë në formën e përdorimit atributet dhe karakteristikat; Mundësia e dytë përfshin përdorimin e një analize njohëse, të mos përmendur formulimin e problemit, mbledhja e parë e të dhënave të përdorura, kushtet, dhe kështu me radhë. d.

Pas përkufizimet dhe kushtet fillestare studiuar marrëdhënie ekzistuese ndërmjet objekteve dhe proceseve, si dhe të ashtuquajturat marrëdhëniet semantike, që nënkupton përdorimin e teknikave të përfaqësimit lokal.

Kjo pasohet nga përpunimin e të dhënave fillestare bazuar në algorithm zgjedhur, dhe pastaj e kthen rezultatin që tregon përqindjen e gabimit. Zakonisht kjo nuk e kalon 5%, dhe në shumicën e rasteve rezultati i probabilitetit arrin 99%. Çdo person apo makinë ende do të largohet nga "margjinës së sigurisë" për rrethana të paparashikuara, sepse çdo gjë nuk mund të merret parasysh.

Pse është e gjitha kjo e nevojshme?

Nëse ju e kuptoni këto parime të lejojë për analizën e sjelljes së objekteve dhe proceseve. Me fjalë të tjera, është e mundur të parashikohet se kush do të zhvillojë një proces të veçantë.

Tani është e qartë se formalizimit të tillë. Le të shikojmë një shembull të thjeshtë.

Formalizimi Aplikimi në praktikë, shembujt e thjeshta

Le të themi, disa ekspertë kanë zhvilluar një dizajn të ri avion. Duke pasur parasysh koston e lartë të projektit për të ndërtuar një model të madhësisë origjinale, pa parashikimin paraprak të sjelljes së saj në ajër është plotësisht e papërshtatshme për këtë detyrë. Për më tepër, testet në të njëjtin avion tunel era madhësinë e një Boeing është detyrë absolutisht e pamundur.

Kjo lejon për formalizimin e karakteristikave paracaktuara të avionëve të ardhmen (rezistenca e ajrit, era anë, lartësi, dhe shumica e parametrave tunel aerodinamik dhe karakteristika të tjera) Modeli avionin fluturues pa një model të ndërtuar.

Një shembull tjetër është testimi i makinave të reja, kompanitë e mbajtur automobilave. Metoda themelore e formalizimit, në këtë rast qëndron në faktin se në fillim ata mbajtën një test virtuale, dhe pas marrjes së rezultateve pozitive të mostrave të testit janë drejtuar në prodhimin për të testuar në kushte reale.

Rezultatet kryesore

Rezultati i modelimit matematik në shumë (nëse jo njëqind për qind, pastaj me probabilitet 95%) mund të jetë një argument i fuqishëm në favor të prodhimit të teknologjisë moderne, do të ndihmojë të parashikojnë se moti edhe parashikojnë sjelljen shoqërore si një reagim ndaj ngjarjeve në botë.

Po, po! Formimi i opinionit publik në botë, gjithashtu, është subjekt i ligjeve të veta. Të mjaftueshme për të ndikuar në atë drejtim nuzhnoi. Sot, ajo ka krijuar një shumë të programeve për të parashikuar reagimin e publikut për këtë apo atë ngjarje. Dhe kjo nuk është e gjitha rastet e formalizimit. Nëse do të gërmoj më të thellë, ne përballemi me të njëjtin problem çdo ditë.

Një nga shembujt më të mrekullueshëm mund të përmenden formalizimit dhe zbulimin Higgs në goditjet e grimcave elementare në Collider Large Hadron. Por, më parë besohej se ekzistenca e kësaj grimce - teori e pastër, dhe kjo nuk është absolutisht e përvojë të demonstrueshme të vërtetë të botës.

përfundim

Siç e shohim, nocioni i formalizimit, pavarësisht nga kompleksiteti i thelbit shkencor të procesit, ajo është e lehtë për të kuptuar shembuj. Në shumicën e rasteve ajo zbret për të përdorur disa zinxhirë logjike, paracakton rezultatin.