T-normIn mathematics, a t-norm (also T-norm or, unabbreviated, triangular norm) is a kind of binary operation used in the framework of probabilistic metric spaces and in multi-valued logic, specifically in fuzzy logic. A t-norm generalizes intersection in a lattice and conjunction in logic. The name triangular norm refers to the fact that in the framework of probabilistic metric spaces t-norms are used to generalize the triangle inequality of ordinary metric spaces.
Équation de LangevinLéquation de Langevin' (1908) est une équation stochastique pour le mouvement brownien. Dans l'approche théorique de Langevin, une grosse particule brownienne de masse m, supposée animée à l'instant t d'une vitesse , est soumise à deux forces bien distinctes : une force de frottement fluide du type , où k est une constante positive. Dans le cas d'une particule sphérique de rayon a, cette constante s'écrit explicitement : (loi de Stokes). une force complémentaire, notée , qui synthétise la résultante des chocs aléatoires des molécules de fluide environnantes.
Infinite-valued logicIn logic, an infinite-valued logic (or real-valued logic or infinitely-many-valued logic) is a many-valued logic in which truth values comprise a continuous range. Traditionally, in Aristotle's logic, logic other than bivalent logic was abnormal, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e.
Méthode quantique semi-empiriqueLes méthodes semi-empiriques sont des techniques de résolution de l'équation de Schrödinger de systèmes à plusieurs électrons. Contrairement aux méthodes ab initio, les méthodes semi-empiriques utilisent des données ajustées sur des résultats expérimentaux afin de simplifier les calculs. La longueur et la difficulté des calculs est en grande partie due aux intégrales biélectroniques qui apparaissent au cours du processus de résolution.
Méthode ab initio de chimie quantiqueLes méthodes ab initio de chimie quantique sont des méthodes de chimie numérique basées sur la chimie quantique. La méthode ab initio la plus simple de calcul de structure électronique est le schéma Hartree-Fock (HF), dans laquelle la répulsion coulombienne électron-électron n'est pas spécifiquement prise en compte. Seul son effet moyen est inclus dans le calcul. Lorsque la taille de la base est augmentée, l'énergie et la fonction d'onde tendent vers une limite appelée limite Hartree-Fock.
Gravité artificielleLa gravité artificielle est une accélération résultant de l'application d'une force et mise dans l'espace pour simuler la gravité. Ce terme peut également recouvrir différents concepts de science-fiction permettant de manipuler la gravité. Dans le contexte du vol spatial habité, la mise en œuvre de la gravité artificielle doit permettre de combattre les effets de l'impesanteur sur le corps humain durant une période prolongée.
Méthode itérativeEn analyse numérique, une méthode itérative est un procédé algorithmique utilisé pour résoudre un problème, par exemple la recherche d’une solution d’un système d'équations ou d’un problème d’optimisation. En débutant par le choix d’un point initial considéré comme une première ébauche de solution, la méthode procède par itérations au cours desquelles elle détermine une succession de solutions approximatives raffinées qui se rapprochent graduellement de la solution cherchée. Les points générés sont appelés des itérés.
Ingénierie des structuresL'ingénierie des structures est un domaine de l'ingénierie et plus particulièrement du génie civil, traitant de la stabilité des constructions (conception et de l'analyse des structures). Une structure est soumise à différentes actions, permanentes ou variables dans le temps, statiques ou dynamiques, de nature mécanique ou thermique, et sa conception vise à satisfaire certains critères vis-à-vis de ces actions : Sécurité : sa résistance, son équilibre et sa stabilité doivent être assurés avec une probabilité choisie ; Performance : son fonctionnement et le confort associés doivent être garantis pour une durée suffisante ; Durabilité : la dégradation de la structure dans le temps doit être limitée et maîtrisée pour satisfaire les deux premiers critères.
Flexibility methodIn structural engineering, the flexibility method, also called the method of consistent deformations, is the traditional method for computing member forces and displacements in structural systems. Its modern version formulated in terms of the members' flexibility matrices also has the name the matrix force method due to its use of member forces as the primary unknowns. Flexibility is the inverse of stiffness. For example, consider a spring that has Q and q as, respectively, its force and deformation: The spring stiffness relation is Q = k q where k is the spring stiffness.
Dynamique (mécanique)vignette|La dynamique, étant une discipline faisant partie intégrante de la mécanique classique, a permis d'étudier certains mouvements beaucoup plus complexes, apportant ainsi une amélioration importante dans la science La dynamique (du grec ancien δυναμικός, dynamikos, puissant, efficace) est une discipline de la mécanique classique qui étudie les corps en mouvement sous l'influence des actions mécaniques qui leur sont appliquées. Elle combine la statique qui étudie l'équilibre des corps au repos, et la cinématique qui étudie le mouvement.
Stratégie de régulationUne stratégie (ou topologie) de régulation est, pour un procédé industriel, l'organisation du système de contrôle-commande en vue de maintenir une grandeur physique dans une plage de tolérance donnée. Le choix de stratégie est très important dans les industries de transformation (par exemple les industries chimiques, papetières, agroalimentaires) en raison de la variabilité d'un nombre élevé de grandeurs physiques incidentes (dites « perturbations ») qui y sont présentes.
Modèle compactvignette|Modèle compact de l'acétyl-CoA, une coenzyme d'activation des groupes acétyle. En chimie, le modèle compact est un mode de représentation des molécules en trois dimensions dans lequel les atomes sont représentés par des sphères dont le rayon est proportionnel au rayon atomique et dont la distance entre les centres de deux sphères est proportionnelle à la distance entre les noyaux des atomes représentés par ces sphères, toutes ces distances étant reproduites à la même échelle.
