Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Blood pressureBlood pressure (BP) is the pressure of circulating blood against the walls of blood vessels. Most of this pressure results from the heart pumping blood through the circulatory system. When used without qualification, the term "blood pressure" refers to the pressure in a brachial artery, where it is most commonly measured. Blood pressure is usually expressed in terms of the systolic pressure (maximum pressure during one heartbeat) over diastolic pressure (minimum pressure between two heartbeats) in the cardiac cycle.
Pressure measurementPressure measurement is the measurement of an applied force by a fluid (liquid or gas) on a surface. Pressure is typically measured in units of force per unit of surface area. Many techniques have been developed for the measurement of pressure and vacuum. Instruments used to measure and display pressure mechanically are called pressure gauges, vacuum gauges or compound gauges (vacuum & pressure). The widely used Bourdon gauge is a mechanical device, which both measures and indicates and is probably the best known type of gauge.
Vitesse angulaireEn mécanique, la ou est une grandeur physique qui représente le taux de variation d'un angle par rapport au temps. C'est l'analogue de la vitesse de translation pour un mouvement de rotation. La vitesse angulaire est définie comme la dérivée par rapport au temps de la position angulaire de l'objet en rotation : Si on dérive une nouvelle fois la vitesse angulaire, on obtient l'accélération angulaire.
Pression atmosphériquevignette|350px|Pression de l'air p en fonction de l'altitude h. Formule du nivellement barométrique : . vignette|350px|En noir : variation diurne de la pression atmosphérique mesurée en Allemagne en septembre 2004. La pression atmosphérique est la pression qu'exerce le mélange gazeux constituant l'atmosphère considérée (sur Terre : de l'air) sur une surface quelconque en contact avec elle. Les molécules de ce mélange, animées d'un mouvement aléatoire incessant, l'agitation thermique, subissent des collisions entre elles et contre les surfaces des objets.
Pression de vapeurLa pression de vapeur est la pression partielle de la vapeur d'un corps présent également sous forme liquide ou solide. Lorsque le système est à l'équilibre (les proportions relatives de gaz et liquide ou solide ne varient pas), la pression de vapeur est dite « saturante ». Lorsque le système est hors équilibre : si la pression de vapeur est inférieure à la pression de vapeur saturante, une portion de liquide ou de solide passe sous forme gazeuse (évaporation, vaporisation ou sublimation) ; si la pression de vapeur est supérieure à la pression de vapeur saturante, une portion de la vapeur passe sous forme liquide ou solide (liquéfaction, condensation).
Compressible flowCompressible flow (or gas dynamics) is the branch of fluid mechanics that deals with flows having significant changes in fluid density. While all flows are compressible, flows are usually treated as being incompressible when the Mach number (the ratio of the speed of the flow to the speed of sound) is smaller than 0.3 (since the density change due to velocity is about 5% in that case). The study of compressible flow is relevant to high-speed aircraft, jet engines, rocket motors, high-speed entry into a planetary atmosphere, gas pipelines, commercial applications such as abrasive blasting, and many other fields.
QuadrivitesseEn physique, en particulier en relativité restreinte et en relativité générale, la quadrivitesse d'un objet est un quadrivecteur généralisant le vecteur vitesse en mécanique classique. La quadrivitesse est une des notions que le mathématicien et physicien allemand Hermann Minkowski (-) a introduites dans le cadre de sa reformulation géométrique de la relativité restreinte d'Albert Einstein (-). La quadrivitesse est ainsi désignée car elle est le quadrivecteur qui généralise la notion de vitesse de la mécanique newtonienne.
Hypersoniquethumb|200px|Représentation informatique de la dynamique des fluides autour du X-43 Scramjet à Mach 7 En aérodynamique, les vitesses hypersoniques sont des vitesses qui sont hautement supersoniques. En général, on considère que ce régime d'écoulement est atteint à partir de environ. Le régime hypersonique est un sous-élément du régime supersonique. Le régime d'écoulement hypersonique est atteint lorsque des réactions de dissociation moléculaire sont présentes au sein du gaz en écoulement : ce dernier peut être localement tellement chaud qu'un plasma se crée.
Pression partielleLa pression partielle d'un composant dans un mélange de gaz parfaits est définie comme la pression qui serait exercée par les molécules de ce composant s'il occupait seul, tout le volume offert au mélange, à la température de celui-ci. Elle correspond donc à la contribution de ce composant à la pression totale du mélange. La pression partielle d'un composant est une mesure de l'activité thermodynamique des molécules de ce gaz.
Vitesse de libérationLa vitesse de libération, ou vitesse d'évasion ou d'échappement est, en physique, la vitesse minimale que doit atteindre un projectile pour échapper définitivement à l'attraction gravitationnelle d'un astre (planète, étoile, etc.) dépourvu d'atmosphère et s'en éloigner indéfiniment. Cette vitesse est d'autant plus importante que la masse de l'astre est importante et que l'objet est proche de son centre. Relative à l'astre, c'est une valeur scalaire (sa direction ne joue aucun rôle).
Flow measurementFlow measurement is the quantification of bulk fluid movement. Flow can be measured using devices called flowmeters in various ways. The common types of flowmeters with industrial applications are listed below: Obstruction type (differential pressure or variable area) Inferential (turbine type) Electromagnetic Positive-displacement flowmeters, which accumulate a fixed volume of fluid and then count the number of times the volume is filled to measure flow. Fluid dynamic (vortex shedding) Anemometer Ultrasonic flow meter Mass flow meter (Coriolis force).
