MATLAB’s Array-Oriented Syntax

The Risk Priority Number (RPN) is a quantitative measure used in FMEA to prioritize risks. It is calculated as the product of three ranked factors: Severity (S), Occurrence (O), and Detection (D). The formula is [latex]RPN = S times O times D[/latex]. Each factor is typically rated on a scale from 1 to 10, allowing teams to focus on the highest-scoring risks first.

La vérification et la validation (V&V) sont des processus distincts. La vérification permet de s'assurer qu'un produit répond aux exigences spécifiées ("Le construisez-vous correctement ?"). La validation permet de s'assurer que le produit répond aux besoins réels de l'utilisateur et à l'utilisation prévue ("Construisez-vous le bon produit ?"). Il s'agit d'activités complémentaires dans le cadre de la gestion de la qualité, souvent réalisées de manière séquentielle ou en parallèle pour garantir l'exactitude et l'utilité du produit.

La limite de répétabilité, [latex]r[/latex], est une valeur critique dérivée de l'écart type de répétabilité ([latex]s_r[/latex]). Elle représente la différence absolue maximale attendue entre deux résultats d'essai uniques, obtenus dans des conditions de répétabilité, avec une probabilité de 95%. Elle est généralement calculée comme suit : [latex]r = 2,8 fois s_r[/latex]. Si la différence dépasse [latex]r[/latex], les résultats sont considérés comme suspects.

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

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

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.

La vérification formelle est l'utilisation de méthodes mathématiques pour prouver ou réfuter l'exactitude de la conception d'un système par rapport à une spécification formelle. Contrairement aux tests, qui ne peuvent montrer la présence de bogues que pour des entrées spécifiques, la vérification formelle peut prouver leur absence pour toutes les entrées possibles. Elle implique la création d'un modèle formel du système et l'utilisation de techniques telles que le model checking ou le theorem proving.

La détection de signaux consiste à identifier des liens de causalité potentiels entre un médicament et un événement indésirable à partir de vastes bases de données, généralement issues de systèmes de déclaration spontanée. Elle utilise des méthodes statistiques, appelées analyses de disproportionnalité, pour identifier les combinaisons médicament-événement signalées plus fréquemment que prévu. Une mesure courante est le rapport de cotes de déclaration (RDR), une valeur supérieure à 1 suggérant un signal potentiel nécessitant une investigation plus approfondie.