Vérification statique et vérification dynamique (IT)

Le code G, anciennement appelé RS-274, est le langage de programmation le plus répandu pour le contrôle des machines CNC. Il se compose de commandes séquentielles qui indiquent à la machine son positionnement, sa vitesse et des actions spécifiques. Les commandes commencent par une lettre ; « G » désigne les commandes préparatoires au mouvement (par exemple, G01 pour l'avance linéaire), tandis que « M » désigne les fonctions diverses (par exemple, M03 pour le démarrage de la broche).

La démonstration automatique de théorèmes (DAT) est une branche de l'informatique et de la logique mathématique qui consiste à démontrer des théorèmes mathématiques à l'aide de programmes informatiques. Les systèmes de DAT, ou démonstrateurs, utilisent le raisonnement logique pour déduire de nouveaux théorèmes à partir d'un ensemble d'axiomes et d'hypothèses. Ils se distinguent des assistants de preuve, qui nécessitent une intervention humaine plus importante, bien que les deux domaines présentent des similitudes significatives.

L'indice de priorité des risques (IPR) est une mesure quantitative utilisée dans l'AMDE pour classer les risques par ordre de priorité. Il est calculé comme le produit de trois facteurs classés : Gravité (S), Occurrence (O) et Détection (D). La formule est [latex]RPN = S fois O fois D[/latex]. Chaque facteur est généralement évalué sur une échelle de 1 à 10, ce qui permet aux équipes de se concentrer d'abord sur les risques les mieux notés.

Les systèmes temps réel sont classés en deux catégories : « durs » et « souples », selon les conséquences d’un non-respect d’une échéance. Dans un système temps réel dur, le non-respect d’une échéance entraîne une défaillance totale du système, comme dans le cas d’un système de freinage antiblocage (ABS). Dans un système temps réel souple, le non-respect d’une échéance provoque une dégradation des performances, mais pas de défaillance catastrophique, comme dans le cas de la diffusion audio-vidéo en direct.

Un ensemble de quatre règles de décision permet de détecter les anomalies sur les cartes de contrôle de Shewhart, indiquant un processus hors contrôle même si aucun point ne se situe en dehors des limites à 3 sigma. Ces règles identifient les séries anormales, les tendances ou les regroupements de points de données qui signalent la présence d'une cause spéciale de variation. Elles améliorent la sensibilité des cartes de contrôle.

Modèle de régression pour une variable dépendante catégorique, généralement binaire. Au lieu de modéliser directement le résultat, il modélise la probabilité du résultat à l'aide de la fonction logistique (sigmoïde). Le modèle prédit le log-odds de l'événement comme une combinaison linéaire des variables indépendantes : [latex]\ln(\frac{p}{1-p}) = \beta_0 + \beta_1 x_1 + \dots + \beta_p x_p[/latex], où p est la probabilité de l'événement.

L'algorithme de Metropolis-Hastings est une méthode MCMC reconnue pour générer une séquence d'échantillons aléatoires à partir d'une distribution de probabilité pour laquelle l'échantillonnage direct est difficile. À chaque itération, il génère un candidat pour l'échantillon suivant à partir de l'échantillon courant. Ce candidat est ensuite accepté ou rejeté avec une certaine probabilité, garantissant ainsi la convergence de la chaîne vers la distribution souhaitée.

L'abstraction en POO consiste à masquer les détails complexes de l'implémentation et à n'afficher que les fonctionnalités essentielles de l'objet. Elle se concentre sur ce que fait un objet plutôt que sur la manière dont il le fait. Ce résultat est obtenu grâce à des classes et des interfaces abstraites, qui définissent un plan pour d'autres classes sans fournir d'implémentation complète, simplifiant ainsi les systèmes complexes.

Les sept outils de base de la qualité constituent un ensemble de techniques graphiques identifiées par Kaoru Ishikawa pour résoudre les problèmes liés à la qualité. Ces outils sont : le diagramme de causes à effets (arête de poisson), la feuille de contrôle, la carte de contrôle, l'histogramme, le diagramme de Pareto, le diagramme de dispersion et la stratification (souvent présentée sous forme d'organigramme). Ils sont considérés comme « de base » car ils sont simples à utiliser et ne nécessitent qu'une formation statistique minimale.

Le modèle en cascade est un processus de développement logiciel séquentiel et non itératif, où la progression s'effectue de manière progressive (comme une cascade) à travers différentes phases : conception, lancement, analyse, design, construction, tests, déploiement et maintenance. Chaque phase doit être entièrement achevée avant de passer à la suivante. Il est souvent comparé aux modèles itératifs pour souligner leur flexibilité.