Cosa hè u formalization? mètudu formalization. U cuncettu, essenza, tappe, i risultati, li siquenti sunnu asempî, tippi di formalization

Oghje, assai spissu vi pò scuntrà assai di stranu termine "formalization", e in diversi campi, di scenza e dâ ticnoluggia. Per quelli chì vulete allargamentu di a partesi di u so sapè fà, hè dunqua à capisce chì sta formalization. L'articulu si pò cunziddirari la criticu di a parolla, è l 'applicazzioni pratica di u prucessu.

Cosa hè u formalization di un puntu scentificu di vista, in un sensu generali?

A picca tocco nant'à l 'aspettu scientificu. Chì l'partendu da u fattu chì a parolla hè dirivatu da u formalization di a parolla "furmali", vale à dì hè cunnizziunata, è qualchì volta ancu una cuncettu astrattu chi permette a spiegari la natura di un oggettu, o finominu non-cc'è è à predict so pruprietà in un ambiente particulari cu la data cunnizzioni nizziali.

Linguistics ogni lingua muderna ùn cunfidirazzioni cu l 'esprissioni di forma ghjusta o di a natura di a riflissioni. Cusì, a logica stessa di custrincìrila a usari arcuni cuncetti astratti pi discrìviri na certa fenomenu. È ci hè un cuncettu parente di ciò chì intravene furmalità.

As digià aveti capita, u criticu di formalization vene davanti à, pi discrìviri, o à predetermine certi pruprità di l 'oggettu o prucessu (mancu esisti à u mumentu), è à predict u so usu in casu di presenza in u mondu reale. Ma chistu è l 'idea generale. U assai la nuzzioni di formalization hè assai dimarchja. À principià cù messa nantu à a tecnulugia urdinatore, cunziddirati cumu in u mondu di tempura, stu tèrmini veni usatu.

formalization urdinatore

Sè u sughjettu micca mètudu impianti formalization di issu tippu hè piuttostu datu cundizioni cure iniziale, chì permettenu una abbastanza altu gradu di accuratezza à definisce u allungamentu cumpurtamentu di l 'oggettu o prucessu.

Sicondu a stu principiu travaglia praticamente tutte e serviziu football. Avè mudellu urdinatore cicluni pò predict so bissiclette lu putiri è più di tarra, o più acqua.

Ricurdativi di lu film "The Day After Dumani", a cui l 'scinziatu prividiri riscalda glubale, proceeding da a sta tècnica. U so mudellu urdinatore statu sviluppatu da chì u dirittu un certu gradu di prubabilità à predict evenimenti avvene.

Sti esempi sunnu dispunìbbili a spiegari ca sta formalization.

oggetti è prucessi principii artificiali

U principale i metudi di formalization - una pruspettiva è artificiali. Dumandà tali ticnoluggìa dâ sclusivamenti di la dati finali di l 'uggetti, o azzione chì ùn sò cunnisciuti, ma ùn pò esse capitu cù conti altu accuratezza.

Sè vo viditi la formalization di e razze, quasi tutti li rinchjusu à cuegghiè logica è calculi. U lettore Ùn sarà difficiule à piglià un tempu trà u artificiali urdinatore, tiuria di a prova, è cetara è cetara. E. On a basi di axioms è Postulate.

Ghjè, pè u listessu tiurìa dâ rilatività di Einstein pudia ancu esse interpretati cum'è un formalization di u mètudu, parchì in pràtica, cuntrolla i tistimunianzi ùn hè pussibili. In particulare stu sugettu à constants propagation lume, u tempu Décélération à ghjunghje u zogliu, crìsciri lu pisu gravitazziunali di l 'uggettu e la tòndulu di u spaziu. Manu, comu si pò dì, è ùn sentu è l 'ochji ùn pò vede.

C'era 'na vota era solu scinziatu dumandava un pienghjite micca u fundamentu di un sèmplice spirimenti. Oghje, tuttu stu hè cunfirmatu da scenza ufficiali supra la basi di lu stissu computer simulation.

tappe di formalization

Sè noi guardà u sistemu urdinatore, lu primu passu in formalizing una discrizzione prucessu. Ma ùn aduprà lu solitu arnesi di lingua (littri, e parolle, frase, esempio). Creà un specifichi mudellu matimatica hè pussibili solu usandu na certa algutitimu basatu nantu a lingua di prugrammazione scelta, ma solu dopu à a durata di u prublema generali.

