Verifica statica e dinamica (IT)

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).

La dimostrazione automatica di teoremi (ATP) è un sottocampo dell'informatica e della logica matematica dedicato alla dimostrazione di teoremi matematici utilizzando programmi per computer. I sistemi ATP, o dimostratori, utilizzano il ragionamento logico per dedurre nuovi teoremi da un insieme di assiomi e ipotesi. Sono diversi dagli assistenti alla dimostrazione, che richiedono una maggiore guida umana, sebbene i due campi si sovrappongano significativamente.

Il numero di priorità del rischio (RPN) è una misura quantitativa utilizzata nell'FMEA per dare priorità ai rischi. È calcolato come il prodotto di tre fattori classificati: Gravità (S), Occorrenza (O) e Rilevamento (D). La formula è [latex]RPN = S per O per D[/latex]. Ogni fattore è tipicamente classificato su una scala da 1 a 10, consentendo ai team di concentrarsi prima sui rischi con i punteggi più alti.

I sistemi real-time sono classificati come "hard" o "soft" in base alle conseguenze del mancato rispetto di una scadenza. In un sistema real-time hard, il mancato rispetto di una scadenza comporta un guasto totale del sistema, come nel caso di un sistema di frenata antibloccaggio. In un sistema real-time soft, il mancato rispetto di una scadenza comporta un degrado delle prestazioni ma non un guasto catastrofico, come nel caso dello streaming audio-video in diretta.

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.

Modello di regressione per una variabile dipendente categorica, tipicamente binaria. Invece di modellare direttamente l'esito, modella la probabilità dell'esito utilizzando la funzione logistica (sigmoide). Il modello predice le probabilità logiche dell'evento come combinazione lineare delle variabili indipendenti: [latex]\ln(\frac{p}{1-p}) = \beta_0 + \beta_1 x_1 + \dots + \beta_p x_p[/latex], dove p è la probabilità dell'evento.

L'algoritmo Metropolis-Hastings è un metodo MCMC di primo piano per ottenere una sequenza di campioni casuali da una distribuzione di probabilità per la quale il campionamento diretto risulta difficile. A ogni iterazione, genera un candidato per il campione successivo basato sul campione corrente. Questo candidato viene quindi accettato o rifiutato con una certa probabilità, garantendo che la catena risultante converga alla distribuzione desiderata.

L'astrazione nella programmazione orientata agli oggetti (OOP) consiste nel nascondere dettagli implementativi complessi e mostrare solo le caratteristiche essenziali dell'oggetto. Si concentra su ciò che un oggetto fa anziché su come lo fa. Questo obiettivo si ottiene attraverso classi e interfacce astratte, che definiscono un modello per altre classi senza fornire un'implementazione completa, semplificando così i sistemi complessi.

The Seven Basic Tools of Quality are a set of graphical techniques identified by Kaoru Ishikawa for troubleshooting quality-related issues. These tools are: Cause-and-effect diagram (fishbone), Check sheet, Control chart, Histogram, Pareto chart, Scatter diagram, and Stratification (often presented as a flowchart). They are considered 'basic' because they are simple to use and require little formal statistical training.

The Waterfall Model is a sequential, non-iterative software development process, where progress flows steadily downwards (like a waterfall) through distinct phases: conception, initiation, analysis, design, construction, testing, deployment and maintenance. Each phase must be fully completed before moving to the next. It is often contrasted with iterative models to highlight their flexibility.