Système temps réelEn informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Les systèmes informatiques temps réel se différencient des autres systèmes informatiques par la prise en compte de contraintes temporelles dont le respect est aussi important que l'exactitude du résultat, autrement dit le système ne doit pas simplement délivrer des résultats exacts, il doit les délivrer dans des délais imposés.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Système d'exploitation temps réelUn système d'exploitation temps réel, en anglais RTOS pour real-time operating system (généralement prononcé à l’anglaise, en séparant le R de l’acronyme : Are-toss), est un système d'exploitation pour lequel le temps maximum entre un stimulus d'entrée et une réponse de sortie est précisément déterminé. Ces systèmes d'exploitation multitâches sont destinés à des applications temps réel : systèmes embarqués (thermostats programmables, contrôleurs électroménagers, téléphones mobiles, robots industriels, vaisseaux spatiaux, systèmes de contrôle commande industriel, matériel de recherche scientifique).
Structure hyperfinevignette|Représentation schématique des niveaux fins et hyperfins de l’hydrogène. La structure hyperfine d’un niveau d’énergie dans un atome consiste en une séparation de ce niveau en états d’énergie très proches. Il s’observe essentiellement par une raie spectrale dans le domaine radio ou micro-onde, comme la raie à 21 centimètres de l’hydrogène atomique. La structure hyperfine s’explique en physique quantique comme une interaction entre deux dipôles magnétiques : Le dipôle magnétique nucléaire résultant du spin nucléaire ; Le dipôle magnétique électronique lié au moment cinétique orbital et au spin de l’électron.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Chiralité (chimie)Le concept de la chiralité existe également dans d'autres domaines. En chimie, un composé est dit chiral (du grec χείρ : la main) s'il n'est pas superposable à son image dans un miroir plan. Il existe un certain nombre de raisons pour lesquelles une molécule peut être chirale : la présence d'un ou plusieurs centres asymétriques (sauf certaines conditions particulières de symétrie) ; une forme en hélice ; un plan de chiralité. Énantiomérie Si une molécule est chirale, elle possède au moins deux formes dites énantiomères qui se différencient par une configuration absolue opposée.
Effet isotopique cinétiqueL'effet isotopique cinétique (en anglais, kinetic isotope effect ou KIE) est la variation de la vitesse d'une réaction chimique lorsqu'un atome d'un des réactifs est remplacé par l'un de ses isotopes. Par exemple, le remplacement d'un atome C par un atome C conduit à un effet isotopique cinétique défini par le rapport des constantes de vitesse (on met en général au numérateur la constante qui concerne l'isotope le plus léger). Dans la substitution nucléophile du bromure de méthyle par l'ion cyanure, le rapport mesuré est de .
BiosynthèseLa biosynthèse est la formation de substances par un être vivant ou son symbiote, dans son milieu interne ou dans les excrêtats que sont le mucus, les coquilles des œufs ou des mollusques, l’écorce Elle intéresse les chimistes et les biotechnologistes qui découvrent dans les cellules ou les organismes de nouveaux moyens, moins polluants ou moins énergivores, de produire des molécules complexes.
Reaction rateThe reaction rate or rate of reaction is the speed at which a chemical reaction takes place, defined as proportional to the increase in the concentration of a product per unit time and to the decrease in the concentration of a reactant per unit time. Reaction rates can vary dramatically. For example, the oxidative rusting of iron under Earth's atmosphere is a slow reaction that can take many years, but the combustion of cellulose in a fire is a reaction that takes place in fractions of a second.
Raisonnement par récurrencevignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
