Trois dimensionsTrois dimensions, tridimensionnel ou 3D sont des expressions qui caractérisent l'espace qui nous entoure, tel que perçu par notre vision, en ce qui concerne la largeur, la hauteur et la profondeur. Le terme « 3D » est également (et improprement) utilisé (surtout en anglais) pour désigner la représentation en (numérique), le relief des images stéréoscopiques ou autres , et même parfois le simple effet stéréophonique, qui ne peut par construction rendre que de la 2D (il ne s'agit donc que du calcul des projections perspectives, des ombrages, des rendus de matières).
Système nominatif de typesUn système nominatif de types est une classe majeure de système de types en programmation informatique. C'est avec lui qu'on détermine la compatibilité et l'équivalence de types par la déclaration explicite et/ou le nommage des types. On utilise les systèmes nominatifs pour déterminer si des types sont équivalents ou pour savoir si un type est un sous-type d'un autre. Ce système est en contraste avec le système structurel, où les comparaisons sont fondées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites.
DimensionLe terme dimension, du latin dimensio « action de mesurer », désigne d’abord chacune des grandeurs d’un objet : longueur, largeur et profondeur, épaisseur ou hauteur, ou encore son diamètre si c'est une pièce de révolution. L’acception a dérivé de deux façons différentes en physique et en mathématiques. En physique, la dimension qualifie une grandeur indépendamment de son unité de mesure, tandis qu’en mathématiques, la notion de dimension correspond au nombre de grandeurs nécessaires pour identifier un objet, avec des définitions spécifiques selon le type d’objet (algébrique, topologique ou combinatoire notamment).
Théorie des codesEn théorie de l'information, la théorie des codes traite des codes et de leurs propriétés et de leurs aptitudes à servir sur différents canaux de communication. On distingue deux modèles de communication : avec et sans bruit. Sans bruit, le codage de source suffit à la communication. Avec bruit, la communication est possible avec les codes correcteurs. En définissant l'information de façon mathématique, l'étape fondatrice de la théorie des codes a été franchie par Claude Shannon.
Résonance cyclotronLa résonance cyclotron électronique (ECR pour electron cyclotron resonance) est un phénomène observé aussi bien en physique des plasmas qu'en physique de la matière condensée. Un électron dans un champ magnétique statique et uniforme se déplace sur un cercle en raison de la force de Lorentz. Le mouvement circulaire peut être superposé à un mouvement uniforme axial, résultant en une hélice, ou avec un mouvement uniforme perpendiculaire au champ, par exemple, en présence d'un champ électrique ou gravitationnel, résultant en une cycloïde.
Codage de HuffmanLe codage de Huffman est un algorithme de compression de données sans perte. Le codage de Huffman utilise un code à longueur variable pour représenter un symbole de la source (par exemple un caractère dans un fichier). Le code est déterminé à partir d'une estimation des probabilités d'apparition des symboles de source, un code court étant associé aux symboles de source les plus fréquents. Un code de Huffman est optimal au sens de la plus courte longueur pour un codage par symbole, et une distribution de probabilité connue.
Test caseIn software engineering, a test case is a specification of the inputs, execution conditions, testing procedure, and expected results that define a single test to be executed to achieve a particular software testing objective, such as to exercise a particular program path or to verify compliance with a specific requirement. Test cases underlie testing that is methodical rather than haphazard. A battery of test cases can be built to produce the desired coverage of the software being tested.
Codage en ligneDans le domaine des télécommunications, un code en ligne est un codage destiné à être utilisé dans les systèmes de communication pour transmettre des données. Pour le transport de données numériques, le codage en ligne est souvent utilisé. Il consiste à représenter le signal numérisé à transporter, par un autre signal qui présente des variations d'amplitude régulièrement espacées dans le temps, celui-ci étant adapté aux propriétés physiques spécifiques des canaux de transmissions (et des équipements récepteurs).
Mode normaldroite|vignette|248px|Visualisation d'un mode normal de vibration d'une peau de tambour, constitué d'une membrane circulaire souple attachée rigidement sur la totalité de ses bords. . Pour un système oscillatoire à plusieurs degrés de liberté, un mode normal ou mode propre d'oscillation est une forme spatiale selon laquelle un système excitable (micro ou macroscopique) peut osciller après avoir été perturbé au voisinage de son état d'équilibre ; une fréquence naturelle de vibration est alors associée à cette forme.
Onde d'Alfvénvignette|Illustration des champs dans les ondes magnétohydrodynamiques. La partie supérieure montre comment les ondes d'Alfvén peuvent être considérées comme des ondulations des lignes de champ magnétique ; la partie inférieure montre comment le champ magnétique est densifié et aminci dans une onde magnétosonique. Symboles : B0 est le champ magnétique non perturbé dans le plasma ; k est le vecteur d'onde, indiquant la direction de propagation de l'onde ; B1, E1, v1 et j1 sont les perturbations causées par l'onde dans le champ magnétique, le champ électrique, la vitesse du plasma et le courant électrique, respectivement.
Function typeIn computer science and mathematical logic, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type).
Paired disparity codeIn telecommunication, a paired disparity code is a line code in which at least one of the data characters is represented by two codewords of opposite disparity that are used in sequence so as to minimize the total disparity of a longer sequence of digits. A particular codeword of any line code can either have no disparity (the average weight of the codeword is zero), negative disparity (the average weight of the codeword is negative), or positive disparity (the average weight of the codeword is positive).
