Che cosa è la formalizzazione? Metodo di formalizzazione. Concetto, essenza, fasi, risultato, esempi, tipi di formalizzazione

Oggi è molto spesso possibile incontrare molti termini incomprensibili "formalizzazione" e in vari settori della scienza e della tecnologia. Coloro che vogliono espandere gli orizzonti della loro conoscenza, è auspicabile capire quale sia la formalizzazione. L'articolo prenderà in considerazione l'essenza di questo termine e l'applicazione pratica del processo.

Che cosa è la formalizzazione dal punto di vista scientifico in senso generale?

Tocchiamo un piccolo aspetto scientifico. Veniamo dal fatto che la parola formalizzazione deriva dalla parola "formalità", vale a dire un concetto condizionato e talvolta anche astratto, che consente di spiegare la natura di un oggetto o di un fenomeno inesistente e di predire le sue proprietà in un determinato ambiente in determinate condizioni iniziali.

La linguistica di ogni linguaggio moderno assolutamente non coincide con l'espressione di forme logiche o la natura del pensiero. Così, la logica stessa è costretta ad usare certi concetti astratti per descrivere un fenomeno particolare. Quindi c'è un concetto relativo delle formalità di ciò che sta succedendo.

Come è già facile da indovinare, l'essenza della formalizzazione è ridotta alla descrizione o alla predeterminazione di alcune proprietà di un oggetto o di un processo (anche non esistente al momento) e di prevedere la sua applicazione in caso di apparizione nel mondo reale. Ma questa è un'idea generale. Il concetto stesso di formalizzazione è molto più ampio. Per cominciare, concentriamo sulla tecnologia informatica, vedremo come questo concetto viene applicato nel mondo dell'elettronica.

Formalizzazione di computer

Se tocchi l'argomento dei computer, il metodo di formalizzazione di questo tipo è piuttosto l'elaborazione delle condizioni iniziali che consentono di determinare con un alto grado di precisione l'ulteriore comportamento di un oggetto o di un processo.

Quasi tutti i servizi meteorologici lavorano su questo principio. Avendo un modello di computer del ciclone, è possibile prevedere il suo ciclo e il suo potere sulla terra o sullo spazio acquatico.

Ricorda il film "Il giorno dopo domani", in cui lo scienziato ha previsto il riscaldamento globale, procedendo precisamente da una tale tecnica. Ha sviluppato un modello di computer che ha permesso di prevedere con un certo grado di probabilità ulteriori eventi.

Questi esempi sono disponibili per spiegare quale sia la formalizzazione.

Principi di modellazione di oggetti e processi

I principali metodi di formalizzazione sono la previsione e la modellazione. Queste tecnologie vengono utilizzate esclusivamente per ottenere dati finali su oggetti o processi non conosciuti, ma possono essere assunti e calcolati con grande precisione.

Se si esaminano i tipi di formalizzazione, quasi tutti sono ridotti solo a inferenze logiche e calcoli. Il lettore può facilmente disegnare un parallelo tra la modellazione del computer, la prova dei teoremi, ecc. Basata su assiomi e postulati.

Guarda, perché la stessa teoria della relatività di Einstein può anche essere considerata come un metodo di formalizzazione, perché in pratica non è possibile verificare la prova. In particolare, ciò si riferisce alla costante propagazione della luce, al ritardo alla soglia della sua realizzazione, all'aumento della massa gravitazionale dell'oggetto e alla curvatura dello spazio. Mani, come dicono, non lo senti e non vedrai i tuoi occhi.

Una volta erano solo conclusioni audaci dello scienziato sulla base dei più semplici esperimenti. Oggi tutto questo è confermato dalla scienza ufficiale basata sulla stessa simulazione del computer.

Fasi di formalizzazione

Se consideriamo sistemi informatici, la prima fase della formalizzazione è la descrizione del processo. Ma qui non vengono utilizzati strumenti del linguaggio abituale (lettere, parole, frasi, frasi). Per creare un modello matematico specifico , è possibile utilizzare solo un algoritmo basato sul linguaggio di programmazione scelto, ma solo dopo aver impostato un compito comune.

