Abstraction (programmation OOP)

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.

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

Le schéma de blocs de récupération est une technique de tolérance aux pannes logicielles basée sur la diversité de conception et la récupération d'erreurs par rétroaction. Il structure un programme en une série de blocs, chacun comprenant un module principal, un test d'acceptation et un ou plusieurs modules alternatifs. Si la sortie du module principal échoue au test d'acceptation, l'état du système est restauré et un module alternatif est exécuté.

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.

Les techniques de vérification sont généralement classées en deux catégories : statique et dynamique. La vérification statique (ou analyse statique) examine le code ou la conception du système sans l'exécuter. Les exemples incluent les revues de code, les inspections et les outils d'analyse statique automatisés. La vérification dynamique (ou test) implique l'exécution du système avec un ensemble d'entrées et l'observation de son comportement pour trouver les défauts. Ces deux méthodes sont complémentaires pour une assurance qualité complète.

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.

L'ordonnancement à fréquence monotone (RMS) est un algorithme d'ordonnancement à priorité statique pour les tâches périodiques dans un système temps réel. Il attribue les priorités en fonction de la fréquence des tâches : plus la période d'une tâche est courte (plus sa fréquence est élevée), plus sa priorité est élevée. RMS est un algorithme à priorité statique optimal ; autrement dit, si tout algorithme à priorité statique peut ordonnancer un ensemble de tâches, RMS le peut également. La capacité d'ordonnancement peut être vérifiée à l'aide d'un test basé sur le taux d'utilisation.

La méthode des volumes finis (MVF) est une technique numérique dominante en CFD pour la résolution d'équations aux dérivées partielles. Elle discrétise le domaine en un maillage de volumes de contrôle et applique les équations de référence sous leur forme intégrale à chaque volume. En convertissant les intégrales de volume en intégrales de surface grâce au théorème de divergence, elle se concentre sur le calcul du flux de propriétés conservées à travers les faces des cellules.