Structure de contrôleEn programmation informatique, une structure de contrôle est une instruction particulière d'un langage de programmation impératif pouvant dévier le flot de contrôle du programme la contenant lorsqu'elle est exécutée. Si, au plus bas niveau, l'éventail se limite généralement aux branchements et aux appels de sous-programme, les langages structurés offrent des constructions plus élaborées comme les alternatives (if, if–else, switch...), les boucles (while, do–while, for...) ou encore les appels de fonction.
Model-based testingvignette|Diagramme du model-based testing Le model-based testing (MBT) est une activité qui permet de concevoir et de dériver (de manière automatique ou non) des cas de tests à partir d'un modèle abstrait et haut niveau du système sous test (SUT). Le modèle est dit abstrait car il offre bien souvent une vue partielle et discrète des comportements attendus d'un logiciel ou d'un système. Sur la base de modèles abstraits, des cas de test peuvent être dérivées sous la forme de suites de tests.
Générateur de tourbillonsUn générateur de tourbillons est un dispositif aérodynamique, composé d'une petite aube généralement fixée à un profil d'avion, comme une aile, ou à une pale de rotor d'une éolienne. Il fait donc partie des turbulateurs. De tels dispositifs peuvent être attachés à une partie d'un véhicule aérodynamique tel qu'un fuselage d'avion ou une voiture de course. Lorsque la surface portante ou le corps est en mouvement par rapport à l'air, le générateur produit un tourbillon qui, en supprimant une partie de la couche limite au contact de la surface de la voilure, retarde la séparation de couche limite et le décrochage aérodynamique.
International Prototype of the KilogramThe International Prototype of the Kilogram (referred to by metrologists as the IPK or Le Grand K; sometimes called the ur-kilogram, or urkilogram, particularly by German-language authors writing in English:30) is an object whose mass was used to define the kilogram from 1889, when it replaced the Kilogramme des Archives, until 2019, when it was replaced by a new definition of the kilogram based entirely on physical constants. During that time, the IPK and its duplicates were used to calibrate all other kilogram mass standards on Earth.