In altre parole, quando si modella il comportamento di un oggetto o un processo, l'essenza dell'evento deve essere descritta puramente da simboli matematici, utilizzando un algoritmo matematico.

Il risultato della formalizzazione è quello di ottenere un'analisi dell'evento prevedibile che segue dopo che la tecnologia che viene studiata viene applicata in pratica o un certo processo naturale entra nel palcoscenico della manifestazione reale.

Segue la concettualizzazione del compito. Ci sono due opzioni: nel primo caso, questa definizione dell'approccio in forma di utilizzo di attributi e attributi; La seconda opzione prevede l'uso di analisi cognitive, per non parlare della formulazione dell'attività, della raccolta di dati iniziali, delle condizioni e così via.

Dopo la definizione dei concetti e delle condizioni iniziali, vengono studiati i rapporti esistenti tra oggetti e processi, così come le cosiddette relazioni semantiche che implicano l'uso della tecnica di presentazione locale.

Quindi, l'elaborazione dei dati iniziali segue sulla base dell'algoritmo selezionato, dopo di che viene fornito il risultato con un'indicazione della percentuale di errore. Di norma non supera il 5% e nella maggior parte dei casi il risultato di probabilità raggiunge il 99%. Ogni persona o macchina lascia ancora un "margine di sicurezza" per circostanze impreviste, perché assolutamente tutto è impossibile da prendere in considerazione.

Perché tutto questo è necessario?

Se si capisce, tali principi consentono di analizzare il comportamento degli oggetti e dei processi. In altre parole, si può prevedere come si svilupperà questo o quel processo.

Ora è chiaro quale sia la formalizzazione. Vediamo l'esempio più semplice.

L'applicazione della formalizzazione in pratica, gli esempi più semplici

Supponiamo che uno specialista abbia sviluppato un nuovo disegno del velivolo. Tenuto conto dell'alto costo del progetto, è assolutamente irragionevole costruire un modello della dimensione originale senza una previsione preliminare del suo comportamento nell'aria. Inoltre, eseguire prove nello stesso tunnel del vento di un aereo, la dimensione di Boeing è un compito assolutamente irrealistico.

La formalizzazione consente di simulare un volo senza la costruzione di un modello di aeroplano a predeterminate caratteristiche dell'aereo futuro (resistenza all'aria, vento laterale, altezza e parametri del tunnel del vento stesso e altre caratteristiche).

Un altro esempio è la sperimentazione di nuove macchine dalle preoccupazioni automobilistiche. Il metodo principale di formalizzazione in questo caso è che prima di tutto passano un test virtuale e dopo aver ottenuto risultati positivi, i prototipi vengono lanciati in produzione per il test in condizioni reali.

Principali risultati

Il risultato della modellazione matematica per molti aspetti (se non del 100%, quindi con una probabilità fino al 95%) può diventare un argomento pesante a favore del rilascio della tecnologia moderna, aiuta a prevedere il tempo e persino prevedere il comportamento sociale come reazione agli eventi del mondo.

Sì, sì! La formazione dell'opinione pubblica nel mondo è anche soggetta alle proprie leggi. Basta lavorare sulla giusta direzione. Oggi sono già stati creati molti programmi che consentono di prevedere la reazione della società a questo oa quello evento. E non sono tutti esempi di formalizzazione. Se scaviamo più in profondità, ci troviamo ogni giorno.

Uno degli esempi più suggestivi di formalizzazione è la scoperta del bosone Higgs nella collisione di particelle elementari nel Large Hadron Collider. Ma in realtà si credeva che l'esistenza di questa particella fosse una teoria pura e assolutamente non provabile da veri esperimenti.

conclusione

Come si vede, nel concetto di formalizzazione, nonostante la complessità scientifica dell'essenza del processo, è facile comprendere gli esempi. Nella maggior parte dei casi, si riduce all'utilizzo di alcune catene logiche che predeterminano il risultato finale.