Kas ir formalizācijas? formalizācijas metode. Jēdziens, būtība, posmi, rezultāti, piemēri, veidi formalizācijas

Šodien ļoti bieži var satikt daudz dīvainu termina "formalizācijas", un dažādās zinātnes jomās un tehnoloģijām. Tiem, kuri vēlas paplašināt redzesloku savas zināšanas, ir ieteicams, lai saprastu, ka Formalizācijas. Rakstā tiek uzskatīts par termina būtība un praktiskais pielietojums procesā.

Kas ir formalizācija zinātniskā viedokļa vispārējā nozīmē?

Nedaudz pieskārienu uz zinātnisko aspektu. Sāksim ar to, ka vārds ir atvasināts no oficiālu vārda "formāli", ti, tas ir nosacījums, un dažreiz pat abstrakts jēdziens, kas ļauj izskaidrot būtību neeksistējošu objekta vai parādības, un prognozēt savas īpašības konkrētā vidē ar dotajiem sākotnējiem nosacījumiem.

Valodniecība jebkura moderna valoda nesakrīt ar izteiksmi loģiskā formas vai būtības domāšanas. Tātad, loģika pati spiesti izmantot dažas abstraktus jēdzienus, lai aprakstītu noteiktu parādību. Un tur ir relatīvs jēdziens, kas notiek formalitātes.

Kā jau uzminējāt, būtība formalizācijas nāk uz leju, lai, aprakstīt vai iepriekš noteikt konkrētas īpašības objekta vai procesa (nav pat pastāv brīdī), un prognozēt tās izmantošanu gadījumā iestāšanās reālajā pasaulē. Bet tas ir vispārējs ideja. Ļoti jēdziens formalizācijas ir daudz plašāks. Lai sāktu ar uzsvaru uz datoru tehnoloģiju, apsvērt, kā šajā pasaulē elektronikas, šis termins tiek lietots.

dators formalizācijas

Ja objekts ietekmē datoru formalizēšana metode šāda veida drīzāk dots sākotnējās ārstēšanas apstākļi, kas ļauj pietiekami augstu precizitāti, lai noteiktu turpmāko rīcību objekta vai procesa.

Saskaņā ar šo principu darbojas praktiski visu laika apkalpošanu. Ņemot ciklons datora modelis var prognozēt savu enerģijas ciklu un pa sauszemi vai virs ūdens.

Atcerieties filmu "parīt", kurā zinātnieks prognozēto globālo sasilšanu, vadoties no šo metodi. Viņa datora modelis tika izstrādāts, ka atļauta noteikta ticamības pakāpe, lai prognozētu nākotnes notikumus.

Šie piemēri ir pieejami, lai izskaidrotu, ka Formalizācijas.

objektus un procesus modelēšanas principi

Galvenās metodes formalizācijas - prognozēšanas un modelēšanas. Piesakies šādu tehnoloģiju tikai gala datus par objektiem vai procesiem, kas nav zināma, taču to var pieņemt, ar augstu precizitāti skaitu.

Ja paskatās formalizēt sugu, gandrīz visi no tiem tikai loģiskus secinājumus un aprēķiniem. Lasītājs nebūs grūti vilkt paralēles starp datormodelēšanu, pierādīšanas teorijā, un tā tālāk. E. Pamatojoties aksiomām un postulātiem.

Paskaties, par to pašu Einšteina relativitātes teorija arī var interpretēt kā oficiālu metodi, jo praksē pārbaudīt pierādījums nav iespējama. Jo īpaši tas attiecas uz gaismas pavairošanas konstantēm, palēninājums laiks, lai sasniegtu robežvērtību, palielinot objekta gravitācijas svaru un izliekumu telpā. Rokas, kā viņi saka, tas nav justies, un acis nevar redzēt.

Reiz tas bija tikai drosmīgs argumentāciju zinātnieks, pamatojoties uz vienkāršu eksperimentu. Šodien tas viss apliecina oficiāla zinātni, pamatojoties uz tā paša datora simulāciju.

posmi formalizācijas

Ja mēs uzskatām, datoru sistēmu, pirmais solis, lai noformētu procesu aprakstu. Bet tas neizmanto parastos instrumentus valodas (burti, vārdi, frāzes, teikumus). Izveidot īpašs matemātiskais modelis ir iespējams tikai, izmantojot noteiktu algoritmu, pamatojoties uz izvēlētās programmēšanas valodu, bet tikai pēc tam, kad paziņojums par vispārējās problēmas.

