Puissance crêteLa puissance crête est une grandeur physique qui mesure la puissance maximale, ou nominale, fournie par un dispositif. Son unité est le watt dans le Système international d'unités. Bien qu'une grandeur ne doive pas être confondue avec son unité, la puissance crête a parfois pour symbole non-SI, dans le langage courant, Wc (pour « watt-crête ») ou Wp (pour l'anglais « »).
Simulateur de volvignette|Poste de pilotage expérimental d'un simulateur NASA vignette|Simulateur dynamique monoplace. Un simulateur de vol est une application au domaine de l'aéronautique, du pilotage des aéronefs en particulier, des techniques de simulation de phénomènes physiques. Les simulateurs de vol du sont numériques : les données en provenance de l'interface pilote-aéronef (les commandes de vol) sont transmises à un ordinateur qui calcule les sorties (indications des instruments de bord, environnement visuel, etc.).
Self-verifying theoriesSelf-verifying theories are consistent first-order systems of arithmetic, much weaker than Peano arithmetic, that are capable of proving their own consistency. Dan Willard was the first to investigate their properties, and he has described a family of such systems. According to Gödel's incompleteness theorem, these systems cannot contain the theory of Peano arithmetic nor its weak fragment Robinson arithmetic; nonetheless, they can contain strong theorems.
