Funzione di affidabilità (funzione di sopravvivenza)

La numerazione di Gödel è una tecnica fondamentale che assegna un numero naturale univoco (un numero di Gödel) a ogni simbolo, formula e dimostrazione in un linguaggio formale. Questa aritmetizzazione della sintassi consente di codificare affermazioni metamatematiche su un sistema formale (ad esempio, "questa formula è dimostrabile") come affermazioni aritmetiche sui numeri, su cui è possibile ragionare all'interno del sistema stesso.

Il fattore di Bayes è un rapporto tra le probabilità marginali di due ipotesi concorrenti, spesso un'ipotesi nulla ([latex]M_1[/latex]) e un'ipotesi alternativa ([latex]M_2[/latex]). Quantifica il sostegno di un'ipotesi rispetto all'altra, dati i dati osservati [latex]D[/latex]. La formula è [latex]K = \frac{P(D|M_1)}{P(D|M_2)}[/latex]. Un valore di K > 1 indica che i dati favoriscono [latex]M_1[/latex] rispetto a [latex]M_2[/latex].

Un intervallo credibile è l'equivalente bayesiano di un intervallo di confidenza frequentista. È un intervallo di valori che contiene un parametro con una particolare probabilità, basata sulla distribuzione di probabilità posteriore. Ad esempio, un intervallo di credibilità di 95% per un parametro [latex]\theta[/latex] significa che esiste una probabilità di 95% che il valore vero di [latex]\theta[/latex] si trovi all'interno di tale intervallo, dati i dati e il modello.

Un'illustrazione classica del metodo Monte Carlo è la stima del valore di [latex]\pi[/latex]. Inscrivendo un cerchio di raggio [latex]r[/latex] in un quadrato di lato [latex]2r[/latex], il rapporto tra le loro aree è [latex]\frac{\pi r^2}{(2r)^2} = \frac{\pi}{4}[/latex]. Sparpagliando a caso i punti all'interno del quadrato e contando la frazione [latex]p[/latex] che cade all'interno del cerchio si ottiene una stima: [latex]\pi \approssimativamente 4p[/latex].

Il sistema A-0, creato nel 1952 da Grace Hopper, è ampiamente considerato il primo compilatore. Traduceva una sequenza di subroutine e argomenti, specificati da una notazione matematica, in codice macchina. Questo fu un passo fondamentale nel passaggio dalla programmazione assembly di basso livello a linguaggi di programmazione di livello superiore e più astratti, automatizzando il noioso processo di traduzione manuale del codice.

Un insieme di quattro regole decisionali per rilevare pattern non casuali sulle carte di controllo di Shewhart, che indicano un processo fuori controllo anche se nessun punto si trova al di fuori dei limiti di 3 sigma. Queste regole identificano andamenti innaturali, trend o clustering di punti dati che segnalano la presenza di una causa specifica di variazione. Aumentano la sensibilità delle carte di controllo.

For the results of an ANOVA to be considered valid, several key assumptions about the data must be met. These are: (1) Independence of observations, meaning the errors are uncorrelated. (2) Normality, where the residuals for each group are approximately normally distributed. (3) Homoscedasticity, or homogeneity of variances, meaning the variance of residuals is equal across all groups.

I metodi Monte Carlo sono un'ampia classe di algoritmi computazionali che si basano su campionamenti casuali ripetuti per ottenere risultati numerici. Il concetto di base è quello di utilizzare la casualità per risolvere problemi che potrebbero essere deterministici in linea di principio. Sono spesso utilizzati quando è difficile o impossibile utilizzare altri approcci, in particolare per simulare sistemi complessi o integrare funzioni ad alta dimensionalità.

Il metodo degli elementi finiti (FEM) è una potente tecnica numerica per la risoluzione di complessi problemi di ingegneria e fisica descritti da equazioni differenziali alle derivate parziali. Funziona discretizzando un dominio continuo in un insieme di sottodomini più piccoli e semplici chiamati "elementi finiti". Ciò consente la soluzione numerica approssimata di problemi di analisi strutturale, scambio termico, fluidodinamica ed elettromagnetismo.

L'interpolazione è il processo computazionale all'interno di un controllo CNC che genera una sequenza di punti di coordinate intermedi per creare un percorso fluido tra i punti finali programmati. I tipi più fondamentali sono l'interpolazione lineare (G01) per le linee rette e l'interpolazione circolare (G02/G03) per gli archi. Ciò consente di lavorare profili complessi a partire da semplici comandi geometrici nel programma G-code.

TMR (Triple Modular Redundancy) è una tecnica di tolleranza ai guasti hardware che utilizza tre moduli identici che eseguono la stessa operazione in parallelo. Le loro uscite vengono immesse in un circuito a maggioranza. Se un modulo si guasta e produce un'uscita errata, il votante è comunque in grado di determinare l'uscita corretta in base agli altri due moduli, mascherando così il guasto e garantendo la continuità di funzionamento.

I metodi Markov Chain Monte Carlo (MCMC) sono una classe di algoritmi per il campionamento da una distribuzione di probabilità. Viene costruita una catena di Markov che ha la distribuzione desiderata come distribuzione di equilibrio o stazionaria. Lo stato della catena dopo un gran numero di passaggi viene quindi utilizzato come campione dalla distribuzione desiderata, consentendo il calcolo di integrali e valori attesi.

Il codice G, formalmente noto come RS-274, è il linguaggio di programmazione più diffuso per il controllo delle macchine CNC. Consiste in comandi sequenziali che impartiscono istruzioni alla macchina su posizionamento, velocità e azioni specifiche. I comandi iniziano con una lettera; "G" indica i comandi preparatori per il movimento (ad esempio, G01 per l'avanzamento lineare), mentre "M" indica funzioni varie (ad esempio, M03 per l'avvio del mandrino).