Citiem vārdiem sakot, modelēšana uzvedību objekta vai procesa notikumu būtībā jums ir nepieciešams, lai aprakstītu tīri matemātiskus simbolus, izmantojot matemātisku algoritmu.

Rezultāts ir iegūt formalizācijas faktiskos analīzes paredzamas notikumi, kas sekoja pēc tam, kad jāizmeklē tehnoloģija tiks izmantota praksē, vai noteiktu dabisks process nonāk patieso esamību soli.

Turpmāk ir konceptualizācija problēmas. Ir divi varianti: pirmajā gadījumā tā ir īpaša pieeja veidā, izmantojot atribūtus un īpašības; Otrā iespēja ir izmantot izziņas analīzi, nemaz nerunājot formulēt problēmas, sākotnējo datu vākšana lietotu, nosacījumus, un tā tālāk. d.

Pēc definīcijas un sākotnējos nosacījumus pētīta esošās attiecības starp objektiem un procesiem, kā arī tā sauktos semantiskās attiecības, kas nozīmē izmantot vietējo reprezentācijas metodes.

Tam seko sākotnējos datus, pamatojoties uz izvēlēto algoritmu apstrādei, un pēc tam atgriež rezultātu, norādot procentuālo kļūdu. Parasti tas nepārsniedz 5%, un vairumā gadījumu rezultāts varbūtības sasniedz 99%. Jebkura persona vai mašīna joprojām atstāj uz "drošības rezervi", lai neparedzētiem apstākļiem, jo viss nevar tikt ņemti vērā.

Kāpēc tas viss vajadzīgs?

Ja jūs saprotat šos principus varētu analīzei uzvedību objektiem un procesiem. Citiem vārdiem sakot, tas ir iespējams paredzēt, kas būs izstrādāt īpašu procesu.

Tagad ir skaidrs, ka šāda formalizācijas. Apskatīsim vienkāršu piemēru.

Pieteikums noformēšanas praksē, visvienkāršākās piemēri

Teiksim, daži eksperti ir izstrādājuši jaunu lidmašīnu dizainu. Ņemot vērā augstās izmaksas projekta, lai izveidotu modeli sākotnējā lieluma, bez iepriekšējas prognozi tās uzvedību gaisā tā ir pilnīgi nepiemērotu uzdevumu. Turklāt pārbaudes tajā pašā vēja tuneļa gaisa kuģi, kura izmērs no Boeing ir pilnīgi neiespējams uzdevums.

Tas ļauj noformēšanas iepriekš īpašībām turpmākās lidmašīnas (gaisa pretestību, sānu vējš, augstumu, un lielākā daļa vēja tuneļu parametriem un citiem parametriem), modelēt lidaparāti bez uzcelta modeli.

Vēl viens piemērs ir testēšanas jaunu mašīnu, kas notika autobūves uzņēmumiem. Pamata metode formalizācijas, šajā gadījumā ir fakts, ka sākumā viņi rīkoja virtuālo testu, un saņemot pozitīvus rezultātus testa paraugu vada ražošanā, lai pārbaudītu reālos apstākļos.

Galvenie rezultāti

Ar matemātiskās modelēšanas rezultātā daudzās (ja ne simts procentiem, tad ar varbūtību 95%), var būt spēcīgs arguments par labu ražošanas modernās tehnoloģijas, kas palīdzēs prognozēt laika pat prognozēt sociālo uzvedību kā reakcija uz notikumiem pasaulē.

Jā, jā! Veidošanās sabiedrisko domu pasaulē, arī ir saskaņā ar saviem likumiem. Pietiekami, lai ietekmētu viņu nuzhnoi virzienā. Šodien, tas radīja daudz programmu, lai prognozētu sabiedrības reakciju uz to vai citu notikumu. Un tas ir ne visi gadījumi formalizācijas. Ja mēs rakt dziļāk, mēs saskaramies ar pašu problēmu katru dienu.

Viens no visspilgtākajiem piemēriem var minēt formalizācijas un noteikšanas Higsa sadursmēs elementārdaļiņas, kas Lielais hadronu paātrinātājs. Bet agrāk tika uzskatīts, ka pastāv šīs daļiņas - tīra teorija, un tas ir absolūti nav pierādāma reālās pasaules pieredzi.

secinājums

Kā mēs redzam, jēdziens formalizācijas, neskatoties uz sarežģīto zinātnisko būtības procesa, tas ir viegli saprast piemērus. Vairumā gadījumu tas nāk uz leju, lai, izmantojot dažus loģiskās ķēdes, iepriekš noteikt iznākumu.