In autri paroli, in ppâ u cumpurtamentu di un criticu uggettu o di ballò prucessu vi tuccherà à discriva sìmmuli spùticu matimatica, cù un algutitimu matimàtichi.

U risultatu hè di avè un formalization attuale evenimenti ntuvinari analisi chì seguita dopu à a tecnulugia investigated sarà usata in u travagliu, o certi prucessu naturale t'avissi u veru esistenza di u passu.

U dopu hè la pòvira di u prublema. Ci sunnu dui varianti: in lu prima casu, hè un accostu identitariu in u furmulariu di usu u spicificu è caratteristiche; seconda sottu implica l 'usu di na analisi cugnitiva, micca à sminticà u significatu di u prublemu, a tutalità nizziali di dati usatu, e cundizioni, è cetara è cetara. d.

Dopu à l 'Definizioni e cundizioni nizziali studiatu rapportu esistenti trà oggetti è prucessi, oltri a la accussì-chiamatu raporta simàntici, fattu l' usu di i tecnichi rapprisintazzioni lucali.

Stu hè seguita da trasfurmeghja i dati nizziali basatu supra l 'algutitimu scelta, e poi torna u risultatu indicheghja la pircintuali di errore. Di solitu si ùn trapassa 5%, è in più li casi lu risurtatu di l 'prubabilità righjunghji u 99%. Ogni persona o di machine à vi ancora lascià u "margini daniela" di circustanzi adopru, perchè tuttu ùn pò esse pigliata in contu.

Perchè hè tuttu stu bisognu?

Sè vo capisce issi principii permette di anàlisi di u cumpurtamentu di e rùbbriche è prucessi. In autri paroli, hè pussibili a predict chì vi sviluppà un prucedimentu particulare.

Hè avà chjaru chì tali formalization. A Canzona di circà à un semplice esempiu.

Candidatura formalization in pràtica, l 'esempi sèmplice

A Canzona di dì, qualchì parè sò sviluppatu una nova disignu aviò. Datu u costu di u prugettu di custruì un mudellu di u pesu iniziale, senza lu precedente Meteo di u so cumpurtamentu in l 'aria hè sanu Camera di u compitu. Oltri a chistu, l 'i testi in u listessu apparechju periudu ventu la grannizza di na #crash hè compitu ricci impussibili.

Si permette di formalization di carattiri predetermined di ricugnizzioni 'avvene (cuppulata, ventu, lato, autizza, è più login periudu ventu è altre caratteristiche) mudillari la apparechju vulanti, senza un mudellu custruitu.

Altru esempiu hè u essai di novu machini, cumpagnii Distribuzione pòpuli. U mètudu di basi di formalization, in stu casu, si trova in u fattu chì a prima si tinia un testu Virtual, è dopu ad avè ricivutu i risultati pusitivi di analise testu sò curriri a pruduzzione di pruvà à e cundizioni vera.

I risultati di lu

U risultatu di ppâ matimatica in parechje (s'ellu ùn hè un centu pi centu, po cù prubabilità 95%) pò esse un putenti argumentu in favore di i pruduzzioni di a tecnulugia mudernu, m'aiuti predict u football ancu predict cumpurtamentu suciale comu na riazzioni di l 'eventi in u mondu sanu.

Iè, iè! Formation di upinione publica in lu mondu, troppu, hè sottumessu à a so lege. Abbasta a influenzari ellu in direzzione nuzhnoi. Oghje, hè criatu assai di prugrammi di predict i riazzioni publichi à sta, o chì eventu. È stu ùn hè micca tutti i casi di formalization. Sè noi scavari alba, ci face u listessu prublema ogni ghjornu.

Unu di l 'esempi cchiù canusciuta pò esse citatu formalization è dittizzioni Higgs in collisions di particeddi elementari in grande Collider Hadron. Ma nanzu si crideva ca l 'esistenza di sta particella - tiuria di nettu, e si ùn hè micca propriu demonstrable spirienza vera-mondu.

cunchiusioni

Comu si vidi, i prugetti di formalization, in a cumpetizione di a cumplessità di l'essenza scentificu di u prucessu, hè facile capisce li siquenti sunnu asempî. In più casi si vene davanti à cù qualchì farri romanu, predetermine u risultatu.