Processus unimoléculaireUn processus unimoléculaire est un processus dans lequel une seule molécule réagit afin de se transformer en une autre molécule (isomérisation) ou bien en plusieurs molécules (dissociation). En cinétique chimique, une étape élémentaire unimoléculaire sera d'ordre un par rapport au seul réactif. Si une réaction unimoléculaire donnée n'est pas d'ordre un expérimentalement, il faut conclure qu'il possède plus qu'une étape élémentaire. En pratique, nombreuses réactions unimoléculaires sont d'ordre deux, ce qui s'explique par le mécanisme Lindemann-Hinshelwood de deux étapes.
Rate equationIn chemistry, the rate law or rate equation for a chemical reaction is a mathematical equation that links the rate of forward reaction with the concentrations or pressures of the reactants and constant parameters (normally rate coefficients and partial reaction orders). For many reactions, the initial rate is given by a power law such as where [\mathrm{A}] and [\mathrm{B}] express the concentration of the species \mathrm{A} and \mathrm{B}, usually in moles per liter (molarity, M).
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Vibration moléculaireUne vibration moléculaire se produit lorsque les atomes d'une molécule sont dans un mouvement périodique pendant que la molécule dans son ensemble subit un mouvement de translation et de rotation. La fréquence du mouvement périodique est appelée fréquence de vibration. Une molécule non linéaire constituée de n atomes possède 3n-6 modes normaux de vibration, alors qu'une molécule linéaire n'en possède que 3n-5, puisque la rotation autour de son axe moléculaire ne peut être observée.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
CollisionUne collision est un choc direct entre deux objets. Un tel impact transmet une partie de l'énergie et de l'impulsion de l'un des corps au second. Collision élastique Les collisions élastiques, aussi appelées « chocs durs », se caractérisent par leur absence de perte d'énergie et de déformation. Elles sont impossibles à réaliser sauf au niveau atomique. La plupart du temps, on a donc des collisions quasi élastiques. Collision inélastique Les collisions inélastiques sont les collisions les plus fréquentes et surviennent lorsqu'il y a une perte d'énergie lors de la collision.
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).
Spectroscopie rotationnelle-vibrationnelleLa spectroscopie rotationnelle-vibrationnelle est une branche de la spectroscopie moléculaire à laquelle est observée le couplage rovibrationnel, ou l'excitation à la fois des phénomènes de vibration et de rotation au sein d'un objet chimique (une molécule, par exemple). Il est à distinguer du couplage rovibronique qui implique une modification simultanée des états électroniques, vibrationnels et rotationnels. Ce phénomène physique est exploité pour la caractérisation spectroscopique.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Théorie des collisionsLa théorie des collisions est une théorie qui explique qualitativement comment se produisent les réactions chimiques élémentaires en phase gazeuse et qui rend compte de la dépendance de leur vitesse avec la concentration. Elle suppose que pour qu'une réaction se produise, les molécules des réactifs doivent entrer en collision. Seule une fraction des collisions se traduisent par la transformation effective des réactifs en produits (on les appelle collisions efficaces).
Phase (thermodynamique)thumb|right|Un système composé d'eau et d'huile, à l'équilibre, est composé de deux phases distinctes (biphasique). En thermodynamique, on utilise la notion de phase pour distinguer les différents états possibles d'un système. Selon le contexte et les auteurs, le mot est utilisé pour désigner plusieurs choses, parfois de natures différentes, mais étroitement liées. Si un système thermodynamique est entièrement homogène, physiquement et chimiquement, on dit qu'il constitue une seule phase.
Gazvignette|Sphère de stockage de gaz naturel. vignette|Conduite de gaz de ville en polyéthylène. vignette|Panneau indiquant une conduite de gaz enterrée en France. vignette|Les gaz de combat ont été produits et utilisés de manière industrielle lors de la Première Guerre mondiale. Un gaz est un ensemble d'atomes ou de molécules très faiblement liés et quasi indépendants. Dans l’état gazeux, la matière n'a pas de forme propre ni de volume propre : un gaz tend à occuper tout le volume disponible.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Transition de phasevignette|droite|Noms exclusifs des transitions de phase en thermodynamique. En physique, une transition de phase est la transformation physique d'un système d'une phase vers une autre, induite par la variation d'un paramètre de contrôle externe (température, champ magnétique...). Une telle transition se produit lorsque ce paramètre externe atteint une valeur seuil (ou valeur « critique »). La transformation traduit généralement un changement des propriétés de symétrie du système.
Diagramme de phaseUn diagramme de phase, ou diagramme de phases, est une représentation graphique utilisée en thermodynamique, généralement à deux ou trois dimensions, représentant les domaines de l'état physique (ou phase) d'un système (corps pur ou mélange de corps purs), en fonction de variables, choisies pour faciliter la compréhension des phénomènes étudiés. Les diagrammes les plus simples concernent un corps pur avec pour variables la température et la pression ; les autres variables souvent utilisées sont l'enthalpie, l'entropie, le volume massique, ainsi que la concentration en masse ou en volume d'un des corps purs constituant un mélange.
Spectroscopie infrarougethumb|Un spectromètre infrarouge. La spectroscopie infrarouge (parfois désignée comme spectroscopie IR) est une classe de spectroscopie qui traite de la région infrarouge du spectre électromagnétique. Elle recouvre une large gamme de techniques, la plus commune étant un type de spectroscopie d'absorption. Comme pour toutes les techniques de spectroscopie, elle peut être employée pour l'identification de composés ou pour déterminer la composition d'un échantillon.
Énergie d'activationL'énergie d'activation est une notion introduite en 1889 par le scientifique suédois Svante August Arrhenius, après avoir constaté la loi empirique qui porte son nom et qui décrit l’évolution d’une vitesse de réaction chimique avec la température. Dans sa loi (voir ci-dessous), il apparaît un terme qui possède la dimension d’une énergie molaire et qu’il appelle énergie d’activation. Le sens intuitif qui peut être donné à cette notion est celui d'une énergie qui doit être apportée à un système chimique pour que la réaction ait lieu.
Hypothèse de l'impact géantvignette|Vue d'artiste d'un impact géant, montrant notamment la formation d'une synestia, sorte de nuage très dense fait de matière terrestre en évaporation qui entoure la planète. L’hypothèse de l'impact géant propose que la Lune a été créée à partir de la matière éjectée par une collision entre la jeune Terre et un corps planétoïde (protoplanète) de la taille de Mars nommé Théia. Élaborée dans les années 1970, cette hypothèse demeure la plus robuste pour expliquer la formation de la Lune.
