Processus stationnairePour accéder aux propriétés essentielles d'un signal physique il peut être commode de le considérer comme une réalisation d'un processus aléatoire (voir quelques précisions dans Processus continu). Le problème est largement simplifié si le processus associé au signal peut être considéré comme un processus stationnaire, c'est-à-dire si ses propriétés statistiques caractérisées par des espérances mathématiques sont indépendantes du temps.
Abstraction (philosophie)L’abstraction est l'opération mentale, de l'esprit par laquelle les propriétés générales, universelles et nécessaires d'un objet sont distinguées de ses propriétés particulières et contingentes. Par cette opération, notre pensée prend une distance par rapport à l'expérience sensible et forme l'ensemble de nos idées qui seront consignées dans le langage. L'opération d'abstraction permet de distinguer entre l'abstrait et le concret. Ceux-ci forment une opposition conceptuelle fondamentale en philosophie.
Bilinear time–frequency distributionBilinear time–frequency distributions, or quadratic time–frequency distributions, arise in a sub-field of signal analysis and signal processing called time–frequency signal processing, and, in the statistical analysis of time series data. Such methods are used where one needs to deal with a situation where the frequency composition of a signal may be changing over time; this sub-field used to be called time–frequency signal analysis, and is now more often called time–frequency signal processing due to the progress in using these methods to a wide range of signal-processing problems.
Abstrait et concretAbstrait et concret sont des classifications qui dénotent si un terme décrit un objet sans ou avec référent physique. Elles sont le plus couramment utilisées en philosophie et en sémantique. Les objets abstraits sont parfois appelés abstracta (sing. abstractum) et les objets concrets concreta (sing. concretum). Un objet abstrait est un objet qui n'existe pas en aucun moment ou endroit particulier mais existe plutôt comme type de chose, c'est-à-dire une idée ou abstraction.
Normal form (abstract rewriting)In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all. Many properties of rewriting systems relate to normal forms. Stated formally, if (A,→) is an abstract rewriting system, x∈A is in normal form if no y∈A exists such that x→y, i.e. x is an irreducible term. An object a is weakly normalizing if there exists at least one particular sequence of rewrites starting from a that eventually yields a normal form.
Équations primitives atmosphériquesLes équations primitives atmosphériques sont une version simplifiée des équations de Navier-Stokes. Elles sont applicables dans le cas d’un fluide à la surface d’une sphère en posant comme hypothèses que la composante verticale du mouvement est beaucoup plus faible que la composante horizontale et que la couche de fluide est très mince relativement au rayon de la sphère. Ces hypothèses correspondent en général au flux à grande échelle, dite échelle synoptique de l’atmosphère terrestre, et ces équations sont donc appliquées en météorologie et en océanographie.
Confluence (informatique)vignette|Le nom « confluence » est le même que celui utilisé en géographie : deux cours d'eau se rejoignent. En mathématiques, ou en informatique, la confluence d'une relation binaire est définie comme la propriété suivante : Pour tous éléments tels que et , il existe un élément tel que et . La confluence est équivalente à la propriété de Church-Rosser. La confluence locale est une propriété plus faible que la confluence, utile pour les systèmes de réécriture. Elle est définie par : Pour tous éléments tels que et , il existe un élément tel que et .
